- Higher-order parity automata Paul-André Melliès Thu 22 June 2017
- A cartesian-closed category for higher-order model checking Martin Hofmann Jérémy Ledent Fri 02 June 2017
- Domains for Higher-Order Games Matthew Hague Roland Meyer Sebastian Muskalla Sat 06 May 2017
- Alternating Parity Krivine Automata Florian Bruse Tue 28 June 2016
- Saturation-Based Model Checking of Higher-Order Recursion Schemes Christopher Broadbent Naoki Kobayashi Sun 22 December 2013
- C-SHORe: A Collapsible Approach to Higher-order Verification Christopher Broadbent Arnaud Carayol Matthew Hague Olivier Serre Sun 22 December 2013
- The Complexity of Tree Transducer Output Languages Kazuhiro Inaba Sebastian Maneth Tue 10 December 2013
- Shape-Preserving Transformations of Higher-Order Recursion Schemes Axel Haddad Mon 02 December 2013
- Program Schemes: Early results Irene Guessarian Mon 02 December 2013
- Evaluation is MSOL compatible Sylvain Salvati Igor Walukiewicz Fri 15 November 2013
- An Abstraction Refinement Approach to Higher-Order Model Checking Steven James Ramsay Robin P. Neatherway Chih-Hao Luke Ong Tue 16 July 2013
- The IO and OI Hierarchies Revisited Gregory M. Kobele Sylvain Salvati Mon 15 July 2013
- Streamlining Collapsible Pushdown Systems and their Model-Checking Christopher Broadbent Naoki Kobayashi Wed 12 June 2013
- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking Luke Ong Wed 12 June 2013
- EWSCS13 Lecture Course: Higher-Order Model Checking Luke Ong Wed 12 June 2013
- Predicate abstraction and CEGAR for higher-order model checking Naoki Kobayashi Ryosuke Sato Hiroshi Unno Wed 12 June 2013
- Verification of tree-processing programs via higher-order model checking Hiroshi Unno Naoshi Tabuchi Naoki Kobayashi Wed 12 June 2013
- Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus Kazushige Terui Wed 27 March 2013
- Simple Models for Recursive Schemes Igor Walukiewicz Wed 27 March 2013
- Higher-Order Program Verification and Language-Based Security Naoki Kobayashi Wed 27 March 2013
- The Category Theoretic Solution of Recursive Program Schemes Stefan Milius Lawrence S. Moss Wed 27 March 2013
- Exact Flow Analysis by Higher-Order Model Checking Yoshihiro Tobita Takeshi Tsukada Naoki Kobayashi Mon 28 January 2013
Library Size: 13G (22 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
