S. J. Ramsay
From MaRDI portal
Person:2396720
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 |
|---|---|---|
| Bisimilarity in fresh-register automata Logical Methods in Computer Science | 2025-03-06 | Paper |
| Polynomial-time equivalence testing for deterministic fresh-register automata | 2021-08-04 | Paper |
| Bisimilarity in Fresh-Register Automata 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Reachability in pushdown register automata Journal of Computer and System Sciences | 2017-05-24 | Paper |
| A contextual equivalence checker for IMJ* Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
| Game semantic analysis of equivalence in IMJ Automated Technology for Verification and Analysis | 2016-01-08 | Paper |
| A traversal-based algorithm for higher-order model checking Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Verifying higher-order functional programs with pattern-matching algebraic data types Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| A type-directed abstraction refinement approach to higher-order model checking Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Research outcomes over time
This page was built for person: S. J. Ramsay
