Travelled to:1 × Denmark
1 × Japan
1 × United Kingdom
Collaborated with:C.L.Ong ∅ A.S.Murawski N.Tzevelekos R.P.Neatherway Toby Cathcart Burn
Talks about:higher (2) order (2) check (2) intersect (1) constrain (1) bisimilar (1) algorithm (1) automata (1) abstract (1) travers (1)
Person: Steven J. Ramsay
DBLP: Ramsay:Steven_J=
Contributed to:
2015
2014
2012
2018Wrote 4 papers:
- LICS-2015-MurawskiRT #automaton #similarity
- Bisimilarity in Fresh-Register Automata (ASM, SJR, NT), pp. 156–167.
- PPDP-2014-Ramsay #abstraction #recursion #safety
- Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.
- ICFP-2012-NeatherwayRO #algorithm #higher-order #model checking
- A traversal-based algorithm for higher-order model checking (RPN, SJR, CHLO), pp. 353–364.
- POPL-2018-BurnOR #higher-order #horn clause #verification
- Higher-order constrained horn clauses for verification (TCB, CHLO, SJR), p. 28.