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.

Jurriaan Rot
SearchCollections
Map detail
Jurriaan Rot12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJurriaan RotAJurriaan RotResearcherSteps and TracesWSteps and Tracespreprint / 2020Interacting via the Heap in the Presence of RecursionWInteracting via the Hea...preprint / 2012On Star Expressions and Coalgebraic Completeness TheoremsWOn Star Expressions and...preprint / 2022Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational SemanticsWProceedings Combined 27...preprint / 2020Preservation of Equations by Monoidal MonadsWPreservation of Equatio...preprint / 2020Up-to Techniques for Branching BisimilarityWUp-to Techniques for Br...preprint / 2020A New Approach for Active Automata Learning Based on ApartnessWA New Approach for Acti...preprint / 2022Fast Computations on Ordered Nominal SetsWFast Computations on Or...preprint / 2022On the specification of operations on the rational behaviour of systemsWOn the specification of...preprint / 2012Processes Parametrised by an Algebraic TheoryWProcesses Parametrised ...preprint / 2022Coinduction up to in a fibrational settingWCoinduction up to in a ...preprint / 2014
Person11 links

Jurriaan Rot

Researcher

PaperSteps and TracesAuthorship / preprint / 2020PaperInteracting via the Heap in the Presence of RecursionAuthorship / preprint / 2012PaperOn Star Expressions and Coalgebraic Completeness TheoremsAuthorship / preprint / 2022PaperProceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational SemanticsAuthorship / preprint / 2020PaperPreservation of Equations by Monoidal MonadsAuthorship / preprint / 2020PaperUp-to Techniques for Branching BisimilarityAuthorship / preprint / 2020PaperA New Approach for Active Automata Learning Based on ApartnessAuthorship / preprint / 2022PaperFast Computations on Ordered Nominal SetsAuthorship / preprint / 2022

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)