The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jurriaan Rot" ( http://dblp.L3S.de/Authors/Jurriaan_Rot )

  Author page on DBLP  Author page in RDF  Community of Jurriaan Rot in ASPL-2

Publication years (Num. hits)
2012-2015 (20) 2016-2018 (20) 2019 (13)
Publication types (Num. hits)
article(25) incollection(1) inproceedings(26) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 54 publication records. Showing 53 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jurriaan Rot Distributive laws for monotone specifications. Search on Bibsonomy Acta Inf. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simone Barlocco, Clemens Kupke, Jurriaan Rot Coalgebra Learning via Duality. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Joshua Moerman, Jurriaan Rot Separation and Renaming in Nominal Sets. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 Completeness and Incompleteness of Synchronous Kleene Algebra. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1David Venhoek, Joshua Moerman, Jurriaan Rot Fast Computations on Ordered Nominal Sets. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva 0001 Tree Automata as Algebras: Minimisation and Determinisation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jorge A. Pérez, Jurriaan Rot (eds.) Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Damien Pous, Jurriaan Rot Companions, Causality and Codensity. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2019 DBLP  BibTeX  RDF
1Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel Verifying OpenJDK's Sort Method for Generic Collections. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot Bisimilarity of open terms in stream GSOS. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva 0001 Completeness and Incompleteness of Synchronous Kleene Algebra. Search on Bibsonomy MPC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simone Barlocco, Clemens Kupke, Jurriaan Rot Coalgebra Learning via Duality. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva 0001, Jana Wagemaker, Fabio Zanasi Kleene Algebra with Observations. Search on Bibsonomy CONCUR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva 0001, Jana Wagemaker, Fabio Zanasi Kleene Algebra with Observations. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Meven Bertrand, Jurriaan Rot Coalgebraic Determinization of Alternating Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Filippo Bonchi, Tom van Bussel, Matias David Lee, Jurriaan Rot Bisimilarity of Open Terms in Stream GSOS. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bart Jacobs 0001, Paul Levy, Jurriaan Rot Steps and Traces. Search on Bibsonomy CMCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexandre Goy 0002, Jurriaan Rot (In)finite Trace Equivalence of Probabilistic Transition Systems. Search on Bibsonomy CMCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Venhoek, Joshua Moerman, Jurriaan Rot Fast Computations on Ordered Nominal Sets. Search on Bibsonomy ICTAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva 0001 Enhanced coalgebraic bisimulation. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot A general account of coinduction up-to. Search on Bibsonomy Acta Inf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Damien Pous, Jurriaan Rot Companions, Causality and Codensity. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jurriaan Rot Distributive Laws for Monotone Specifications. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Damien Pous, Jurriaan Rot Companions, Codensity and Causality. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Matias David Lee, Jurriaan Rot Bisimilarity of Open Terms in Stream GSOS. Search on Bibsonomy FSEN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Henning Basold, Damien Pous, Jurriaan Rot Monoidal Company for Accessible Functors. Search on Bibsonomy CALCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Marcello M. Bonsangue Structural congruence for bialgebraic semantics. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot Coalgebraic Minimization of Automata by Initiality and Finality. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Jurriaan Rot Coalgebraic trace semantics via forgetful logics. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten Proving language inclusion and equivalence by coinduction. Search on Bibsonomy Inf. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stijn de Gouw, Frank S. de Boer, Jurriaan Rot Verification of Counting Sort and Radix Sort. Search on Bibsonomy Deductive Software Verification The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot Duality of Equations and Coequations via Contravariant Adjunctions. Search on Bibsonomy CMCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stijn de Gouw, Jurriaan Rot Effectively Eliminating Auxiliaries. Search on Bibsonomy Theory and Practice of Formal Methods The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz 0001, Jurriaan Rot Presenting Distributive Laws. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot It is pointless to point in bounded heaps. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot Model checking recursive programs interacting via the heap. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel, Reiner Hähnle OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Jurriaan Rot Coalgebraic Trace Semantics via Forgetful Logics. Search on Bibsonomy FoSSaCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot Lax Bialgebras and Up-To Techniques for Weak Bisimulations. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot Coinduction up to in a fibrational setting. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Stijn de Gouw, Frank S. de Boer, Jurriaan Rot Proof Pearl: The KeY to Correct and Stable Sorting. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten A Coalgebraic Foundation for Coinductive Union Types. Search on Bibsonomy ICALP (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Marcello M. Bonsangue Combining Bialgebraic Semantics and Equations. Search on Bibsonomy FoSSaCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot Coinduction up-to in a fibrational setting. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot Rational Operational Models. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten Coinductive Proof Techniques for Language Equivalence. Search on Bibsonomy LATA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue Unbounded Allocation in Bounded Heaps. Search on Bibsonomy FSEN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz 0001, Jurriaan Rot Presenting Distributive Laws. Search on Bibsonomy CALCO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten Coalgebraic Bisimulation-Up-To. Search on Bibsonomy SOFSEM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot On the specification of operations on the rational behaviour of systems Search on Bibsonomy EXPRESS/SOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu Interacting via the Heap in the Presence of Recursion Search on Bibsonomy ICE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot Bounded Model Checking of Recursive Programs with Pointers in K. Search on Bibsonomy WADT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot Automated Verification of Recursive Programs with Pointers. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license