Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marko C. J. D. van Eekelen
@article{DBLP:journals/artmed/ButzSHE22,
author = {Raphaela Butz and
Ren{\'{e}}e Schulz and
Arjen Hommersom and
Marko C. J. D. van Eekelen},
title = {Investigating the understandability of {XAI} methods for enhanced
user experience: When Bayesian network users became detectives},
journal = {Artif. Intell. Medicine},
volume = {134},
pages = {102438},
year = {2022},
url = {https://doi.org/10.1016/j.artmed.2022.102438},
doi = {10.1016/J.ARTMED.2022.102438},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/artmed/ButzSHE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChenBE22,
author = {Xi Chen and
Stefano Bromuri and
Marko C. J. D. van Eekelen},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {A transfer learning approach to predict shipment description quality},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {1144--1147},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507339},
doi = {10.1145/3477314.3507339},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ChenBE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ShkaravskaE21,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen},
title = {Polynomial solutions of algebraic difference equations and homogeneous
symmetric polynomials},
journal = {J. Symb. Comput.},
volume = {103},
pages = {22--45},
year = {2021},
url = {https://doi.org/10.1016/j.jsc.2019.10.022},
doi = {10.1016/J.JSC.2019.10.022},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/ShkaravskaE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmlt/ChenBE21,
author = {Xi Chen and
Stefano Bromuri and
Marko C. J. D. van Eekelen},
title = {Neural Machine Translation for Harmonized System Codes prediction},
booktitle = {{ICMLT} 2021: 6th International Conference on Machine Learning Technologies,
Jeju Island, Republic of Korea, April 23 - 25, 2021},
pages = {158--163},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468891.3468915},
doi = {10.1145/3468891.3468915},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmlt/ChenBE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SchooldermanMSE21,
author = {Marc Schoolderman and
Jonathan Moerman and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Aaron Dutle and
Mariano M. Moscato and
Laura Titolo and
C{\'{e}}sar A. Mu{\~{n}}oz and
Ivan Perez},
title = {Efficient Verification of Optimized Code - Correct High-Speed {X25519}},
booktitle = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021,
Virtual Event, May 24-28, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12673},
pages = {304--321},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76384-8\_19},
doi = {10.1007/978-3-030-76384-8\_19},
timestamp = {Wed, 20 Sep 2023 15:15:29 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SchooldermanMSE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/SchudererBE21,
author = {Andreas Schuderer and
Stefano Bromuri and
Marko C. J. D. van Eekelen},
editor = {Frank Dignum and
Juan Manuel Corchado and
Fernando de la Prieta},
title = {Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models},
booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems,
and Social Good. The {PAAMS} Collection - 19th International Conference,
{PAAMS} 2021, Salamanca, Spain, October 6-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12946},
pages = {390--393},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85739-4\_39},
doi = {10.1007/978-3-030-85739-4\_39},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paams/SchudererBE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PieterseSE21,
author = {Vreda Pieterse and
Sylvia Stuurman and
Marko C. J. D. van Eekelen},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {Using Jungian Personality Types for Teaching Teamwork in a Software
Engineering Capstone Course},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {239--245},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3432455},
doi = {10.1145/3408877.3432455},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/PieterseSE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09824,
author = {Andreas Schuderer and
Stefano Bromuri and
Marko C. J. D. van Eekelen},
title = {Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models},
journal = {CoRR},
volume = {abs/2102.09824},
year = {2021},
url = {https://arxiv.org/abs/2102.09824},
eprinttype = {arXiv},
eprint = {2102.09824},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-09824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-01322,
author = {Raphaela Butz and
Ren{\'{e}}e Schulz and
Arjen Hommersom and
Marko C. J. D. van Eekelen},
title = {What is understandable in Bayesian network explanations?},
journal = {CoRR},
volume = {abs/2110.01322},
year = {2021},
url = {https://arxiv.org/abs/2110.01322},
eprinttype = {arXiv},
eprint = {2110.01322},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-01322.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SchooldermanMSE21,
author = {Marc Schoolderman and
Jonathan Moerman and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
title = {Efficient Verification of Optimized Code: Correct High-speed {X25519}},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {415},
year = {2021},
url = {https://eprint.iacr.org/2021/415},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/SchooldermanMSE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KlinikGKE20,
author = {Markus Klinik and
Bernard van Gastel and
Cynthia Kop and
Marko C. J. D. van Eekelen},
editor = {Maurice H. ter Beek and
Dejan Nickovic},
title = {Skylines for Symbolic Energy Consumption Analysis},
booktitle = {Formal Methods for Industrial Critical Systems - 25th International
Conference, {FMICS} 2020, Vienna, Austria, September 2-3, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12327},
pages = {93--112},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58298-2\_3},
doi = {10.1007/978-3-030-58298-2\_3},
timestamp = {Mon, 31 Aug 2020 16:55:58 +0200},
biburl = {https://dblp.org/rec/conf/fmics/KlinikGKE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/WeteringsKBE20,
author = {Koen Weterings and
Shir{-}Lee Kimelman and
Stefano Bromuri and
Marko C. J. D. van Eekelen},
editor = {M. Arif Wani and
Feng Luo and
Xiaolin Andy Li and
Dejing Dou and
Francesco Bonchi},
title = {Interpreting Attention Models: {LSTM} vs. {CNN} : {A} case study on
customer activation},
booktitle = {19th {IEEE} International Conference on Machine Learning and Applications,
{ICMLA} 2020, Miami, FL, USA, December 14-17, 2020},
pages = {336--343},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICMLA51294.2020.00061},
doi = {10.1109/ICMLA51294.2020.00061},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmla/WeteringsKBE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HiepMBBEG20,
author = {Hans{-}Dieter A. Hiep and
Olaf Maathuis and
Jinting Bian and
Frank S. de Boer and
Marko C. J. D. van Eekelen and
Stijn de Gouw},
editor = {Armin Biere and
David Parker},
title = {Verifying OpenJDK's LinkedList using KeY},
booktitle = {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}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {217--234},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_13},
doi = {10.1007/978-3-030-45237-7\_13},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HiepMBBEG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-09919,
author = {Marc Schoolderman and
Jonathan Moerman and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
title = {Efficient Verification of Optimized Code: Correct High-speed Curve25519},
journal = {CoRR},
volume = {abs/2012.09919},
year = {2020},
url = {https://arxiv.org/abs/2012.09919},
eprinttype = {arXiv},
eprint = {2012.09919},
timestamp = {Sun, 03 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-09919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tedu/HaagVE19,
author = {Jens Haag and
Harald P. E. Vranken and
Marko C. J. D. van Eekelen},
title = {A Virtual Classroom for Cybersecurity Education},
journal = {Trans. Edutainment},
volume = {15},
pages = {173--208},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59351-6\_13},
doi = {10.1007/978-3-662-59351-6\_13},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tedu/HaagVE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/SchooldermanSE19,
author = {Marc Schoolderman and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Ebrahim Rahimi and
Dave R. Stikkolorum},
title = {Is Deductive Program Verification Mature Enough to be Taught to Software
Engineers?},
booktitle = {{CSERC} '19: The 8th Computer Science Education Research Conference,
Larnaca, Cyprus, November 18-20, 2019},
pages = {50--57},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3375258.3375265},
doi = {10.1145/3375258.3375265},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cserc/SchooldermanSE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/DoornSE19,
author = {Ed van Doorn and
Sylvia Stuurman and
Marko C. J. D. van Eekelen},
editor = {Ebrahim Rahimi and
Dave R. Stikkolorum},
title = {Static Detection of Design Patterns in Class Diagrams},
booktitle = {{CSERC} '19: The 8th Computer Science Education Research Conference,
Larnaca, Cyprus, November 18-20, 2019},
pages = {79--88},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3375258.3375268},
doi = {10.1145/3375258.3375268},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cserc/DoornSE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/WeteringsBE19,
author = {Koen Weterings and
Stefano Bromuri and
Marko C. J. D. van Eekelen},
editor = {Jan vom Brocke and
Shirley Gregor and
Oliver M{\"{u}}ller},
title = {Explaining Customer activation with Deep Attention Models},
booktitle = {27th European Conference on Information Systems - Information Systems
for a Sharing Society, {ECIS} 2019, Stockholm and Uppsala, Sweden,
June 8-14, 2019},
year = {2019},
url = {https://aisel.aisnet.org/ecis2019\_rp/151},
timestamp = {Wed, 05 Jun 2019 13:01:12 +0200},
biburl = {https://dblp.org/rec/conf/ecis/WeteringsBE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JongmansLE19,
author = {Sung{-}Shik Jongmans and
Arjan Lamers and
Marko C. J. D. van Eekelen},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {{SOA} and the Button Problem},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {689--706},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_40},
doi = {10.1007/978-3-030-30942-8\_40},
timestamp = {Mon, 23 Sep 2019 13:47:30 +0200},
biburl = {https://dblp.org/rec/conf/fm/JongmansLE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wifs/MeerJDBBE19,
author = {Vincent van der Meer and
Hugo Jonker and
Guy Dols and
Harm M. A. van Beek and
Jeroen van den Bos and
Marko C. J. D. van Eekelen},
title = {File Fragmentation in the Wild: a Privacy-Friendly Approach},
booktitle = {{IEEE} International Workshop on Information Forensics and Security,
{WIFS} 2019, Delft, The Netherlands, December 9-12, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/WIFS47025.2019.9034981},
doi = {10.1109/WIFS47025.2019.9034981},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wifs/MeerJDBBE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01009,
author = {Marko C. J. D. van Eekelen and
Daniil Frumin and
Herman Geuvers and
L{\'{e}}on Gondelman and
Robbert Krebbers and
Marc Schoolderman and
Sjaak Smetsers and
Freek Verbeek and
Beno{\^{\i}}t Viguier and
Freek Wiedijk},
title = {A benchmark for {C} program verification},
journal = {CoRR},
volume = {abs/1904.01009},
year = {2019},
url = {http://arxiv.org/abs/1904.01009},
eprinttype = {arXiv},
eprint = {1904.01009},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04195,
author = {Hans{-}Dieter A. Hiep and
Olaf Maathuis and
Jinting Bian and
Frank S. de Boer and
Marko C. J. D. van Eekelen and
Stijn de Gouw},
title = {Verifying OpenJDK's LinkedList using KeY},
journal = {CoRR},
volume = {abs/1911.04195},
year = {2019},
url = {http://arxiv.org/abs/1911.04195},
eprinttype = {arXiv},
eprint = {1911.04195},
timestamp = {Sun, 01 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/KiljanVE18,
author = {Sven Kiljan and
Harald P. E. Vranken and
Marko C. J. D. van Eekelen},
title = {Evaluation of transaction authentication methods for online banking},
journal = {Future Gener. Comput. Syst.},
volume = {80},
pages = {430--447},
year = {2018},
url = {https://doi.org/10.1016/j.future.2016.05.024},
doi = {10.1016/J.FUTURE.2016.05.024},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/KiljanVE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LamersEJ18,
author = {Arjan Lamers and
Marko C. J. D. van Eekelen and
Sung{-}Shik Jongmans},
editor = {Xiao Liu and
Michael Mrissa and
Liang Zhang and
Djamal Benslimane and
Aditya Ghose and
Zhongjie Wang and
Antonio Bucchiarone and
Wei Zhang and
Ying Zou and
Qi Yu},
title = {Improved Architectures/Deployments with Elmo},
booktitle = {Service-Oriented Computing - {ICSOC} 2018 Workshops - ADMS, ASOCA,
ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12-15,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11434},
pages = {419--424},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-17642-6\_36},
doi = {10.1007/978-3-030-17642-6\_36},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/LamersEJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictas/PieterseLE18,
author = {Vreda Pieterse and
Mpho Leeu and
Marko C. J. D. van Eekelen},
title = {How personality diversity influences team performance in student software
engineering teams},
booktitle = {2018 Conference on Information Communications Technology and Society
(ICTAS), Durban, South Africa, March 8-9, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICTAS.2018.8368749},
doi = {10.1109/ICTAS.2018.8368749},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/ictas/PieterseLE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/GastelGE18,
author = {Pascal van Gastel and
Bernard van Gastel and
Marko C. J. D. van Eekelen},
editor = {Stefan Marr and
Jennifer B. Sartor},
title = {Detecting energy bugs and hotspots in control software using model
checking},
booktitle = {Conference Companion of the 2nd International Conference on Art, Science,
and Engineering of Programming, Nice, France, April 09-12, 2018},
pages = {93--98},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3191697.3213805},
doi = {10.1145/3191697.3213805},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/programming/GastelGE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RoosmalenVE18,
author = {Jos van Roosmalen and
Harald P. E. Vranken and
Marko C. J. D. van Eekelen},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Applying deep learning on packet flows for botnet detection},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1629--1636},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167306},
doi = {10.1145/3167132.3167306},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/RoosmalenVE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/ButzHE18,
author = {Raphaela Butz and
Arjen Hommersom and
Marko C. J. D. van Eekelen},
editor = {Davide Ciucci and
Gabriella Pasi and
Barbara Vantaggi},
title = {Explaining the Most Probable Explanation},
booktitle = {Scalable Uncertainty Management - 12th International Conference, {SUM}
2018, Milan, Italy, October 3-5, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11142},
pages = {50--63},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00461-3\_4},
doi = {10.1007/978-3-030-00461-3\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sum/ButzHE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/KiljanSCEV17,
author = {Sven Kiljan and
Koen Simoens and
Danny De Cock and
Marko C. J. D. van Eekelen and
Harald P. E. Vranken},
title = {A Survey of Authentication and Communications Security in Online Banking},
journal = {{ACM} Comput. Surv.},
volume = {49},
number = {4},
pages = {61:1--61:35},
year = {2017},
url = {https://doi.org/10.1145/3002170},
doi = {10.1145/3002170},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/KiljanSCEV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GastelE17,
author = {Bernard van Gastel and
Marko C. J. D. van Eekelen},
editor = {Guillaume Bonfante and
Georg Moser},
title = {Towards Practical, Precise and Parametric Energy Analysis of {IT}
Controlled Systems},
booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects
of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
22-23, 2017},
series = {{EPTCS}},
volume = {248},
pages = {24--37},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.248.7},
doi = {10.4204/EPTCS.248.7},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/GastelE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/KiljanVE16,
author = {Sven Kiljan and
Harald P. E. Vranken and
Marko C. J. D. van Eekelen},
editor = {Christian Callegari and
Marten van Sinderen and
Panagiotis G. Sarigiannidis and
Pierangela Samarati and
Enrique Cabello and
Pascal Lorenz and
Mohammad S. Obaidat},
title = {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},
booktitle = {Proceedings of the 13th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2016) - Volume 4: SECRYPT, Lisbon,
Portugal, July 26-28, 2016},
pages = {259--270},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005965102590270},
doi = {10.5220/0005965102590270},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/KiljanVE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EekelenE16,
author = {Marko C. J. D. van Eekelen and
Kerstin Eder},
editor = {Marko C. J. D. van Eekelen and
Kerstin Eder},
title = {Preface},
booktitle = {Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands,
April 2, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {330},
pages = {1--3},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2016.12.011},
doi = {10.1016/J.ENTCS.2016.12.011},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/EekelenE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cserc/2016,
editor = {Vreda Pieterse and
Marko C. J. D. van Eekelen},
title = {Proceedings of the Computer Science Education Research Conference
2016, {CSERC} 2016, Pretoria, South Africa, July 4-6, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2998551},
doi = {10.1145/2998551},
isbn = {978-1-4503-4492-0},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etaps/2016rac,
editor = {Marko C. J. D. van Eekelen and
Kerstin Eder},
title = {Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands,
April 2, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {330},
publisher = {Elsevier},
year = {2016},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/330/suppl/C},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etaps/2016rac.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2015,
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46559-3},
doi = {10.1007/978-3-319-46559-3},
isbn = {978-3-319-46558-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/SmetsersE15,
author = {Sjaak Smetsers and
Marko C. J. D. van Eekelen},
title = {Derivation and inference of higher-order strictness types},
journal = {Comput. Lang. Syst. Struct.},
volume = {44},
pages = {166--180},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.07.004},
doi = {10.1016/J.CL.2015.07.004},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/SmetsersE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ShkaravskaRE15,
author = {Olha Shkaravska and
Simona Ronchi Della Rocca and
Marko C. J. D. van Eekelen},
title = {Preface of the special issue on Foundational and Practical Aspects
of Resource Analysis {(FOPARA)} 2009 {\&} 2011},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {363--364},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.08.008},
doi = {10.1016/J.SCICO.2015.08.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ShkaravskaRE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/LamersE15,
author = {Arjan Lamers and
Marko C. J. D. van Eekelen},
editor = {Antonio Celesti and
Philipp Leitner},
title = {A Lightweight Method for Analysing Performance Dependencies Between
Services},
booktitle = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {567},
pages = {93--110},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33313-7\_7},
doi = {10.1007/978-3-319-33313-7\_7},
timestamp = {Fri, 15 May 2020 17:30:02 +0200},
biburl = {https://dblp.org/rec/conf/esocc/LamersE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/GastelKE15,
author = {Bernard van Gastel and
Rody Kersten and
Marko C. J. D. van Eekelen},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Using Dependent Types to Define Energy Augmented Semantics of Programs},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {20--39},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_2},
doi = {10.1007/978-3-319-46559-3\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/GastelKE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CoxBEV15,
author = {Joel Cox and
Eric Bouwers and
Marko C. J. D. van Eekelen and
Joost Visser},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Measuring Dependency Freshness in Software Systems},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {109--118},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.140},
doi = {10.1109/ICSE.2015.140},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CoxBEV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KoppeEH15,
author = {Christian K{\"{o}}ppe and
Marko C. J. D. van Eekelen and
Stijn Hoppenbrouwers},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Improving Student Group Work with Collaboration Patterns: {A} Case
Study},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {303--306},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.160},
doi = {10.1109/ICSE.2015.160},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KoppeEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SmetsersME15,
author = {Sjaak Smetsers and
Ken Madlener and
Marko C. J. D. van Eekelen},
editor = {Yuki Chiba and
Santiago Escobar and
Naoki Nishida and
David Sabel and
Manfred Schmidt{-}Schau{\ss}},
title = {Formalizing Bialgebraic Semantics in {PVS} 6.0},
booktitle = {2nd International Workshop on Rewriting Techniques for Program Transformations
and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland},
series = {OASIcs},
volume = {46},
pages = {47--61},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/OASIcs.WPTE.2015.47},
doi = {10.4230/OASICS.WPTE.2015.47},
timestamp = {Fri, 03 Feb 2023 10:42:58 +0100},
biburl = {https://dblp.org/rec/conf/rta/SmetsersME15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KerstenGSME14,
author = {Rody W. J. Kersten and
Bernard van Gastel and
Olha Shkaravska and
Manuel Montenegro and
Marko C. J. D. van Eekelen},
title = {ResAna: a resource analysis toolset for (real-time) {JAVA}},
journal = {Concurr. Comput. Pract. Exp.},
volume = {26},
number = {14},
pages = {2432--2455},
year = {2014},
url = {https://doi.org/10.1002/cpe.3154},
doi = {10.1002/CPE.3154},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/KerstenGSME14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ShkaravskaE14,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen},
title = {Univariate polynomial solutions of algebraic difference equations},
journal = {J. Symb. Comput.},
volume = {60},
pages = {15--28},
year = {2014},
url = {https://doi.org/10.1016/j.jsc.2013.10.010},
doi = {10.1016/J.JSC.2013.10.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ShkaravskaE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/HaagKVE14,
author = {Jens Haag and
Stefan Karsch and
Harald P. E. Vranken and
Marko C. J. D. van Eekelen},
editor = {Susan Zvacek and
Maria Teresa Restivo and
James Onohuome Uhomoibhi and
Markus Helfert},
title = {An Exercise Assistant for Practical Networking and {IT} Security Courses
in Higher Education},
booktitle = {Computer Supported Education - 6th International Conference, {CSEDU}
2014 Barcelona, Spain, April 1-3, 2014, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {510},
pages = {84--98},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-25768-6\_6},
doi = {10.1007/978-3-319-25768-6\_6},
timestamp = {Mon, 15 Jun 2020 17:11:58 +0200},
biburl = {https://dblp.org/rec/conf/csedu/HaagKVE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/HaagWKVE14,
author = {Jens Haag and
Christian Witte and
Stefan Karsch and
Harald P. E. Vranken and
Marko C. J. D. van Eekelen},
editor = {Susan Zvacek and
Maria Teresa Restivo and
James Onohuome Uhomoibhi and
Markus Helfert},
title = {An Exercise Assistant for Practical Networking Courses},
booktitle = {{CSEDU} 2014 - Proceedings of the 6th International Conference on
Computer Supported Education, Volume 1, Barcelona, Spain, 1-3 April,
2014},
pages = {97--104},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004843700970104},
doi = {10.5220/0004843700970104},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csedu/HaagWKVE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/BuismanE14,
author = {Achilleas L. D. Buisman and
Marko C. J. D. van Eekelen},
editor = {Erik Barendsen and
Valentina Dagiene},
title = {Gamification in educational software development},
booktitle = {Proceedings of the Computer Science Education Research Conference,
{CSERC} 2014, Berlin, Germany, November 5-6, 2014},
pages = {9--20},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2691352.2691353},
doi = {10.1145/2691352.2691353},
timestamp = {Tue, 06 Nov 2018 11:07:33 +0100},
biburl = {https://dblp.org/rec/conf/cserc/BuismanE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/SchooldermanNKE14,
author = {Marc Schoolderman and
Jascha Neutelings and
Rody Kersten and
Marko C. J. D. van Eekelen},
editor = {Gary T. Leavens and
Hidehiko Masuhara and
Hridesh Rajan and
Eric Bodden},
title = {ECAlogic: hardware-parametric energy-consumption analysis of algorithms},
booktitle = {Proceedings of the 13th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2014, April 22, 2014, Lugano, Switzerland},
pages = {19--22},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2588548.2588553},
doi = {10.1145/2588548.2588553},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foal/SchooldermanNKE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stast/KiljanVE14,
author = {Sven Kiljan and
Harald P. E. Vranken and
Marko C. J. D. van Eekelen},
editor = {Giampaolo Bella and
Gabriele Lenzini},
title = {What You Enter Is What You Sign: Input Integrity in an Online Banking
Environment},
booktitle = {2014 Workshop on Socio-Technical Aspects in Security and Trust, {STAST}
2014, Vienna, Austria, July 18, 2014},
pages = {40--47},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/STAST.2014.14},
doi = {10.1109/STAST.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stast/KiljanVE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inroads/KoppeE13,
author = {Christian K{\"{o}}ppe and
Marko C. J. D. van Eekelen},
title = {Report of the {CSER} C'12 conference},
journal = {Inroads},
volume = {4},
number = {1},
pages = {80},
year = {2013},
url = {https://doi.org/10.1145/2432596.2432617},
doi = {10.1145/2432596.2432617},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/inroads/KoppeE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AchtenEMP13,
author = {Peter Achten and
Marko C. J. D. van Eekelen and
Maarten de Mol and
Rinus Plasmeijer},
title = {EditorArrow: An arrow-based model for editor-based programming},
journal = {J. Funct. Program.},
volume = {23},
number = {2},
pages = {185--224},
year = {2013},
url = {https://doi.org/10.1017/S0956796812000421},
doi = {10.1017/S0956796812000421},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AchtenEMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MolE13,
author = {Maarten de Mol and
Marko C. J. D. van Eekelen},
editor = {Peter Achten and
Pieter W. M. Koopman},
title = {Beautiful Code, Beautiful Proof?},
booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
on the Occasion of His 61st Birthday},
series = {Lecture Notes in Computer Science},
volume = {8106},
pages = {1--7},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40355-2\_1},
doi = {10.1007/978-3-642-40355-2\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MolE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/KerstenTGE13,
author = {Rody Kersten and
Paolo Parisen Toldin and
Bernard van Gastel and
Marko C. J. D. van Eekelen},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {A Hoare Logic for Energy Consumption Analysis},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Third International
Workshop, {FOPARA} 2013, Bertinoro, Italy, August 29-31, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8552},
pages = {93--109},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_6},
doi = {10.1007/978-3-319-12466-7\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/KerstenTGE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/ShkaravskaET13,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen and
Alejandro Tamalet},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {Collected Size Semantics for Strict Functional Programs over General
Polymorphic Lists},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Third International
Workshop, {FOPARA} 2013, Bertinoro, Italy, August 29-31, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8552},
pages = {143--159},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_9},
doi = {10.1007/978-3-319-12466-7\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/ShkaravskaET13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/KerstenGDSE13,
author = {Rody Kersten and
Bernard van Gastel and
Manu Drijvers and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {63--77},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_5},
doi = {10.1007/978-3-642-38088-4\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/KerstenGDSE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/BurgersVE13,
author = {Willem Burgers and
Roel Verdult and
Marko C. J. D. van Eekelen},
editor = {Hanne Riis Nielson and
Dieter Gollmann},
title = {Prevent Session Hijacking by Binding the Session to the Cryptographic
Network Credentials},
booktitle = {Secure {IT} Systems - 18th Nordic Conference, NordSec 2013, Ilulissat,
Greenland, October 18-21, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8208},
pages = {33--50},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41488-6\_3},
doi = {10.1007/978-3-642-41488-6\_3},
timestamp = {Sun, 02 Jun 2019 21:12:28 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/BurgersVE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/MadlenerSE13,
author = {Ken Madlener and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Andr{\'{e}} Rauber Du Bois and
Phil Trinder},
title = {Modular Bialgebraic Semantics and Algebraic Laws},
booktitle = {Programming Languages - 17th Brazilian Symposium, {SBLP} 2013, Bras{\'{\i}}lia,
Brazil, October 3 - 4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8129},
pages = {46--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40922-6\_4},
doi = {10.1007/978-3-642-40922-6\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sblp/MadlenerSE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cserc/2013,
editor = {Marko C. J. D. van Eekelen and
Erik Barendsen and
Peter B. Sloep and
Gerrit C. van der Veer},
title = {Proceedings of the 3rd Computer Science Education Research Conference,
{CSERC} 2013, Arnhem, The Netherlands, April 04 - 05, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2541917},
timestamp = {Thu, 30 Oct 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/StuurmanEH12,
author = {Sylvia Stuurman and
Marko C. J. D. van Eekelen and
Bastiaan Heeren},
editor = {Gerrit C. van der Veer and
Marcin Sikorski and
Peter B. Sloep and
Marko C. J. D. van Eekelen},
title = {A new method for sustainable development of open educational resources},
booktitle = {Proceedings of Second Computer Science Education Research Conference,
{CSERC} 2012, Wroclaw, Poland, September 9-12, 2012},
pages = {57--66},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2421277.2421284},
doi = {10.1145/2421277.2421284},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cserc/StuurmanEH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LensinkSE12,
author = {Leonard Lensink and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {John Derrick and
Stefania Gnesi and
Diego Latella and
Helen Treharne},
title = {A Proof Framework for Concurrent Programs},
booktitle = {Integrated Formal Methods - 9th International Conference, {IFM} 2012,
Pisa, Italy, June 18-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7321},
pages = {174--190},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30729-4\_13},
doi = {10.1007/978-3-642-30729-4\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/LensinkSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KerstenSGME12,
author = {Rody Kersten and
Olha Shkaravska and
Bernard van Gastel and
Manuel Montenegro and
Marko C. J. D. van Eekelen},
editor = {Martin Schoeberl and
Andy J. Wellings},
title = {Making resource analysis practical for real-time Java},
booktitle = {The 10th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
2012},
pages = {135--144},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2388936.2388959},
doi = {10.1145/2388936.2388959},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KerstenSGME12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LensinkSE12,
author = {Leonard Lensink and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Generating Verifiable Java Code from Verified {PVS} Specifications},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {310--325},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_30},
doi = {10.1007/978-3-642-28891-3\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LensinkSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GobiSE12,
author = {Attila G{\'{o}}bi and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Higher-Order Size Checking without Subtyping},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {53--68},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_4},
doi = {10.1007/978-3-642-40447-4\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GobiSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SmetsersE12,
author = {Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Higher-Order Strictness Typing},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {85--100},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_6},
doi = {10.1007/978-3-642-40447-4\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SmetsersE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cserc/2012,
editor = {Gerrit C. van der Veer and
Marcin Sikorski and
Peter B. Sloep and
Marko C. J. D. van Eekelen},
title = {Proceedings of Second Computer Science Education Research Conference,
{CSERC} 2012, Wroclaw, Poland, September 9-12, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2421277},
isbn = {978-1-4503-1858-7},
timestamp = {Thu, 30 Oct 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2011,
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32495-6},
doi = {10.1007/978-3-642-32495-6},
isbn = {978-3-642-32494-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GastelLSE11,
author = {Bernard van Gastel and
Leonard Lensink and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
title = {Deadlock and starvation free reentrant readers-writers: {A} case study
combining model checking with theorem proving},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {82--99},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.004},
doi = {10.1016/J.SCICO.2010.03.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GastelLSE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/MontenegroSEP11,
author = {Manuel Montenegro and
Olha Shkaravska and
Marko C. J. D. van Eekelen and
Ricardo Pe{\~{n}}a},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Interpolation-Based Height Analysis for Improving a Recurrence Solver},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {36--53},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_3},
doi = {10.1007/978-3-642-32495-6\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/MontenegroSEP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3125,
author = {Ken Madlener and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Michel A. Reniers and
Pawel Sobocinski},
title = {Formal Component-Based Semantics},
booktitle = {Proceedings Eight Workshop on Structural Operational Semantics 2011,
{SOS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {62},
pages = {17--29},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.62.2},
doi = {10.4204/EPTCS.62.2},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-3125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cserc/2011,
editor = {Gerrit C. van der Veer and
Peter B. Sloep and
Marko C. J. D. van Eekelen},
title = {Computer Science Education Research Conference, {CSERC} 2011, Heerlen,
The Netherlands, April 7-8, 2011},
publisher = {{ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2043594},
isbn = {9789035819870},
timestamp = {Thu, 30 Oct 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2011,
editor = {Marko C. J. D. van Eekelen and
Herman Geuvers and
Julien Schmaltz and
Freek Wiedijk},
title = {Interactive Theorem Proving - Second International Conference, {ITP}
2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6898},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22863-6},
doi = {10.1007/978-3-642-22863-6},
isbn = {978-3-642-22862-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/AchtenEKM10,
author = {Peter Achten and
Marko C. J. D. van Eekelen and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Trends in Trends in Functional Programming 1999/2000 versus 2007/2008},
journal = {High. Order Symb. Comput.},
volume = {23},
number = {4},
pages = {465--487},
year = {2010},
url = {https://doi.org/10.1007/s10990-011-9074-z},
doi = {10.1007/S10990-011-9074-Z},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/AchtenEKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/HeckKE10,
author = {Petra Heck and
Martijn Klabbers and
Marko C. J. D. van Eekelen},
title = {A software product certification model},
journal = {Softw. Qual. J.},
volume = {18},
number = {1},
pages = {37--55},
year = {2010},
url = {https://doi.org/10.1007/s11219-009-9080-0},
doi = {10.1007/S11219-009-9080-0},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/HeckKE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/RuttenE10,
author = {Luc M. W. J. Rutten and
Marko C. J. D. van Eekelen},
title = {Efficient and formally proven reduction of large integers by small
moduli},
journal = {{ACM} Trans. Math. Softw.},
volume = {37},
number = {2},
pages = {16:1--16:21},
year = {2010},
url = {https://doi.org/10.1145/1731022.1731026},
doi = {10.1145/1731022.1731026},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toms/RuttenE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MadlenerSE10,
author = {Ken Madlener and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {A Formal Verification Study on the Rotterdam Storm Surge Barrier},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {287--302},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_20},
doi = {10.1007/978-3-642-16901-4\_20},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/MadlenerSE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/ShkaravskaKE10,
author = {Olha Shkaravska and
Rody Kersten and
Marko C. J. D. van Eekelen},
editor = {Andreas Krall and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
title = {Test-based inference of polynomial loop-bound functions},
booktitle = {Proceedings of the 8th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2010, Vienna, Austria, September
15-17, 2010},
pages = {99--108},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1852761.1852776},
doi = {10.1145/1852761.1852776},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/ShkaravskaKE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2009,
editor = {Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Foundational and Practical Aspects of Resource Analysis - First International
Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6324},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15331-0},
doi = {10.1007/978-3-642-15331-0},
isbn = {978-3-642-15330-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2073,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen and
Ron van Kesteren},
title = {Polynomial Size Analysis of First-Order Shapely Functions},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0902.2073},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-2073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SchierboomTTES09,
author = {Erik Schierboom and
Alejandro Tamalet and
Hendrik Tews and
Marko C. J. D. van Eekelen and
Sjaak Smetsers},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {Preemption Abstraction},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {149--164},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_12},
doi = {10.1007/978-3-642-04570-7\_12},
timestamp = {Sun, 02 Oct 2022 16:01:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/SchierboomTTES09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GastelLSE08,
author = {Bernard van Gastel and
Leonard Lensink and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Reentrant Readers-Writers: {A} Case Study Combining Model Checking
with Theorem Proving},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {85--102},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_10},
doi = {10.1007/978-3-642-03240-0\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GastelLSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ShkaravskaET08,
author = {Olha Shkaravska and
Marko C. J. D. van Eekelen and
Alejandro Tamalet},
editor = {Sven{-}Bodo Scholz and
Olaf Chitil},
title = {Collected Size Semantics for Functional Programs over Lists},
booktitle = {Implementation and Application of Functional Languages - 20th International
Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5836},
pages = {118--137},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-24452-0\_7},
doi = {10.1007/978-3-642-24452-0\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/ShkaravskaET08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/TamaletSE08,
author = {Alejandro Tamalet and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Size Analysis of Algebraic Data Type},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {33--48},
publisher = {Intellect},
year = {2008},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/sfp/TamaletSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/SmetsersE08,
author = {Sjaak Smetsers and
Marko C. J. D. van Eekelen},
title = {LaQuSo: Using Formal Methods for Analysis of Safety-Cr},
journal = {{ERCIM} News},
volume = {2008},
number = {75},
year = {2008},
url = {http://ercim-news.ercim.eu/laquso-using-formal-methods-for-safety-critical-software},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/SmetsersE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/MolEP07,
author = {Maarten de Mol and
Marko C. J. D. van Eekelen and
Rinus Plasmeijer},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {A Single-Step Term-Graph Reduction System for Proof Assistants},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {184--200},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_14},
doi = {10.1007/978-3-540-89020-1\_14},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/MolEP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/MolEP07,
author = {Maarten de Mol and
Marko C. J. D. van Eekelen and
Rinus Plasmeijer},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Anna So{\'{o}}s and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Proving Properties of Lazy Functional Programs with Sparkle},
booktitle = {Central European Functional Programming School, Second Summer School,
{CEFP} 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5161},
pages = {41--86},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88059-2\_2},
doi = {10.1007/978-3-540-88059-2\_2},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/MolEP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/LensinkSE07,
author = {Leonard Lensink and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Stefan Leue and
Pedro Merino},
title = {Machine Checked Formal Proof of a Scheduling Protocol for Smartcard
Personalization},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International
Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4916},
pages = {115--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79707-4\_10},
doi = {10.1007/978-3-540-79707-4\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/LensinkSE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/EekelenHSU07,
author = {Marko C. J. D. van Eekelen and
Stefan ten Hoedt and
Ren{\'{e}} Schreurs and
Yaroslav S. Usenko},
editor = {Stefan Leue and
Pedro Merino},
title = {Analysis of a Session-Layer Protocol in mCRL2},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International
Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4916},
pages = {182--199},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79707-4\_14},
doi = {10.1007/978-3-540-79707-4\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/EekelenHSU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/EekelenSKJPS07,
author = {Marko C. J. D. van Eekelen and
Olha Shkaravska and
Ron van Kesteren and
Bart Jacobs and
Erik Poll and
Sjaak Smetsers},
editor = {Marco T. Moraz{\'{a}}n},
title = {{AHA:} Amortized Heap Space Usage Analysis},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {36--53},
publisher = {Intellect},
year = {2007},
timestamp = {Thu, 09 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/EekelenSKJPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/ShkaravskaKE07,
author = {Olha Shkaravska and
Ron van Kesteren and
Marko C. J. D. van Eekelen},
editor = {Simona Ronchi Della Rocca},
title = {Polynomial Size Analysis of First-Order Functions},
booktitle = {Typed Lambda Calculi and Applications, 8th International Conference,
{TLCA} 2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4583},
pages = {351--365},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73228-0\_25},
doi = {10.1007/978-3-540-73228-0\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/ShkaravskaKE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KesterenSE08,
author = {Ron van Kesteren and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Rachid Echahed},
title = {Inferring Static Non-monotone Size-aware Types Through Testing},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {45--63},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.033},
doi = {10.1016/J.ENTCS.2008.06.033},
timestamp = {Fri, 17 Feb 2023 10:24:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KesterenSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2005,
editor = {Marko C. J. D. van Eekelen},
title = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
publisher = {Intellect},
year = {2007},
isbn = {978-1-84150-176-5},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/AlimarineSWEP05,
author = {Artem Alimarine and
Sjaak Smetsers and
Arjen van Weelden and
Marko C. J. D. van Eekelen and
Rinus Plasmeijer},
editor = {Daan Leijen},
title = {There and back again: arrows for invertible programming},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2005,
Tallinn, Estonia, September 30, 2005},
pages = {86--97},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1088348.1088357},
doi = {10.1145/1088348.1088357},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/haskell/AlimarineSWEP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/EekelenM05,
author = {Marko C. J. D. van Eekelen and
Maarten de Mol},
editor = {Andrew Butterfield and
Clemens Grelck and
Frank Huch},
title = {Proof Tool Support for Explicit Strictness},
booktitle = {Implementation and Application of Functional Languages, 17th International
Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4015},
pages = {37--54},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11964681\_3},
doi = {10.1007/11964681\_3},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/EekelenM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/AchtenEPW04,
author = {Peter Achten and
Marko C. J. D. van Eekelen and
Rinus Plasmeijer and
Arjen van Weelden},
editor = {Varmo Vene and
Tarmo Uustalu},
title = {{GEC:} {A} Toolkit for Generic Rapid Prototyping of Type Safe Interactive
Applications},
booktitle = {Advanced Functional Programming, 5th International School, {AFP} 2004,
Tartu, Estonia, August 14-21, 2004, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {3622},
pages = {210--244},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11546382\_5},
doi = {10.1007/11546382\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/AchtenEPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AchtenEPW04,
author = {Peter Achten and
Marko C. J. D. van Eekelen and
Rinus Plasmeijer and
Arjen van Weelden},
editor = {Wei{-}Ngan Chin},
title = {Automatic Generation of Editors for Higher-Order Data Structures},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {262--279},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_18},
doi = {10.1007/978-3-540-30477-7\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AchtenEPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/DowseBE04,
author = {Malcolm Dowse and
Andrew Butterfield and
Marko C. J. D. van Eekelen},
editor = {Clemens Grelck and
Frank Huch and
Greg Michaelson and
Philip W. Trinder},
title = {Reasoning About Deterministic Concurrent Functional {I/O}},
booktitle = {Implementation and Application of Functional Languages, 16th International
Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3474},
pages = {177--194},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431664\_11},
doi = {10.1007/11431664\_11},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/DowseBE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AchtenEP04,
author = {Peter Achten and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
editor = {Bharat Jayaraman},
title = {Compositional Model-Views with Generic Graphical User Interfaces},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {39--55},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_4},
doi = {10.1007/978-3-540-24836-1\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/AchtenEP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KesterenEM04,
author = {Ron van Kesteren and
Marko C. J. D. van Eekelen and
Maarten de Mol},
editor = {Hans{-}Wolfgang Loidl},
title = {Proof support for generic type classes},
booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional
Programming, {TFP} 2004, M{\"{u}}nchen, Germany, 25-26 November
2004},
series = {Trends in Functional Programming},
volume = {5},
pages = {1--16},
publisher = {Intellect},
year = {2004},
timestamp = {Thu, 25 Oct 2007 12:04:14 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KesterenEM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/AchtenD03,
author = {Peter Achten and
Marko C. J. D. van Eekelen and
Rinus Plasmeijer},
editor = {Philip W. Trinder and
Greg Michaelson and
Ricardo Pena},
title = {Generic Graphical User Interfaces},
booktitle = {Implementation of Functional Languages, 15th International Workshop,
{IFL} 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3145},
pages = {152--167},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27861-0\_10},
doi = {10.1007/978-3-540-27861-0\_10},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/AchtenD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/MolEP01,
author = {Maarten de Mol and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
editor = {Thomas Arts and
Markus Mohnen},
title = {Theorem Proving for Functional Programmers},
booktitle = {Implementation of Functional Languages, 13th International Workshop,
{IFL} 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2312},
pages = {55--71},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46028-4\_4},
doi = {10.1007/3-540-46028-4\_4},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/MolEP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/ZornerKEP00,
author = {Thorsten H.{-}G. Z{\"{o}}rner and
Pieter W. M. Koopman and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
editor = {Markus Mohnen and
Pieter W. M. Koopman},
title = {Polygonizing Implicit Surfaces in a Purely Functional Way},
booktitle = {Implementation of Functional Languages, 12th International Workshop,
{IFL} 2000, Aachen, Germany, September 4-7, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2011},
pages = {158--175},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45361-X\_10},
doi = {10.1007/3-540-45361-X\_10},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/ZornerKEP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/PlasmeijerE99,
author = {Marinus J. Plasmeijer and
Marko C. J. D. van Eekelen},
title = {Keep it Clean: {A} Unique Approach to Functional Programming},
journal = {{ACM} {SIGPLAN} Notices},
volume = {34},
number = {6},
pages = {23--31},
year = {1999},
url = {https://doi.org/10.1145/606666.606670},
doi = {10.1145/606666.606670},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/PlasmeijerE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/PlasmeijerE99,
author = {Marinus J. Plasmeijer and
Marko C. J. D. van Eekelen},
editor = {Manfred Nagl and
Andy Sch{\"{u}}rr and
Manfred M{\"{u}}nch},
title = {Term Graph Rewriting and Mobile Expressions in Functional Languages},
booktitle = {Applications of Graph Transformations with Industrial Relevance, International
Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1779},
pages = {1--13},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-45104-8\_1},
doi = {10.1007/3-540-45104-8\_1},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/PlasmeijerE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/MolE99,
author = {Maarten de Mol and
Marko C. J. D. van Eekelen},
editor = {Manfred Nagl and
Andy Sch{\"{u}}rr and
Manfred M{\"{u}}nch},
title = {A Proof Tool Dedicated to Clean - The First Prototype},
booktitle = {Applications of Graph Transformations with Industrial Relevance, International
Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1779},
pages = {271--278},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-45104-8\_22},
doi = {10.1007/3-540-45104-8\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agtive/MolE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/PlasmeijerEPS99,
author = {Rinus Plasmeijer and
Marko C. J. D. van Eekelen and
Marco Pil and
Pascal R. Serrarens},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Parallel and Distributed Programming in Concurrent Clean},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {323--338},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_15},
doi = {10.1007/978-1-4471-0841-2\_15},
timestamp = {Thu, 01 Aug 2019 12:47:09 +0200},
biburl = {https://dblp.org/rec/books/sp/99/PlasmeijerEPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/EekelenSP96,
author = {Marko C. J. D. van Eekelen and
Sjaak Smetsers and
Marinus J. Plasmeijer},
editor = {Dirk van Dalen and
Marc Bezem},
title = {Graph Rewriting Semantics for Functional Programming Languages},
booktitle = {Computer Science Logic, 10th International Workshop, {CSL} '96, Annual
Conference of the EACSL, Utrecht, The Netherlands, September 21-27,
1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1258},
pages = {106--128},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63172-0\_35},
doi = {10.1007/3-540-63172-0\_35},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/EekelenSP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HoonRE95,
author = {Walter A. C. A. J. de Hoon and
Luc M. W. J. Rutten and
Marko C. J. D. van Eekelen},
title = {Implementing a Functional Spreadsheet in Clean},
journal = {J. Funct. Program.},
volume = {5},
number = {3},
pages = {383--414},
year = {1995},
url = {https://doi.org/10.1017/S0956796800001404},
doi = {10.1017/S0956796800001404},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HoonRE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/KoopmanEP95,
author = {Pieter W. M. Koopman and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
title = {Operational Machine Specification in a Functional Programming Language},
journal = {Softw. Pract. Exp.},
volume = {25},
number = {5},
pages = {463--499},
year = {1995},
url = {https://doi.org/10.1002/spe.4380250502},
doi = {10.1002/SPE.4380250502},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/KoopmanEP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/EekelenP95,
author = {Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
editor = {Johan Jeuring and
Erik Meijer},
title = {Constructing Medium Sized Efficient Functional Programs in Clean},
booktitle = {Advanced Functional Programming, First International Spring School
on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
May 24-30, 1995, Tutorial Text},
series = {Lecture Notes in Computer Science},
volume = {925},
pages = {183--227},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59451-5\_6},
doi = {10.1007/3-540-59451-5\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/EekelenP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/aw/PlasmeijerE93,
author = {Marinus J. Plasmeijer and
Marko C. J. D. van Eekelen},
title = {Functional Programming and Parallel Graph Rewriting},
publisher = {Addison-Wesley},
year = {1993},
isbn = {0-201-41663-8},
timestamp = {Thu, 07 Feb 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/aw/PlasmeijerE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SmetsersBEP93,
author = {Sjaak Smetsers and
Erik Barendsen and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
editor = {Hans J{\"{u}}rgen Schneider and
Hartmut Ehrig},
title = {Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness
Information for Graphs},
booktitle = {Graph Transformations in Computer Science, International Workshop,
Dagstuhl Castle, Germany, January 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {776},
pages = {358--379},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57787-4\_23},
doi = {10.1007/3-540-57787-4\_23},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SmetsersBEP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/NockerSEP91,
author = {E. G. J. M. H. N{\"{o}}cker and
J. E. W. Smetsers and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
editor = {Emile H. L. Aarts and
Jan van Leeuwen and
Martin Rem},
title = {Concurrent Clean},
booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {506},
pages = {202--219},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54152-7\_66},
doi = {10.1007/3-540-54152-7\_66},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/NockerSEP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/EekelenPS90,
author = {Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer and
J. E. W. Smetsers},
editor = {St{\'{e}}phane Kaplan and
Mitsuhiro Okada},
title = {Parallel Graph Rewriting on Loosely Coupled Machine Architectures},
booktitle = {Conditional and Typed Rewriting Systems, 2nd International {CTRS}
Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {516},
pages = {354--369},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54317-1\_104},
doi = {10.1007/3-540-54317-1\_104},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/EekelenPS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/BarendregtEPGKS89,
author = {Hendrik Pieter Barendregt and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer and
John R. W. Glauert and
Richard Kennaway and
M. Ronan Sleep},
title = {{LEAN:} an intermediate language based on graph rewriting},
journal = {Parallel Comput.},
volume = {9},
number = {2},
pages = {163--177},
year = {1989},
url = {https://doi.org/10.1016/0167-8191(89)90126-9},
doi = {10.1016/0167-8191(89)90126-9},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/BarendregtEPGKS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0070107,
author = {Marko C. J. D. van Eekelen},
title = {Parallel graph rewriting - some contributions to its theory, its implementation
and its application},
school = {Radboud University Nijmegen},
year = {1988},
timestamp = {Wed, 03 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0070107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BarendregtEPHHV87,
author = {Hendrik Pieter Barendregt and
Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer and
Pieter H. Hartel and
Louis O. Hertzberger and
Willem G. Vree},
title = {The Dutch parallel reduction machine project},
journal = {Future Gener. Comput. Syst.},
volume = {3},
number = {4},
pages = {261--270},
year = {1987},
url = {https://doi.org/10.1016/0167-739X(87)90030-6},
doi = {10.1016/0167-739X(87)90030-6},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BarendregtEPHHV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/BrusELP87,
author = {T. H. Brus and
Marko C. J. D. van Eekelen and
M. O. van Leer and
Marinus J. Plasmeijer},
editor = {Gilles Kahn},
title = {{CLEAN:} {A} language for functional graph writing},
booktitle = {Functional Programming Languages and Computer Architecture, Portland,
Oregon, USA, September 14-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {274},
pages = {364--384},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18317-5\_20},
doi = {10.1007/3-540-18317-5\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/fpca/BrusELP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BarendregtEGKPS87,
author = {Hendrik Pieter Barendregt and
Marko C. J. D. van Eekelen and
John R. W. Glauert and
Richard Kennaway and
Marinus J. Plasmeijer and
M. Ronan Sleep},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {Term Graph Rewriting},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {141--158},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17945-3\_8},
doi = {10.1007/3-540-17945-3\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/BarendregtEGKPS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BarendregtEGKPS87a,
author = {Hendrik Pieter Barendregt and
Marko C. J. D. van Eekelen and
John R. W. Glauert and
Richard Kennaway and
Marinus J. Plasmeijer and
M. Ronan Sleep},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {Towards an Intermediate Language based on Graph Rewriting},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {159--175},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17945-3\_9},
doi = {10.1007/3-540-17945-3\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/BarendregtEGKPS87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gr/EekelenP86,
author = {Marko C. J. D. van Eekelen and
Marinus J. Plasmeijer},
editor = {Joseph H. Fasel and
Robert M. Keller},
title = {Specification of reduction strategies in term rewriting systems},
booktitle = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
Mexico, USA, September 29 - October 1, 1986},
series = {Lecture Notes in Computer Science},
volume = {279},
pages = {215--239},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18420-1\_57},
doi = {10.1007/3-540-18420-1\_57},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/gr/EekelenP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
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:
