Department of Computer Science

Book editing

Proceedings CSERC '11, April 7 and 8, 2011: Computer Science Education Research Conference, Heerlen, the Netherlands

van de Veer, G. (Editor), Sloep, P. (Editor) & van Eekelen, M. (Editor), 2011, Heerlen: Open Universiteit. 95 p.

Research output: Book/Report › Book editing › Academic

Open Access

File

23 Downloads (Pure)

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024

Dastani, M. (Editor), Sichman, J. S. (Editor), Alechina, N. (Editor) & Dignum, V. (Editor), 2024, Association for Computing Machinery (ACM). (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

Research output: Book/Report › Book editing › Academic

Proceedings of the First International Workshop on Multimodal Artificial Intelligence in Education (MAIED 2021) At the 22nd International Conference on Artificial Intelligence in Education (AIED 2021), Online, June 14th, 2021.

Mitri, D. D. (Editor), Maldonado, R. M. (Editor), Santos, O. C. (Editor), Schneider, J. (Editor), Sanusi, K. A. M. (Editor), Cukurova, M. (Editor), Spikol, D. (Editor), Molenaar, I. (Editor), Giannakos, M. N. (Editor), Klemke, R. (Editor) & Azevedo, R. (Editor), 2021, CEUR-WS.org. (CEUR Workshop Proceedings).

Research output: Book/Report › Book editing › Academic

Proceedings of the First International Workshop on Multimodal Immersive Learning Systems (MILeS 2021) At the Sixteenth European Conference on Technology Enhanced Learning: Technology-Enhanced Learning for a Free, Safe, and Sustainable World. (EC-TEL 2021), Online (Bozen-Bolzano, Italy), September 20-24, 2021.

Klemke, R. (Editor), Sanusi, K. A. M. (Editor), Majonica, D. (Editor), Richert, A. (Editor), Varney, V. (Editor), Keller, T. (Editor), Schneider, J. (Editor), Mitri, D. D. (Editor), Ciordas-Hertel, G.-P. (Editor), Hernandez, F. P. C. (Editor), Romano, G. (Editor), Kravcík, M. (Editor), Paaßen, B. (Editor), Klamma, R. (Editor), Slupczynski, M. (Editor), Klatt, S. (Editor), Geisen, M. (Editor), Baumgartner, T. (Editor) & Riedl, N. (Editor), 2021, CEUR-WS.org. (CEUR Workshop Proceedings). (EC-TEL: European Conference on Technology Enhanced Learning).

Research output: Book/Report › Book editing › Academic

Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012

Roubtsova, E. E. (Editor), McNeile, A. T. (Editor), Kindler, E. (Editor) & Aksit, M. (Editor), 2012, acm.

Research output: Book/Report › Book editing › Academic

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, Paris, France, June 14, 2010

Aksit, M. (Editor), Kindler, E. (Editor), Roubtsova, E. E. (Editor) & McNeile, A. T. (Editor), 2010, acm.

Research output: Book/Report › Book editing › Academic

Chapter

ÆGIS: Smart Shielding of Smart Contracts

Ferreira Torres, C., Baden, M., Norvill, R. & Jonker, H., 6 Nov 2019, CCS '19 Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. New York, NY: Association for Computing Machinery (ACM), p. 2589-2591 3 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

A Hybrid Approach to the Verification of Computer Interpretable Guidelines

Anselma, L., Bottrighi, A., Giordano, L., Hommersom, A. J., Molino, G., Montani, S., Terenziani, P. & Torchio, M., 2015, Foundations of Biomedical Knowledge Representation: Methods and Applications. Hommersom, A. & Lucas, P. (eds.). Cham: Springer International Publishing, p. 287-315 29 p. (Lecture Notes in Computer Science, Vol. 9521). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9521).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

An Introduction to Knowledge Representation and Reasoning in Healthcare

Hommersom, A. J. & Lucas, P. J. F., 2015, Foundations of Biomedical Knowledge Representation: Methods and Applications. Hommersom, A. & Lucas, P. J. F. (eds.). Cham: Springer International Publishing, p. 9-32 24 p. (Lecture Notes in Computer Science (LNCS), Vol. 9521). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9521).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access

Aspect-Oriented Development Using Protocol Modeling

McNeile, A. T. & Roubtsova, E. E., 2010, Transactions on Aspect-Oriented Software Development VII. Katz, S., Mezini, M. & Kienzle, J. (eds.). Springer Heidelberg, Vol. 7. p. 115-150 36 p. (Lecture Notes in Computer Science (LNCS), Vol. 6210).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Attribuut-gebaseerde elektronische handtekeningen en de eIDAS-verordening

Translated title of the contribution: Attribute-based electronic signatures and the eIDAS-regulationHu, Y. Y., van den Broek, F. M. J., Jacobs, B. & Wolters, P., 23 Dec 2021, Digitalisering en conflictoplossing: Serie onderneming en recht, 130. Kortmann , S. C. J. J., Faber, N. E. D., Jansen, C. J. H. & Schuijling, B. A. (eds.). 2021-1 ed. Deventer: Wolters Kluwer , p. 293-315

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

A Tutorial on Verifying LinkedList Using KeY

Hiep, H.-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 2020, Deductive Software Verification: Future Perspectives. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Cham: Springer, p. 221-245 25 p. (Lecture Notes in Computer Science, Vol. 12345).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

A virtual classroom for cybersecurity education

Haag, J., Vranken, H. & van Eekelen, M., 27 Apr 2019, Transactions on Edutainment XV. Pan, Z., Cheok, A. D., Müller, W., Zhang, M., El Rhalibi, A. & Kifayat, K. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 173-208 36 p. (Lecture Notes in Computer Science, Vol. 11345).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access

File

171 Downloads (Pure)

Collaborative Private Classifiers Construction

Alishahi, M. & Moghtadaiee, V., Jan 2023, Collaborative Approaches for Cyber Security in Cyber-Physical Systems. Dimitrakos, T., Lopez, J. & Martinelli, F. (eds.). Springer, p. 15-45 31 p. (Advanced Sciences and Technologies for Security Applications).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Compositional Semantics for Concurrent Object Groups in ABS

Boer, F. S. D. & Gouw, S. D., 1 Jan 2018, Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). 1 ed. Cham: Springer, p. 87-98 12 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Cyber Resilience for SDG Towards the Digitization: An Imperial Study

Barik, K., Misra, S., Mishra, B., Maathuis, C. & Chockalingama, S., 2024, Artificial Intelligence of Things for Achieving Sustainable Development Goals. Misra, S., Siakas, K. & Lampropoulos, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 361-388 28 p. (Lecture Notes on Data Engineering and Communications Technologies, Vol. 192).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Design guidelines for self-assessment support for adult academic distance learning

Menendez Blanco, M., van der Veer, G., Benvenuti, L. & Kirschner, P. A., 2012, Constructing self-discovery learning spaces online: Scaffolding and decision making technologies. Hai-Jew, S. (ed.). 1 ed. IGI Global, p. 169-198 30 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access

File

76 Downloads (Pure)

Een levenlang leren faciliteren met OpenU: Special Interest Group Open Educational Resources

Translated title of the contribution: Facilitating lifelong learning with OpenURubens, W. & Counotte, A., Mar 2012, Trendrapport Open Educational Resources 2012: Special Interest Group Open Educational Resources. Jacobi, R. & van der Woert, N. (eds.). Utrecht, the Netherlands: Special Interest Group Open Educational Resources, p. 22-26 5 p. 3

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

Open Access

File

35 Downloads (Pure)

Facilitating lifelong learning with OpenU

Rubens, W. & Counotte, A., Mar 2012, Trend Report: Open Educational Resources. Jacobi, R. & van der Woert, N. (eds.). Utrecht, the Netherlands: Special Interest Group Open Educational Resources, p. 22-26 5 p. 3

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

Open Access

File

22 Downloads (Pure)

Fingerprint Surface-Based Detection of Web Bot Detectors

Jonker, H., Krumnow, B. & Vlot, G., 15 Sept 2019, Computer Security - ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Cham: Springer, p. 586-605 20 p. (Lecture Notes in Computer Science (LNCS), Vol. 11736).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Formalizing Propagation of Priorities in Reo, Using Eight Colors

Jongmans, S.-S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Springer, p. 122-138 17 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access

File

181 Downloads (Pure)

ICT Support for Collaborative Learning—A Tale of Two Cities

Consiglio, T. & van der Veer, G. C., 2015, E-Learning Systems, Environments and Approaches: Theory and Implementation. Isaías, P., Spector, J. M., Ifenthaler, D. & Sampson, D. G. (eds.). Cham: Springer International Publishing AG, p. 147-163 17 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Investigating Fingerprinters and Fingerprinting-Alike Behaviour of Android Applications

Ferreira Torres, C. & Jonker, H. L., 2018, Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II. Lopez, J., Zhou, J. & Soriano, M. (eds.). 1 ed. Springer, Vol. 11099. p. 60-80 21 p. (Lecture Notes in Computer Science book series).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Quantitative Analysis of Services.

Cappello, I., Clark, A., Gilmore, S., Latella, D., Loreti, M., Quaglia, P. & Schivo, S., 2011, Results of the SENSORIA Project. Springer-Verlag Berlin Heidelberg, p. 522-540 19 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Open Access

Quantitative Molecular Models for Biological Processes: Modeling of Signal Transduction Networks with ANIMO

Khurana, S., Huisman, J., Schivo, S. & Post, J. N., 27 Sept 2020, Osteoporosis and Osteoarthritis. van Wijnen, A. J. & Ganshina, M. S. (eds.). 2 ed. New York, NY: Humana Press, p. 141-161 21 p. (Methods in molecular biology, Vol. 2221).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Reasoning About Active Objects: A Sound and Complete Assertional Proof Method

Boer, F. S. D. & Gouw, S. D., 4 Jul 2022, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Cham: Springer, Vol. 13360. p. 173-192 20 p. (Lecture Notes in Computer Science, Vol. 13360).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Run-Time Deadlock Detection

Boer, F. S. D. & Gouw, S. D., 2017, Provably Correct Systems. Hinchey, M., P. Bowen, J. & Olderog, E.-R. (eds.). Springer, p. 245-264 20 p. (NASA Monographs in Systems and Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

State Identification and Verification with Satisfaction

Moerman, J. & Wißmann, T., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Nils Jansen, Mariëlle Stoelinga & Petra van den Bos (eds.). 1 ed. Springer, Vol. 13560. p. 450-466 17 p. (Lecture Notes in Computer Science, Vol. 13560).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Statically and Dynamically Verifiable SLA Metrics

Giachino, E., Gouw, S. D., Laneve, C. & Nobakht, B., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. E. Á., M. B. & E. B. J. (eds.). Springer, p. 211-225 15 p. (Lecture Notes in Computer Science, Vol. 9660). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9660).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Teachers noticing chemical thinking while students plan and draw designs

Stammes, H., Henze, I., Barendsen, E. & De Vries, M. J., 25 Feb 2021, Design-Based Concept Learning in Science and Technology Education. Henze, I. & De Vries, M. J. (eds.). Brill|Sense, Vol. 17. p. 311-343 33 p. (International Technology Education Studies; No. 17, Vol. 1879-8748).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Teachers' reported practice of verbal scaffolding during design activities

Sheoratan, S., Henze, I., Barendsen, E. & De Vries, M. J., 11 Feb 2021, Design-Based Concept Learning in Science and Technology Education. Henze, I. & De Vries, M. J. (eds.). Brill|Sense, Vol. 17. p. 344-371 28 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

The Refined Consensus Model of Pedagogical Content Knowledge in Science Education

Carlson, J., Daehler, K. R., Alonzo, A., Barendsen, E., Berry, A., Borowski, A., Carpendale, J., Chan, K., Cooper, R., Friedrichsen, P., Gess-Newsome, J., Henze-Rietveld, I., Hume, A., Kirschner, S., Liepertz, S., Loughran, J., Mavhunga, E., Neumann, K., Nilsson, P. & Park, S. & 6 others, Rollnick, M., Sickel, A., Suh, J., Schneider, R., Driel, J. V. & Wilson, C., 29 Jan 2019, Repositioning Pedagogical Content Knowledge in Teachers' Knowledge for Teaching Science. Hume, A., Cooper, R. & Borowski, A. (eds.). 1 ed. Singapore: Springer Singapore, p. 77-92 16 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Unravelling Student Teachers' pPCK Development and the Influence of Personal Factors Using Authentic Data Sources

Henze, I. & Barendsen, E., 29 Jan 2019, Repositioning Pedagogical Content Knowledge in Teachers' Knowledge for Teaching Science. Hume, A., Cooper, R. & Borowski, A. (eds.). Singapore: Springer Singapore, p. 201-221 21 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Verification of Counting Sort and Radix Sort

Gouw, S. D., Boer, F. S. D. & Rot, J., 2016, Deductive Software Verification - The KeY Book: From Theory to Practice. W. A., B. B., R. B., R. H., P. H. S. & M. U. (eds.). Springer, p. 609-618 10 p. (Lecture Notes in Computer Science, Vol. 10001).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Virtuele Klas of face-to-face begeleiding: naar een hybride begeleidingsaanbod

Translated title of the contribution: Virtual Class or face-to-face supervision: to a hybrid supervision offerPerez Salgado, F. & Wester, F., 2009, Een leven lang eigenwijs studeren: het onderwijs van de Open Universiteit Nederland. Schlusmans, K., van den Boom, G., van der Klink, M., Joosten-ten Brinke, D., Hoefakker, R. & Wessels, L. (eds.). Heerlen: Open Universiteit Nederland, p. 127-131 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

Open Access

File

872 Downloads (Pure)

Comment/Letter to the editor

Goals for kinematic coding: Insights from the posture-based motion planning perspective

Ozana, A., Hermens, F. & Rosenbaum, D. A., 1 Jul 2025, In: Physics of Life Reviews. 53, p. 277-278 2 p.

Research output: Contribution to journal › Comment/Letter to the editor › Academic › peer-review

Letter to the Editor: Nodal infiltration in endometrial cancer: a prediction model using best subset regression

Lombaers, M. S., Haldorsen, I. S., C., R., Hommersom, A. J. & Pijnenborg, J. M. A., Dec 2024, In: European Radiology. 34, 12, p. 7693-7695 3 p.

Research output: Contribution to journal › Comment/Letter to the editor › Academic › peer-review

Reaching out

van der Veer, G. C., Oct 2014, In: Interactions. 21, 5, p. 86 1 p.

Research output: Contribution to journal › Comment/Letter to the editor › Professional

Open Access

See you next year in Seoul

van der Veer, G. C., May 2014, In: Interactions. 21, 3, p. 78 1 p.

Research output: Contribution to journal › Comment/Letter to the editor › Professional

Open Access

To whom are we talking?

van der Veer, G. C., Jan 2014, In: Interactions. 21, 1, p. 78

Research output: Contribution to journal › Comment/Letter to the editor › Professional

Open Access

Commissioned report

Advies examenprogramma informatica havo-vwo: inhoud en invoering

Translated title of the contribution: Advice on the examination programme informatics havo-vwo: content and adoptionBarendsen, E. & Tolboom, J., Feb 2016, SLO nationaal expertisecentrum leerplanontwikkeling Enschede. 47 p.

Research output: Book/Report › Commissioned report › Professional

Formatief toetsen van begripsontwikkeling in ontwerponderwijs

Translated title of the contribution: Formative assessment of concept development in design educationRahimi, E., Barendsen, E., Henze, I. & Stammes, H., 2019, 29 p.

Research output: Book/Report › Commissioned report › Academic

Ontwerp voor privacy-vriendelijk kentekenparkeer-systeem

Translated title of the contribution: Design of a privacy-friendly license plate recognition-bases parking systemJonker, H. L., 2020, Open University. 28 p.

Research output: Book/Report › Commissioned report › Professional

Open Access

File

164 Downloads (Pure)

Studentinzicht 11

Van den Munckhof, R. & Leeuwestein-Verbeek, P., Dec 2012, Heerlen: Open Universiteit (IPO).

Research output: Book/Report › Commissioned report › Professional

Open Access

File

37 Downloads (Pure)

Verkenning Risicobeperking internetstemmen voor stemmers buiten Nederland

Jonker, H. L., 14 Mar 2017, Open Universiteit. 17 p.

Research output: Book/Report › Commissioned report › Academic

Open Access

File

87 Downloads (Pure)

Conference Abstract/Poster in journal

In Silico Validation of a cartilage specific circadian clock: mutation of BMAL1 increased MMP expression

Khurana, S., Bokkers, A., Geijs, D. J., Schivo, S., Karperien, M. & Post, J. N., Apr 2019, In: Osteoarthritis and Cartilage. 27, S1, p. S193-S194 2 p.

Research output: Contribution to journal › Conference Abstract/Poster in journal › Academic › peer-review

Open Access

1 Citation (Web of Science)

Conference Abstract/Poster in proceeding

Analyzing students' recontextualization strategies for algorithmic concepts

Nijenhuis-Voogt, J., Bayram-Jacobs, D., Meijer, P. C. & Barendsen, E., 23 Oct 2019, WiPSCE'19: Proceedings of the 14th Workshop in Primary and Secondary Computing Education. Cutts, Q. & Brinda, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 1-2 2 p. 7

Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

Computational thinking skills in dutch secondary education: exploring teacher's perspective

Grgurina, N., Barendsen, E., Zwaneveld, B., van Veen, K. & Stoker, I., Nov 2014, Proceedings of the 9th Workshop in Primary and Secondary Computing Education: WiPSCE '14. New York, NY: Association for Computing Machinery (ACM), p. 124-125 2 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

Do priming of fixations aid recognition of crime scenes?

Onwuegbusi, T., Hogue, T., Hermens, F. & Smith, L., 19 Jul 2023, Abstract book: Annual Conference of the European Association of Psychology and Law, EAPL2023. European Association of Psychology and Law, p. 228-228

Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

Open Access

GitCanary: A Tool for Analyzing Student Contributions in Group Programming Assignments

Sandee, J. J. & Aivaloglou, E., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 1-2 2 p. 38

Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

Department of Computer Science

Research output

Search results