bibliographer - Steven J. Ramsay

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Bisimilarity in fresh-register automata Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos [github]

Higher-order Constrained Horn Clauses for Verification Toby Cathcart Burn C.-H. Luke Ong Steven J. Ramsay [github]

Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes Steven J. Ramsay [github]

Reachability in Pushdown Register Automata Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos [github]

A Type-directed Abstraction Refinement Approach to Higher-order Model Checking Steven J. Ramsay Robin P. Neatherway C.-H. Luke Ong [github]

A traversal-based algorithm for higher-order model checking Robin P. Neatherway Steven J. Ramsay Chih-Hao Luke Ong [github]

A traversal-based algorithm for higher-order model checking Robin P. Neatherway Steven J. Ramsay Chih-Hao Luke Ong [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]