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.

Anton Wijs
SearchCollections
Map detail
Anton Wijs9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAnton WijsAAnton WijsResearcherThe HIVE Tool for Informed Swarm State Space ExplorationWThe HIVE Tool for Infor...preprint / 2011Proceedings First Workshop on GRAPH Inspection and Traversal EngineeringWProceedings First Works...preprint / 2012Proceedings 2nd Workshop on GRAPH Inspection and Traversal EngineeringWProceedings 2nd Worksho...preprint / 2013Confluence Detection for Transformations of Labelled Transition SystemsWConfluence Detection fo...preprint / 2015An O(m log n) Algorithm for Stuttering Equivalence and Branching BisimulationWAn O(m log n) Algorithm...preprint / 2016Proceedings Second Graphs as Models WorkshopWProceedings Second Grap...preprint / 2016Proceedings 3rd Workshop on GRAPH Inspection and Traversal EngineeringWProceedings 3rd Worksho...preprint / 2014Term Rewriting on GPUsWTerm Rewriting on GPUspreprint / 2020
Person8 links

Anton Wijs

Researcher

PaperThe HIVE Tool for Informed Swarm State Space ExplorationAuthorship / preprint / 2011PaperProceedings First Workshop on GRAPH Inspection and Traversal EngineeringAuthorship / preprint / 2012PaperProceedings 2nd Workshop on GRAPH Inspection and Traversal EngineeringAuthorship / preprint / 2013PaperConfluence Detection for Transformations of Labelled Transition SystemsAuthorship / preprint / 2015PaperAn O(m log n) Algorithm for Stuttering Equivalence and Branching BisimulationAuthorship / preprint / 2016PaperProceedings Second Graphs as Models WorkshopAuthorship / preprint / 2016PaperProceedings 3rd Workshop on GRAPH Inspection and Traversal EngineeringAuthorship / preprint / 2014PaperTerm Rewriting on GPUsAuthorship / 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)