Find Research outputs

Search in all content

Filters for Research output

"Research Units"
Search concepts
Selected filters

Search results

  • Conference Article in proceeding

    Exploring Online Course Sociograms Using Cohesion Network Analysis

    Sirbu, M-D., Dascalu, M., Crossley, S. A., McNamara, D. S., Barnes, T., Lynch, C. F. & Trausan-Matu, S., 2018, Artificial Intelligence in Education: 19th International Conference, AIED 2018, London, UK, June 27-30, 2018, Proceedings, Part II. Rosé, C. P., Martínez-Maldonado, R., Hoppe, U., Luckin, R., Mavrikis, M., Porayska-Pomsta, K., McLaren, B. & Boulay, B. D. (eds.). Cham: Springer, Vol. Part II. p. 337–342 6 p. (Lecture Notes in Computer Science, Vol. 10948).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Exploring Students' Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study

    Grgurina, N., Barendsen, E., van Veen, K., Suhre, C. & Zwaneveld, G., Nov 2015, WiPSCE'15: Proceedings of the 10th Workshop in Primary and Secondary Computing Education. Gal-Ezer, J., Sentance, S. & Vahrenhold, J. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 65-68 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Exploring the Dimensions and Attributes of A Maturity Model for IT Governance Organizational Structures

    Steuperaert, D., Huygh, T., De Haes, S. & Poels, G., 5 Jan 2021, Proceedings of the 54th Hawaii International Conference on System Sciences. Scholar Space, University of Hawai'i at Manoa, p. 6037-6046 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Exploring the Programming Concepts Practiced by Scratch Users: an Analysis of Project Repositories

    Zeevaarders, A. & Aivaloglou, E., 2021, 2021 IEEE Global Engineering Education Conference. IEEE, p. 1287-1295 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

    Jongmans, S-S. & Yoshida, N., 2020, Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Müller, P. (ed.). Cham: Springer Open, p. 251-279 29 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12075). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12075).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Expressing Sentiments in Game Reviews

    Secui, A., Sirbu, M-D., Dascalu, M., Crossly, S., Ruseti, S. & Trausan-Matu, S., 27 Sep 2016, Artificial Intelligence: Methodology, Systems, and Applications: 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings. Dichev, C. & Agre, G. (eds.). Springer, p. 352-355 (Lecture Notes in Artificial Intelligence (subseries), Vol. 9883).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    38 Downloads (Pure)
  • Extending Social Capital through Online Social Networks (OSNs) in Rural Australian SMEs

    Bosua, R. & Evans, N., 10 Dec 2017, ICIS 2017 PROCEEDINGS. AIS Electronic Library, 18 p. 26

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Extracting Gamers' Opinions from Reviews

    Sirbu, M-D., Secui, A., Dascalu, M., Crossley, S., Ruseti, S. & Trausan-Matu, S., Feb 2017, SYNASC 2016: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Davenport, J., Negru, V., Ida, T., Jebelean, T., Watt, S. & Zahaire, D. (eds.). IEEE, p. 227-232 (SYNASC).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademic

  • Extracting Patterns from Educational Traces via Clustering and Associated Quality Metrics

    Mihăescu, M. C., Tănasie, A. V. & Dascalu, M., 18 Aug 2016, Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2016. Dichev, C. & Agre, G. (eds.). Springer, p. 109-118 (Lecture Notes in Computer Science, Vol. 9883). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9883).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    File
    9 Downloads (Pure)
  • Facilitating evaluation support for serious games

    Nussbaumer, A., Steiner, C., Maurer, M. & Albert, D., 2017, INTED2017 Proceedings: 11th International Technology, Education and Development Conference March 6th-8th, 2017 — Valencia, Spain. Gómez Chova, L., López Martínez, A. & Candel Torres, I. (eds.). IATED Academy, p. 5887-5896

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Factors that complicate the selection of software requirements: validating factors from literature in an empirical study

    Schoenmakers, H., Kusters, R. J. & Trienekens, J. J. M., 19 Jul 2018, ICSOFT 2018: Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L. & van Sinderen, M. (eds.). INSTICC Press, Vol. 1. p. 213-220 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Feedback Design in Multimodal Dialogue Systems

    Van Rosmalen, P., Börner, D., Schneider, J., Petukhova, V. & van Helvert, J., 2015, CSEDU 2015 Proceedings of the 7th International Computer Supported Education. Helfert, M., Restivo, M. T., Zvacek, S. & Uhomoibhi, J. (eds.). Portugal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 209-217 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Feeling Safe? Privacy controls and online dis-closure behavior

    van der Valk, R. V. R., Helms, R. W., van de Wetering, R., Bex, F. J. & Corten, R., 2016, Proceedings of the 24th European Conference on Information Systems : Research-in-Progress Papers. AIS Electronic Library, 51

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • File Fragmentation in the Wild: A Privacy-Friendly Approach

    van der Meer, V., Jonker, H., Dols, G., van Beek, H., van den Bos, J. & van Eekelen, M., 16 Mar 2020, 2019 IEEE International Workshop on Information Forensics and Security (WIFS): Proceedings . Delft: IEEE, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Finding the Needle in a Haystack: Who are the Most Central Authors Within a Domain?

    Paraschiv, I. C., Dascalu, M., McNamara, D. S. & Trausan-Matu, S., 27 Sep 2016, 11th European Conference on Technology Enhanced Learning (EC-TEL 2016): Adaptive and Adaptable Learning. Verbert, K., Sharples, M. & Klobucar, T. (eds.). Springer, p. 632-635 (Lecture Notes in Computer Science, Vol. 9891).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    23 Downloads (Pure)
  • Finding the shortest path to reproduce a failure found by TESTAR

    Valdes, O. R., Aug 2019, Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Dumas, M. & Pfahl, D. (eds.). New York, USA: Association for Computing Machinery, p. 1223-1225

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems

    Heeren, B. J., Jeuring, J. T., Sosnovsky, S., Drijvers, P., Boon, P., Tacoma, S., Koops, J., Weinberger, A., Grugeon-Allys, B., Chenevotot-Quentin, F., van Wijk, J. & van Walree, F., 14 Aug 2018, Lifelong Technology-Enhanced Learning: EC-TEL 2018. Cham: Springer, p. 262-276 15 p. (Lecture Notes in Computer Science, Vol. 11082).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    3 Downloads (Pure)
  • Formal API Specification of the PikeOS Separation Kernel

    Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Werner, S., Wolff, B. & Nemouchi, Y., 2015, NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Cham: Springer International Publishing AG, p. 375-389 15 p. (Lecture Notes in Computer Science (LNCS) series; No. 9058). (Programming and Software Engineering LNPSE, Vol. 9058).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Formal Verification of Service Level Agreements Through Distributed Monitoring

    Nobakht, B., Gouw, S. D. & Boer, F. S. D., 2015, Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015. Proceedings. S. D., F. L. & M. V. (eds.). Springer, p. 125-140 16 p. (Lecture Notes in Computer Science, Vol. 9306).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Fostering Interdisciplinary Knowledge Construction in Computer-Assisted Collaborative Concept Mapping

    De Weerd, J., Tan, E. & Stoyanov, S., 5 Sep 2017, Data Driven Approaches in Digital Education: 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12–15, 2017, Proceedings. É. L., H. D., K. V., J. B. & M. D. M. P. S. (eds.). Cham: Springer, Vol. 10474. p. 391-396 (Lecture Notes in Computer Science, Vol. 10474).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    109 Downloads (Pure)
  • Fostering Quality in MOOCs: A European Approach

    Stracke, C. M., Sgouropoulou, C., Vassiliadis, B., Kameas, A., Moreira Texeira, A. & Texeira Pinto, M. D. C., Dec 2018, Proceedings of the 17th European Conference on e-Learning: Co-hosted by the University of West Attica, Greece and the Hellenic Air Force Academy (HAFA) 1-2 November 2018. Ntalianis, K., Andreatos, A. & Sgouropoulou, C. (eds.). Athens: Academic Conferences and Publishing International Ltd., Vol. 1. p. 533-538 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting

    Ferreira Torres, C., Jonker, H. L. & Mauw, S., 2015, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II . Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer Nature Switzerland AG, Vol. 2. p. 3-19 17 p. (Lecture Notes in Computer Science (LNCS) series; No. 9327). (Security and Cryptology (LNCS subseries), Vol. 9327).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • From Big Data Analytics to Dynamic Capabilities: The Effect of Organizational Inertia

    Mikalef, P., van de Wetering, R. & Krogstie, J., 2019, Pacific Asia Conference on Information Systems 2019 proceedings. Xu, D., Jiang, J. & Kim, H-W. (eds.). Xi'an: AIS Electronic Library, p. 1-14 14 p. 198

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    46 Downloads (Pure)
  • From Enterprise Architecture Management to Organizational Agility: The Mediating Role of IT Capabilities

    Pattij, M., van de Wetering, R. & Kusters, R. J., Jun 2019, 32NDBled eConference Humanizing Technology for a Sustainable Society: June 16 –19, 2019, Bled, Slovenia, Conference Proceedings. Pucihar, A., Kljajič Borštnar, M., Bons, R., Seitz, J., Cripps, H. & Vidmar, D. (eds.). 1 ed. Maribor: University of Maribor Press, p. 561-578 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • From Ontology to Semantic Wiki: Designing Annotation and Browse Interfaces for Given Ontologies

    Rutledge, L. W., Brenninkmeijer, T., Zwanenberg, T., van de Heijning, J., Mekkering, A., Theunissen, J. N. & Bos, R., 2016, Semantic Web Collaborative Spaces: Second International Workshop, SWCS 2013, Montpellier, France, May 27, 2013, Third International Workshop, SWCS 2014, Trentino, Italy, October 19, 2014, Revised Selected and Invited Papers. Molli, P., Breslin, J. G. & Vidal, M-E. (eds.). Cham: Springer International Publishing AG, p. 53-72 20 p. (Lecture Notes in Computer Science (LNCS) series; No. 9507). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 9507).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Full Lifecycle Architecture for Serious Games: Integrating Game Learning Analytics and a Game Authoring Tool

    Alonso - Fernandez, C., Rotaru, D. C., Freire, M., Martínez Ortiz, I. & Manjón, B. F., Nov 2017, Serious Games: Third Joint International Conference, JCSG 2017, Valencia, Spain, November 23-24, 2017, Proceedings. Alcañiz, M., Göbel, S., Ma, M., Oliveira, M. F., Hauge, J. B. & Marsh, T. (eds.). Springer, p. 73-84 (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 10622).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    1 Downloads (Pure)
  • Functional Requirements for Business Rules Management Systems

    Smit, K., Zoet, M. & Berkhout, M., 2017, Proceedings of the Americas Conference on Information Systems (AMCIS 2017): SYSTEMS ANALYSIS AND DESIGN (SIGSAND). Boston: AIS Electronic Library, p. 1-10 10 p. 4

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Future proof Teacher Professionalization: The Case of the MOOCs

    Henderikx, M. A. & Mustamu - Veringa, M., Jul 2021, Proceedings of EdMedia + Innovate Learning. Bastiaens, T. (ed.). Waynesville: Association for the Advancement of Computing in Education, p. 756-763 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Gaining Insight into Determinants of Physical Activity using Bayesian Network Learning

    Tummers, S. C. M. W., Hommersom, A. J., Lechner, E. H. S., Bolman, C. & Bemelmans, R., 2020, BNAIC/BeneLearn 2020 : Proceedings. Cao, L., Kosters, W. & Lijffijt, J. (eds.). Leiden: Leiden University, p. 298- 312 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    1162 Downloads (Pure)
  • Gamification in MOOCs to enhance users' goal achievement

    Antonaci, A., Klemke, R., Stracke, C. M. & Specht, M., 2017, Proceedings of 2017 IEEE Global Engineering Education Conference (EDUCON2016): „Challenging the Transition from the Classic to the Emerging in Engineering Education“. IEEE, p. 1654-1662 9 p. 16946671

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademic

    Open Access
    File
    39 Downloads (Pure)
  • Gamification of MOOCs Adopting Social Presence and Sense of Community to Increase User’s Engagement: An Experimental Study

    Antonaci, A., Klemke, R., Lataster, J., Kreijns, K. & Specht, M., 16 Sep 2019, Transforming Learning with Meaningful Technologie: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings. Scheffel, M., Broisin, J., Pammer-Schindler, V., Ioannou, A. & Schneider, J. (eds.). Cham: Springer, p. 172-186 14 p. (Lecture Notes in Computer Science, Vol. 11722).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Gamification to Empower Information Security Education

    Antonaci, A., Klemke, R., Stracke, C. M., Specht, M., Spatafora, M. & Stefanova, K., 14 Jun 2017, Proceedings of the 1st International GamiFIN Conference. Tuomi, P. & Perttula, A. (eds.). Vol. 1857. p. 32-38 (CEUR Workshop Proceedings (CEUR-WS.org)).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    121 Downloads (Pure)
  • Gamifire - A Cloud-Based Infrastructure for Deep Gamification of MOOC

    Klemke, R., Antonaci, A. & Limbu, B. H., 9 Sep 2019, Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings. Scheffel, M., Broisin, J., Pammer-Schindler, V., Ioannou, A. & Schneider, J. (eds.). Cham: Springer, p. 613-616 4 p. (Lecture Notes in Computer Science, Vol. 11722).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    File
    110 Downloads (Pure)
  • Gamifire - A Scalable, Platform-Independent Infrastructure for Meaningful Gamification of MOOCs

    Klemke, R., Antonaci, A. & Limbu, B. H., 1 Nov 2019, Games and Learning Alliance: 8th International Conference, GALA 2019, Athens, Greece, November 27–29, 2019, Proceedings. Liapis, A., Yannakakis, G. N., Gentile, M. & Ninaus, M. (eds.). Cham: Springer, p. 256-265 10 p. (Lecture Notes in Computer Science, Vol. 11899).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    File
    201 Downloads (Pure)
  • Gap between MOOC designers' and MOOC learners' Perspectives on Interaction and Experiences in MOOCs: Findings from the Global MOOC Quality Survey

    Stracke, C. M., Tan, E., Texeira, A. M., Texeira Pinto, M. D. C., Vassiliadis, B., Kameas, A. & Sgouropoulou, C., 2018, Proceedings 18th IEEE International Conference on Advanced Learning Technologies (ICALT 2018). Chang, M., Chen, N-S., Huang, R., Kinshuk, Moudgalya, K., Murthy, S. & Sampson, D. G. (eds.). IEEE Computer Society Press, p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Gauging Teachers' Needs with Regard to Technology- Enhanced Formative Assessment (TEFA) of 21st Century Skills in the Classroom

    Rusman, E., Martínez-Monés, A., Boon, J., Rodríguez-Triana, M. J. & Villagrá-Sobrino, S., 16 Dec 2014, Computer Assisted Assessment -- Research into E-Assessment: International Conference, CAA 2014, Zeist, The Netherlands, June 30 -- July 1, 2014. Proceedings. Kalz, M. & Ras, E. (eds.). 1 ed. Cham: Springer, (Communications in Computer and Information Science).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Generating Computational Models for Serious Gaming

    Westera, W., 2014, Games and Learning Alliance: Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers. De Gloria, A. (ed.). Springer International Publishing, p. 53-63 (Lecture Notes in Computer Science (LNCS) series).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • Generating hints and feedback for Hilbert-style axiomatic proofs

    Lodder, J., Heeren, B. & Jeuring, J., 2017, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education: Seattle, Washington, USA — March 08 - 11, 2017. New York: ACM Digital Library, p. 387-392 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Getting a grasp on tag collections by visualising tag clusters based on higher-order co-occurrences

    Niemann, K., Leon Rojas, S., Wolpers, M., Scheffel, M., Drachsler, H. & Specht, M., 2015, VISLA 2015: Visual Aspects of Learning Analytics: Proceedings of the First International Workshop on Visual Aspects of Learning Analytics co-located with 5th International Learning Analytics and Knowledge Conference (LAK 2015). Duval, E., Verbert, K., Klerkx, J., Wolpers, M., Pardo, A., Govaerts, S., Gillet, D., Ochoa, X. & Parra, D. (eds.). 5 p. (CEUR Workshop Proceedings, Vol. 1518).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
  • gMOOCs – Flow and Persuasion to Gamify MOOCs

    Antonaci, A., Peter, D., Klemke, R., Bruysten, T., Stracke, C. M. & Specht, M., 1 Nov 2017, Games and Learning Alliance: 6th International Conference, GALA 2017, Lisbon, Portugal, December 5–7, 2017, Proceedings. Dias, J., Santos, P. A. & Veltkamp, R. C. (eds.). Springer, p. 126–136 (Lecture Notes in Computer Science, Vol. 10653).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    139 Downloads (Pure)
  • Goal Setting and Striving in MOOCs: A Peek Inside the Black Box of Learner Behaviour

    Henderikx, M. & Kalz, M., 8 May 2019, Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings. Calise, M., Delgado Kloos, C., Reich, J., Ruiperez-Valiente, J. A. & Wirsing, M. (eds.). Cham: Springer, p. 59-69 11 p. (Lecture Notes in Computer Science, Vol. 11475).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • GPIM: Google Glassware for Inquiry-Based Learning

    Suarez, A., Ternier, S., Kalz, M. & Specht, M., 2014, Open Learning and Teaching in Educational Communities: 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings. Rensing, C., de Freitas, S., Ley, T. & Muñoz-Merino, P. J. (eds.). Cham, Switzerland: Springer, p. 530-533 4 p. (Lecture Notes in Computer Science (LNCS), Vol. 8719).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Gradient-Descent for Randomized Controllers Under Partial Observability

    Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Groepsprocessen in projectonderwijs in technische studierichtingen: invloed van het geslacht op leereffecten en welbevinden

    Translated title of the contribution: Group processes in project education in engineering programmes:: the influence of gender on learning effects and well-beingPerez Salgado, F., Terlouw, C. & Kramers-Pals, H., 23 May 1997, ONDERWIJS RESEARCH DAGEN 1997 : Leuven, 21, 22 & 23 mei 1997 Proceedings Onderwijsonderzoek in Nederland en Vlaanderen . Leuven, Vlaanderen: Katholieke Universiteit Leuven, Vol. 24. p. 196 197 p. New Educational Approaches in Higher Education

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Group-based Emotions in Teams of Humans and Robots

    Correia, F., Mascarenhas, S., Prada, R., Melo, F. & Paiva, A., 1 Mar 2018, HRI ’18- Proceedings of the 2018 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery (ACM), p. 261-269 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Group Coach for Co-located Collaboration

    Praharaj, S., Scheffel, M., Drachsler, H. & Specht, M., 2019, Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings. Scheffel, M., Broisin, J., Pammer-Schindler, V., Ioannou, A. & Schneider, J. (eds.). Springer, p. 732-736 (Lecture Notes in Computer Science, Vol. 11722).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • GUI-Profiling for Performance and Coverage Analysis

    Beierle, N., Kruse, P. M. & Vos, T. E. J., 2017, Proceedings 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops: 23–26 October 2017 Toulouse, France. O’Conner, L. (ed.). Los Alamitos, California; Washington; Tokyo: IEEE Computer Society Press, p. 28-31 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • GUITest: a Java library for fully automated GUI robustness testing

    Bauersfeld, S. & Vos, T. E. J., 3 Sep 2012, Proc. of the 27th IEEE/ACM Int. Conf. on Automated Software Engineering (ASE). acm, p. 330-333 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Help Me Understand This Conversation: Methods of Identifying Implicit Links Between CSCL Contributions

    Ruseti, S., Dascalu, M., Trausan-Matu, S., Masala, M., Gutu, G. & Rebedea, T., 2018, 13th European Conference on Technology Enhanced Learning (EC-TEL 2018). Pammer-Schindler, V., Pérez-Sanagustín, M., Drachsler, H., Elferink, R. & Scheffel, M. (eds.). Springer UK, p. 482-496

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    File
    165 Downloads (Pure)
  • Highly Automated Formal Proofs over Memory Usage of Assembly Code

    Verbeek, F., Bockenek, J. & Ravindran, B., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 98-117 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12079).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access