Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarko C. J. D. van Eekelen
Person information
- affiliation: Open University, The Netherlands, Faculty of Science
- affiliation: Radboud University, The Netherlands, Faculty of Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1993
[b2]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Functional Programming and Parallel Graph Rewriting. Addison-Wesley 1993, ISBN 0-201-41663-8- 1988
- [b1]Marko C. J. D. van Eekelen:
Parallel graph rewriting - some contributions to its theory, its implementation and its application. Radboud University Nijmegen, 1988, pp. I-IX, 1-165
Journal Articles
- 2022
- [j21]Raphaela Butz
, Renée Schulz, Arjen Hommersom, Marko C. J. D. van Eekelen:
Investigating the understandability of XAI methods for enhanced user experience: When Bayesian network users became detectives. Artif. Intell. Medicine 134: 102438 (2022) - 2021
- [j20]Olha Shkaravska, Marko C. J. D. van Eekelen:
Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials. J. Symb. Comput. 103: 22-45 (2021) - 2019
- [j19]Jens Haag, Harald P. E. Vranken, Marko C. J. D. van Eekelen:
A Virtual Classroom for Cybersecurity Education. Trans. Edutainment 15: 173-208 (2019) - 2018
- [j18]Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. van Eekelen:
Evaluation of transaction authentication methods for online banking. Future Gener. Comput. Syst. 80: 430-447 (2018) - 2017
- [j17]Sven Kiljan, Koen Simoens, Danny De Cock, Marko C. J. D. van Eekelen, Harald P. E. Vranken:
A Survey of Authentication and Communications Security in Online Banking. ACM Comput. Surv. 49(4): 61:1-61:35 (2017) - 2015
- [j16]Sjaak Smetsers, Marko C. J. D. van Eekelen:
Derivation and inference of higher-order strictness types. Comput. Lang. Syst. Struct. 44: 166-180 (2015) - [j15]Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen:
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. Sci. Comput. Program. 111: 363-364 (2015) - 2014
- [j14]Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen:
ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26(14): 2432-2455 (2014) - [j13]Olha Shkaravska, Marko C. J. D. van Eekelen:
Univariate polynomial solutions of algebraic difference equations. J. Symb. Comput. 60: 15-28 (2014) - 2013
- [j12]Christian Köppe, Marko C. J. D. van Eekelen:
Report of the CSER C'12 conference. Inroads 4(1): 80 (2013) - [j11]Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer:
EditorArrow: An arrow-based model for editor-based programming. J. Funct. Program. 23(2): 185-224 (2013) - 2011
- [j10]Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. Sci. Comput. Program. 76(2): 82-99 (2011) - 2010
- [j9]Peter Achten, Marko C. J. D. van Eekelen, Pieter W. M. Koopman, Marco T. Morazán:
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. High. Order Symb. Comput. 23(4): 465-487 (2010) - [j8]Petra Heck, Martijn Klabbers, Marko C. J. D. van Eekelen:
A software product certification model. Softw. Qual. J. 18(1): 37-55 (2010) - [j7]Luc M. W. J. Rutten, Marko C. J. D. van Eekelen:
Efficient and formally proven reduction of large integers by small moduli. ACM Trans. Math. Softw. 37(2): 16:1-16:21 (2010) - 2009
- [j6]Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren:
Polynomial Size Analysis of First-Order Shapely Functions. Log. Methods Comput. Sci. 5(2) (2009) - 1999
- [j5]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Keep it Clean: A Unique Approach to Functional Programming. ACM SIGPLAN Notices 34(6): 23-31 (1999) - 1995
- [j4]Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen:
Implementing a Functional Spreadsheet in Clean. J. Funct. Program. 5(3): 383-414 (1995) - [j3]Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Operational Machine Specification in a Functional Programming Language. Softw. Pract. Exp. 25(5): 463-499 (1995) - 1989
- [j2]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep:
LEAN: an intermediate language based on graph rewriting. Parallel Comput. 9(2): 163-177 (1989) - 1987
- [j1]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, Pieter H. Hartel, Louis O. Hertzberger, Willem G. Vree:
The Dutch parallel reduction machine project. Future Gener. Comput. Syst. 3(4): 261-270 (1987)
Conference and Workshop Papers
- 2022
- [c79]Xi Chen, Stefano Bromuri, Marko C. J. D. van Eekelen:
A transfer learning approach to predict shipment description quality. SAC 2022: 1144-1147 - 2021
- [c78]Xi Chen, Stefano Bromuri, Marko C. J. D. van Eekelen:
Neural Machine Translation for Harmonized System Codes prediction. ICMLT 2021: 158-163 - [c77]Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Efficient Verification of Optimized Code - Correct High-Speed X25519. NFM 2021: 304-321 - [c76]Andreas Schuderer, Stefano Bromuri, Marko C. J. D. van Eekelen:
Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models. PAAMS 2021: 390-393 - [c75]Vreda Pieterse, Sylvia Stuurman, Marko C. J. D. van Eekelen:
Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course. SIGCSE 2021: 239-245 - 2020
- [c74]Markus Klinik, Bernard van Gastel, Cynthia Kop, Marko C. J. D. van Eekelen:
Skylines for Symbolic Energy Consumption Analysis. FMICS 2020: 93-112 - [c73]Koen Weterings, Shir-Lee Kimelman, Stefano Bromuri, Marko C. J. D. van Eekelen:
Interpreting Attention Models: LSTM vs. CNN : A case study on customer activation. ICMLA 2020: 336-343 - [c72]Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw:
Verifying OpenJDK's LinkedList using KeY. TACAS (2) 2020: 217-234 - 2019
- [c71]Marc Schoolderman, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? CSERC 2019: 50-57 - [c70]Ed van Doorn, Sylvia Stuurman, Marko C. J. D. van Eekelen:
Static Detection of Design Patterns in Class Diagrams. CSERC 2019: 79-88 - [c69]Koen Weterings, Stefano Bromuri, Marko C. J. D. van Eekelen:
Explaining Customer activation with Deep Attention Models. ECIS 2019 - [c68]Sung-Shik Jongmans, Arjan Lamers, Marko C. J. D. van Eekelen:
SOA and the Button Problem. FM 2019: 689-706 - [c67]Vincent van der Meer, Hugo Jonker, Guy Dols, Harm M. A. van Beek, Jeroen van den Bos, Marko C. J. D. van Eekelen:
File Fragmentation in the Wild: a Privacy-Friendly Approach. WIFS 2019: 1-6 - 2018
- [c66]Arjan Lamers, Marko C. J. D. van Eekelen, Sung-Shik Jongmans:
Improved Architectures/Deployments with Elmo. ICSOC Workshops 2018: 419-424 - [c65]Vreda Pieterse, Mpho Leeu, Marko C. J. D. van Eekelen:
How personality diversity influences team performance in student software engineering teams. ICTAS 2018: 1-6 - [c64]Pascal van Gastel, Bernard van Gastel, Marko C. J. D. van Eekelen:
Detecting energy bugs and hotspots in control software using model checking. Programming 2018: 93-98 - [c63]Jos van Roosmalen, Harald P. E. Vranken, Marko C. J. D. van Eekelen:
Applying deep learning on packet flows for botnet detection. SAC 2018: 1629-1636 - [c62]Raphaela Butz, Arjen Hommersom, Marko C. J. D. van Eekelen:
Explaining the Most Probable Explanation. SUM 2018: 50-63 - 2017
- [c61]Bernard van Gastel, Marko C. J. D. van Eekelen:
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems. DICE-FOPARA@ETAPS 2017: 24-37 - 2016
- [c60]Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. van Eekelen:
User-friendly Manual Transfer of Authenticated Online Banking Transaction Data - A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme. SECRYPT 2016: 259-270 - [c59]Marko C. J. D. van Eekelen, Kerstin Eder:
Preface. RAC@ETAPS 2016: 1-3 - 2015
- [c58]Arjan Lamers, Marko C. J. D. van Eekelen:
A Lightweight Method for Analysing Performance Dependencies Between Services. ESOCC Workshops 2015: 93-110 - [c57]Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen:
Using Dependent Types to Define Energy Augmented Semantics of Programs. FOPARA 2015: 20-39 - [c56]Joel Cox, Eric Bouwers, Marko C. J. D. van Eekelen, Joost Visser:
Measuring Dependency Freshness in Software Systems. ICSE (2) 2015: 109-118 - [c55]Christian Köppe, Marko C. J. D. van Eekelen, Stijn Hoppenbrouwers:
Improving Student Group Work with Collaboration Patterns: A Case Study. ICSE (2) 2015: 303-306 - [c54]Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen:
Formalizing Bialgebraic Semantics in PVS 6.0. WPTE@RDP 2015: 47-61 - 2014
- [c53]Jens Haag, Stefan Karsch, Harald P. E. Vranken, Marko C. J. D. van Eekelen:
An Exercise Assistant for Practical Networking and IT Security Courses in Higher Education. CSEDU (Selected Papers) 2014: 84-98 - [c52]Jens Haag, Christian Witte, Stefan Karsch, Harald P. E. Vranken, Marko C. J. D. van Eekelen:
An Exercise Assistant for Practical Networking Courses. CSEDU (1) 2014: 97-104 - [c51]Achilleas L. D. Buisman, Marko C. J. D. van Eekelen:
Gamification in educational software development. CSERC 2014: 9-20 - [c50]Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko C. J. D. van Eekelen:
ECAlogic: hardware-parametric energy-consumption analysis of algorithms. FOAL 2014: 19-22 - [c49]Sven Kiljan, Harald P. E. Vranken, Marko C. J. D. van Eekelen:
What You Enter Is What You Sign: Input Integrity in an Online Banking Environment. STAST 2014: 40-47 - 2013
- [c48]Maarten de Mol, Marko C. J. D. van Eekelen:
Beautiful Code, Beautiful Proof? The Beauty of Functional Code 2013: 1-7 - [c47]Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen:
A Hoare Logic for Energy Consumption Analysis. FOPARA 2013: 93-109 - [c46]Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet:
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. FOPARA 2013: 143-159 - [c45]Rody Kersten, Bernard van Gastel, Manu Drijvers, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. NASA Formal Methods 2013: 63-77 - [c44]Willem Burgers, Roel Verdult, Marko C. J. D. van Eekelen:
Prevent Session Hijacking by Binding the Session to the Cryptographic Network Credentials. NordSec 2013: 33-50 - [c43]Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Modular Bialgebraic Semantics and Algebraic Laws. SBLP 2013: 46-60 - 2012
- [c42]Sylvia Stuurman, Marko C. J. D. van Eekelen, Bastiaan Heeren:
A new method for sustainable development of open educational resources. CSERC 2012: 57-66 - [c41]Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
A Proof Framework for Concurrent Programs. IFM 2012: 174-190 - [c40]Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen:
Making resource analysis practical for real-time Java. JTRES 2012: 135-144 - [c39]Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Generating Verifiable Java Code from Verified PVS Specifications. NASA Formal Methods 2012: 310-325 - [c38]Attila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen:
Higher-Order Size Checking without Subtyping. Trends in Functional Programming 2012: 53-68 - [c37]Sjaak Smetsers, Marko C. J. D. van Eekelen:
Higher-Order Strictness Typing. Trends in Functional Programming 2012: 85-100 - 2011
- [c36]Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña:
Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA 2011: 36-53 - [c35]Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Formal Component-Based Semantics. SOS 2011: 17-29 - 2010
- [c34]Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen:
A Formal Verification Study on the Rotterdam Storm Surge Barrier. ICFEM 2010: 287-302 - [c33]Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen:
Test-based inference of polynomial loop-bound functions. PPPJ 2010: 99-108 - 2009
- [c32]Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers:
Preemption Abstraction. FMICS 2009: 149-164 - 2008
- [c31]Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. FMICS 2008: 85-102 - [c30]Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet:
Collected Size Semantics for Functional Programs over Lists. IFL 2008: 118-137 - [c29]Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen:
Size Analysis of Algebraic Data Type. Trends in Functional Programming 2008: 33-48 - 2007
- [c28]Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
A Single-Step Term-Graph Reduction System for Proof Assistants. AGTIVE 2007: 184-200 - [c27]Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86 - [c26]Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. FMICS 2007: 115-132 - [c25]Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko:
Analysis of a Session-Layer Protocol in mCRL2. FMICS 2007: 182-199 - [c24]Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers:
AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming 2007: 36-53 - [c23]Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen:
Polynomial Size Analysis of First-Order Functions. TLCA 2007: 351-365 - [c22]Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen:
Inferring Static Non-monotone Size-aware Types Through Testing. WFLP@RDP 2007: 45-63 - 2005
- [c21]Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
There and back again: arrows for invertible programming. Haskell 2005: 86-97 - [c20]Marko C. J. D. van Eekelen, Maarten de Mol:
Proof Tool Support for Explicit Strictness. IFL 2005: 37-54 - 2004
- [c19]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. Advanced Functional Programming 2004: 210-244 - [c18]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden:
Automatic Generation of Editors for Higher-Order Data Structures. APLAS 2004: 262-279 - [c17]Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen:
Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194 - [c16]Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Compositional Model-Views with Generic Graphical User Interfaces. PADL 2004: 39-55 - [c15]Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol:
Proof support for generic type classes. Trends in Functional Programming 2004: 1-16 - 2003
- [c14]Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Generic Graphical User Interfaces. IFL 2003: 152-167 - 2001
- [c13]Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Theorem Proving for Functional Programmers. IFL 2001: 55-71 - 2000
- [c12]Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Polygonizing Implicit Surfaces in a Purely Functional Way. IFL 2000: 158-175 - 1999
- [c11]Marinus J. Plasmeijer, Marko C. J. D. van Eekelen:
Term Graph Rewriting and Mobile Expressions in Functional Languages. AGTIVE 1999: 1-13 - [c10]Maarten de Mol, Marko C. J. D. van Eekelen:
A Proof Tool Dedicated to Clean - The First Prototype. AGTIVE 1999: 271-278 - 1996
- [c9]Marko C. J. D. van Eekelen, Sjaak Smetsers, Marinus J. Plasmeijer:
Graph Rewriting Semantics for Functional Programming Languages. CSL 1996: 106-128 - 1995
- [c8]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Constructing Medium Sized Efficient Functional Programs in Clean. Advanced Functional Programming 1995: 183-227 - 1993
- [c7]Sjaak Smetsers, Erik Barendsen, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 358-379 - 1991
- [c6]E. G. J. M. H. Nöcker, J. E. W. Smetsers, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Concurrent Clean. PARLE (2) 1991: 202-219 - 1990
- [c5]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers:
Parallel Graph Rewriting on Loosely Coupled Machine Architectures. CTRS 1990: 354-369 - 1987
- [c4]T. H. Brus, Marko C. J. D. van Eekelen, M. O. van Leer, Marinus J. Plasmeijer:
CLEAN: A language for functional graph writing. FPCA 1987: 364-384 - [c3]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep:
Term Graph Rewriting. PARLE (2) 1987: 141-158 - [c2]Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep:
Towards an Intermediate Language based on Graph Rewriting. PARLE (2) 1987: 159-175 - 1986
- [c1]Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Specification of reduction strategies in term rewriting systems. Graph Reduction 1986: 215-239
Parts in Books or Collections
- 1999
- [p1]Rinus Plasmeijer, Marko C. J. D. van Eekelen, Marco Pil, Pascal R. Serrarens:
Parallel and Distributed Programming in Concurrent Clean. Research Directions in Parallel Functional Programming 1999: 323-338
Editorship
- 2016
- [e10]Vreda Pieterse, Marko C. J. D. van Eekelen:
Proceedings of the Computer Science Education Research Conference 2016, CSERC 2016, Pretoria, South Africa, July 4-6, 2016. ACM 2016, ISBN 978-1-4503-4492-0 [contents] - [e9]Marko C. J. D. van Eekelen, Kerstin Eder:
Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands, April 2, 2016. Electronic Notes in Theoretical Computer Science 330, Elsevier 2016 [contents] - [e8]Marko C. J. D. van Eekelen, Ugo Dal Lago:
Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9964, 2016, ISBN 978-3-319-46558-6 [contents] - 2013
- [e7]Marko C. J. D. van Eekelen, Erik Barendsen, Peter B. Sloep, Gerrit C. van der Veer:
Proceedings of the 3rd Computer Science Education Research Conference, CSERC 2013, Arnhem, The Netherlands, April 04 - 05, 2013. ACM 2013 [contents] - 2012
- [e6]Gerrit C. van der Veer, Marcin Sikorski, Peter B. Sloep, Marko C. J. D. van Eekelen:
Proceedings of Second Computer Science Education Research Conference, CSERC 2012, Wroclaw, Poland, September 9-12, 2012. ACM 2012, ISBN 978-1-4503-1858-7 [contents] - [e5]Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska:
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7177, Springer 2012, ISBN 978-3-642-32494-9 [contents] - 2011
- [e4]Gerrit C. van der Veer, Peter B. Sloep, Marko C. J. D. van Eekelen:
Computer Science Education Research Conference, CSERC 2011, Heerlen, The Netherlands, April 7-8, 2011. ACM 2011, ISBN 9789035819870 [contents] - [e3]Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk:
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Lecture Notes in Computer Science 6898, Springer 2011, ISBN 978-3-642-22862-9 [contents] - 2010
- [e2]Marko C. J. D. van Eekelen, Olha Shkaravska:
Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6324, Springer 2010, ISBN 978-3-642-15330-3 [contents] - 2007
- [e1]Marko C. J. D. van Eekelen:
Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. Trends in Functional Programming 6, Intellect 2007, ISBN 978-1-84150-176-5 [contents]
Informal and Other Publications
- 2021
- [i7]Andreas Schuderer, Stefano Bromuri, Marko C. J. D. van Eekelen:
Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models. CoRR abs/2102.09824 (2021) - [i6]Raphaela Butz, Renée Schulz, Arjen Hommersom, Marko C. J. D. van Eekelen:
What is understandable in Bayesian network explanations? CoRR abs/2110.01322 (2021) - [i5]Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Efficient Verification of Optimized Code: Correct High-speed X25519. IACR Cryptol. ePrint Arch. 2021: 415 (2021) - 2020
- [i4]Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen:
Efficient Verification of Optimized Code: Correct High-speed Curve25519. CoRR abs/2012.09919 (2020) - 2019
- [i3]Marko C. J. D. van Eekelen, Daniil Frumin, Herman Geuvers, Léon Gondelman, Robbert Krebbers, Marc Schoolderman, Sjaak Smetsers, Freek Verbeek, Benoît Viguier, Freek Wiedijk:
A benchmark for C program verification. CoRR abs/1904.01009 (2019) - [i2]Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw:
Verifying OpenJDK's LinkedList using KeY. CoRR abs/1911.04195 (2019) - 2008
- [i1]Sjaak Smetsers, Marko C. J. D. van Eekelen:
LaQuSo: Using Formal Methods for Analysis of Safety-Cr. ERCIM News 2008(75) (2008)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
