- Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Naoki Kobayashi Takeshi Tsukada Sat 26 April 2014
- Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity Bartek Klin Sławomir Lasota Joanna Ochremiak Szymon Torunczyk Sat 26 April 2014
- Symmetry in Concurrent Games Simon Castellan Pierre Clairambault Glynn Winskel Sat 26 April 2014
- Probably Safe or Live Joost-Pieter Katoen Lei Song Lijun Zhang Sat 26 April 2014
- Regular Combinators for String Transformations Rajeev Alur Adam Freilich Mukund Raghothaman Sat 26 April 2014
- The directed subgraph homeomorphism problem Steven Fortune John Hopcroft James Wyllie Tue 22 April 2014
- Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P Jakub Chaloupka Tue 22 April 2014
- Strategy Synthesis for Multi-dimensional Quantitative Objectives Krishnendu Chatterjee Mickael Randour Jean-François Raskin Tue 22 April 2014
- Strategy Synthesis for Multi-dimensional Quantitative Objectives Krishnendu Chatterjee Mickael Randour Jean-François Raskin Tue 22 April 2014
- How many numbers contains a lambda-term Paweł Parys Tue 22 April 2014
- Word operation definable in the typed lambda-calculus Marek Zaionc Tue 22 April 2014
- The Complexity of Infinitely Repeated Alternating Move Games Yaron Velner Tue 22 April 2014
- On Deciding if Deterministic Rabin Language Is in Buchi Class Tomasz Fryderyk Urbanski Tue 22 April 2014
- Sessions with an unbounded number of agents S. Akshay Loic Helouet Madhavan Mukund Tue 22 April 2014
- Languages and Strategies: A Study of Regular Infinite Games Jørg Olschewski Tue 22 April 2014
- Well-structured pushdown system: Case of Dense Timed Pushdown Automata Xiaojuan Cai Mizuhito Ogawa Tue 22 April 2014
- Succinct Approximate Convex Pareto Curves Ilias Diakonikolas Mihalis Yannakakis Tue 22 April 2014
- Delay-bounded Scheduling Michael Emmi Shaz Qadeer Zvonimir Rakamarić Thu 17 April 2014
- Reliable Communication over Unreliable Channels Yehuda Afek Hagit Attiya Alan Fekete Michael Fischer Nancy Lynch Yishay Mansour Dai-Wei Wang Lenore Zuck Thu 17 April 2014
- Modelling and Verification of Web Services Business Activity Protocol Anders P. Ravn Jiří Srba Saleem Vighio Thu 17 April 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
