Skip to contents Eekelen, Marko van [Editor] ; ITP 2 2011 Berg en Dal Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6898 Plasmeijer, Rinus [Author] ; Eekelen, Marko van [Other] Functional programming and parallel graph rewriting - [1. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wokingham, England [u.a.]: Addison-Wesley, 1993 Published in: International computer science series Eekelen, Marko van [Other]; Shkaravska, Olha [Other]; Eekelen, Marko C. van [Editor] ; FOPARA 1 2009 Eindhoven Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6324 Eekelen, Marko C. van [Author] ; Association for Computing Machinery Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research Books View online Schließen > Access http://dl.acm.org/citation.cfm?id=2541917 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Univ., Heerlen, The Netherlands: Open Universiteit, Heerlen, 2013 Published in: ACM Digital Library- ACM Other conferences Eekelen, Marko van [Author] ; Geuvers, Herman [Other]; Schmaltz, Julien [Other]; Wiedijk, Freek [Other] Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6898 van Eekelen, Marko [Editor]; Dal Lago, Ugo [Editor] Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 9964 Eekelen, Marko C. van [Editor]; Shkaravska, Olha [Editor] Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6324 Smetsers, Sjaak [Author]; Madlener, Ken [Author]; van Eekelen, Marko [Author] ; Sjaak Smetsers and Ken Madlener and Marko van Eekelen [Contributor] Formalizing Bialgebraic Semantics in PVS 6.0 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015 van Eekelen, Marko; Eder, Kerstin Preface Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2016 Published in: Electronic Notes in Theoretical Computer Science Smetsers, Sjaak; van Eekelen, Marko Lecture Notes in Computer Science: Higher-Order Strictness Typing Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: Lecture Notes in Computer Science Köppe, Christian; Van Eekelen, Marko Report of the CSER C'12 conference Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2013 Published in: ACM Inroads Rutten, Luc; Van Eekelen, Marko Efficient and formally proven reduction of large integers by small moduli Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2010 Published in: ACM Transactions on Mathematical Software Plasmeijer, Rinus; van Eekelen, Marko Applications of Graph Transformations with Industrial Relevance: Term Graph Rewriting and Mobile Expressions in Functional Languages Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: Applications of Graph Transformations with Industrial Relevance Plasmeijer, Rinus; Eekelen, Marko van Keep it clean : a unique approach to functional programming : a unique approach to functional programming. Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: ACM SIGPLAN Notices van Gastel, Bernard; van Eekelen, Marko Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2017 Published in: Electronic Proceedings in Theoretical Computer Science Schuderer, Andreas; Bromuri, Stefano; van Eekelen, Marko Lecture Notes in Computer Science: Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2021 Published in: Lecture Notes in Computer Science Butz, Raphaela; Hommersom, Arjen; van Eekelen, Marko Lecture Notes in Computer Science: Explaining the Most Probable Explanation Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Lecture Notes in Computer Science Haag, Jens; Vranken, Harald; van Eekelen, Marko Transactions on Edutainment XV: A Virtual Classroom for Cybersecurity Education Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2019 Published in: Transactions on Edutainment XV Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro Foundational and Practical Aspects of Resource Analysis: Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2014 Published in: Foundational and Practical Aspects of Resource Analysis Lensink, Leonard; Smetsers, Sjaak; van Eekelen, Marko Lecture Notes in Computer Science: A Proof Framework for Concurrent Programs Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Lecture Notes in Computer Science
Eekelen, Marko van [Editor] ; ITP 2 2011 Berg en Dal Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6898
Plasmeijer, Rinus [Author] ; Eekelen, Marko van [Other] Functional programming and parallel graph rewriting - [1. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wokingham, England [u.a.]: Addison-Wesley, 1993 Published in: International computer science series
Eekelen, Marko van [Other]; Shkaravska, Olha [Other]; Eekelen, Marko C. van [Editor] ; FOPARA 1 2009 Eindhoven Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010 ; revised selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6324
Eekelen, Marko C. van [Author] ; Association for Computing Machinery Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research Books View online Schließen > Access http://dl.acm.org/citation.cfm?id=2541917 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Univ., Heerlen, The Netherlands: Open Universiteit, Heerlen, 2013 Published in: ACM Digital Library- ACM Other conferences
Eekelen, Marko van [Author] ; Geuvers, Herman [Other]; Schmaltz, Julien [Other]; Wiedijk, Freek [Other] Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6898
van Eekelen, Marko [Editor]; Dal Lago, Ugo [Editor] Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 9964
Eekelen, Marko C. van [Editor]; Shkaravska, Olha [Editor] Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6324
Smetsers, Sjaak [Author]; Madlener, Ken [Author]; van Eekelen, Marko [Author] ; Sjaak Smetsers and Ken Madlener and Marko van Eekelen [Contributor] Formalizing Bialgebraic Semantics in PVS 6.0 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
van Eekelen, Marko; Eder, Kerstin Preface Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2016 Published in: Electronic Notes in Theoretical Computer Science
Smetsers, Sjaak; van Eekelen, Marko Lecture Notes in Computer Science: Higher-Order Strictness Typing Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: Lecture Notes in Computer Science
Köppe, Christian; Van Eekelen, Marko Report of the CSER C'12 conference Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2013 Published in: ACM Inroads
Rutten, Luc; Van Eekelen, Marko Efficient and formally proven reduction of large integers by small moduli Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2010 Published in: ACM Transactions on Mathematical Software
Plasmeijer, Rinus; van Eekelen, Marko Applications of Graph Transformations with Industrial Relevance: Term Graph Rewriting and Mobile Expressions in Functional Languages Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: Applications of Graph Transformations with Industrial Relevance
Plasmeijer, Rinus; Eekelen, Marko van Keep it clean : a unique approach to functional programming : a unique approach to functional programming. Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: ACM SIGPLAN Notices
van Gastel, Bernard; van Eekelen, Marko Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2017 Published in: Electronic Proceedings in Theoretical Computer Science
Schuderer, Andreas; Bromuri, Stefano; van Eekelen, Marko Lecture Notes in Computer Science: Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2021 Published in: Lecture Notes in Computer Science
Butz, Raphaela; Hommersom, Arjen; van Eekelen, Marko Lecture Notes in Computer Science: Explaining the Most Probable Explanation Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Lecture Notes in Computer Science
Haag, Jens; Vranken, Harald; van Eekelen, Marko Transactions on Edutainment XV: A Virtual Classroom for Cybersecurity Education Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2019 Published in: Transactions on Edutainment XV
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro Foundational and Practical Aspects of Resource Analysis: Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2014 Published in: Foundational and Practical Aspects of Resource Analysis
Lensink, Leonard; Smetsers, Sjaak; van Eekelen, Marko Lecture Notes in Computer Science: A Proof Framework for Concurrent Programs Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Lecture Notes in Computer Science
> Media type Skip to next facet Articles (56) Wert ausschließen Books (7) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (12) Wert ausschließen Without Specification (48) Wert ausschließen Show more show less
> Language Skip to next facet Not determined (39) Wert ausschließen English (24) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (14) Wert ausschließen Mathmatics (3) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Medicine (1) Wert ausschließen Physics (1) Wert ausschließen Pedagogy (1) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet van Eekelen, Marko (48) Wert ausschließen Smetsers, Sjaak (13) Wert ausschließen Plasmeijer, Rinus (11) Wert ausschließen Shkaravska, Olha (11) Wert ausschließen Eekelen, Marko van (6) Wert ausschließen de Mol, Maarten (6) Wert ausschließen van Gastel, Bernard (6) Wert ausschließen Lensink, Leonard (5) Wert ausschließen Achten, Peter (4) Wert ausschließen Madlener, Ken (4) Wert ausschließen Eekelen, Marko C. van (3) Wert ausschließen Kersten, Rody (3) Wert ausschließen Tamalet, Alejandro (3) Wert ausschließen van Kesteren, Ron (3) Wert ausschließen Jongmans, Sung-Shik (2) Wert ausschließen Lamers, Arjan (2) Wert ausschließen Montenegro, Manuel (2) Wert ausschließen Van Eekelen, Marko (2) Wert ausschließen Vranken, Harald (2) Wert ausschließen van Weelden, Arjen (2) Wert ausschließen ACHTEN, PETER (1) Wert ausschließen Alteen, Matthew G. (1) Wert ausschließen Anderluh, Marko (1) Wert ausschließen Association for Computing Machinery (1) Wert ausschließen Balsollier, Cyril (1) Wert ausschließen Bian, Jinting (1) Wert ausschließen Bromuri, Stefano (1) Wert ausschließen Burgers, Willem (1) Wert ausschließen Butterfield, Andrew (1) Wert ausschließen Butz, Raphaela (1) Wert ausschließen Cock, Danny De (1) Wert ausschließen DE MOL, MAARTEN (1) Wert ausschließen Dal Lago, Ugo (1) Wert ausschließen De Hoon, Walter A. C. A. J (1) Wert ausschließen Della Rocca, Simona Ronchi (1) Wert ausschließen Dowse, Malcolm (1) Wert ausschließen Drijvers, Manu (1) Wert ausschließen Eder, Kerstin (1) Wert ausschließen Eekelen, Marko Van (1) Wert ausschließen FOPARA 1 2009 Eindhoven (1) Wert ausschließen Gastel, Bernard van (1) Wert ausschließen Geuvers, Herman (1) Wert ausschließen Gobec, Martina (1) Wert ausschließen Góbi, Attila (1) Wert ausschließen Haag, Jens (1) Wert ausschließen Heck, Petra (1) Wert ausschließen Hiep, Hans-Dieter A. (1) Wert ausschließen Hommersom, Arjen (1) Wert ausschließen ITP 2 2011 Berg en Dal (1) Wert ausschließen Kersten, Rody W. J. (1) Wert ausschließen Kiljan, Sven (1) Wert ausschließen Klabbers, Martijn (1) Wert ausschließen Klinik, Markus (1) Wert ausschließen Koopman, Pieter (1) Wert ausschließen Kop, Cynthia (1) Wert ausschließen Köppe, Christian (1) Wert ausschließen Loi, Elena M. (1) Wert ausschließen Maathuis, Olaf (1) Wert ausschließen Moerman, Jonathan (1) Wert ausschließen PLASMEIJER, RINUS (1) Wert ausschließen Peña, Ricardo (1) Wert ausschließen Pieters, Roland J. (1) Wert ausschließen Rutten, Luc (1) Wert ausschließen Rutten, Luc M. W. J (1) Wert ausschließen Schierboom, Erik (1) Wert ausschließen Schmaltz, Julien (1) Wert ausschließen Schoolderman, Marc (1) Wert ausschließen Schreurs, René (1) Wert ausschließen Schuderer, Andreas (1) Wert ausschließen Simoens, Koen (1) Wert ausschließen Sjaak Smetsers and Ken Madlener and Marko van Eekelen (1) Wert ausschließen Tews, Hendrik (1) Wert ausschließen Toldin, Paolo Parisen (1) Wert ausschließen Tomašič, Tihomir (1) Wert ausschließen Usenko, Yaroslav S. (1) Wert ausschließen VAN EEKELEN, MARKO (1) Wert ausschließen Verdult, Roel (1) Wert ausschließen Vocadlo, David J. (1) Wert ausschließen Weiss, Matjaž (1) Wert ausschließen Wiedijk, Freek (1) Wert ausschließen Zörner, Thorsten H.-G. (1) Wert ausschließen de Boer, Frank S. (1) Wert ausschließen de Gouw, Stijn (1) Wert ausschließen ten Hoedt, Stefan (1) Wert ausschließen van Eekelen, Kevin (1) Wert ausschließen van Eekelen, Marko C. J. D (1) Wert ausschließen van Eekelen, Marko C. J. D. (1) Wert ausschließen van Gastel, Bernard E. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (29) Wert ausschließen Springer International Publishing (CrossRef) (10) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (4) Wert ausschließen Elsevier BV (CrossRef) (4) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (2) Wert ausschließen Open Publishing Association (CrossRef) (2) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen Show more show less