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.

Lorenzo Clemente
SearchCollections
Map detail
Lorenzo Clemente13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLorenzo ClementeALorenzo ClementeResearcherReachability relations of timed pushdown automataWReachability relations ...preprint / 2020On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free GrammarsWOn the Complexity of th...preprint / 2020Determinisability of one-clock timed automataWDeterminisability of on...preprint / 2020On the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report)WOn the complexity of th...preprint / 2020Timed games and deterministic separabilityWTimed games and determi...preprint / 2020Büchi Automata can have Smaller QuotientsWBüchi Automata can have...preprint / 2011Advanced Automata MinimizationWAdvanced Automata Minim...preprint / 2012Unified Analysis of Collapsible and Ordered Pushdown Automata via Term RewritingWUnified Analysis of Col...preprint / 2014Reachability of Communicating Timed ProcessesWReachability of Communi...preprint / 2012Timed pushdown automata revisitedWTimed pushdown automata...preprint / 2015Reachability analysis of first-order definable pushdown systemsWReachability analysis o...preprint / 2015Ordered Tree-Pushdown SystemsWOrdered Tree-Pushdown S...preprint / 2015
Person12 links

Lorenzo Clemente

Researcher

PaperReachability relations of timed pushdown automataAuthorship / preprint / 2020PaperOn the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free GrammarsAuthorship / preprint / 2020PaperDeterminisability of one-clock timed automataAuthorship / preprint / 2020PaperOn the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report)Authorship / preprint / 2020PaperTimed games and deterministic separabilityAuthorship / preprint / 2020PaperBüchi Automata can have Smaller QuotientsAuthorship / preprint / 2011PaperAdvanced Automata MinimizationAuthorship / preprint / 2012PaperUnified Analysis of Collapsible and Ordered Pushdown Automata via Term RewritingAuthorship / preprint / 2014

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)