Research output per year
Research output per year
- 1 - 50 out of 118 results
Search results
-
2022
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered (Coq formalization)
Kappé, T. W. J., 21 Dec 2022Research output: Non-textual form › Software › Academic
Open Access -
satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines
Moerman, J. & Wißmann, T., 23 Sept 2022Research output: Non-textual form › Software › Academic
Open Access -
2017
ClientSideGameStorageAsset
Vegt van der, W., 7 Sept 2017Research output: Non-textual form › Software › Academic
Open Access -
Userfriendlyscience: Quantitative analysis made accessible
Peters, G. J., 2017Research output: Non-textual form › Software › Academic
Open Access -
2015
ARLearn App for Android
Ternier, S., 8 Jan 2015Research output: Non-textual form › Software › Academic
Open AccessFile10 Downloads (Pure) -
ARLearn Cloud Services
Ternier, S. & Klemke, R., 12 Jan 2015Research output: Non-textual form › Software › Academic
Open AccessFile5 Downloads (Pure) -
A Semantic Trust-based Recommender System using Trust Ontology
Fazeli, S., Drachsler, H. & Sloep, P., 14 Jan 2015Research output: Non-textual form › Software › Academic
Open AccessFile6 Downloads (Pure) -
A Social Recommender System using T-index Approach and Graph Search Mechanism
Fazeli, S., Drachsler, H. & Sloep, P., 14 Jan 2015Research output: Non-textual form › Software › Academic
Open AccessFile4 Downloads (Pure) -
Performance Dashboard to Support Awareness and Reflection in Elgg communities
Slootmaker, A., Scheffel, M., Krijns, K., De Kraker, J. & Drachsler, H., 18 Dec 2015Research output: Non-textual form › Software › Academic
Open AccessFile4 Downloads (Pure) -
2014
Ambient Sensors
Börner, D. & Specht, M., 16 Dec 2014Research output: Non-textual form › Software › Academic
Open AccessFile3 Downloads (Pure) -
Attention Sensor
Börner, D., Kalz, M. & Specht, M., 16 Dec 2014Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
CLAS App ML
Maher, B., Hartkopf, K., Stieger, L., Schroeder, H., Sopka, S., Orrego, C. & Drachsler, H., 18 Dec 2014Research output: Non-textual form › Software › Academic
Open AccessFile9 Downloads (Pure) -
Connect The Dots! Reflection Tool 2.1
Rajagopal, K., Schaeps, L., Finders, A. & Vogten, H., 29 Aug 2014Research output: Non-textual form › Software › Academic
Open AccessFile3 Downloads (Pure) -
Electronic Discharge Letter Mobile App
Lezcano, L., Triana, M., Ternier, S., Hartkopf, K., Stieger, L., Schroeder, H., Sopka, S., Drachsler, H., Maher, B., Henn, P., Orrego, C. & Specht, M., 27 May 2014Research output: Non-textual form › Software › Academic
Open AccessFile5 Downloads (Pure) -
Elena App for Android
Ternier, S., Rusman, E. & Storm, J., 23 Dec 2014Research output: Non-textual form › Software › Academic
Open AccessFile6 Downloads (Pure) -
Glassware Personal Inquiry Manager
Suarez, A. & Ternier, S., 18 Dec 2014Research output: Non-textual form › Software › Academic
-
Personal Inquiry Manager
Suarez, A., Ternier, S. & Specht, M., 17 Dec 2014Research output: Non-textual form › Software › Academic
-
Presentation Trainer Prototype 1.0
Börner, D. & Specht, M., 18 Dec 2014Research output: Non-textual form › Software › Academic
Open AccessFile4 Downloads (Pure) -
Presentation Trainer Prototype 2.0
Schneider, J. & Börner, D., 17 Dec 2014Research output: Non-textual form › Software › Academic
Open AccessFile3 Downloads (Pure) -
Presentation Trainer Prototype 3.0
Schneider, J., Börner, D. & Storm, J., 17 Dec 2014Research output: Non-textual form › Software › Academic
Open AccessFile10 Downloads (Pure) -
Open AccessFile5 Downloads (Pure)
-
2013
ARLearn 2.0
Ternier, S., Tabuenca, B., Klemke, R. & Specht, M., 26 Feb 2013Research output: Non-textual form › Software › Academic
Open AccessFile13 Downloads (Pure) -
ATL4: A tutor locator
Brouns, F. & Obreza, M., 14 Jan 2013Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Connect The Dots! Reflection Tool Visualisations
Rajagopal, K., Schaeps, L., Finders, A. & Van der Vegt, W., 28 Nov 2013Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
OpenU 1.0
Alberts, J., Finders, A., Martens, H., Obreza, M., Schaeps, L., Slootmaker, A., Slot, W., Storm, J., Ternier, S., Van der Vegt, W. & Vogten, H., 14 Jan 2013Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Trailer e-portfolio
Janssen, J., Finders, A., Vogten, H. & Brouns, F., 28 Oct 2013Research output: Non-textual form › Software › Academic
Open AccessFile17 Downloads (Pure) -
Trailer e-portfolio CE
Janssen, J., Finders, A., Vogten, H. & Brouns, F., 18 Dec 2013Research output: Non-textual form › Software › Academic
Open AccessFile4 Downloads (Pure) -
2012
Apache configuration file for IMS-LD Runtime
Glahn, C., 17 Jan 2012Research output: Non-textual form › Software › Academic
Open AccessFile6 Downloads (Pure) -
ARLearn and StreetLearn software for virtual reality and augmented reality multi user learning games
Ternier, S. & Klemke, R., 23 Feb 2012Research output: Non-textual form › Software › Academic
Open AccessFile3 Downloads (Pure) -
Connect The Dots! Reflection Tool
Rajagopal, K., Schaeps, L. & Finders, A., 5 Nov 2012Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Connect The Dots! Reflection Tool 2.0
Rajagopal, K., Schaeps, L. & Finders, A., 17 Dec 2012Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Energy Awareness Displays Prototype
Börner, D., 16 Feb 2012Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Hoe richt ik onderwijs in voor hoogbegaafde leerlingen en studenten?
Mooij, T., Dijkstra, E., Koper, R., Kester, L., Gijselaers, J., Wolff, C., Bahreini, K., De Vries, F., Berkhout, J. & Storm, J., 7 May 2012Research output: Non-textual form › Software › Academic
Open AccessFile9 Downloads (Pure) -
2011
Ask a question
Fetter, S., Van der Vegt, W. & Brouns, F., 26 Aug 2011Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Ask a question
Fetter, S. & Van der Vegt, W., 20 Dec 2011Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
2010
Aloqa and layar augmented reality feeds
Ternier, S., 3 Sept 2010Research output: Non-textual form › Software › Academic
Open AccessFile7 Downloads (Pure) -
Deconstructivism (Villa dall'Ava)
Gruber, M., 1 Feb 2010Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
EMERGO Toolkit 2.0
Slootmaker, A. & Kurvers, H., 1 Feb 2010Research output: Non-textual form › Software › Academic
Open AccessFile27 Downloads (Pure) -
Learning Path Editor
Melero, J., Van Stratum, B., Janssen, J., Heyenrath, S., Van der Heijden, S., Finders, A., Schaeps, L., Herder, E., Vogten, H., Martens, H. & Koper, R., 29 Jan 2010Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Open AccessFile2 Downloads (Pure)
-
MACE Mobile Client for Windows Mobile 1.0
Slootmaker, A., 1 Feb 2010Research output: Non-textual form › Software › Academic
Open AccessFile11 Downloads (Pure) -
NewAPIS source code – QTI v2.1 engine
Llobet, L. & Santos, P., 7 Jan 2010Research output: Non-textual form › Software › Academic
-
Related Drupal Nodes Block
Van der Vegt, W., 1 Feb 2010Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Self-organised Learning about Modern Architecture
Gruber, M., 1 Feb 2010Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
TENCompetence Learning Design Toolkit, Runtime component, ccsi_v3_2_10c_v1_4
Sharples, P., Popat, K., Llobet, L., Santos, P., Hernández-Leo, D., Miao, Y., Griffiths, D. & Beauvoir, P., 7 Jan 2010Research output: Non-textual form › Software › Academic
Open AccessFile6 Downloads (Pure) -
2009
Ad-Hoc Transient Communities Simulation
Van den Berg, B., Van Rosmalen, P., Sloep, P., Brouns, F., Fetter, S. & Berlanga, A., 14 Oct 2009Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
CopperCore 3.3
Martens, H. & Vogten, H., 4 Dec 2009Research output: Non-textual form › Software › Academic
Open AccessFile16 Downloads (Pure) -
Learning Network simulation with a contextualized recommender system
Drachsler, H., Van den Berg, B., Nadolski, R., Hummel, H. & Koper, R., 14 Jul 2009Research output: Non-textual form › Software › Academic
Open AccessFile2 Downloads (Pure) -
Locatory: an augmented reality mobile game
Ternier, S. & Storm, J., 26 Nov 2009Research output: Non-textual form › Software › Academic
Open AccessFile3 Downloads (Pure) -
MACE Competence Services & Applications
Schmeits, T. & Börner, D., 3 Feb 2009Research output: Non-textual form › Software › Academic
Open AccessFile6 Downloads (Pure)