- Computational ludics Kazushige Terui Fri 02 March 2012
- Deciding the isomorphism problem in classes of unary automatic structures Jiamou Liu Mia Minnes Fri 02 March 2012
- Mediated population protocols Othon Michail Ioannis Chatzigiannakis Paul G. Spirakis Fri 02 March 2012
- A linear translation from CTL* to the first-order modal mu -calculus Sjoerd Cranen Jan Friso Groote Michel Reniers Fri 02 March 2012
- Drawing graphs with right angle crossings Walter Didimo Peter Eades Giuseppe Liotta Fri 02 March 2012
- Specifications for decidable hybrid games Vladimeros Vladimerou Pavithra Prabhakar Mahesh Viswanathan Geir Dullerud Fri 02 March 2012
- Finding strong bridges and strong articulation points in linear time Giuseppe F. Italiano Luigi Laura Federico Santaroni Fri 02 March 2012
- State complexity of combined operations with two basic operations Bo Cui Yuan Gao Lila Kari Sheng Yu Fri 02 March 2012
- Modularity in term rewriting revisited Bernhard Gramlich Fri 02 March 2012
- Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games Markus N. Rabe Sven Schewe Fri 02 March 2012
- Graph classes with structured neighborhoods and algorithmic applications Rémy Belmonte Martin Vatshelle Fri 02 March 2012
- New results on maximum induced matchings in bipartite graphs and beyond Konrad K. Dabrowski Marc Demange Vadim V. Lozin Fri 02 March 2012
- The ARNN model relativises José Félix Costa Raimundo Leong Fri 02 March 2012
- On the open problem of Ginsburg concerning semilinear sets and related problems Oscar H. Ibarra Shinnosuke Seki Fri 02 March 2012
- Enhanced string covering Tomáš Flouri Costas S. Iliopoulos Tomasz Kociumaka Solon P. Pissis Simon J. Puglisi W.F. Smyth Wojciech Tyczyński Fri 02 March 2012
- Robust synthesis for real-time systems Kim G. Larsen Axel Legay Louis-Marie Traonouez Andrzej Wąsowski Fri 02 March 2012
- Parametric metric interval temporal logic Barbara Di Giampaolo Salvatore La Torre Margherita Napoli Fri 02 March 2012
- Complexity of conflict-free colorings of graphs Luisa Gargano Adele A. Rescigno Fri 02 March 2012
- Associative and commutative tree representations for Boolean functions Antoine Genitrini Bernhard Gittenberger Veronika Kraus Cécile Mailler Fri 02 March 2012
- Early nested word automata for XPath query answering on XML streams Denis Debarbieux Olivier Gauwin Joachim Niehren Tom Sebastian Mohamed Zergaoui Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
