- Flatness and Complexity of Immediate Observation Petri Nets Mikhail Raskin Chana Weil-Kennedy Javier Esparza Wed 08 July 2020
- Controlling a Random Population is EXPTIME-hard Corto Mascle Mahsa Shirmohammadi Patrick Totzke Wed 08 July 2020
- The Complexity of Flat Freeze LTL Benedikt Bollig Karin Quaas Arnaud Sangnier Wed 08 July 2020
- Verification of Immediate Observation Population Protocols Javier Esparza Pierre Ganty Rupak Majumdar Chana Weil-Kennedy Wed 08 July 2020
- Controlling a Random Population Thomas Colcombet Nathanael Fijalkow Pierre Ohlmann Wed 08 July 2020
- Parameterized Synthesis for Fragments of First-Order Logic Over Data Words Béatrice Bérard Benedikt Bollig Mathieu Lehaut Nathalie Sznajder Wed 08 July 2020
- Complexity Results for Problems of Communication-Free Petri Nets and Related Formalisms Ernst W. Mayr Jeremias Weihmann Wed 08 July 2020
- Sketching Graphs and Combinatorial Optimization (Invited Talk) Robert Krauthgamer Wed 08 July 2020
- How to Play in Infinite MDPs (Invited Talk) Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Patrick Totzke Dominik Wojtczak Wed 08 July 2020
- An Incentive Analysis of Some Bitcoin Fee Designs (Invited Talk) Andrew Chi chih Yao Wed 08 July 2020
- Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game Rupak Majumdar Anne-Kathrin Schmuck Mon 06 July 2020
- Active learning of timed automata with unobservable resets Léo Henry Nicolas Markey Thierry Jéron Mon 06 July 2020
- Logical Separability of Incomplete Data under Ontologies Jean Christoph Jung Carsten Lutz Hadrien Pulcini Frank Wolter Mon 06 July 2020
- Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment Jean Christoph Jung Frank Wolter Mon 06 July 2020
- On the decidability and complexity of Metric Temporal Logic over finite words Joel Ouaknine James Worrell Mon 06 July 2020
- The future of mathematics Kevin Buzzard Sat 04 July 2020
- ICALP-LICS'20 Schedule AAVV Sat 04 July 2020
- Pebble Minimization of Polyregular Functions Nathan Lhote Sat 04 July 2020
- Re-Pairing Brackets Dmitry Chistikov Mikhail Vyalyi Sat 04 July 2020
- Uniformisations of Regular Relations Over Bi-Infinite Words Grzegorz Fabiaundefinedski Michał Skrzypczak Szymon Toruundefinedczyk Sat 04 July 2020
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
