default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday:
Javier Esparza 2024
- Stefan Kiefer, Jan Kretínský, Antonín Kucera:
Taming the Infinities of Concurrency - Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 14660, Springer 2024, ISBN 978-3-031-56221-1 - Parosh Aziz Abdulla
, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala:
Fairness and Liveness Under Weak Consistency. 1-21 - Ravid Alon, Orna Kupferman:
Restricted Flow Games. 22-50 - Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin:
SynthLearn: A Tool for Guided Reactive Synthesis. 51-71 - Simon Beier, Markus Holzer:
On Regular Expression Proof Complexity of Salomaa's Axiom System F1. 72-100 - Rebecca Bernemann, Barbara König, Matthias Schaffeld, Torben Weis:
Hidden Markov Models with Unobservable Transitions. 101-121 - Eike Best, Raymond R. Devillers:
Coverability in Well-Formed Free-Choice Petri Nets. 122-132 - Ahmed Bouajjani:
On Verifying Concurrent Programs Under Weak Consistency Models: Decidability and Complexity. 133-147 - Tomás Brázdil:
A Summary and Personal Perspective on Recent Advances in Privacy Risk Assessment in Digital Pathology Through Formal Methods. 148-154 - Kyveli Doveri, Pierre Ganty, Chana Weil-Kennedy:
A Uniform Framework for Language Inclusion Problems. 155-171 - Petr Jancar, Jérôme Leroux:
On the Home-Space Problem for Petri Nets. 172-180 - Michael Luttenberger, Maximilian Schlund:
Newton's Method - There and Back Again. 181-205 - Viktor Malík, Peter Schrammel, Tomás Vojnar:
Template-Based Verification of Array-Manipulating Programs. 206-224 - Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke:
Memoryless Strategies in Stochastic Reachability Games. 225-242 - Tobias Nipkow:
Region Quadtrees Verified. 243-254 - Peter Rossmanith:
Computing itpre* for General Context Free Grammars. 255-280 - Helmut Seidl, Julian Erhard, Michael Schwarz, Sarah Tilscher:
2-Pointer Logic. 281-307
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-13 23:59 CET 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:
