- Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten:
Reasoning About JML: Differences Between KeY and OpenJML. IFM 2018: 30-46 - Sebastiaan J. C. Joosten, Marieke Huisman:
Static Code Verification Through Process Models. ISoLA (3) 2018: 343-354 - Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman:
An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops 2018: 40-45 - Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A Formalization of the LLL Basis Reduction Algorithm. ITP 2018: 160-177 - Jules Desharnais, Walter Guttmann, Stef Joosten:
Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings. Lecture Notes in Computer Science 11194, Springer 2018, ISBN 978-3-030-02148-1 [contents] - Abhishta, Reinoud Joosten, Lambert J. M. Nieuwenhuis:
Analysing The Impact Of A DDoS Attack Announcement On Victim Stock Prices. CoRR abs/1805.00749 (2018) - Sebastiaan J. C. Joosten:
Finding models through graph saturation. CoRR abs/1806.09392 (2018) - Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz, Juan José Conejero Rodríguez, Eric Sancho Adamson, Aleix Solé Sánchez, Nika Pona, Joost J. Joosten:
When logic lays down the law. CoRR abs/1810.03002 (2018) - 2017
- Diederick Joosten:
Constrained and reconfigurable flight control. Delft University of Technology, Netherlands, 2017 - Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
Subresultants. Arch. Formal Proofs 2017 (2017) - Abhishta, Reinoud Joosten, Lambert J. M. Nieuwenhuis:
Comparing Alternatives to Measure the Impact of DDoS Attack Announcements on Target Stock Prices. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 8(4): 1-18 (2017) - Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín:
Predicativity through Transfinite Reflection. J. Symb. Log. 82(3): 787-808 (2017) - Sebastiaan J. C. Joosten:
Parsing and Printing of and with Triples. RAMiCS 2017: 159-176 - Stef Joosten:
Software Development in Relation Algebra with Ampersand. RAMiCS 2017: 177-192 - Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
Certifying Safety and Termination Proofs for Integer Transition Systems. CADE 2017: 454-471 - Henrietta Joosten:
Citizens' Initiatives in an Onlife World: Designing for the Revitalisation of the Public Sphere. CeDEM 2017: 243-250 - Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A formalization of the Berlekamp-Zassenhaus factorization algorithm. CPP 2017: 17-29 - Abhishta, Reinoud Joosten, Lambert J. M. Nieuwenhuis:
Analysing the Impact of a DDoS Attack Announcement on Victim Stock Prices. PDP 2017: 354-362 - Desirée Joosten-ten Brinke, Mart Laanpere:
Technology Enhanced Assessment - 19th International Conference, TEA 2016, Tallinn, Estonia, October 5-6, 2016, Revised Selected Papers. Communications in Computer and Information Science 653, 2017, ISBN 978-3-319-57743-2 [contents] - Rieks Joosten:
Self-Sovereign Identity Framework and Blockchain. ERCIM News 2017(110) (2017) - 2016
- Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
The Factorization Algorithm of Berlekamp and Zassenhaus. Arch. Formal Proofs 2016 (2016) - Reinoud Joosten:
Strong and Weak Rarity Value: Resource Games with Complex Price-Scarcity Relationships. Dyn. Games Appl. 6(1): 97-111 (2016) - Eva R. M. Joosten, Shihab A. Shamma, Christian Lorenzi, Peter Neri:
Dynamic Reweighting of Auditory Modulation Filters. PLoS Comput. Biol. 12(7) (2016) - Joost J. Joosten:
Turing-Taylor Expansions for Arithmetic Theories. Stud Logica 104(6): 1225-1243 (2016) - Robert Bakelaar, Ella E. Roubtsova, Stef Joosten:
A Framework for Visualization of Changes of Enterprise Architecture. BMSD 2016: 140-160 - Desirée Joosten-ten Brinke, Dominique Sluijsmans, Wim M. G. Jochems:
Support in Assessment of Prior Learning: Personal or Online? TEA 2016: 47-62 - 2015
- Reinoud Joosten:
Long-run Strategic Advertising and Short-run Bertrand Competition. IGTR 17(2): 1540014:1-1540014:24 (2015) - Bart Joosten, Eric O. Postma, Emiel Krahmer:
Voice activity detection based on facial movement. J. Multimodal User Interfaces 9(3): 183-193 (2015) - Wouter G. Touw, Coos Baakman, Jon Black, Tim A. H. te Beek, Elmar Krieger, Robbie P. Joosten, Gert Vriend:
A series of PDB-related databanks for everyday needs. Nucleic Acids Res. 43(Database-Issue): 364-368 (2015) - Stef M. M. Joosten, Sebastiaan J. C. Joosten:
Type Checking by Domain Analysis in Ampersand. RAMiCS 2015: 225-240