Matthew Hague

	2011
17		Matthew Hague, Anthony Widjaja Lin: Model Checking Recursive Programs with Numeric Data Types. CAV 2011: 743-759
16		Matthew Hague: Parameterised Pushdown Systems with Non-Atomic Writes. FSTTCS 2011: 457-468
15		Matthew Hague: Parameterised Pushdown Systems with Non-Atomic Writes CoRR abs/1109.6264: (2011)
14		Matthew Hague, C.-H. Luke Ong: A saturation method for the modal μ-calculus over pushdown systems. Inf. Comput. 209(5): 799-821 (2011)
	2010
13		Matthew Hague, Anthony Widjaja To: The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. FSTTCS 2010: 228-239
12		Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte: Extended Computation Tree Logic. LPAR (Yogyakarta) 2010: 67-81
11		Matthew Hague, C.-H. Luke Ong: Analysing Mu-Calculus Properties of Pushdown Systems. SPIN 2010: 187-192
10		Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao: Boom: Taking Boolean Program Model Checking One Step Further. TACAS 2010: 145-149
9		Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte: Extended Computation Tree Logic CoRR abs/1006.3709: (2010)
8		Matthew Hague, C.-H. Luke Ong: A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems CoRR abs/1006.5906: (2010)
	2009
7		Matthew Hague, C.-H. Luke Ong: Winning Regions of Pushdown Parity Games: A Saturation Method. CONCUR 2009: 384-398
	2008
6		Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre: Winning Regions of Higher-Order Pushdown Games. LICS 2008: 193-204
5		Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre: Collapsible Pushdown Automata and Recursion Schemes. LICS 2008: 452-461
4		Matthew Hague, C.-H. Luke Ong: Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems CoRR abs/0811.1103: (2008)
3		Matthew Hague, C.-H. Luke Ong: Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. Logical Methods in Computer Science 4(4): (2008)
	2007
2		Matthew Hague, C.-H. Luke Ong: Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. FoSSaCS 2007: 213-227
	2005
1		Cristiano Calcagno, Philippa Gardner, Matthew Hague: From Separation Logic to First-Order Logic. FoSSaCS 2005: 395-409

Coauthor Index

1	Roland Axelsson	[9] [12]
2	Gérard Basler	[10]
3	Cristiano Calcagno	[1]
4	Arnaud Carayol	[6]
5	Philippa Gardner	[1]
6	Stephan Kreutzer	[9] [12]
7	Daniel Kroening (Daniel Kröning)	[10]
8	Martin Lange	[9] [12]
9	Markus Latte	[9] [12]
10	Anthony Widjaja Lin (Anthony Widjaja To)	[13] [17]
11	Antoine Meyer	[6]
12	Andrzej S. Murawski	[5]
13	C.-H. Luke Ong	[2] [3] [4] [5] [6] [7] [8] [10] [11] [14]
14	Olivier Serre	[5] [6]
15	Thomas Wahl	[10]
16	Haoxian Zhao	[10]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page