Filter Results:
- Full text PDF available (31)
Publication Year
1981
2017
- This year (4)
- Last 5 years (25)
- Last 10 years (44)
Publication Type
Co-author
Journals and Conferences
Learn More
- Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
- 2008 23rd Annual IEEE Symposium on Logic in…
- 2008
We consider recursion schemes (not assumed to be <i>homogeneously typed</i>, and hence not necessarily <i>safe</i>) and use them as generators of (possibly infinite) ranked trees. A recursion scheme… (More)
- Matthew Hague
- FSTTCS
- 2011
We consider the master/slave parameterised reachability problem for networks of pushdown systems, where communication is via a global store using only non-atomic reads and writes. We show that the… (More)
- Matthew Hague, C.-H. Luke Ong
- CONCUR
- 2009
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the saturation technique… (More)
- Hon S Leong, Amy E. Robertson, +12 authors John D. Lewis
- Cell reports
- 2014
Tumor cell extravasation is a key step during cancer metastasis, yet the precise mechanisms that regulate this dynamic process are unclear. We utilized a high-resolution time-lapse intravital imaging… (More)
Higher-order recursion schemes (HORS) have recently received much attention as a useful abstraction of higher-order functional programs with a number of new verification techniques employing HORS… (More)
- Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
- POPL
- 2016
We show the diagonal problem for higher-order pushdown automata (HOPDA), and hence the simultaneous unboundedness problem, is decidable. From recent work by Zetzsche this means that we can construct… (More)
- Matthew Hague
- CSL-LICS
- 2014
Ground Tree Rewrite Systems with State are known to have an undecidable control state reachability problem. Taking inspiration from the recent introduction of scope-bounded multi-stack push-down… (More)
- Matthew Hague, Anthony Widjaja Lin
- CAV
- 2011
Pushdown systems (PDS) naturally model sequential recursive programs. Numeric data types also often arise in real-world programs. We study the extension of PDS with unbounded counters, which… (More)
- R. Molina, J. Jo, +4 authors Antonio Manuel Ballesta
- Tumour biology : the journal of the International…
- 1997
The diagnostic value of a new tumor marker, c-erbB-2, was studied in the sera of 50 controls, 112 patients with benign diseases and 534 patients with malignancies. Using 15 U/ml as the cutoff, no… (More)
- Matthew Hague, C.-H. Luke Ong
- FoSSaCS
- 2007
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of<lb>higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be used<lb>to model… (More)