Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Joost J. Joosten"
download as .bib file
@inproceedings{DBLP:conf/cpp/BorgesBRRBJ24,
author = {Ana de Almeida Borges and
Mireia Gonz{\'{a}}lez Bedmar and
Juan Jos{\'{e}} Conejero Rodr{\'{\i}}guez and
Eduardo Hermo Reyes and
Joaquim Casals Bu{\~{n}}uel and
Joost J. Joosten},
editor = {Amin Timany and
Dmitriy Traytel and
Brigitte Pientka and
Sandrine Blazy},
title = {{UTC} Time, Formally Verified},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2024, London, UK, January 15-16,
2024},
pages = {2--13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3636501.3636958},
doi = {10.1145/3636501.3636958},
timestamp = {Thu, 11 Jan 2024 17:17:09 +0100},
biburl = {https://dblp.org/rec/conf/cpp/BorgesBRRBJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-06487,
author = {Joost J. Joosten and
Manuela Montoya Garc{\'{\i}}a},
title = {Le Nozze di Giustizia. Interactions between Artificial Intelligence,
Law, Logic, Language and Computation with some case studies in Traffic
Regulations and Health Care},
journal = {CoRR},
volume = {abs/2402.06487},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.06487},
doi = {10.48550/ARXIV.2402.06487},
eprinttype = {arXiv},
eprint = {2402.06487},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-06487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-05379,
author = {Salome Kazeminia and
Max Joosten and
Dragan Bosnacki and
Carsten Marr},
title = {Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia
Classification},
journal = {CoRR},
volume = {abs/2403.05379},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.05379},
doi = {10.48550/ARXIV.2403.05379},
eprinttype = {arXiv},
eprint = {2403.05379},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-05379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/JoostenH23,
author = {Reinoud Joosten and
Rogier Harmelink},
title = {Tipping and strong rarity value in a stochastic fishery game},
journal = {{IGTR}},
volume = {25},
number = {3},
pages = {2340001:1--2340001:34},
year = {2023},
url = {https://doi.org/10.1142/S0219198923400017},
doi = {10.1142/S0219198923400017},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/JoostenH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jimaging/BeukelWJGVHB23,
author = {Bastiaan A. W. van den Beukel and
Bram De Wilde and
Frank Joosten and
Harry van Goor and
Wulphert Venderink and
Henkjan J. Huisman and
Richard P. G. ten Broek},
title = {Quantifiable Measures of Abdominal Wall Motion for Quality Assessment
of Cine-MRI Slices in Detection of Abdominal Adhesions},
journal = {J. Imaging},
volume = {9},
number = {5},
pages = {92},
year = {2023},
url = {https://doi.org/10.3390/jimaging9050092},
doi = {10.3390/JIMAGING9050092},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jimaging/BeukelWJGVHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jimaging/WildeJVDGKVMSHB23,
author = {Bram De Wilde and
Frank Joosten and
Wulphert Venderink and
Mirjam E. J. Davidse and
Juli{\"{e}}tte Geurts and
Hanneke Kruijt and
Afke Vermeulen and
Bibi Martens and
Maxime V. P. Schyns and
Josephine C. B. M. Huige and
Myrte C. de Boer and
Bart A. R. Tonino and
Herman J. A. Zandvoort and
Kirsti Lammert and
Helka Parviainen and
Aino{-}Maija Vuorinen and
Suvi Syv{\"{a}}ranta and
Ruben R. M. Vogels and
Wiesje Prins and
Andrea Coppola and
Nancy Bossa and
Richard P. G. ten Broek and
Henkjan Huisman},
title = {Inter- and Intra-Observer Variability and the Effect of Experience
in Cine-MRI for Adhesion Detection},
journal = {J. Imaging},
volume = {9},
number = {3},
pages = {55},
year = {2023},
url = {https://doi.org/10.3390/jimaging9030055},
doi = {10.3390/JIMAGING9030055},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jimaging/WildeJVDGKVMSHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BorgesJ23,
author = {Ana de Almeida Borges and
Joost J. Joosten},
title = {An Escape from Vardanyan's Theorem},
journal = {J. Symb. Log.},
volume = {88},
number = {4},
pages = {1613--1638},
year = {2023},
url = {https://doi.org/10.1017/jsl.2022.38},
doi = {10.1017/JSL.2022.38},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BorgesJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/RachakondaMJBBMQJM23,
author = {Siddartha Rachakonda and
Shiva Moorthy and
Anshul Jain and
Aleksandr Bukharev and
Anca Bucur and
Francesca Manni and
Thaise M. Quiterio and
Lex Joosten and
Nancy Irisarri Mendez},
title = {Privacy Enhancing and Scalable Federated Learning to Accelerate {AI}
Implementation in Cross-Silo and IoMT Environments},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {27},
number = {2},
pages = {744--755},
year = {2023},
url = {https://doi.org/10.1109/JBHI.2022.3185418},
doi = {10.1109/JBHI.2022.3185418},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/RachakondaMJBBMQJM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmsd/JoostenR23,
author = {Stef Joosten and
Ella E. Roubtsova},
editor = {Boris Shishkov},
title = {Enterprise Modeling with Conventions},
booktitle = {Business Modeling and Software Design - 13th International Symposium,
{BMSD} 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {483},
pages = {56--73},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36757-1\_4},
doi = {10.1007/978-3-031-36757-1\_4},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmsd/JoostenR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05658,
author = {Moritz M{\"{u}}ller and
Joost J. Joosten},
title = {Model-checking in the Foundations of Algorithmic Law and the Case
of Regulation 561},
journal = {CoRR},
volume = {abs/2307.05658},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05658},
doi = {10.48550/ARXIV.2307.05658},
eprinttype = {arXiv},
eprint = {2307.05658},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-02513,
author = {Anthony Brogni and
Sebastiaan J. C. Joosten},
title = {Translating First-Order Predicate Logic to Relation Algebra, Implemented
using {Z3}},
journal = {CoRR},
volume = {abs/2308.02513},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.02513},
doi = {10.48550/ARXIV.2308.02513},
eprinttype = {arXiv},
eprint = {2308.02513},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-02513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-10678,
author = {Joost J. Joosten},
title = {Dialogues with algorithms},
journal = {CoRR},
volume = {abs/2309.10678},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.10678},
doi = {10.48550/ARXIV.2309.10678},
eprinttype = {arXiv},
eprint = {2309.10678},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-10678.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biomedsem/Queralt-Rosinach22,
author = {N{\'{u}}ria Queralt{-}Rosinach and
Rajaram Kaliyaperumal and
C{\'{e}}sar Henrique Bernab{\'{e}} and
Qinqin Long and
Simone A. Joosten and
Henk Jan van der Wijk and
Erik Flikkenschild and
Kees Burger and
Annika Jacobsen and
Barend Mons and
Marco Roos},
title = {Applying the {FAIR} principles to data in a hospital: challenges and
opportunities in a pandemic},
journal = {J. Biomed. Semant.},
volume = {13},
number = {1},
pages = {12},
year = {2022},
url = {https://doi.org/10.1186/s13326-022-00263-7},
doi = {10.1186/S13326-022-00263-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biomedsem/Queralt-Rosinach22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejlt/BreeijenDJJZ22,
author = {Sterre den Breeijen and
Gijs van Dijck and
Tobias Jonkers and
Rieks Joosten and
Katja Zimmermann},
title = {Self-Sovereign Identity and Guardianship in Practice},
journal = {Eur. J. Law Technol.},
volume = {13},
number = {3},
year = {2022},
url = {https://ejlt.org/index.php/ejlt/article/view/895},
timestamp = {Fri, 13 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejlt/BreeijenDJJZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itor/LiJUL22,
author = {Xianghui Li and
Reinoud Joosten and
Marc Uetz and
Yang Li},
title = {Power surplus solutions for weighted hypergraph communication situations},
journal = {Int. Trans. Oper. Res.},
volume = {29},
number = {6},
pages = {3346--3369},
year = {2022},
url = {https://doi.org/10.1111/itor.13118},
doi = {10.1111/ITOR.13118},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itor/LiJUL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Fernandez-Duque22,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten and
Fedor Pakhomov and
Konstnatinos Papafilippou and
Andreas Weiermann},
title = {Arithmetical and Hyperarithmetical Worm Battles},
journal = {J. Log. Comput.},
volume = {32},
number = {8},
pages = {1558--1584},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac067},
doi = {10.1093/LOGCOM/EXAC067},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Fernandez-Duque22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GorisBJM22,
author = {Evan Goris and
Marta B{\'{\i}}lkov{\'{a}} and
Joost J. Joosten and
Luka Mikec},
title = {Theory and application of labelling techniques for interpretability
logics},
journal = {Math. Log. Q.},
volume = {68},
number = {3},
pages = {352--374},
year = {2022},
url = {https://doi.org/10.1002/malq.202200015},
doi = {10.1002/MALQ.202200015},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GorisBJM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acii/CosmannHHHJKK22,
author = {Niklas Cosmann and
Jana Haberkern and
Alexander Hahn and
Patrick Harms and
Jan Joosten and
Katharina Klug and
Tania Kollischan},
title = {The value of mood measurement for regulating negative influences of
social media usage: {A} case study of TikTok},
booktitle = {10th International Conference on Affective Computing and Intelligent
Interaction, {ACII} 2022, Nara, Japan, October 18-21, 2022},
pages = {1--7},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ACII55700.2022.9953857},
doi = {10.1109/ACII55700.2022.9953857},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acii/CosmannHHHJKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/financecom/MeijerAJ22,
author = {Koen Meijer and
Abhishta and
Reinoud Joosten},
editor = {Jos van Hillegersberg and
J{\"{o}}rg Osterrieder and
Fethi Rabhi and
Abhishta and
Vijay Marisetty and
Xiaohong Huang},
title = {Role of Culture in Customer Acceptance of Neobanks},
booktitle = {Enterprise Applications, Markets and Services in the Finance Industry
- 11th International Workshop, FinanceCom 2022, Twente, The Netherlands,
August 23-24, 2022, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {467},
pages = {97--116},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-31671-5\_7},
doi = {10.1007/978-3-031-31671-5\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/financecom/MeijerAJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/JoostenRH22,
author = {Stef Joosten and
Ella E. Roubtsova and
El Makki Haddouchi},
editor = {Joaquim Filipe and
Michal Smialek and
Alexander Brodsky and
Slimane Hammoudi},
title = {Constraint Formalization for Automated Assessment of Enterprise Models},
booktitle = {Proceedings of the 24th International Conference on Enterprise Information
Systems, {ICEIS} 2022, Online Streaming, April 25-27, 2022, Volume
2},
pages = {430--441},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011049200003179},
doi = {10.5220/0011049200003179},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/iceis/JoostenRH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Fernandez-Duque22,
author = {David Fern{\'{a}}ndez{-}Duque and
Konstnatinos Papafilippou and
Joost J. Joosten},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Hyperarithmetical Worm Battles},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {52--69},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_5},
doi = {10.1007/978-3-030-93100-1\_5},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Fernandez-Duque22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-14227,
author = {Ana de Almeida Borges and
Mireia Gonz{\'{a}}lez Bedmar and
Juan Jos{\'{e}} Conejero Rodr{\'{\i}}guez and
Eduardo Hermo Reyes and
Joaquim Casals Bu{\~{n}}uel and
Joost J. Joosten},
title = {{FV} Time: a formally verified Coq library},
journal = {CoRR},
volume = {abs/2209.14227},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.14227},
doi = {10.48550/ARXIV.2209.14227},
eprinttype = {arXiv},
eprint = {2209.14227},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Joosten21,
author = {Sebastiaan J. C. Joosten},
title = {Gale-Stewart Games},
journal = {Arch. Formal Proofs},
volume = {2021},
year = {2021},
url = {https://www.isa-afp.org/entries/GaleStewart\_Games.html},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Joosten21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorgesRFBJ21,
author = {Ana de Almeida Borges and
Juan Jos{\'{e}} Conejero Rodr{\'{\i}}guez and
David Fern{\'{a}}ndez{-}Duque and
Mireia Gonz{\'{a}}lez Bedmar and
Joost J. Joosten},
title = {To drive or not to drive: {A} logical and computational analysis of
European transport regulations},
journal = {Inf. Comput.},
volume = {280},
pages = {104636},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104636},
doi = {10.1016/J.IC.2020.104636},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BorgesRFBJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Joosten21,
author = {Joost J. Joosten},
title = {M{\"{u}}Nchhausen Provability},
journal = {J. Symb. Log.},
volume = {86},
number = {3},
pages = {1006--1034},
year = {2021},
url = {https://doi.org/10.1017/jsl.2021.44},
doi = {10.1017/JSL.2021.44},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Joosten21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RutledgeMPJ21,
author = {Lloyd Rutledge and
Pascal Mellema and
Tije Pietersma and
Stef Joosten},
editor = {Patrick Lambrix and
Catia Pesquita and
Vitalis Wiens},
title = {Displaying Triple Provenance with Extensions of Fresnel},
booktitle = {Proceedings of the Sixth International Workshop on the Visualization
and Interaction for Ontologies and Linked Data co-located with the
20th International Semantic Web Conference {(ISWC} 2021), Virtual
Conference, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3023},
pages = {103--114},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3023/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:08 +0100},
biburl = {https://dblp.org/rec/conf/semweb/RutledgeMPJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-12734,
author = {Ralf Raumanns and
Gerard Schouten and
Max Joosten and
Josien P. W. Pluim and
Veronika Cheplygina},
title = {{ENHANCE} (ENriching Health data by ANnotations of Crowd and Experts):
{A} case study for skin lesion classification},
journal = {CoRR},
volume = {abs/2107.12734},
year = {2021},
url = {https://arxiv.org/abs/2107.12734},
eprinttype = {arXiv},
eprint = {2107.12734},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-12734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/MartinWFGGIJMMM20,
author = {Niels Martin and
Jochen De Weerdt and
Carlos Fern{\'{a}}ndez{-}Llatas and
Avigdor Gal and
Roberto Gatta and
Gema Ib{\'{a}}{\~{n}}ez and
Owen A. Johnson and
Felix Mannhardt and
Luis Marco{-}Ruiz and
Steven Mertens and
Jorge Munoz{-}Gama and
Fernando Seoane and
Jan Vanthienen and
Moe Thandar Wynn and
David Baltar Boil{\`{e}}ve and
Jochen Bergs and
Mieke Joosten{-}Melis and
Stijn Schretlen and
Bram B. Van Acker},
title = {Recommendations for enhancing the usability and understandability
of process mining in healthcare},
journal = {Artif. Intell. Medicine},
volume = {109},
pages = {101962},
year = {2020},
url = {https://doi.org/10.1016/j.artmed.2020.101962},
doi = {10.1016/J.ARTMED.2020.101962},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/artmed/MartinWFGGIJMMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/Aguirre-GamboaK20,
author = {Ra{\'{u}}l Aguirre{-}Gamboa and
Niek de Klein and
Jennifer di Tommaso and
Annique Claringbould and
Monique G. P. van der Wijst and
Dylan de Vries and
Harm Brugge and
Roy Oelen and
Urmo V{\~{o}}sa and
Maria M. Zorro and
Xiaojin Chu and
Olivier B. Bakker and
Zuzanna Borek and
Isis Rica{\~{n}}o{-}Ponce and
Patrick Deelen and
Cheng{-}Jiang Xu and
Morris A. Swertz and
Iris Jonkers and
Sebo Withoff and
Irma Joosten and
Serena Sanna and
Vinod Kumar and
Hans J. P. M. Koenen and
Leo A. B. Joosten and
Mihai G. Netea and
Cisca Wijmenga and
Lude Franke and
Yang Li},
title = {Deconvolution of bulk blood eQTL effects into immune cell subpopulations},
journal = {{BMC} Bioinform.},
volume = {21},
number = {1},
pages = {243},
year = {2020},
url = {https://doi.org/10.1186/s12859-020-03576-5},
doi = {10.1186/S12859-020-03576-5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/Aguirre-GamboaK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/JoostenS20,
author = {Reinoud Joosten and
Llea Samuel},
title = {On Finding Large Sets of Rewards in Two-Player {ETP-ESP} Games},
journal = {{IGTR}},
volume = {22},
number = {2},
pages = {2040002:1--2040002:27},
year = {2020},
url = {https://doi.org/10.1142/S0219198920400022},
doi = {10.1142/S0219198920400022},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/JoostenS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DivasonJTY20,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {A Verified Implementation of the Berlekamp-Zassenhaus Factorization
Algorithm},
journal = {J. Autom. Reason.},
volume = {64},
number = {4},
pages = {699--735},
year = {2020},
url = {https://doi.org/10.1007/s10817-019-09526-y},
doi = {10.1007/S10817-019-09526-Y},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DivasonJTY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JoostenTY20,
author = {Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {A Verified Implementation of Algebraic Numbers in Isabelle/HOL},
journal = {J. Autom. Reason.},
volume = {64},
number = {3},
pages = {363--389},
year = {2020},
url = {https://doi.org/10.1007/s10817-018-09504-w},
doi = {10.1007/S10817-018-09504-W},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JoostenTY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ThiemannBDHJY20,
author = {Ren{\'{e}} Thiemann and
Ralph Bottesch and
Jose Divas{\'{o}}n and
Max W. Haslbeck and
Sebastiaan J. C. Joosten and
Akihisa Yamada},
title = {Formalizing the {LLL} Basis Reduction Algorithm and the {LLL} Factorization
Algorithm in Isabelle/HOL},
journal = {J. Autom. Reason.},
volume = {64},
number = {5},
pages = {827--856},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09552-1},
doi = {10.1007/S10817-020-09552-1},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ThiemannBDHJY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/AbhishtaHJNJ20,
author = {Abhishta Abhishta and
Wouter van Heeswijk and
Marianne Junger and
Lambert J. M. Nieuwenhuis and
Reinoud Joosten},
title = {Why would we get attacked? An analysis of attacker's aims behind DDoS
attacks},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {11},
number = {2},
pages = {3--22},
year = {2020},
url = {https://doi.org/10.22667/JOWUA.2020.06.30.003},
doi = {10.22667/JOWUA.2020.06.30.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jowua/AbhishtaHJNJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GorisJ20,
author = {Evan Goris and
Joost J. Joosten},
title = {Two New Series of Principles in the interpretability Logic of All
Reasonable Arithmetical Theories},
journal = {J. Symb. Log.},
volume = {85},
number = {1},
pages = {1--25},
year = {2020},
url = {https://doi.org/10.1017/jsl.2019.90},
doi = {10.1017/JSL.2019.90},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GorisJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ReyesJ20,
author = {Eduardo Hermo Reyes and
Joost J. Joosten},
title = {The Logic of Turing Progressions},
journal = {Notre Dame J. Formal Log.},
volume = {61},
number = {1},
pages = {155--180},
year = {2020},
url = {https://doi.org/10.1215/00294527-2019-0037},
doi = {10.1215/00294527-2019-0037},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ReyesJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BorgesJ20,
author = {Ana de Almeida Borges and
Joost J. Joosten},
editor = {Nicola Olivetti and
Rineke Verbrugge and
Sara Negri and
Gabriel Sandu},
title = {Quantified Reflection Calculus with One Modality},
booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
August 24-28, 2020},
pages = {13--32},
publisher = {College Publications},
year = {2020},
url = {http://www.aiml.net/volumes/volume13/deAlmeidaBorges-Joosten.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BorgesJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SafariOJH20,
author = {Mohsen Safari and
Wytse Oortwijn and
Sebastiaan J. C. Joosten and
Marieke Huisman},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {Formal Verification of Parallel Prefix Sum},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {170--186},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_10},
doi = {10.1007/978-3-030-55754-6\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SafariOJH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/OortwijnHJP20,
author = {Wytse Oortwijn and
Marieke Huisman and
Sebastiaan J. C. Joosten and
Jaco van de Pol},
editor = {Armin Biere and
David Parker},
title = {Automated Verification of Parallel Nested {DFS}},
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 {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {247--265},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_14},
doi = {10.1007/978-3-030-45190-5\_14},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/OortwijnHJP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/MulderHJ20,
author = {Henk Mulder and
Marieke Huisman and
Sebastiaan J. C. Joosten},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Improving Performance of the VerCors Program Verifier},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {65--82},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_3},
doi = {10.1007/978-3-030-64354-6\_3},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/MulderHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10654,
author = {Ad{\'{a}}n Cabello and
Joost J. Joosten},
title = {Hidden variables simulating quantum contextuality increasingly violate
the Holevo bound},
journal = {CoRR},
volume = {abs/2004.10654},
year = {2020},
url = {https://arxiv.org/abs/2004.10654},
eprinttype = {arXiv},
eprint = {2004.10654},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-10654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/XuZUJ19,
author = {Jian Xu and
Xingyuan Zhang and
Christian Urban and
Sebastiaan J. C. Joosten},
title = {Universal Turing Machine},
journal = {Arch. Formal Proofs},
volume = {2019},
year = {2019},
url = {https://www.isa-afp.org/entries/Universal\_Turing\_Machine.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/XuZUJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmsd/RutledgeBJ19,
author = {Lloyd Rutledge and
Erik Bouwer and
Stef Joosten},
editor = {Boris Shishkov},
title = {Rule Style: Patterns of and Extensions to Data System User Interface
Specification for Business Rule Violations},
booktitle = {Business Modeling and Software Design - 9th International Symposium,
{BMSD} 2019, Lisbon, Portugal, July 1-3, 2019, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {356},
pages = {3--16},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24854-3\_1},
doi = {10.1007/978-3-030-24854-3\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmsd/RutledgeBJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idc/AbhishtaJJN19,
author = {Abhishta Abhishta and
Marianne Junger and
Reinoud Joosten and
Lambert J. M. Nieuwenhuis},
editor = {Igor V. Kotenko and
Costin Badica and
Vasily Desnitsky and
Didier El Baz and
Mirjana Ivanovic},
title = {A Note on Analysing the Attacker Aims Behind DDoS Attacks},
booktitle = {Intelligent Distributed Computing XIII, 13th International Symposium
on Intelligent Distributed Computing, {IDC} 2019, St. Petersburg,
Russia, 7-9 October, 2019},
series = {Studies in Computational Intelligence},
volume = {868},
pages = {255--265},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32258-8\_30},
doi = {10.1007/978-3-030-32258-8\_30},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idc/AbhishtaJJN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AbhishtaJDN19,
author = {Abhishta Abhishta and
Reinoud Joosten and
Sergey Dragomiretskiy and
Lambert J. M. Nieuwenhuis},
title = {Impact of Successful DDoS Attacks on a Major Crypto-Currency Exchange},
booktitle = {27th Euromicro International Conference on Parallel, Distributed and
Network-Based Processing, {PDP} 2019, Pavia, Italy, February 13-15,
2019},
pages = {379--384},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EMPDP.2019.8671642},
doi = {10.1109/EMPDP.2019.8671642},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdp/AbhishtaJDN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AbhishtaJJN19,
author = {Abhishta Abhishta and
Marianne Junger and
Reinoud Joosten and
Lambert J. M. Nieuwenhuis},
title = {Victim Routine Influences the Number of DDoS Attacks: Evidence from
Dutch Educational Network},
booktitle = {2019 {IEEE} Security and Privacy Workshops, {SP} Workshops 2019, San
Francisco, CA, USA, May 19-23, 2019},
pages = {242--247},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SPW.2019.00052},
doi = {10.1109/SPW.2019.00052},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/AbhishtaJJN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BorgesRFBJ19,
author = {Ana de Almeida Borges and
Juan Jos{\'{e}} Conejero Rodr{\'{\i}}guez and
David Fern{\'{a}}ndez{-}Duque and
Mireia Gonz{\'{a}}lez Bedmar and
Joost J. Joosten},
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {The Second Order Traffic Fine: Temporal Reasoning in European Transport
Regulations},
booktitle = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.6},
doi = {10.4230/LIPICS.TIME.2019.6},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BorgesRFBJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tea/2018,
editor = {Silvester Draaijer and
Desir{\'{e}}e Joosten{-}ten Brinke and
Eric Ras},
title = {Technology Enhanced Assessment - 21st International Conference, {TEA}
2018, Amsterdam, The Netherlands, December 10-11, 2018, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {1014},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25264-9},
doi = {10.1007/978-3-030-25264-9},
isbn = {978-3-030-25263-2},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tea/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DivasonJTY18,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {A verified {LLL} algorithm},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/LLL\_Basis\_Reduction.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/DivasonJTY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DivasonJTY18a,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {A verified factorization algorithm for integer polynomials with polynomial
complexity},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/LLL\_Factorization.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/DivasonJTY18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Joosten18,
author = {Sebastiaan J. C. Joosten},
title = {Graph Saturation},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018},
url = {https://www.isa-afp.org/entries/Graph\_Saturation.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/Joosten18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Fernandez-Duque18,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {The omega-rule interpretation of transfinite provability logic},
journal = {Ann. Pure Appl. Log.},
volume = {169},
number = {4},
pages = {333--371},
year = {2018},
url = {https://doi.org/10.1016/j.apal.2017.12.006},
doi = {10.1016/J.APAL.2017.12.006},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/Fernandez-Duque18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Joosten18,
author = {Sebastiaan J. C. Joosten},
title = {Finding models through graph saturation},
journal = {J. Log. Algebraic Methods Program.},
volume = {100},
pages = {98--112},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.06.005},
doi = {10.1016/J.JLAMP.2018.06.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Joosten18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Joosten18a,
author = {Stef Joosten},
title = {Relation Algebra as programming language using the Ampersand compiler},
journal = {J. Log. Algebraic Methods Program.},
volume = {100},
pages = {113--129},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.04.002},
doi = {10.1016/J.JLAMP.2018.04.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Joosten18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BorgesJ18,
author = {Ana de Almeida Borges and
Joost J. Joosten},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {The Worm Calculus},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {13--27},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/deAlmeidaBorges-Joosten.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BorgesJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/ReyesJ18,
author = {Eduardo Hermo Reyes and
Joost J. Joosten},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Relational Semantics for the Turing Schmerl Calculus},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {327--346},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/HermoReyes-Joosten.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/ReyesJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HuismanJ18,
author = {Marieke Huisman and
Sebastiaan J. C. Joosten},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Towards Reliable Concurrent Software},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {129--146},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_9},
doi = {10.1007/978-3-319-98047-8\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HuismanJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DivasonJKT018,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ondrej Kuncar and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
editor = {June Andronick and
Amy P. Felty},
title = {Efficient certification of complexity proofs: formalizing the Perron-Frobenius
theorem (invited talk paper)},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
8-9, 2018},
pages = {2--13},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167103},
doi = {10.1145/3167103},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/DivasonJKT018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BoermanHJ18,
author = {Jan Boerman and
Marieke Huisman and
Sebastiaan J. C. Joosten},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Reasoning About {JML:} Differences Between KeY and OpenJML},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {30--46},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_3},
doi = {10.1007/978-3-319-98938-9\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BoermanHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JoostenH18,
author = {Sebastiaan J. C. Joosten and
Marieke Huisman},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Static Code Verification Through Process Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {343--354},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_23},
doi = {10.1007/978-3-030-03424-5\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JoostenH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JoostenOSH18,
author = {Sebastiaan J. C. Joosten and
Wytse Oortwijn and
Mohsen Safari and
Marieke Huisman},
editor = {Julian Dolby and
William G. J. Halfond and
Ashish Mishra},
title = {An exercise in verifying sequential programs with VerCors},
booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {40--45},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236454.3236479},
doi = {10.1145/3236454.3236479},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/JoostenOSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/DivasonJT018,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {A Formalization of the {LLL} Basis Reduction Algorithm},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {160--177},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_10},
doi = {10.1007/978-3-319-94821-8\_10},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/DivasonJT018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2018,
editor = {Jules Desharnais and
Walter Guttmann and
Stef Joosten},
title = {Relational and Algebraic Methods in Computer Science - 17th International
Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
November 1, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11194},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02149-8},
doi = {10.1007/978-3-030-02149-8},
isbn = {978-3-030-02148-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00749,
author = {Abhishta and
Reinoud Joosten and
Lambert J. M. Nieuwenhuis},
title = {Analysing The Impact Of {A} DDoS Attack Announcement On Victim Stock
Prices},
journal = {CoRR},
volume = {abs/1805.00749},
year = {2018},
url = {http://arxiv.org/abs/1805.00749},
eprinttype = {arXiv},
eprint = {1805.00749},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-00749.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-09392,
author = {Sebastiaan J. C. Joosten},
title = {Finding models through graph saturation},
journal = {CoRR},
volume = {abs/1806.09392},
year = {2018},
url = {http://arxiv.org/abs/1806.09392},
eprinttype = {arXiv},
eprint = {1806.09392},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-09392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-03002,
author = {Bj{\o}rn Jespersen and
Ana de Almeida Borges and
Jorge del Castillo Tierz and
Juan Jos{\'{e}} Conejero Rodr{\'{\i}}guez and
Eric Sancho Adamson and
Aleix Sol{\'{e}} S{\'{a}}nchez and
Nika Pona and
Joost J. Joosten},
title = {When logic lays down the law},
journal = {CoRR},
volume = {abs/1810.03002},
year = {2018},
url = {http://arxiv.org/abs/1810.03002},
eprinttype = {arXiv},
eprint = {1810.03002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-03002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Joosten17,
author = {Diederick Joosten},
title = {Constrained and reconfigurable flight control},
school = {Delft University of Technology, Netherlands},
year = {2017},
url = {http://resolver.tudelft.nl/uuid:5d53817c-0956-4ed7-8716-a8e79eb8c86f},
doi = {10.4233/UUID:5D53817C-0956-4ED7-8716-A8E79EB8C86F},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Joosten17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/JoostenTY17,
author = {Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {Subresultants},
journal = {Arch. Formal Proofs},
volume = {2017},
year = {2017},
url = {https://www.isa-afp.org/entries/Subresultants.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/JoostenTY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/AbhishtaJN17,
author = {Abhishta and
Reinoud Joosten and
Lambert J. M. Nieuwenhuis},
title = {Comparing Alternatives to Measure the Impact of DDoS Attack Announcements
on Target Stock Prices},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {8},
number = {4},
pages = {1--18},
year = {2017},
url = {https://doi.org/10.22667/JOWUA.2017.12.31.001},
doi = {10.22667/JOWUA.2017.12.31.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jowua/AbhishtaJN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cordon-FrancoFJ17,
author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten and
Francisco F{\'{e}}lix Lara Mart{\'{\i}}n},
title = {Predicativity through Transfinite Reflection},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {787--808},
year = {2017},
url = {https://doi.org/10.1017/jsl.2017.30},
doi = {10.1017/JSL.2017.30},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cordon-FrancoFJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Joosten17,
author = {Sebastiaan J. C. Joosten},
editor = {Peter H{\"{o}}fner and
Damien Pous and
Georg Struth},
title = {Parsing and Printing of and with Triples},
booktitle = {Relational and Algebraic Methods in Computer Science - 16th International
Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10226},
pages = {159--176},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57418-9\_10},
doi = {10.1007/978-3-319-57418-9\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Joosten17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Joosten17a,
author = {Stef Joosten},
editor = {Peter H{\"{o}}fner and
Damien Pous and
Georg Struth},
title = {Software Development in Relation Algebra with Ampersand},
booktitle = {Relational and Algebraic Methods in Computer Science - 16th International
Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10226},
pages = {177--192},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57418-9\_11},
doi = {10.1007/978-3-319-57418-9\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Joosten17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrockschmidtJT017,
author = {Marc Brockschmidt and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
editor = {Leonardo de Moura},
title = {Certifying Safety and Termination Proofs for Integer Transition Systems},
booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {454--471},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63046-5\_28},
doi = {10.1007/978-3-319-63046-5\_28},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrockschmidtJT017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cedem/Joosten17,
author = {Henrietta Joosten},
editor = {Peter Parycek and
Noella Edelmann},
title = {Citizens' Initiatives in an Onlife World: Designing for the Revitalisation
of the Public Sphere},
booktitle = {2017 Conference for E-Democracy and Open Government, CeDEM 2017, Krems,
Austria, May 17-19, 2017},
pages = {243--250},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CeDEM.2017.20},
doi = {10.1109/CEDEM.2017.20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cedem/Joosten17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DivasonJT017,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
editor = {Yves Bertot and
Viktor Vafeiadis},
title = {A formalization of the Berlekamp-Zassenhaus factorization algorithm},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
pages = {17--29},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018610.3018617},
doi = {10.1145/3018610.3018617},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/DivasonJT017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AbhishtaJN17,
author = {Abhishta and
Reinoud Joosten and
Lambert J. M. Nieuwenhuis},
editor = {Igor V. Kotenko and
Yiannis Cotronis and
Masoud Daneshtalab},
title = {Analysing the Impact of a DDoS Attack Announcement on Victim Stock
Prices},
booktitle = {25th Euromicro International Conference on Parallel, Distributed and
Network-based Processing, {PDP} 2017, St. Petersburg, Russia, March
6-8, 2017},
pages = {354--362},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/PDP.2017.82},
doi = {10.1109/PDP.2017.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/AbhishtaJN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tea/2016,
editor = {Desir{\'{e}}e Joosten{-}ten Brinke and
Mart Laanpere},
title = {Technology Enhanced Assessment - 19th International Conference, {TEA}
2016, Tallinn, Estonia, October 5-6, 2016, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {653},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57744-9},
doi = {10.1007/978-3-319-57744-9},
isbn = {978-3-319-57743-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tea/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Joosten17,
author = {Rieks Joosten},
title = {Self-Sovereign Identity Framework and Blockchain},
journal = {{ERCIM} News},
volume = {2017},
number = {110},
year = {2017},
url = {https://ercim-news.ercim.eu/en110/special/self-sovereign-identity-framework-and-blockchain},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Joosten17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/DivasonJTY16,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {The Factorization Algorithm of Berlekamp and Zassenhaus},
journal = {Arch. Formal Proofs},
volume = {2016},
year = {2016},
url = {https://www.isa-afp.org/entries/Berlekamp\_Zassenhaus.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/DivasonJTY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dga/Joosten16,
author = {Reinoud Joosten},
title = {Strong and Weak Rarity Value: Resource Games with Complex Price-Scarcity
Relationships},
journal = {Dyn. Games Appl.},
volume = {6},
number = {1},
pages = {97--111},
year = {2016},
url = {https://doi.org/10.1007/s13235-015-0136-4},
doi = {10.1007/S13235-015-0136-4},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dga/Joosten16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/JoostenSLN16,
author = {Eva R. M. Joosten and
Shihab A. Shamma and
Christian Lorenzi and
Peter Neri},
title = {Dynamic Reweighting of Auditory Modulation Filters},
journal = {PLoS Comput. Biol.},
volume = {12},
number = {7},
year = {2016},
url = {https://doi.org/10.1371/journal.pcbi.1005019},
doi = {10.1371/JOURNAL.PCBI.1005019},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/JoostenSLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Joosten16,
author = {Joost J. Joosten},
title = {Turing-Taylor Expansions for Arithmetic Theories},
journal = {Stud Logica},
volume = {104},
number = {6},
pages = {1225--1243},
year = {2016},
url = {https://doi.org/10.1007/s11225-016-9674-z},
doi = {10.1007/S11225-016-9674-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Joosten16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmsd/BakelaarRJ16,
author = {Robert Bakelaar and
Ella E. Roubtsova and
Stef Joosten},
editor = {Boris Shishkov},
title = {A Framework for Visualization of Changes of Enterprise Architecture},
booktitle = {Business Modeling and Software Design - 6th International Symposium,
{BMSD} 2016, Rhodes, Greece, June 20-22, 2016, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {275},
pages = {140--160},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57222-2\_7},
doi = {10.1007/978-3-319-57222-2\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmsd/BakelaarRJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tea/BrinkeSJ16,
author = {Desir{\'{e}}e Joosten{-}ten Brinke and
Dominique Sluijsmans and
Wim M. G. Jochems},
editor = {Desir{\'{e}}e Joosten{-}ten Brinke and
Mart Laanpere},
title = {Support in Assessment of Prior Learning: Personal or Online?},
booktitle = {Technology Enhanced Assessment - 19th International Conference, {TEA}
2016, Tallinn, Estonia, October 5-6, 2016, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {653},
pages = {47--62},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57744-9\_5},
doi = {10.1007/978-3-319-57744-9\_5},
timestamp = {Thu, 23 Jun 2022 19:58:57 +0200},
biburl = {https://dblp.org/rec/conf/tea/BrinkeSJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/Joosten15,
author = {Reinoud Joosten},
title = {Long-run Strategic Advertising and Short-run Bertrand Competition},
journal = {{IGTR}},
volume = {17},
number = {2},
pages = {1540014:1--1540014:24},
year = {2015},
url = {https://doi.org/10.1142/S0219198915400149},
doi = {10.1142/S0219198915400149},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/Joosten15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmui/JoostenPK15,
author = {Bart Joosten and
Eric O. Postma and
Emiel Krahmer},
title = {Voice activity detection based on facial movement},
journal = {J. Multimodal User Interfaces},
volume = {9},
number = {3},
pages = {183--193},
year = {2015},
url = {https://doi.org/10.1007/s12193-015-0187-2},
doi = {10.1007/S12193-015-0187-2},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmui/JoostenPK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/TouwBBBKJV15,
author = {Wouter G. Touw and
Coos Baakman and
Jon Black and
Tim A. H. te Beek and
Elmar Krieger and
Robbie P. Joosten and
Gert Vriend},
title = {A series of PDB-related databanks for everyday needs},
journal = {Nucleic Acids Res.},
volume = {43},
number = {Database-Issue},
pages = {364--368},
year = {2015},
url = {https://doi.org/10.1093/nar/gku1028},
doi = {10.1093/NAR/GKU1028},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/TouwBBBKJV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/JoostenJ15,
author = {Stef M. M. Joosten and
Sebastiaan J. C. Joosten},
editor = {Wolfram Kahl and
Michael Winter and
Jos{\'{e}} Nuno Oliveira},
title = {Type Checking by Domain Analysis in Ampersand},
booktitle = {Relational and Algebraic Methods in Computer Science - 15th International
Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9348},
pages = {225--240},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24704-5\_14},
doi = {10.1007/978-3-319-24704-5\_14},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/JoostenJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Joosten15,
author = {Joost J. Joosten},
editor = {Arnold Beckmann and
Victor Mitrana and
Mariya Ivanova Soskova},
title = {Turing Jumps Through Provability},
booktitle = {Evolving Computability - 11th Conference on Computability in Europe,
CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9136},
pages = {216--225},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20028-6\_22},
doi = {10.1007/978-3-319-20028-6\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Joosten15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/JoostenS15,
author = {Sebastiaan J. C. Joosten and
Julien Schmaltz},
editor = {Wolfgang Nebel and
David Atienza},
title = {Automatic extraction of micro-architectural models of communication
fabrics from register transfer level designs},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {1413--1418},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2757140},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/JoostenS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/WoudaJS15,
author = {Sanne Wouda and
Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Process algebra semantics {\&} reachability analysis for micro-architectural
models of communication fabrics},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {198--207},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340487},
doi = {10.1109/MEMCOD.2015.7340487},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/WoudaJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tea/BrinkeSP15,
author = {Desir{\'{e}}e Joosten{-}ten Brinke and
Niels Schultz and
Robin Platjouw},
editor = {Eric Ras and
Desir{\'{e}}e Joosten{-}ten Brinke},
title = {The Success Factor in Assessment: Motivation or Playing? {A} Case
Study in Gamification},
booktitle = {Computer Assisted Assessment. Research into E-Assessment - 18th International
Conference, {CAA} 2015, Zeist, The Netherlands, June 22-23, 2015.
Proceedings},
series = {Communications in Computer and Information Science},
volume = {571},
pages = {40--46},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27704-2\_5},
doi = {10.1007/978-3-319-27704-2\_5},
timestamp = {Mon, 16 Sep 2019 15:30:06 +0200},
biburl = {https://dblp.org/rec/conf/tea/BrinkeSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tea/2015,
editor = {Eric Ras and
Desir{\'{e}}e Joosten{-}ten Brinke},
title = {Computer Assisted Assessment. Research into E-Assessment - 18th International
Conference, {CAA} 2015, Zeist, The Netherlands, June 22-23, 2015.
Proceedings},
series = {Communications in Computer and Information Science},
volume = {571},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27704-2},
doi = {10.1007/978-3-319-27704-2},
isbn = {978-3-319-27703-5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tea/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamsZRJ15,
author = {Alyssa M. Adams and
Hector Zenil and
Eduardo Hermo Reyes and
Joost J. Joosten},
title = {Interacting Behavior and Emerging Complexity},
journal = {CoRR},
volume = {abs/1512.07450},
year = {2015},
url = {http://arxiv.org/abs/1512.07450},
eprinttype = {arXiv},
eprint = {1512.07450},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdamsZRJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DuqueJ14,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {Well-orders in the transfinite Japaridze algebra},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {933--963},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu018},
doi = {10.1093/JIGPAL/JZU018},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DuqueJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijitpm/JoostenBM14,
author = {Dominik Joosten and
Dirk Basten and
Werner Mellis},
title = {Measurement of Information System Project Success in German Organizations},
journal = {Int. J. Inf. Technol. Proj. Manag.},
volume = {5},
number = {3},
pages = {1--20},
year = {2014},
url = {https://doi.org/10.4018/ijitpm.2014070101},
doi = {10.4018/IJITPM.2014070101},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijitpm/JoostenBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BeklemishevDJ14,
author = {Lev D. Beklemishev and
David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {On Provability Logics with Linearly Ordered Modalities},
journal = {Stud Logica},
volume = {102},
number = {3},
pages = {541--566},
year = {2014},
url = {https://doi.org/10.1007/s11225-013-9490-7},
doi = {10.1007/S11225-013-9490-7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BeklemishevDJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/JoostenS14,
author = {Sebastiaan J. C. Joosten and
Julien Schmaltz},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Scalable liveness verification for communication fabrics},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.126},
doi = {10.7873/DATE.2014.126},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/JoostenS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/FinckJ14,
author = {Matthias Finck and
Eline Joosten},
editor = {Christoph Rensing and
Stephan Trahasch},
title = {Erweckung aus dem Dornr{\"{o}}schenschlaf - wie lassen sich Studenten
und Dozenten in der Selbstlernphase aktivieren?},
booktitle = {Proceedings of DeLFI Workshops 2014 co-located with 12th e-Learning
Conference of the German Computer Society (DeLFI 2014), Freiburg,
Germany, September 15, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1227},
pages = {28--35},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1227/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:53 +0100},
biburl = {https://dblp.org/rec/conf/delfi/FinckJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JoostenKU14,
author = {Sebastiaan J. C. Joosten and
Cezary Kaliszyk and
Josef Urban},
editor = {Freek Verbeek and
Julien Schmaltz},
title = {Initial Experiments with TPTP-style Automated Theorem Provers on {ACL2}
Problems},
booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
and its Applications, Vienna, Austria, 12-13th July 2014},
series = {{EPTCS}},
volume = {152},
pages = {77--85},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.152.6},
doi = {10.4204/EPTCS.152.6},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JoostenKU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ReyesJ14,
author = {Eduardo Hermo Reyes and
Joost J. Joosten},
title = {The Selfish Algorithm},
journal = {CoRR},
volume = {abs/1411.2378},
year = {2014},
url = {http://arxiv.org/abs/1411.2378},
eprinttype = {arXiv},
eprint = {1411.2378},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ReyesJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DuqueJ13,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {Hyperations, Veblen progressions and transfinite iteration of ordinal
functions},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {7-8},
pages = {785--801},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2013.01.002},
doi = {10.1016/J.APAL.2013.01.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DuqueJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/AmelsvoortJKP13,
author = {Marije van Amelsvoort and
Bart Joosten and
Emiel Krahmer and
Eric O. Postma},
title = {Using non-verbal cues to (automatically) assess children's performance
difficulties with arithmetic problems},
journal = {Comput. Hum. Behav.},
volume = {29},
number = {3},
pages = {654--664},
year = {2013},
url = {https://doi.org/10.1016/j.chb.2012.10.016},
doi = {10.1016/J.CHB.2012.10.016},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chb/AmelsvoortJKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsr/LiuHPMJG13,
author = {Caixia Liu and
Jaap Ham and
Eric O. Postma and
Cees J. H. Midden and
Bart Joosten and
Martijn Goudbeek},
title = {Representing Affective Facial Expressions for Robots and Embodied
Conversational Agents by Facial Landmarks},
journal = {Int. J. Soc. Robotics},
volume = {5},
number = {4},
pages = {619--626},
year = {2013},
url = {https://doi.org/10.1007/s12369-013-0208-9},
doi = {10.1007/S12369-013-0208-9},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsr/LiuHPMJG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcheminf/Cereto-MassagueOJVMSAAGP13,
author = {Adri{\`{a}} Cereto{-}Massagu{\'{e}} and
Mar{\'{\i}}a Jos{\'{e}} Ojeda and
Robbie P. Joosten and
Cristina Valls and
Miquel Mulero and
M. Josepa Salvado and
Anna Arola{-}Arnal and
Llu{\'{\i}}s Arola and
Santiago Garcia{-}Vallv{\'{e}} and
Gerard Pujadas},
title = {The good, the bad and the dubious: VHELIBS, a validation helper for
ligands and binding sites},
journal = {J. Cheminformatics},
volume = {5},
pages = {36},
year = {2013},
url = {https://doi.org/10.1186/1758-2946-5-36},
doi = {10.1186/1758-2946-5-36},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcheminf/Cereto-MassagueOJVMSAAGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DuqueJ13,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {Models of transfinite provability logic},
journal = {J. Symb. Log.},
volume = {78},
number = {2},
pages = {543--561},
year = {2013},
url = {https://doi.org/10.2178/jsl.7802110},
doi = {10.2178/JSL.7802110},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DuqueJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/VerbeekJS13,
author = {Freek Verbeek and
Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Formal Deadlock Verification for Click Circuits},
booktitle = {19th {IEEE} International Symposium on Asynchronous Circuits and Systems,
{ASYNC} 2013, Santa Monica, CA, USA, May 19-22, 2013},
pages = {183--190},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASYNC.2013.21},
doi = {10.1109/ASYNC.2013.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/VerbeekJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avsp/JoostenPK13,
author = {Bart Joosten and
Eric O. Postma and
Emiel Krahmer},
editor = {Slim Ouni and
Fr{\'{e}}d{\'{e}}ric Berthommier and
Alexandra Jesse},
title = {Visual voice activity detection at different speeds},
booktitle = {Auditory-Visual Speech Processing, {AVSP} 2013, Annecy, France, August
29 - September 1, 2013},
pages = {187--190},
publisher = {{ISCA}},
year = {2013},
url = {http://www.isca-speech.org/archive/avsp13/av13\_187.html},
timestamp = {Tue, 16 Nov 2021 11:36:14 +0100},
biburl = {https://dblp.org/rec/conf/avsp/JoostenPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/MichelsJ13,
author = {Gerard Michels and
Stef Joosten},
editor = {Marko C. J. D. van Eekelen and
Erik Barendsen and
Peter B. Sloep and
Gerrit C. van der Veer},
title = {Progressive Development and Teaching with {RAP}},
booktitle = {Proceedings of the 3rd Computer Science Education Research Conference,
{CSERC} 2013, Arnhem, The Netherlands, April 04 - 05, 2013},
pages = {33--43},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2541920},
timestamp = {Thu, 30 Oct 2014 14:51:31 +0100},
biburl = {https://dblp.org/rec/conf/cserc/MichelsJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/BastenJMW13,
author = {Dirk Basten and
Dominik Joosten and
Werner Mellis and
Cornelia Wallm{\"{u}}ller},
title = {Keep It Simple - The Challenge Of Interlaced It Architecture At Gothaer
Systems},
booktitle = {21st European Conference on Information Systems, {ECIS} 2013, Utrecht,
The Netherlands, June 5-8, 2013},
pages = {15},
year = {2013},
url = {http://aisel.aisnet.org/ecis2013\_cr/15},
timestamp = {Mon, 05 Dec 2016 15:14:00 +0100},
biburl = {https://dblp.org/rec/conf/ecis/BastenJMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/BastenPJ13,
author = {Dirk Basten and
Oleg Pankratz and
Dominik Joosten},
title = {Assessing The Assessors - An Overview And Evaluation Of {IT} Project
Success Reports},
booktitle = {21st European Conference on Information Systems, {ECIS} 2013, Utrecht,
The Netherlands, June 5-8, 2013},
pages = {99},
year = {2013},
url = {http://aisel.aisnet.org/ecis2013\_cr/99},
timestamp = {Tue, 01 Oct 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecis/BastenPJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/JoostenS13,
author = {Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Generation of inductive invariants from register transfer level designs
of communication fabrics},
booktitle = {11th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMCODE} 2013, Portland, OR, USA, October 18-20, 2013},
pages = {57--64},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6670941/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/JoostenS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1304-7875,
author = {Sebastiaan J. C. Joosten and
Bernard van Gastel and
Julien Schmaltz},
editor = {Ruben Gamboa and
Jared Davis},
title = {A Macro for Reusing Abstract Functions and Theorems},
booktitle = {Proceedings International Workshop on the {ACL2} Theorem Prover and
its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
series = {{EPTCS}},
volume = {114},
pages = {29--41},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.114.3},
doi = {10.4204/EPTCS.114.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognetwente/JoostenZ13,
author = {Sebastiaan J. C. Joosten and
Hans Zantema},
editor = {Kamiel Cornelissen and
Ruben Hoeksma and
Johann L. Hurink and
Bodo Manthey},
title = {Relaxation of 3-partition instances},
booktitle = {12th Cologne-Twente Workshop on Graphs and Combinatorial Optimization,
Enschede, Netherlands, May 21-23, 2013},
series = {{CTIT} Workshop Proceedings},
volume = {{WP} 13-01},
pages = {133--136},
year = {2013},
timestamp = {Mon, 06 Apr 2020 17:04:26 +0200},
biburl = {https://dblp.org/rec/conf/colognetwente/JoostenZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JoostenSZ13,
author = {Joost J. Joosten and
Fernando Soler{-}Toscano and
Hector Zenil},
title = {Fractal dimension versus computational complexity},
journal = {CoRR},
volume = {abs/1309.1779},
year = {2013},
url = {http://arxiv.org/abs/1309.1779},
eprinttype = {arXiv},
eprint = {1309.1779},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JoostenSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajc/Cordon-FrancoDF12,
author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten and
Fernando Soler{-}Toscano},
title = {A secure additive protocol for card players},
journal = {Australas. {J} Comb.},
volume = {54},
pages = {163--176},
year = {2012},
url = {http://ajc.maths.uq.edu.au/pdf/54/ajc\_v54\_p163.pdf},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ajc/Cordon-FrancoDF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bc/JoostenN12,
author = {Eva R. M. Joosten and
Peter Neri},
title = {Human pitch detectors are tuned on a fine scale, but are perceptually
accessed on a coarse scale},
journal = {Biol. Cybern.},
volume = {106},
number = {8-9},
pages = {465--482},
year = {2012},
url = {https://doi.org/10.1007/s00422-012-0510-x},
doi = {10.1007/S00422-012-0510-X},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bc/JoostenN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firstmonday/RajagopalBBS12,
author = {Kamakshi Rajagopal and
Desir{\'{e}}e Joosten{-}ten Brinke and
Jan van Bruggen and
Peter B. Sloep},
title = {Understanding personal learning networks: Their structure, content
and the networking skills needed to optimally use them},
journal = {First Monday},
volume = {17},
number = {1},
year = {2012},
url = {https://doi.org/10.5210/fm.v17i1.3559},
doi = {10.5210/FM.V17I1.3559},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/firstmonday/RajagopalBBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GorisJ12,
author = {Evan Goris and
Joost J. Joosten},
title = {Self provers and {\(\Sigma\)}\({}_{\mbox{1}}\) sentences},
journal = {Log. J. {IGPL}},
volume = {20},
number = {1},
pages = {1--21},
year = {2012},
url = {https://doi.org/10.1093/jigpal/jzp096},
doi = {10.1093/JIGPAL/JZP096},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GorisJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/ZenilSJ12,
author = {Hector Zenil and
Fernando Soler{-}Toscano and
Joost J. Joosten},
title = {Empirical Encounters with Computational Irreducibility and Unpredictability},
journal = {Minds Mach.},
volume = {22},
number = {3},
pages = {149--165},
year = {2012},
url = {https://doi.org/10.1007/s11023-011-9262-y},
doi = {10.1007/S11023-011-9262-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/ZenilSJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/VrolingTMJAPV12,
author = {Bas Vroling and
David Thorne and
Philip McDermott and
Henk{-}Jan Joosten and
Teresa K. Attwood and
Steve Pettifer and
Gert Vriend},
title = {NucleaRDB: information system for nuclear receptors},
journal = {Nucleic Acids Res.},
volume = {40},
number = {Database-Issue},
pages = {377--380},
year = {2012},
url = {https://doi.org/10.1093/nar/gkr960},
doi = {10.1093/NAR/GKR960},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/VrolingTMJAPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/IcardJ12,
author = {Thomas F. Icard III and
Joost J. Joosten},
title = {Provability and Interpretability Logics with Restricted Realizations},
journal = {Notre Dame J. Formal Log.},
volume = {53},
number = {2},
pages = {133--154},
year = {2012},
url = {https://doi.org/10.1215/00294527-1715653},
doi = {10.1215/00294527-1715653},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/IcardJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/DuqueJ12,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Kripke Models of Transfinite Provability Logic},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {185--199},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Fernandez-Duque-Joosten.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/DuqueJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/DuqueJ12,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {Turing Progressions and Their Well-Orders},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {212--221},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_21},
doi = {10.1007/978-3-642-30870-3\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/DuqueJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socrob/LiuHPMJG12,
author = {Caixia Liu and
Jaap Ham and
Eric O. Postma and
Cees J. H. Midden and
Bart Joosten and
Martijn Goudbeek},
editor = {Shuzhi Sam Ge and
Oussama Khatib and
John{-}John Cabibihan and
Reid G. Simmons and
Mary{-}Anne Williams},
title = {How to Make a Robot Smile? Perception of Emotional Expressions from
Digitally-Extracted Facial Landmark Configurations},
booktitle = {Social Robotics - 4th International Conference, {ICSR} 2012, Chengdu,
China, October 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7621},
pages = {26--34},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34103-8\_3},
doi = {10.1007/978-3-642-34103-8\_3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socrob/LiuHPMJG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-1878,
author = {Joost J. Joosten},
title = {On the necessity of complexity},
journal = {CoRR},
volume = {abs/1211.1878},
year = {2012},
url = {http://arxiv.org/abs/1211.1878},
eprinttype = {arXiv},
eprint = {1211.1878},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-1878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-3217,
author = {Joost J. Joosten},
title = {Complexity fits the fittest},
journal = {CoRR},
volume = {abs/1212.3217},
year = {2012},
url = {http://arxiv.org/abs/1212.3217},
eprinttype = {arXiv},
eprint = {1212.3217},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-3217.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/JoostenJCVP11,
author = {Robbie P. Joosten and
Krista Joosten and
Serge X. Cohen and
Gert Vriend and
Anastassis Perrakis},
title = {Automatic rebuilding and optimization of crystallographic structures
in the Protein Data Bank},
journal = {Bioinform.},
volume = {27},
number = {24},
pages = {3392--3398},
year = {2011},
url = {https://doi.org/10.1093/bioinformatics/btr590},
doi = {10.1093/BIOINFORMATICS/BTR590},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/JoostenJCVP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GorisJ11,
author = {Evan Goris and
Joost J. Joosten},
title = {A new principle in the interpretability logic of all reasonable arithmetical
theories},
journal = {Log. J. {IGPL}},
volume = {19},
number = {1},
pages = {1--17},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzp082},
doi = {10.1093/JIGPAL/JZP082},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GorisJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/JoostenSZ11,
author = {Joost J. Joosten and
Fernando Soler{-}Toscano and
Hector Zenil},
title = {Program-size versus Time Complexity Slowdown and Speed-up Phenomena
in the Micro-cosmos of Small Turing Machines},
journal = {Int. J. Unconv. Comput.},
volume = {7},
number = {5},
pages = {353--387},
year = {2011},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-7-number-5-2011-2/ijuc-7-5-p-353-387/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/JoostenSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcis/BastenJM11,
author = {Dirk Basten and
Dominik Joosten and
Werner Mellis},
title = {Managers' Perceptions of Information System Project Success},
journal = {J. Comput. Inf. Syst.},
volume = {52},
number = {2},
pages = {12--21},
year = {2011},
url = {https://www.tandfonline.com/doi/abs/10.1080/08874417.2011.11645536},
doi = {10.1080/08874417.2011.11645536},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcis/BastenJM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/JoostenR11,
author = {Reinoud Joosten and
Berend Roorda},
title = {On evolutionary ray-projection dynamics},
journal = {Math. Methods Oper. Res.},
volume = {74},
number = {2},
pages = {147--161},
year = {2011},
url = {https://doi.org/10.1007/s00186-010-0342-1},
doi = {10.1007/S00186-010-0342-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmor/JoostenR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/JoostenBKHHSSV11,
author = {Robbie P. Joosten and
Tim A. H. te Beek and
Elmar Krieger and
Maarten L. Hekkelman and
Rob W. W. Hooft and
Reinhard Schneider and
Chris Sander and
Gert Vriend},
title = {A series of {PDB} related databases for everyday needs},
journal = {Nucleic Acids Res.},
volume = {39},
number = {Database-Issue},
pages = {411--419},
year = {2011},
url = {https://doi.org/10.1093/nar/gkq1105},
doi = {10.1093/NAR/GKQ1105},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/JoostenBKHHSSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MichelsJWJ11,
author = {Gerard Michels and
Sebastiaan J. C. Joosten and
Jaap van der Woude and
Stef Joosten},
editor = {Harrie C. M. de Swart},
title = {Ampersand - Applying Relation Algebra in Practice},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {280--293},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_21},
doi = {10.1007/978-3-642-21070-9\_21},
timestamp = {Wed, 15 Dec 2021 11:04:20 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/MichelsJWJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/WoudeJ11,
author = {Jaap van der Woude and
Stef Joosten},
editor = {Harrie C. M. de Swart},
title = {Relational Heterogeneity Relaxed by Subtyping},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {347--361},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_25},
doi = {10.1007/978-3-642-21070-9\_25},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/WoudeJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avsp/JoostenAKP11,
author = {Bart Joosten and
Marije van Amelsvoort and
Emiel Krahmer and
Eric O. Postma},
editor = {Giampiero Salvi and
Jonas Beskow and
Olov Engwall and
Samer Al Moubayed},
title = {Thin slices of head movements during problem solving reveal level
of difficulty},
booktitle = {Auditory-Visual Speech Processing, {AVSP} 2011, Volterra, Italy, September
1-2, 2011},
pages = {87--92},
publisher = {{ISCA}},
year = {2011},
url = {http://www.isca-speech.org/archive/avsp11/av11\_087.html},
timestamp = {Tue, 16 Nov 2021 11:36:13 +0100},
biburl = {https://dblp.org/rec/conf/avsp/JoostenAKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/AlbertCDDJS11,
author = {Michael H. Albert and
Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten and
Fernando Soler{-}Toscano},
editor = {Ajith Abraham and
Juan M. Corchado and
Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez and
Juan F. De Paz Santana},
title = {Secure Communication of Local States in Interpreted Systems},
booktitle = {International Symposium on Distributed Computing and Artificial Intelligence,
{DCAI} 2011, Salamanca, Spain, 6-8 April 2011},
series = {Advances in Intelligent and Soft Computing},
volume = {91},
pages = {117--124},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19934-9\_15},
doi = {10.1007/978-3-642-19934-9\_15},
timestamp = {Sun, 02 Oct 2022 15:58:56 +0200},
biburl = {https://dblp.org/rec/conf/dcai/AlbertCDDJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/JoostenBM11,
author = {Dominik Joosten and
Dirk Basten and
Werner Mellis},
editor = {Virpi Kristiina Tuunainen and
Matti Rossi and
Joe Nandhakumar},
title = {Measurement of information system project success in organizations
- what researchers can learn from practice},
booktitle = {19th European Conference on Information Systems, {ECIS} 2011, Helsinki,
Finland, June 9-11, 2011},
pages = {177},
year = {2011},
url = {http://aisel.aisnet.org/ecis2011/177},
timestamp = {Mon, 05 Dec 2016 15:14:00 +0100},
biburl = {https://dblp.org/rec/conf/ecis/JoostenBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/CabelloJ11,
author = {Ad{\'{a}}n Cabello and
Joost J. Joosten},
editor = {Cristian S. Calude and
Jarkko Kari and
Ion Petre and
Grzegorz Rozenberg},
title = {Hidden Variables Simulating Quantum Contextuality Increasingly Violate
the Holevo Bound},
booktitle = {Unconventional Computation - 10th International Conference, {UC} 2011,
Turku, Finland, June 6-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6714},
pages = {64--76},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21341-0\_12},
doi = {10.1007/978-3-642-21341-0\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/CabelloJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BouJ11,
author = {F{\'{e}}lix Bou and
Joost J. Joosten},
editor = {Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Valentin Goranko and
Wojciech Jamroga and
Manuel Ojeda{-}Aciego},
title = {The Closed Fragment of {IL} is {PSPACE} Hard},
booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, {M4M} 2011,
and the 4th Workshop on Logical Aspects of Multi-Agent Systems, {LAMAS}
2011, Osuna, Spain, November 10-12, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {47--54},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.10.005},
doi = {10.1016/J.ENTCS.2011.10.005},
timestamp = {Fri, 10 Mar 2023 15:30:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BouJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-5389,
author = {Joost J. Joosten and
Fernando Soler{-}Toscano and
Hector Zenil},
title = {Program-Size versus Time Complexity, Speed-Up and Slowdown Phenomena
in Small Turing Machines},
journal = {CoRR},
volume = {abs/1102.5389},
year = {2011},
url = {http://arxiv.org/abs/1102.5389},
eprinttype = {arXiv},
eprint = {1102.5389},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-5389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3421,
author = {Hector Zenil and
Fernando Soler{-}Toscano and
Joost J. Joosten},
title = {Empirical Encounters with Computational Irreducibility and Unpredictability},
journal = {CoRR},
volume = {abs/1104.3421},
year = {2011},
url = {http://arxiv.org/abs/1104.3421},
eprinttype = {arXiv},
eprint = {1104.3421},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-3421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0156,
author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and
Hans van Ditmarsch and
David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten and
Fernando Soler{-}Toscano},
title = {A secure additive protocol for card players},
journal = {CoRR},
volume = {abs/1111.0156},
year = {2011},
url = {http://arxiv.org/abs/1111.0156},
eprinttype = {arXiv},
eprint = {1111.0156},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0156.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Joosten10,
author = {Joost J. Joosten},
title = {Consistency statements and iterations of computable functions in ISigma\({}_{\mbox{1}}\)
and {PRA}},
journal = {Arch. Math. Log.},
volume = {49},
number = {7-8},
pages = {773--798},
year = {2010},
url = {https://doi.org/10.1007/s00153-010-0199-2},
doi = {10.1007/S00153-010-0199-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Joosten10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmfa/RoubtsovaJW10,
author = {Ella E. Roubtsova and
Stef Joosten and
Lex Wedemeijer},
editor = {Mehmet Aksit and
Ekkart Kindler and
Ella E. Roubtsova and
Ashley T. McNeile},
title = {Behavioural model for a business rules based approach to model services},
booktitle = {Proceedings of the Second International Workshop on Behaviour Modelling:
Foundation and Applications, Paris, France, June 14, 2010},
pages = {6},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1811147.1811153},
doi = {10.1145/1811147.1811153},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bmfa/RoubtsovaJW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/RajagopalBS10,
author = {Kamakshi Rajagopal and
Desir{\'{e}}e Joosten{-}ten Brinke and
Peter B. Sloep},
editor = {Martin Wolpers and
Paul A. Kirschner and
Maren Scheffel and
Stefanie N. Lindstaedt and
Vania Dimitrova},
title = {Using Personal Professional Networks for Learning in Social Work:
Need for Insight into the Real-World Context},
booktitle = {Sustaining {TEL:} From Innovation to Learning and Practice - 5th European
Conference on Technology Enhanced Learning, {EC-TEL} 2010, Barcelona,
Spain, September 28 - October 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6383},
pages = {572--577},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16020-2\_56},
doi = {10.1007/978-3-642-16020-2\_56},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ectel/RajagopalBS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wimaw/BastenJM10,
author = {Dirk Basten and
Dominik Joosten and
Werner Mellis},
editor = {Wolfram Pietsch and
Benedikt Krams},
title = {Prozess- und Produkterfolg in IS-Entwicklungsprojekten - Die Perspektive
der Auftragnehmer},
booktitle = {Vom Projekt zum Produkt. Fachtagung des GI-Fachausschusses Management
der Anwendungsentwicklung und -wartung im Fachbereich Wirtschaftsinformatik
(WI-MAW), 01.-03. Dezember 2010 in Aachen},
series = {{LNI}},
volume = {{P-178}},
pages = {45--60},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19838},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wimaw/BastenJM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wistp/HoepmanJ10,
author = {Jaap{-}Henk Hoepman and
Rieks Joosten},
editor = {Pierangela Samarati and
Michael Tunstall and
Joachim Posegga and
Konstantinos Markantonakis and
Damien Sauveron},
title = {Practical Schemes for Privacy and Security Enhanced {RFID}},
booktitle = {Information Security Theory and Practices. Security and Privacy of
Pervasive Systems and Smart Devices, 4th {IFIP} {WG} 11.2 International
Workshop, {WISTP} 2010, Passau, Germany, April 12-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6033},
pages = {138--153},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12368-9\_10},
doi = {10.1007/978-3-642-12368-9\_10},
timestamp = {Fri, 27 Mar 2020 08:56:51 +0100},
biburl = {https://dblp.org/rec/conf/wistp/HoepmanJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-1328,
author = {Joost J. Joosten and
Fernando Soler{-}Toscano and
Hector Zenil},
title = {Complejidad descriptiva y computacional en m{\'{a}}quinas de
Turing peque{\~{n}}as},
journal = {CoRR},
volume = {abs/1010.1328},
year = {2010},
url = {http://arxiv.org/abs/1010.1328},
eprinttype = {arXiv},
eprint = {1010.1328},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-1328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BilkovaJJ09,
author = {Marta B{\'{\i}}lkov{\'{a}} and
Dick de Jongh and
Joost J. Joosten},
title = {Interpretability in {PRA}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {128--138},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.012},
doi = {10.1016/J.APAL.2009.05.012},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BilkovaJJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilware/JoostenHS09,
author = {Rieks Joosten and
Frank T. H. den Hartog and
Franklin Selgert},
editor = {Cristian Hesselman and
Carlo Giannelli},
title = {Architecture of a Personal Network Service Layer},
booktitle = {Mobile Wireless Middleware, Operating Systems, and Applications -
Workshops, Mobilware 2009 Workshops, Berlin, Germany, April 2009,
Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {12},
pages = {131--134},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03569-2\_15},
doi = {10.1007/978-3-642-03569-2\_15},
timestamp = {Wed, 24 May 2017 08:30:27 +0200},
biburl = {https://dblp.org/rec/conf/mobilware/JoostenHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/BruggenKB09,
author = {Jan van Bruggen and
Marco Kalz and
Desir{\'{e}}e Joosten{-}ten Brinke},
editor = {Rob Koper},
title = {Placement Services for Learning Networks},
booktitle = {Learning Network Services for Professional Development},
pages = {195--208},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00978-5\_11},
doi = {10.1007/978-3-642-00978-5\_11},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/09/BruggenKB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-1257,
author = {Jaap{-}Henk Hoepman and
Rieks Joosten},
title = {Practical Schemes For Privacy {\&} Security Enhanced {RFID}},
journal = {CoRR},
volume = {abs/0909.1257},
year = {2009},
url = {http://arxiv.org/abs/0909.1257},
eprinttype = {arXiv},
eprint = {0909.1257},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0909-1257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GorisJ08,
author = {Evan Goris and
Joost J. Joosten},
title = {Modal Matters for Interpretability Logics},
journal = {Log. J. {IGPL}},
volume = {16},
number = {4},
pages = {371--412},
year = {2008},
url = {https://doi.org/10.1093/jigpal/jzn013},
doi = {10.1093/JIGPAL/JZN013},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GorisJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip9-6/HoepmanJS08,
author = {Jaap{-}Henk Hoepman and
Rieks Joosten and
Johanneke Siljee},
editor = {Vashek Maty{\'{a}}s and
Simone Fischer{-}H{\"{u}}bner and
Daniel Cvrcek and
Petr Svenda},
title = {Comparing Identity Management Frameworks in a Business Context},
booktitle = {The Future of Identity in the Information Society - 4th {IFIP} {WG}
9.2, 9.6/11.6, 11.7/FIDIS International Summer School, Brno, Czech
Republic, September 1-7, 2008, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {298},
pages = {184--196},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03315-5\_14},
doi = {10.1007/978-3-642-03315-5\_14},
timestamp = {Mon, 05 Feb 2024 20:34:43 +0100},
biburl = {https://dblp.org/rec/conf/ifip9-6/HoepmanJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/BrinkeBHBGKL07,
author = {Desir{\'{e}}e Joosten{-}ten Brinke and
Jan van Bruggen and
Henry Hermans and
Jan Burgers and
Bas Giesbers and
Rob Koper and
Ignace Latour},
title = {Modeling assessment for re-use of traditional and new types of assessment},
journal = {Comput. Hum. Behav.},
volume = {23},
number = {6},
pages = {2721--2741},
year = {2007},
url = {https://doi.org/10.1016/j.chb.2006.08.009},
doi = {10.1016/J.CHB.2006.08.009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chb/BrinkeBHBGKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ets/GiesbersBHBBKL07,
author = {Bas Giesbers and
Jan van Bruggen and
Henry Hermans and
Desir{\'{e}}e Joosten{-}ten Brinke and
Jan Burgers and
Rob Koper and
Ignace Latour},
title = {Towards a Methodology for Educational Modelling: {A} Case in Educational
Assessment},
journal = {J. Educ. Technol. Soc.},
volume = {10},
number = {1},
pages = {237--247},
year = {2007},
url = {http://www.ifets.info/abstract.php?art\_id=741},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ets/GiesbersBHBBKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Joosten07,
author = {Joost J. Joosten},
title = {Propositional Proof Systems and Fast Consistency Provers},
journal = {Notre Dame J. Formal Log.},
volume = {48},
number = {3},
pages = {381--398},
year = {2007},
url = {https://doi.org/10.1305/ndjfl/1187031410},
doi = {10.1305/NDJFL/1187031410},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Joosten07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip9-6/JoostenJ07,
author = {Rieks Joosten and
Stef Joosten},
editor = {Simone Fischer{-}H{\"{u}}bner and
Penny Duquenoy and
Albin Zuccato and
Leonardo A. Martucci},
title = {Automating Identity Management and Access Control},
booktitle = {The Future of Identity in the Information Society - Proceedings of
the Third {IFIP} {WG} 9.2, 9.6/ 11.6, 11.7/FIDIS International Summer
School on The Future of Identity in the Information Society, Karlstad
University, Sweden, August 4-10, 2007},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {262},
pages = {235--243},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-79026-8\_16},
doi = {10.1007/978-0-387-79026-8\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip9-6/JoostenJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip9-6/JoostenWD07,
author = {Rieks Joosten and
Diane Whitehouse and
Penny Duquenoy},
editor = {Simone Fischer{-}H{\"{u}}bner and
Penny Duquenoy and
Albin Zuccato and
Leonardo A. Martucci},
title = {Putting Identifiers in the Context of eHealth - \emph{Introduction
of a Model}},
booktitle = {The Future of Identity in the Information Society - Proceedings of
the Third {IFIP} {WG} 9.2, 9.6/ 11.6, 11.7/FIDIS International Summer
School on The Future of Identity in the Information Society, Karlstad
University, Sweden, August 4-10, 2007},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {262},
pages = {389--403},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-79026-8\_27},
doi = {10.1007/978-0-387-79026-8\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip9-6/JoostenWD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igtr/Joosten05,
author = {Reinoud Joosten},
title = {A Note on Repeated Games with vanishing Actions},
journal = {{IGTR}},
volume = {7},
number = {1},
pages = {107--115},
year = {2005},
url = {https://doi.org/10.1142/S0219198905000430},
doi = {10.1142/S0219198905000430},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igtr/Joosten05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeklemishevJV05,
author = {Lev D. Beklemishev and
Joost J. Joosten and
Marco Vervoort},
title = {A Finitary Treatment of the Closed Fragment of Japaridze's Provability
Logic},
journal = {J. Log. Comput.},
volume = {15},
number = {4},
pages = {447--463},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi038},
doi = {10.1093/LOGCOM/EXI038},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeklemishevJV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Joosten05,
author = {Joost J. Joosten},
title = {The Closed Fragment of the Interpretability Logic of {PRA} with a
Constant for},
journal = {Notre Dame J. Formal Log.},
volume = {46},
number = {2},
pages = {127--146},
year = {2005},
url = {https://doi.org/10.1305/ndjfl/1117755145},
doi = {10.1305/NDJFL/1117755145},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Joosten05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ChongEHJK05,
author = {Cheun Ngen Chong and
Sandro Etalle and
Pieter H. Hartel and
Rieks Joosten and
Geert Kleinhuis},
editor = {Chin{-}Sheng Chen and
Joaquim Filipe and
Isabel Seruca and
Jos{\'{e}} Cordeiro},
title = {Service Brokerage in Prolog},
booktitle = {{ICEIS} 2005, Proceedings of the Seventh International Conference
on Enterprise Information Systems, Miami, USA, May 25-28, 2005},
pages = {409--412},
year = {2005},
timestamp = {Thu, 02 Feb 2017 12:53:54 +0100},
biburl = {https://dblp.org/rec/conf/iceis/ChongEHJK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Joosten04,
author = {Joost Johannes Joosten},
title = {Interpretability formalized},
school = {Utrecht University, Netherlands},
year = {2004},
url = {http://dspace.library.uu.nl/handle/1874/1275},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Joosten04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isbi/PenneyJLVN04,
author = {Graeme P. Penney and
Krista Joosten and
Marloes M. J. Letteboer and
Max A. Viergever and
Wiro J. Niessen},
title = {Three-Dimensional Reconstruction of Tracked Freehand Ultrasound Using
Non-Rigid Registration},
booktitle = {Proceedings of the 2004 {IEEE} International Symposium on Biomedical
Imaging: From Nano to Macro, Arlington, VA, USA, 15-18 April 2004},
pages = {492--495},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ISBI.2004.1398582},
doi = {10.1109/ISBI.2004.1398582},
timestamp = {Wed, 04 Oct 2023 16:23:55 +0200},
biburl = {https://dblp.org/rec/conf/isbi/PenneyJLVN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/JoostenBW03,
author = {Reinoud Joosten and
Thomas Brenner and
Ulrich Witt},
title = {Games with frequency-dependent stage payoffs},
journal = {Int. J. Game Theory},
volume = {31},
number = {4},
pages = {609--620},
year = {2003},
url = {https://doi.org/10.1007/s001820300143},
doi = {10.1007/S001820300143},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgt/JoostenBW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdm/JoostenP02,
author = {Stef Joosten and
Sandeep Purao},
title = {A Rigorous Approach for Mapping Workflows to Object-Oriented {IS}
Models},
journal = {J. Database Manag.},
volume = {13},
number = {4},
pages = {1--19},
year = {2002},
url = {https://doi.org/10.4018/jdm.2002100101},
doi = {10.4018/JDM.2002100101},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jdm/JoostenP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/DijkmanPJ01,
author = {Remco M. Dijkman and
Lu{\'{\i}}s Ferreira Pires and
Stef Joosten},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Calculating with Concepts: a Technique for the Development of Business
Process Support},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {87--98},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30868},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/DijkmanPJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Joosten00,
author = {Stef Joosten},
editor = {Wil M. P. van der Aalst and
J{\"{o}}rg Desel and
Andreas Oberweis},
title = {Why Modellers Wreck Workflow Innovations},
booktitle = {Business Process Management, Models, Techniques, and Empirical Studies},
series = {Lecture Notes in Computer Science},
volume = {1806},
pages = {289--300},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45594-9\_18},
doi = {10.1007/3-540-45594-9\_18},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/Joosten00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/ShethGJRSWW97,
author = {Amit P. Sheth and
Dimitrios Georgakopoulos and
Stef M. M. Joosten and
Marek Rusinkiewicz and
Walt Scacchi and
Jack C. Wileden and
Alexander L. Wolf},
title = {Report from the {NSF} workshop on workflow and process automation
in information systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {22},
number = {1},
pages = {28--38},
year = {1997},
url = {https://doi.org/10.1145/251759.251825},
doi = {10.1145/251759.251825},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/ShethGJRSWW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BrinkkemperJ96,
author = {Sjaak Brinkkemper and
Stef Joosten},
title = {Editorial},
journal = {Inf. Softw. Technol.},
volume = {38},
number = {4},
pages = {259},
year = {1996},
url = {https://doi.org/10.1016/S0950-5849(96)90014-2},
doi = {10.1016/S0950-5849(96)90014-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/BrinkkemperJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/ShethGJRSWW96,
author = {Amit P. Sheth and
Dimitrios Georgakopoulos and
Stef Joosten and
Marek Rusinkiewicz and
Walt Scacchi and
Jack C. Wileden and
Alexander L. Wolf},
title = {Report from the {NSF} Workshop on Workflow and Process Automation
in Information Systems},
journal = {{SIGMOD} Rec.},
volume = {25},
number = {4},
pages = {55--67},
year = {1996},
url = {https://doi.org/10.1145/245882.245903},
doi = {10.1145/245882.245903},
timestamp = {Thu, 07 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/ShethGJRSWW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cad/AischJMB96,
author = {H. Aisch and
M. Joosten and
W. M{\"{u}}ller and
F. Buijs},
editor = {Detlev Ruland},
title = {Interaktiver Produktaustausch mit {EDIFACT}},
booktitle = {{CAD} '96: Verteilte und intelligente CAD-Systeme, GI-Fachtagung,
Kaiserslautern, 7./8. M{\"{a}}rz 1996},
pages = {165--178},
publisher = {{GI} / {DFKI}},
year = {1996},
timestamp = {Sat, 17 Jul 2021 09:02:10 +0200},
biburl = {https://dblp.org/rec/conf/cad/AischJMB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/JoostenPB95,
author = {Stef Joosten and
E. Ploeger and
Sjaak Brinkkemper},
editor = {Georgios I. Doukidis and
Robert D. Galliers and
Tawfik Jelassi and
Helmut Krcmar and
Frank Land},
title = {The contribution of groupware to corporate communication: Towards
the horizontial organization},
booktitle = {Proceedings of the Third European Conference on Information Systems,
{ECIS} 1995, Athens, Greece, 1995},
pages = {649--664},
year = {1995},
timestamp = {Mon, 05 Dec 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecis/JoostenPB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JoostenBH93,
author = {Stef Joosten and
Klaas van den Berg and
Gerrit van Der Hoeven},
title = {Teaching Functional Programming to First-Year Students},
journal = {J. Funct. Program.},
volume = {3},
number = {1},
pages = {49--65},
year = {1993},
url = {https://doi.org/10.1017/S0956796800000599},
doi = {10.1017/S0956796800000599},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JoostenBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/CarpenterJ90,
author = {Brian E. Carpenter and
Johannes M. Joosten},
title = {The {CERN} {FDDI} Pilot Project},
journal = {Comput. Networks {ISDN} Syst.},
volume = {19},
number = {3-5},
pages = {304--307},
year = {1990},
url = {https://doi.org/10.1016/0169-7552(90)90089-B},
doi = {10.1016/0169-7552(90)90089-B},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/CarpenterJ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/McNallyJD90,
author = {David J. McNally and
Stef Joosten and
Antony J. T. Davie},
editor = {Alan Dearle and
Gail M. Shaw and
Stanley B. Zdonik},
title = {Persistent Functional Programming},
booktitle = {Implementing Persistent Object Bases, Principles and Practice, Proceedings
of the Fourth International Workshop on Persistent Objects, 23-27
September 1990, Martha's Vineyard, MA, {USA}},
pages = {62--73},
publisher = {Morgan Kaufmann},
year = {1990},
timestamp = {Tue, 18 Sep 2012 19:50:15 +0200},
biburl = {https://dblp.org/rec/conf/pos/McNallyJD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Joosten88,
author = {Stef Joosten},
title = {Functional system specification},
journal = {Softw. Eng. J.},
volume = {3},
number = {4},
pages = {127--133},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0015},
doi = {10.1049/SEJ.1988.0015},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/Joosten88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/Joosten86,
author = {Roy Joosten},
title = {Integration of Town Planning, Landscaping and 3D-Architecture: Results
and Future Enhancements since Camp '83},
journal = {Comput. Graph. Forum},
volume = {5},
number = {1},
pages = {65--69},
year = {1986},
url = {https://doi.org/10.1111/j.1467-8659.1986.tb00269.x},
doi = {10.1111/J.1467-8659.1986.TB00269.X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cgf/Joosten86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/DamBHJL81,
author = {Andries van Dam and
Mario Barbacci and
Constantine Halatsis and
J. Joosten and
M. Letheren},
title = {Simulation of a Horizontal Bit-Sliced Processor Using the {ISPS} Architecture
Simulation Facility},
journal = {{IEEE} Trans. Computers},
volume = {30},
number = {7},
pages = {513--519},
year = {1981},
url = {https://doi.org/10.1109/TC.1981.1675830},
doi = {10.1109/TC.1981.1675830},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/DamBHJL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/HalatsisDJL80,
author = {Constantine Halatsis and
Andries van Dam and
J. Joosten and
M. Letheren},
editor = {Jacques Lenfant and
Barry R. Borgerson and
Daniel E. Atkins and
Keki B. Irani and
David Kinniment and
Hideo Aiso},
title = {Architectural Considerations for a Microprogrammable Emulating Engine
Using Bitslices},
booktitle = {Proceedings of the 7th Annual Symposium on Computer Architecture,
La Baule, France, May 6-8, 1980},
pages = {278--291},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800053.801936},
doi = {10.1145/800053.801936},
timestamp = {Fri, 09 Jul 2021 15:51:20 +0200},
biburl = {https://dblp.org/rec/conf/isca/HalatsisDJL80.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.
retrieved on 2024-05-17 20:42 CEST from data curated 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:
