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.

Piotr Hofman
SearchCollections
Map detail
Piotr Hofman12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPiotr HofmanAPiotr HofmanResearcherApproximating Weak Bisimilarity of Basic Parallel ProcessesWApproximating Weak Bisi...preprint / 2012Simulation Over One-counter Nets is PSPACE-CompleteWSimulation Over One-cou...preprint / 2013Decidability of Weak Simulation on One-counter NetsWDecidability of Weak Si...preprint / 2014Trace Inclusion for One-Counter Nets RevisitedWTrace Inclusion for One...preprint / 2015Linear Combinations of Unordered Data VectorsWLinear Combinations of ...preprint / 2016Tightening the Complexity of Equivalence Problems for Commutative GrammarsWTightening the Complexi...preprint / 2015Reachability Problem for Weak Multi-Pushdown AutomataWReachability Problem fo...preprint / 2013Universality Problem for Unambiguous VASSWUniversality Problem fo...preprint / 2020Parametrized Universality Problems for One-Counter NetsWParametrized Universali...preprint / 2020Infinite-State Energy GamesWInfinite-State Energy G...preprint / 2014Complexity of regular abstractions of one-counter languagesWComplexity of regular a...preprint / 2016
Person11 links

Piotr Hofman

Researcher

PaperApproximating Weak Bisimilarity of Basic Parallel ProcessesAuthorship / preprint / 2012PaperSimulation Over One-counter Nets is PSPACE-CompleteAuthorship / preprint / 2013PaperDecidability of Weak Simulation on One-counter NetsAuthorship / preprint / 2014PaperTrace Inclusion for One-Counter Nets RevisitedAuthorship / preprint / 2015PaperLinear Combinations of Unordered Data VectorsAuthorship / preprint / 2016PaperTightening the Complexity of Equivalence Problems for Commutative GrammarsAuthorship / preprint / 2015PaperReachability Problem for Weak Multi-Pushdown AutomataAuthorship / preprint / 2013PaperUniversality Problem for Unambiguous VASSAuthorship / preprint / 2020

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)