S. J. Ramsay

zbMath Openramsay.steven-jamesMaRDI QIDQ2396720

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Polynomial-time equivalence testing for deterministic fresh-register automata	2021-08-04	Paper
Bisimilarity in Fresh-Register Automata	2018-04-23	Paper
Reachability in pushdown register automata	2017-05-24	Paper
A contextual equivalence checker for IMJ*	2016-01-08	Paper
Game semantic analysis of equivalence in IMJ	2016-01-08	Paper
A traversal-based algorithm for higher-order model checking	2014-07-21	Paper
Verifying higher-order functional programs with pattern-matching algebraic data types	2014-04-10	Paper
A type-directed abstraction refinement approach to higher-order model checking	2014-04-10	Paper

Research outcomes over time

This page was built for person: S. J. Ramsay