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
@article{DBLP:journals/cmpb/NakanoDVWVJGVB24,
author = {Felipe Kenji Nakano and
Karolijn Dulfer and
Ilse Vanhorebeek and
Pieter J. Wouters and
Sascha C. Verbruggen and
Koen F. Joosten and
Fabian G{\"{u}}iza Grandas and
Celine Vens and
Greet Van den Berghe},
title = {Predicting adverse long-term neurocognitive outcomes after pediatric
intensive care unit admission},
journal = {Comput. Methods Programs Biomed.},
volume = {250},
pages = {108166},
year = {2024}
}
@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},
title = {{UTC} Time, Formally Verified},
booktitle = {{CPP}},
pages = {2--13},
publisher = {{ACM}},
year = {2024}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/bmsd/JoostenR23,
author = {Stef Joosten and
Ella E. Roubtsova},
title = {Enterprise Modeling with Conventions},
booktitle = {{BMSD}},
series = {Lecture Notes in Business Information Processing},
volume = {483},
pages = {56--73},
publisher = {Springer},
year = {2023}
}
@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}
}
@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}
}
@article{DBLP:journals/corr/abs-2309-10678,
author = {Joost J. Joosten},
title = {Dialogues with algorithms},
journal = {CoRR},
volume = {abs/2309.10678},
year = {2023}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{ACII}},
pages = {1--7},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/financecom/MeijerAJ22,
author = {Koen Meijer and
Abhishta and
Reinoud Joosten},
title = {Role of Culture in Customer Acceptance of Neobanks},
booktitle = {FinanceCom},
series = {Lecture Notes in Business Information Processing},
volume = {467},
pages = {97--116},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/iceis/JoostenRH22,
author = {Stef Joosten and
Ella E. Roubtsova and
El Makki Haddouchi},
title = {Constraint Formalization for Automated Assessment of Enterprise Models},
booktitle = {{ICEIS} {(2)}},
pages = {430--441},
publisher = {{SCITEPRESS}},
year = {2022}
}
@inproceedings{DBLP:conf/lfcs/Fernandez-Duque22,
author = {David Fern{\'{a}}ndez{-}Duque and
Konstnatinos Papafilippou and
Joost J. Joosten},
title = {Hyperarithmetical Worm Battles},
booktitle = {{LFCS}},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {52--69},
publisher = {Springer},
year = {2022}
}
@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}
}
@article{DBLP:journals/afp/Joosten21,
author = {Sebastiaan J. C. Joosten},
title = {Gale-Stewart Games},
journal = {Arch. Formal Proofs},
volume = {2021},
year = {2021}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/semweb/RutledgeMPJ21,
author = {Lloyd Rutledge and
Pascal Mellema and
Tije Pietersma and
Stef Joosten},
title = {Displaying Triple Provenance with Extensions of Fresnel},
booktitle = {VOILA@ISWC},
series = {{CEUR} Workshop Proceedings},
volume = {3023},
pages = {103--114},
publisher = {CEUR-WS.org},
year = {2021}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/aiml/BorgesJ20,
author = {Ana de Almeida Borges and
Joost J. Joosten},
title = {Quantified Reflection Calculus with One Modality},
booktitle = {AiML},
pages = {13--32},
publisher = {College Publications},
year = {2020}
}
@inproceedings{DBLP:conf/nfm/SafariOJH20,
author = {Mohsen Safari and
Wytse Oortwijn and
Sebastiaan J. C. Joosten and
Marieke Huisman},
title = {Formal Verification of Parallel Prefix Sum},
booktitle = {{NFM}},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {170--186},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tacas/OortwijnHJP20,
author = {Wytse Oortwijn and
Marieke Huisman and
Sebastiaan J. C. Joosten and
Jaco van de Pol},
title = {Automated Verification of Parallel Nested {DFS}},
booktitle = {{TACAS} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {247--265},
publisher = {Springer},
year = {2020}
}
@incollection{DBLP:series/lncs/MulderHJ20,
author = {Henk Mulder and
Marieke Huisman and
Sebastiaan J. C. Joosten},
title = {Improving Performance of the VerCors Program Verifier},
booktitle = {20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {65--82},
publisher = {Springer},
year = {2020}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/bmsd/RutledgeBJ19,
author = {Lloyd Rutledge and
Erik Bouwer and
Stef Joosten},
title = {Rule Style: Patterns of and Extensions to Data System User Interface
Specification for Business Rule Violations},
booktitle = {{BMSD}},
series = {Lecture Notes in Business Information Processing},
volume = {356},
pages = {3--16},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/idc/AbhishtaJJN19,
author = {Abhishta Abhishta and
Marianne Junger and
Reinoud Joosten and
Lambert J. M. Nieuwenhuis},
title = {A Note on Analysing the Attacker Aims Behind DDoS Attacks},
booktitle = {{IDC}},
series = {Studies in Computational Intelligence},
volume = {868},
pages = {255--265},
publisher = {Springer},
year = {2019}
}
@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 = {{PDP}},
pages = {379--384},
publisher = {{IEEE}},
year = {2019}
}
@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 = {{IEEE} Symposium on Security and Privacy Workshops},
pages = {242--247},
publisher = {{IEEE}},
year = {2019}
}
@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},
title = {The Second Order Traffic Fine: Temporal Reasoning in European Transport
Regulations},
booktitle = {{TIME}},
series = {LIPIcs},
volume = {147},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019}
}
@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}
}
@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}
}
@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}
}
@article{DBLP:journals/afp/Joosten18,
author = {Sebastiaan J. C. Joosten},
title = {Graph Saturation},
journal = {Arch. Formal Proofs},
volume = {2018},
year = {2018}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/aiml/BorgesJ18,
author = {Ana de Almeida Borges and
Joost J. Joosten},
title = {The Worm Calculus},
booktitle = {Advances in Modal Logic},
pages = {13--27},
publisher = {College Publications},
year = {2018}
}
@inproceedings{DBLP:conf/aiml/ReyesJ18,
author = {Eduardo Hermo Reyes and
Joost J. Joosten},
title = {Relational Semantics for the Turing Schmerl Calculus},
booktitle = {Advances in Modal Logic},
pages = {327--346},
publisher = {College Publications},
year = {2018}
}
@inproceedings{DBLP:conf/birthday/HuismanJ18,
author = {Marieke Huisman and
Sebastiaan J. C. Joosten},
title = {Towards Reliable Concurrent Software},
booktitle = {Principled Software Development},
pages = {129--146},
publisher = {Springer},
year = {2018}
}
@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},
title = {Efficient certification of complexity proofs: formalizing the Perron-Frobenius
theorem (invited talk paper)},
booktitle = {{CPP}},
pages = {2--13},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/ifm/BoermanHJ18,
author = {Jan Boerman and
Marieke Huisman and
Sebastiaan J. C. Joosten},
title = {Reasoning About {JML:} Differences Between KeY and OpenJML},
booktitle = {{IFM}},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {30--46},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/isola/JoostenH18,
author = {Sebastiaan J. C. Joosten and
Marieke Huisman},
title = {Static Code Verification Through Process Models},
booktitle = {ISoLA {(3)}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {343--354},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/issta/JoostenOSH18,
author = {Sebastiaan J. C. Joosten and
Wytse Oortwijn and
Mohsen Safari and
Marieke Huisman},
title = {An exercise in verifying sequential programs with VerCors},
booktitle = {{ISSTA/ECOOP} Workshops},
pages = {40--45},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/itp/DivasonJT018,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {A Formalization of the {LLL} Basis Reduction Algorithm},
booktitle = {{ITP}},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {160--177},
publisher = {Springer},
year = {2018}
}
@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}
}
@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}
}
@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}
}
@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}
}
@phdthesis{DBLP:phd/basesearch/Joosten17,
author = {Diederick Joosten},
title = {Constrained and reconfigurable flight control},
school = {Delft University of Technology, Netherlands},
year = {2017}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/RelMiCS/Joosten17,
author = {Sebastiaan J. C. Joosten},
title = {Parsing and Printing of and with Triples},
booktitle = {RAMiCS},
series = {Lecture Notes in Computer Science},
volume = {10226},
pages = {159--176},
year = {2017}
}
@inproceedings{DBLP:conf/RelMiCS/Joosten17a,
author = {Stef Joosten},
title = {Software Development in Relation Algebra with Ampersand},
booktitle = {RAMiCS},
series = {Lecture Notes in Computer Science},
volume = {10226},
pages = {177--192},
year = {2017}
}
@inproceedings{DBLP:conf/cade/BrockschmidtJT017,
author = {Marc Brockschmidt and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {Certifying Safety and Termination Proofs for Integer Transition Systems},
booktitle = {{CADE}},
series = {Lecture Notes in Computer Science},
volume = {10395},
pages = {454--471},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/cedem/Joosten17,
author = {Henrietta Joosten},
title = {Citizens' Initiatives in an Onlife World: Designing for the Revitalisation
of the Public Sphere},
booktitle = {CeDEM},
pages = {243--250},
publisher = {{IEEE} Computer Society},
year = {2017}
}
@inproceedings{DBLP:conf/cpp/DivasonJT017,
author = {Jose Divas{\'{o}}n and
Sebastiaan J. C. Joosten and
Ren{\'{e}} Thiemann and
Akihisa Yamada},
title = {A formalization of the Berlekamp-Zassenhaus factorization algorithm},
booktitle = {{CPP}},
pages = {17--29},
publisher = {{ACM}},
year = {2017}
}
@inproceedings{DBLP:conf/pdp/AbhishtaJN17,
author = {Abhishta and
Reinoud Joosten and
Lambert J. M. Nieuwenhuis},
title = {Analysing the Impact of a DDoS Attack Announcement on Victim Stock
Prices},
booktitle = {{PDP}},
pages = {354--362},
publisher = {{IEEE} Computer Society},
year = {2017}
}
@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}
}
@article{DBLP:journals/ercim/Joosten17,
author = {Rieks Joosten},
title = {Self-Sovereign Identity Framework and Blockchain},
journal = {{ERCIM} News},
volume = {2017},
number = {110},
year = {2017}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/bmsd/BakelaarRJ16,
author = {Robert Bakelaar and
Ella E. Roubtsova and
Stef Joosten},
title = {A Framework for Visualization of Changes of Enterprise Architecture},
booktitle = {{BMSD}},
series = {Lecture Notes in Business Information Processing},
volume = {275},
pages = {140--160},
year = {2016}
}
@inproceedings{DBLP:conf/tea/BrinkeSJ16,
author = {Desir{\'{e}}e Joosten{-}ten Brinke and
Dominique Sluijsmans and
Wim M. G. Jochems},
title = {Support in Assessment of Prior Learning: Personal or Online?},
booktitle = {{TEA}},
series = {Communications in Computer and Information Science},
volume = {653},
pages = {47--62},
year = {2016}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/RelMiCS/JoostenJ15,
author = {Stef M. M. Joosten and
Sebastiaan J. C. Joosten},
title = {Type Checking by Domain Analysis in Ampersand},
booktitle = {RAMiCS},
series = {Lecture Notes in Computer Science},
volume = {9348},
pages = {225--240},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/cie/Joosten15,
author = {Joost J. Joosten},
title = {Turing Jumps Through Provability},
booktitle = {CiE},
series = {Lecture Notes in Computer Science},
volume = {9136},
pages = {216--225},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/date/JoostenS15,
author = {Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Automatic extraction of micro-architectural models of communication
fabrics from register transfer level designs},
booktitle = {{DATE}},
pages = {1413--1418},
publisher = {{ACM}},
year = {2015}
}
@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 = {{MEMOCODE}},
pages = {198--207},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/tea/BrinkeSP15,
author = {Desir{\'{e}}e Joosten{-}ten Brinke and
Niels Schultz and
Robin Platjouw},
title = {The Success Factor in Assessment: Motivation or Playing? {A} Case
Study in Gamification},
booktitle = {{CAA}},
series = {Communications in Computer and Information Science},
volume = {571},
pages = {40--46},
publisher = {Springer},
year = {2015}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/date/JoostenS14,
author = {Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Scalable liveness verification for communication fabrics},
booktitle = {{DATE}},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014}
}
@inproceedings{DBLP:conf/delfi/FinckJ14,
author = {Matthias Finck and
Eline Joosten},
title = {Erweckung aus dem Dornr{\"{o}}schenschlaf - wie lassen sich Studenten
und Dozenten in der Selbstlernphase aktivieren?},
booktitle = {DeLFI Workshops},
series = {{CEUR} Workshop Proceedings},
volume = {1227},
pages = {28--35},
publisher = {CEUR-WS.org},
year = {2014}
}
@inproceedings{DBLP:journals/corr/JoostenKU14,
author = {Sebastiaan J. C. Joosten and
Cezary Kaliszyk and
Josef Urban},
title = {Initial Experiments with TPTP-style Automated Theorem Provers on {ACL2}
Problems},
booktitle = {{ACL2}},
series = {{EPTCS}},
volume = {152},
pages = {77--85},
year = {2014}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/async/VerbeekJS13,
author = {Freek Verbeek and
Sebastiaan J. C. Joosten and
Julien Schmaltz},
title = {Formal Deadlock Verification for Click Circuits},
booktitle = {{ASYNC}},
pages = {183--190},
publisher = {{IEEE} Computer Society},
year = {2013}
}
@inproceedings{DBLP:conf/avsp/JoostenPK13,
author = {Bart Joosten and
Eric O. Postma and
Emiel Krahmer},
title = {Visual voice activity detection at different speeds},
booktitle = {{AVSP}},
pages = {187--190},
publisher = {{ISCA}},
year = {2013}
}
@inproceedings{DBLP:conf/cserc/MichelsJ13,
author = {Gerard Michels and
Stef Joosten},
title = {Progressive Development and Teaching with {RAP}},
booktitle = {{CSERC}},
pages = {33--43},
publisher = {{ACM}},
year = {2013}
}
@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 = {{ECIS}},
pages = {15},
year = {2013}
}
@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 = {{ECIS}},
pages = {99},
year = {2013}
}
@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 = {{MEMOCODE}},
pages = {57--64},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:journals/corr/abs-1304-7875,
author = {Sebastiaan J. C. Joosten and
Bernard van Gastel and
Julien Schmaltz},
title = {A Macro for Reusing Abstract Functions and Theorems},
booktitle = {{ACL2}},
series = {{EPTCS}},
volume = {114},
pages = {29--41},
year = {2013}
}
@inproceedings{DBLP:conf/colognetwente/JoostenZ13,
author = {Sebastiaan J. C. Joosten and
Hans Zantema},
title = {Relaxation of 3-partition instances},
booktitle = {{CTW}},
series = {{CTIT} Workshop Proceedings},
volume = {{WP} 13-01},
pages = {133--136},
year = {2013}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/aiml/DuqueJ12,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {Kripke Models of Transfinite Provability Logic},
booktitle = {Advances in Modal Logic},
pages = {185--199},
publisher = {College Publications},
year = {2012}
}
@inproceedings{DBLP:conf/cie/DuqueJ12,
author = {David Fern{\'{a}}ndez{-}Duque and
Joost J. Joosten},
title = {Turing Progressions and Their Well-Orders},
booktitle = {CiE},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {212--221},
publisher = {Springer},
year = {2012}
}
@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},
title = {How to Make a Robot Smile? Perception of Emotional Expressions from
Digitally-Extracted Facial Landmark Configurations},
booktitle = {{ICSR}},
series = {Lecture Notes in Computer Science},
volume = {7621},
pages = {26--34},
publisher = {Springer},
year = {2012}
}
@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}
}
@article{DBLP:journals/corr/abs-1212-3217,
author = {Joost J. Joosten},
title = {Complexity fits the fittest},
journal = {CoRR},
volume = {abs/1212.3217},
year = {2012}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/RelMiCS/MichelsJWJ11,
author = {Gerard Michels and
Sebastiaan J. C. Joosten and
Jaap van der Woude and
Stef Joosten},
title = {Ampersand - Applying Relation Algebra in Practice},
booktitle = {RAMiCS},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {280--293},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/RelMiCS/WoudeJ11,
author = {Jaap van der Woude and
Stef Joosten},
title = {Relational Heterogeneity Relaxed by Subtyping},
booktitle = {RAMiCS},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {347--361},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/avsp/JoostenAKP11,
author = {Bart Joosten and
Marije van Amelsvoort and
Emiel Krahmer and
Eric O. Postma},
title = {Thin slices of head movements during problem solving reveal level
of difficulty},
booktitle = {{AVSP}},
pages = {87--92},
publisher = {{ISCA}},
year = {2011}
}
@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},
title = {Secure Communication of Local States in Interpreted Systems},
booktitle = {{DCAI}},
series = {Advances in Intelligent and Soft Computing},
volume = {91},
pages = {117--124},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/ecis/JoostenBM11,
author = {Dominik Joosten and
Dirk Basten and
Werner Mellis},
title = {Measurement of information system project success in organizations
- what researchers can learn from practice},
booktitle = {{ECIS}},
pages = {177},
year = {2011}
}
@inproceedings{DBLP:conf/uc/CabelloJ11,
author = {Ad{\'{a}}n Cabello and
Joost J. Joosten},
title = {Hidden Variables Simulating Quantum Contextuality Increasingly Violate
the Holevo Bound},
booktitle = {{UC}},
series = {Lecture Notes in Computer Science},
volume = {6714},
pages = {64--76},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:journals/entcs/BouJ11,
author = {F{\'{e}}lix Bou and
Joost J. Joosten},
title = {The Closed Fragment of {IL} is {PSPACE} Hard},
booktitle = {{M4M/LAMAS}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {278},
pages = {47--54},
publisher = {Elsevier},
year = {2011}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/bmfa/RoubtsovaJW10,
author = {Ella E. Roubtsova and
Stef Joosten and
Lex Wedemeijer},
title = {Behavioural model for a business rules based approach to model services},
booktitle = {{BM-FA}},
pages = {6},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/ectel/RajagopalBS10,
author = {Kamakshi Rajagopal and
Desir{\'{e}}e Joosten{-}ten Brinke and
Peter B. Sloep},
title = {Using Personal Professional Networks for Learning in Social Work:
Need for Insight into the Real-World Context},
booktitle = {{EC-TEL}},
series = {Lecture Notes in Computer Science},
volume = {6383},
pages = {572--577},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/wimaw/BastenJM10,
author = {Dirk Basten and
Dominik Joosten and
Werner Mellis},
title = {Prozess- und Produkterfolg in IS-Entwicklungsprojekten - Die Perspektive
der Auftragnehmer},
booktitle = {Vom Projekt zum Produkt},
series = {{LNI}},
volume = {{P-178}},
pages = {45--60},
publisher = {{GI}},
year = {2010}
}
@inproceedings{DBLP:conf/wistp/HoepmanJ10,
author = {Jaap{-}Henk Hoepman and
Rieks Joosten},
title = {Practical Schemes for Privacy and Security Enhanced {RFID}},
booktitle = {{WISTP}},
series = {Lecture Notes in Computer Science},
volume = {6033},
pages = {138--153},
publisher = {Springer},
year = {2010}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/mobilware/JoostenHS09,
author = {Rieks Joosten and
Frank T. H. den Hartog and
Franklin Selgert},
title = {Architecture of a Personal Network Service Layer},
booktitle = {{MOBILWARE} Workshops},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {12},
pages = {131--134},
publisher = {Springer},
year = {2009}
}
@incollection{DBLP:books/sp/09/BruggenKB09,
author = {Jan van Bruggen and
Marco Kalz and
Desir{\'{e}}e Joosten{-}ten Brinke},
title = {Placement Services for Learning Networks},
booktitle = {Learning Network Services for Professional Development},
pages = {195--208},
publisher = {Springer},
year = {2009}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/ifip9-6/HoepmanJS08,
author = {Jaap{-}Henk Hoepman and
Rieks Joosten and
Johanneke Siljee},
title = {Comparing Identity Management Frameworks in a Business Context},
booktitle = {{FIDIS}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {298},
pages = {184--196},
publisher = {Springer},
year = {2008}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/ifip9-6/JoostenJ07,
author = {Rieks Joosten and
Stef Joosten},
title = {Automating Identity Management and Access Control},
booktitle = {{FIDIS}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {262},
pages = {235--243},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/ifip9-6/JoostenWD07,
author = {Rieks Joosten and
Diane Whitehouse and
Penny Duquenoy},
title = {Putting Identifiers in the Context of eHealth - \emph{Introduction
of a Model}},
booktitle = {{FIDIS}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {262},
pages = {389--403},
publisher = {Springer},
year = {2007}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/iceis/ChongEHJK05,
author = {Cheun Ngen Chong and
Sandro Etalle and
Pieter H. Hartel and
Rieks Joosten and
Geert Kleinhuis},
title = {Service Brokerage in Prolog},
booktitle = {{ICEIS} {(3)}},
pages = {409--412},
year = {2005}
}
@phdthesis{DBLP:phd/basesearch/Joosten04,
author = {Joost Johannes Joosten},
title = {Interpretability formalized},
school = {Utrecht University, Netherlands},
year = {2004}
}
@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 = {{ISBI}},
pages = {492--495},
publisher = {{IEEE}},
year = {2004}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/uml/DijkmanPJ01,
author = {Remco M. Dijkman and
Lu{\'{\i}}s Ferreira Pires and
Stef Joosten},
title = {Calculating with Concepts: a Technique for the Development of Business
Process Support},
booktitle = {pUML},
series = {{LNI}},
volume = {{P-7}},
pages = {87--98},
publisher = {{GI}},
year = {2001}
}
@inproceedings{DBLP:conf/bpm/Joosten00,
author = {Stef Joosten},
title = {Why Modellers Wreck Workflow Innovations},
booktitle = {Business Process Management},
series = {Lecture Notes in Computer Science},
volume = {1806},
pages = {289--300},
publisher = {Springer},
year = {2000}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/cad/AischJMB96,
author = {H. Aisch and
M. Joosten and
W. M{\"{u}}ller and
F. Buijs},
title = {Interaktiver Produktaustausch mit {EDIFACT}},
booktitle = {{CAD}},
pages = {165--178},
publisher = {{GI} / {DFKI}},
year = {1996}
}
@inproceedings{DBLP:conf/ecis/JoostenPB95,
author = {Stef Joosten and
E. Ploeger and
Sjaak Brinkkemper},
title = {The contribution of groupware to corporate communication: Towards
the horizontial organization},
booktitle = {{ECIS}},
pages = {649--664},
year = {1995}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/pos/McNallyJD90,
author = {David J. McNally and
Stef Joosten and
Antony J. T. Davie},
title = {Persistent Functional Programming},
booktitle = {{POS}},
pages = {62--73},
publisher = {Morgan Kaufmann},
year = {1990}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/isca/HalatsisDJL80,
author = {Constantine Halatsis and
Andries van Dam and
J. Joosten and
M. Letheren},
title = {Architectural Considerations for a Microprogrammable Emulating Engine
Using Bitslices},
booktitle = {{ISCA}},
pages = {278--291},
publisher = {{ACM}},
year = {1980}
}
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-06-08 04:15 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:
