- Buchi Containment and Size-Change Termination Seth Fogarty Tue 06 March 2012
- Buchi Complementation and Size-Change Termination Seth Fogarty Moshe Y Vardi Tue 06 March 2012
- Buchi complementation and size-change termination Seth Fogarty Moshe Y Vardi Tue 06 March 2012
- Efficient Buchi Universality Checking Seth Fogarty Moshe Y. Vardi Tue 06 March 2012
- State of Buechi Complementation (Full Version) Ming-Hsien Tsai Seth Fogarty Moshe Y Vardi Yih-Kuen Tsay Tue 06 March 2012
- A theory of timed automata Rajeev Alur David L. Dill Tue 06 March 2012
- Reachability analysis of pushdown automata: Application to model-checking and saturation method Ahmed Bouajjani Javier Esparza Oded Maler Tue 06 March 2012
- Infinite Structures in Timed Systems Pavel Krcal Mon 05 March 2012
- Checking timed Buchi automata emptiness on simulation graphs Stavros Tripakis Mon 05 March 2012
- Communicating timed automata: the more synchronous, the more difficult to verify Pavel Krcal Wang Yi Mon 05 March 2012
- Proving termination with multiset orderings Nachum Dershowitz Zohar Manna Sun 04 March 2012
- Lecture Notes on Automata, Games and Verification Sven Schewe Bernd Finkbeiner Sat 03 March 2012
- Patterns in random binary search trees Philippe Flajolet Xavier Gourdon Conrado MartÃnez Fri 02 March 2012
- Looking for an Analogue of Ricetextquotesingles Theorem in Circuit Complexity Theory Bernd Borchert Frank Stephan Fri 02 March 2012
- Proofs of Correctness in Mathematics and Industry Henk Barendregt Fri 02 March 2012
- An algorithm for operating a fed-batch fermentor at optimum specific-growth rate Pramod Agrawal George Koshy Michael Ramseier Fri 02 March 2012
- Periodic operation of a bioreactor with input multiplicities G. Pavan Kumar I. V. K. Subrahmanya Sastry M. Chidambaram Fri 02 March 2012
- Global Identifiability of Differential Models Hoon Hong Alexey Ovchinnikov Gleb Pogudin Chee Yap Fri 02 March 2012
- On a theorem concerning exponential polynomials Harold N. Shapiro Fri 02 March 2012
- Randomized algorithms in number theory Michael O. Rabin Jeffery O. Shallit Fri 02 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
