- On constructing obstruction sets of words Bruno Courcelle Tue 12 January 2016
- A Note on Decidable Separability by Piecewise Testable Languages Wojciech Czerwiński Wim Martens Lorijn van Rooijen Marc Zeitoun Tue 12 January 2016
- An Approach to Computing Downward Closures Georg Zetzsche Tue 12 January 2016
- Pumping by Typing N. Kobayashi Tue 12 January 2016
- Deadlock Analysis of Unbounded Process Networks Elena Giachino Naoki Kobayashi Cosimo Laneve Tue 12 January 2016
- A Type-Directed Negation Elimination Etienne Lozes Tue 12 January 2016
- A ZDD-Based Efficient Higher-Order Model Checking Algorithm Taku Terao Naoki Kobayashi Tue 12 January 2016
- Verifying Relational Properties of Functional Programs by First-Order Refinement Kazuyuki Asada Ryosuke Sato Naoki Kobayashi Tue 12 January 2016
- Automata-Based Abstraction Refinement for muHORS Model Checking N. Kobayashi Xin Li Tue 12 January 2016
- Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs Takuya Kuwahara Ryosuke Sato Hiroshi Unno Naoki Kobayashi Tue 12 January 2016
- Decision Algorithms for Checking Definability of Order-2 Finitary PCF Sadaaki Kawata Kazuyuki Asada Naoki Kobayashi Tue 12 January 2016
- Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs Yuma Matsumoto Naoki Kobayashi Hiroshi Unno Tue 12 January 2016
- Verification of tree-processing programs via higher-order model checking HIROSHI UNNO NAOSHI TABUCHI NAOKI KOBAYASHI Tue 12 January 2016
- Finiteness Analysis in Polynomial Time Chin Soon Lee Mon 11 January 2016
- Simulations and Antichains for Efficient Handling of Finite Automata Lukas Holik Mon 11 January 2016
- Reduction of Nondeterministic Tree Automata Ricardo Almeida Lukáš Holík Richard Mayr Mon 11 January 2016
- Proceedings 15th International Workshop on Verification of Infinite-State Systems N/A Mon 11 January 2016
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests Damien Pous Thu 07 January 2016
- A Logical Characterization for Dense-time Visibly Pushdown Automata Devendra Bhave Vrunda Dave Shankara Narayanan Krishna Ramchandra Phawade Ashutosh Trivedi Sat 26 December 2015
- Event-Clock Visibly Pushdown Automata Nguyen Tang Mizuhito Ogawa Sat 26 December 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
