- Multi-Objective Model Checking of Markov Decision Processes Kousha Etessami Marta Kwiatkowska Moshe Y. Vardi Mihalis Yannakakis Wed 16 April 2014
- Transducers with origin information Mikołaj Bojańczyk Wed 16 April 2014
- On the Positivity Problem for Simple Linear Recurrence Sequences Joel Ouaknine James Worrell Wed 16 April 2014
- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences Joel Ouaknine James Worrell Wed 16 April 2014
- Context unification is in PSPACE Artur Jeż Wed 16 April 2014
- Unary Pushdown Automata and Straight-Line Programs Dmitry Chistikov Rupak Majumdar Wed 16 April 2014
- Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes Endre Boros Khaled Elbassioni Mahmoud Fouz Vladimir Gurvich Kazuhisa Makino Bodo Manthey Wed 16 April 2014
- Strongly Polynomial-time and NC Algorithms for Detecting Cycles in Dynamic Graphs E. Cohen N. Megiddo Tue 15 April 2014
- First Cycle Games Benjamin Aminof Sasha Rubin Tue 15 April 2014
- Games Where You Can Play Optimally Without Any Memory Hugo Gimbert Wiesław Zielonka Tue 15 April 2014
- On the positional determinacy of edge-labeled games Thomas Colcombet Damian Niwiński Tue 15 April 2014
- The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets Rudiger Valk Matthias Jantzen Tue 15 April 2014
- Priced Timed Petri Nets Richard M. Mayr Parosh Aziz Abdulla Tue 15 April 2014
- On the Approximability of Trade-offs and Optimal Access of Web Sources C. H. Papadimitriou M. Yannakakis Mon 14 April 2014
- Markov Decision Processes with Multiple Objectives Krishnendu Chatterjee Rupak Majumdar Thomas A. Henzinger Mon 14 April 2014
- Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks G. Florin S. Natkin Mon 14 April 2014
- Markov Decision Processes with Multiple Long-run Average Objectives Krishnendu Chatterjee Mon 14 April 2014
- Markov Decision Processes with Multiple Long-run Average Objectives Tomáš Brázdil Václav Brożek Krishnendu Chatterjee Vojtěch Forejt Antonín Kučera Mon 14 April 2014
- Detecting Cycles in Dynamic Graphs in Polynomial Time S. Rao Kosaraju Gregory Sullivan Mon 14 April 2014
- Theorie der endlichen und unendlichen Graphen Dénes Kőnig Mon 14 April 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
