Matthew Hague

Available identifiers

Publication	Date of Publication	Type
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type	2022-12-22	Paper
Monadic decomposition in integer linear arithmetic	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5005144	2021-08-04	Paper
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4994932	2021-06-22	Paper
Domains for Higher-Order Games	2020-05-26	Paper
Decidable models of integer-manipulating programs with recursive parallelism	2018-11-23	Paper
Constrained dynamic tree networks	2018-10-23	Paper
Senescent ground tree rewrite systems	2018-04-23	Paper
Decidable models of integer-manipulating programs with recursive parallelism	2018-03-26	Paper
Saturation of Concurrent Collapsible Pushdown Systems	2017-02-21	Paper
Regular Strategies in Pushdown Reachability Games	2015-10-28	Paper
C-SHORe	2015-03-30	Paper
A Saturation Method for Collapsible Pushdown Systems	2012-11-01	Paper
Parameterised Pushdown Systems with Non-Atomic Writes	2012-08-31	Paper
The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems	2012-08-29	Paper
Extended Computation Tree Logic	2010-10-12	Paper
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems	2009-04-29	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthew Hague