- The Complexity of Reachability in Affine Vector Addition Systems with States Michael Blondin Mikhail Raskin Tue 10 September 2019
- Regular tree languages in low levels of the Wadge Hierarchy Mikołaj Bojańczyk Filippo Cavallari Thomas Place Michał Skrzypczak Tue 10 September 2019
- Prototyping a Functional Language Using Higher-order Logic Programming: A Functional Pearl on Learning the Ways of łambdaProlog/Makam Antonis Stampoulis Adam Chlipala Sun 08 September 2019
- Complexity of Computing the Shapley Value in Games with Externalities Oskar Skibski Thu 05 September 2019
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony Ahmed Bouajjani Constantin Enea Kailiang Ji Shaz Qadeer Thu 05 September 2019
- On the k-synchronizability for mailbox systems Cinzia Di Giusto Laetitia Laversa Etienne Lozes Thu 05 September 2019
- Iterated Covariant Powerset is not a Monad Bartek Klin Julian Salamanca Wed 04 September 2019
- Expressiveness of probabilistic modal logics: A gradual approach Florence Clerc Nathanael Fijalkow Bartek Klin Prakash Panangaden Wed 04 September 2019
- Incremental Determinization for Quantifier Elimination and Functional Synthesis Markus N. Rabe Tue 03 September 2019
- Streett Automata Model Checking of Higher-Order Recursion Schemes Ryota Suzuki Koichi Fujima Naoki Kobayashi Takeshi Tsukada Mon 02 September 2019
- Epsilon-reducible context-free languages and characterizations of indexed languages Séverine Fratani El Makki Voundy Sat 31 August 2019
- PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic Christoph Wernhard Fri 30 August 2019
- A Type-Based HFL Model Checking Algorithm Youkichi Hosoi Naoki Kobayashi Takeshi Tsukada Thu 29 August 2019
- An application of communication complexity, Kolmogorov complexity and extremal combinatorics to parity games Alexander Kozachinskiy Mikhail Vyalyi Wed 28 August 2019
- CYC: A Large-scale Investment in Knowledge Infrastructure Douglas B. Lenat Tue 27 August 2019
- Natural Semantics Gilles Kahn Tue 27 August 2019
- The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games Thomas Brihaye Véronique Bruyère Aline Goeminne Jean-François Raskin Marie van den Bogaard Mon 26 August 2019
- Petri Net Reachability Problem (Invited Talk) Jérôme Leroux Mon 26 August 2019
- Mizar in a Nutshell Adam Grabowski Artur Kornilowicz Adam Naumowicz Wed 21 August 2019
- Verification of Flat FIFO Systems Alain Finkel M. Praveen Wed 21 August 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
