![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
60th 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.