BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Matthew Hague
SearchCollections
Map detail
Matthew Hague13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMatthew HagueAMatthew HagueResearcherMonadic Decomposition in Integer Linear Arithmetic (Technical Report)WMonadic Decomposition i...preprint / 2020Parameterised Pushdown Systems with Non-Atomic WritesWParameterised Pushdown ...preprint / 2011Senescent Ground Tree Rewrite SystemsWSenescent Ground Tree R...preprint / 2013Saturation of Concurrent Collapsible Pushdown SystemsWSaturation of Concurren...preprint / 2013Annotated Stack TreesWAnnotated Stack Treespreprint / 2015Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown SystemsWSymbolic Backwards-Reac...preprint / 2008Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting ApproachWDetecting Redundant CSS...preprint / 2015Unboundedness and Downward Closures of Higher-Order Pushdown AutomataWUnboundedness and Downw...preprint / 2015Decidable models of integer-manipulating programs with recursive parallelism (technical report)WDecidable models of int...preprint / 2016A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data TypeWA Decision Procedure fo...preprint / 2020Saturation algorithms for model-checking pushdown systemsWSaturation algorithms f...preprint / 2014Extended Computation Tree LogicWExtended Computation Tr...preprint / 2010
Person12 links

Matthew Hague

Researcher

PaperMonadic Decomposition in Integer Linear Arithmetic (Technical Report)Authorship / preprint / 2020PaperParameterised Pushdown Systems with Non-Atomic WritesAuthorship / preprint / 2011PaperSenescent Ground Tree Rewrite SystemsAuthorship / preprint / 2013PaperSaturation of Concurrent Collapsible Pushdown SystemsAuthorship / preprint / 2013PaperAnnotated Stack TreesAuthorship / preprint / 2015PaperSymbolic Backwards-Reachability Analysis for Higher-Order Pushdown SystemsAuthorship / preprint / 2008PaperDetecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting ApproachAuthorship / preprint / 2015PaperUnboundedness and Downward Closures of Higher-Order Pushdown AutomataAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)