Steven J. Ramsay | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

C. -H. Luke Ong
12 publications
Andrzej S. Murawski
8 publications
Nikos Tzevelekos
5 publications
Long Pham
4 publications
Toby Cathcart Burn
2 publications

research

∙ 05/13/2020

Bisimilarity in fresh-register automata

Register automata are a basic model of computation over infinite alphabe...

0 Andrzej S. Murawski, et al. ∙

research

∙ 10/08/2018

Defunctionalization of Higher-Order Constrained Horn Clauses

Building on the successes of satisfiability modulo theories (SMT), Bjørn...

0 Long Pham, et al. ∙

research

∙ 05/17/2017

Higher-Order Constrained Horn Clauses and Refinement Types

Motivated by applications in automated verification of higher-order func...

0 Toby Cathcart Burn, et al. ∙