Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luke Ong
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Primitive Recursion for Higher-Order Abstract Syntax
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Pushdown Trees Are Easy
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Analysis of 2–3 Trees
International Journal of Foundations of Computer Science
Computer Science
Collapsible Pushdown Automata and Recursion Schemes
Proceedings - Symposium on Logic in Computer Science
Mathematics
Software
Partial Order Reduction in Directed Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Branching-Time Model Checking Gap-Order Constraint Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Thermal Stress Analysis of Laminated Plates Using Global-Local Higher-Order Model
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science