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
Optimal strategies in pushdown reachability games	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
Unboundedness and downward closures of higher-order pushdown automata	2016-10-24	Paper
Regular strategies in pushdown reachability games	2015-10-28	Paper
C-SHORe: a collapsible approach to higher-order verification	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

This page was built for person: Matthew Hague