Research output per year
Research output per year
Personal profile
External positions
Radboud University Nijmegen
Fingerprint
Dive into the research topics where Marko van Eekelen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives
Butz, R., Schulz, R., Hommersom, A. & van Eekelen, M., Dec 2022, In: Artificial Intelligence in Medicine. 134, 12 p., 102438.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course
Pieterse, V., Stuurman, S. & van Eekelen, M. C. J. D., 3 Mar 2021, Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. New York, USA: acm, p. 239-245 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
File64 Downloads (Pure) -
What is understandable in Bayesian network explanations?
Butz, R. S., Schulz, R., Hommersom, A. J. & van Eekelen, M. C. J. D., Oct 2021.Research output: Contribution to conference › Paper › Academic
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 proceeding › Conference Article in proceeding › Academic › peer-review
-
Verifying OpenJDK's LinkedList using KeY
Hiep, H-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 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. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access
Prizes
-
Best student paper award
Butz, Raphaela (Recipient), Hommersom, Arjen (Recipient) & van Eekelen, M.C.J.D. (Recipient), 2018
Prize: Prize (including medals and awards) › Academic
-
Best Student Paper Award CSEDU2014
Haag, Jens (Recipient), Witte, Christian (Recipient), Karsch, Stefan (Recipient), Vranken, Harald (Recipient) & van Eekelen, Marko (Recipient), 2014
Prize: Prize (including medals and awards) › Academic
Activities
-
Formal Methods at Open University
Marko van Eekelen (Speaker)
3 Sep 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
A research agenda for formal methods in the netherlands
Marko van Eekelen (Participant / Attendee)
3 Sep 2018 → 4 Sep 2018Activity: Attending or organising an event types › Attending an event › Academic
-
Software Engineering Dag VERSEN
Marko van Eekelen (Participant / Attendee)
5 Oct 2018Activity: Attending or organising an event types › Attending an event › Academic
-
Association for Computing Machinery (ACM) (Publisher)
Marko van Eekelen (Editor)
13 Nov 2018 → 14 Nov 2018Activity: Publication peer-review and editorial work types › Editorial work book › Academic
-
ACM Digital Library (Publisher)
Vreda Pieterse (Editor), Marko van Eekelen (Editor) & Michalis Giannakos (Editor)
13 Nov 2017 → 15 Nov 2017Activity: Publication peer-review and editorial work types › Editorial work book › Academic
Press / Media
-
-
Dit zijn de beste Masters van ons land
14/03/18
1 Media contribution
Press/Media: Expert Comment › Popular
-
De slimme energiemeter. Iedereen aan de slimme meter?
1/10/15
1 Media contribution
Press/Media › Popular
-
ICT-Netwerk Nijmegen po weg naar VELO-CITY 2017 - Kenniswerkers betrekken bij duurzame mobiliteit
1/01/15
1 Media contribution
Press/Media › Popular
-