- Weighted Relational Models of Typed Lambda-Calculi J. Laird G. Manzonetto G. McCusker M. Pagani Sat 04 January 2014
- Logic and Program Semantics Filippo Bonchi Marcello M. Bonsangue Jan J. M. M. Rutten Alexandra Silva Fri 03 January 2014
- Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm Filippo Bonchi Marcello Bonsangue Hansen Helle Hvid Prakash Panangaden Jan Rutten Alexandra Silva Fri 03 January 2014
- Generalizing determinization from automata to coalgebras Alexandra Silva Filippo Bonchi Marcello Bonsangue Jan Rutten Fri 03 January 2014
- Minimization via Duality Nick Bezhanishvili Clemens Kupke Prakash Panangaden Fri 03 January 2014
- Automatically Proving Up--to Bisimulation Daniel Hirschkoff Fri 03 January 2014
- Brzozowski's and Up-To Algorithms for Must Testing Filippo Bonchi Georgiana Caltais Damien Pous Alexandra Silva Fri 03 January 2014
- Abstract Semantics by Observable Contexts Filippo Bonchi Fri 03 January 2014
- The Winning Ways of Concurrent Games P. Clairambault J. Gutierrez G. Winskel Fri 03 January 2014
- Dynamic Communicating Automata and Branching High-Level MSCs Benedikt Bollig Aiswarya Cyriac Loic Hélouet Ahmet Kara Thomas Schwentick Fri 03 January 2014
- Timed Lossy Channel Systems Parosh Aziz Abdulla Mohamed Faouzi Atig Jonathan Cederberg Fri 03 January 2014
- Specification & Description Language - Real Time N/A Fri 03 January 2014
- Using UML for modeling complex real-time systems James Rumbaugh Branislav Selic Fri 03 January 2014
- Parallel Processing of Minimization Algorithm for Determination Finite Automata Yu-Qiang Sun Hai-Lian Lu Yu-Ping Li Hai-Yan Wang Thu 02 January 2014
- A parallel algorithm for minimization of finite automata B. Ravikumar X. Xiong Thu 02 January 2014
- Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke Thu 02 January 2014
- New Insights from One Case of Female Ejaculation Alberto Rubio-Casillas Emmanuele A. Jannini Thu 02 January 2014
- Control-Flow Analysis with SAT Solvers Steven Lyde Matthew Might Thu 02 January 2014
- Deciding kCFA is Complete for EXPTIME David Van Horn Harry G. Mairson Thu 02 January 2014
- Type-based flow analysis and context-free language reachability MANUEL FAHNDRICH JAKOB REHOF Thu 02 January 2014
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A