- Laurent Schwartz (1915--2002) François Treves Gilles Pisier Marc Yor Wed 09 October 2013
- Lazy abstraction Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Grégoire Sutre Wed 09 October 2013
- Timed Shuffle Expressions Catalin Dima Tue 08 October 2013
- On Recognizable Timed Languages Oded Maler Amir Pnueli Tue 08 October 2013
- Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis Kalmer Apinis Helmut Seidl Vesal Vojdani Mon 07 October 2013
- More decidable instances of Post's correspondence problem: beyond counting Mirko Rahn Sat 05 October 2013
- On some variants of Post's Correspondence Problem Keijo Ruohonen Sat 05 October 2013
- Decision Problems for Semi-Thue Systems with a Few Rules Yuri Matiyasevich Geraud Senizergues Sat 05 October 2013
- The (Generalized) Post Correspondence Problem with Lists Consisting of two Words is Decidable. Andrzej Ehrenfeucht Juhani Karhumaki Grzegorz Rozenberg Sat 05 October 2013
- Marked PCP is decidable Vesa Halava Mika Hirvensalo Ronald de Wolf Sat 05 October 2013
- The Post correspondence problem over a unary alphabet P. Rudnicki G.J. Woeginger Sat 05 October 2013
- Reasoning on Words and Trees with Data Diego Figueira Sat 05 October 2013
- Reasoning about Data Repetitions with Counter Systems Stéphane Demri Diego Figueira M. Praveen Sat 05 October 2013
- Finite-memory automata Michael Kaminski Nissim Francez Sat 05 October 2013
- Model Checking Multithreaded Programs with Asynchronous Atomic Methods Koushik Sen Mahesh Viswanathan Wed 02 October 2013
- Computing blocker sets for the regular post embedding problem Pierre Chambart Philippe Schnoebelen Wed 02 October 2013
- Pumping and counting on the regular post embedding problem Pierre Chambart Philippe Schnoebelen Wed 02 October 2013
- The omega-regular post embedding problem P. Chambart Ph. Schnoebelen Wed 02 October 2013
- A machine-independent characterization of timed languages Mikolaj Bojańczyk Sławomir Lasota Wed 02 October 2013
- Automata with Group Actions Mikolaj Bojanczyk Bartek Klin Slawomir Lasota Wed 02 October 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
