Search dblp for Publications

export results for "toc:db/conf/birthday/esparza2024.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/AbdullaAGKV24,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Adwait Godbole and
                  Shankara Narayanan Krishna and
                  Mihir Vahanwala},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Fairness and Liveness Under Weak Consistency},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_1},
  doi          = {10.1007/978-3-031-56222-8\_1},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AbdullaAGKV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/AlonK24,
  author       = {Ravid Alon and
                  Orna Kupferman},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Restricted Flow Games},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {22--50},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_2},
  doi          = {10.1007/978-3-031-56222-8\_2},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AlonK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BalachanderFR24,
  author       = {Mrudula Balachander and
                  Emmanuel Filiot and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {SynthLearn: {A} Tool for Guided Reactive Synthesis},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {51--71},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_3},
  doi          = {10.1007/978-3-031-56222-8\_3},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BalachanderFR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Beier024,
  author       = {Simon Beier and
                  Markus Holzer},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {On Regular Expression Proof Complexity of Salomaa's Axiom System F\({}_{\mbox{1}}\)},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {72--100},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_4},
  doi          = {10.1007/978-3-031-56222-8\_4},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Beier024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bernemann0SW24,
  author       = {Rebecca Bernemann and
                  Barbara K{\"{o}}nig and
                  Matthias Schaffeld and
                  Torben Weis},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Hidden Markov Models with Unobservable Transitions},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {101--121},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_5},
  doi          = {10.1007/978-3-031-56222-8\_5},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bernemann0SW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BestD24,
  author       = {Eike Best and
                  Raymond R. Devillers},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Coverability in Well-Formed Free-Choice Petri Nets},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {122--132},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_6},
  doi          = {10.1007/978-3-031-56222-8\_6},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BestD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bouajjani24,
  author       = {Ahmed Bouajjani},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {On Verifying Concurrent Programs Under Weak Consistency Models: Decidability
                  and Complexity},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {133--147},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_7},
  doi          = {10.1007/978-3-031-56222-8\_7},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bouajjani24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Brazdil24,
  author       = {Tom{\'{a}}s Br{\'{a}}zdil},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {A Summary and Personal Perspective on Recent Advances in Privacy Risk
                  Assessment in Digital Pathology Through Formal Methods},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {148--154},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_8},
  doi          = {10.1007/978-3-031-56222-8\_8},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Brazdil24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DoveriGW24,
  author       = {Kyveli Doveri and
                  Pierre Ganty and
                  Chana Weil{-}Kennedy},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {A Uniform Framework for Language Inclusion Problems},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {155--171},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_9},
  doi          = {10.1007/978-3-031-56222-8\_9},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DoveriGW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/JancarL24,
  author       = {Petr Jancar and
                  J{\'{e}}r{\^{o}}me Leroux},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {On the Home-Space Problem for Petri Nets},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {172--180},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_10},
  doi          = {10.1007/978-3-031-56222-8\_10},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JancarL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KieferMST24,
  author       = {Stefan Kiefer and
                  Richard Mayr and
                  Mahsa Shirmohammadi and
                  Patrick Totzke},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Memoryless Strategies in Stochastic Reachability Games},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {225--242},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_13},
  doi          = {10.1007/978-3-031-56222-8\_13},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KieferMST24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/LuttenbergerS24,
  author       = {Michael Luttenberger and
                  Maximilian Schlund},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Newton's Method - There and Back Again},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {181--205},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_11},
  doi          = {10.1007/978-3-031-56222-8\_11},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LuttenbergerS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MalikSV24,
  author       = {Viktor Mal{\'{\i}}k and
                  Peter Schrammel and
                  Tom{\'{a}}s Vojnar},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Template-Based Verification of Array-Manipulating Programs},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {206--224},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_12},
  doi          = {10.1007/978-3-031-56222-8\_12},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MalikSV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Nipkow24,
  author       = {Tobias Nipkow},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Region Quadtrees Verified},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {243--254},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_14},
  doi          = {10.1007/978-3-031-56222-8\_14},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Nipkow24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Rossmanith24,
  author       = {Peter Rossmanith},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Computing itpre\({}^{\mbox{*}}\) for General Context Free Grammars},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {255--280},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_15},
  doi          = {10.1007/978-3-031-56222-8\_15},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Rossmanith24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/SeidlE0T24,
  author       = {Helmut Seidl and
                  Julian Erhard and
                  Michael Schwarz and
                  Sarah Tilscher},
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {2-Pointer Logic},
  booktitle    = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  pages        = {281--307},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8\_16},
  doi          = {10.1007/978-3-031-56222-8\_16},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/SeidlE0T24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/2024esparza,
  editor       = {Stefan Kiefer and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Taming the Infinities of Concurrency - Essays Dedicated to Javier
                  Esparza on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {14660},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56222-8},
  doi          = {10.1007/978-3-031-56222-8},
  isbn         = {978-3-031-56221-1},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2024esparza.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.