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.

Uli Fahrenberg
SearchCollections
Map detail
Uli Fahrenberg13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipUli FahrenbergAUli FahrenbergResearcherA Generic Approach to Quantitative VerificationWA Generic Approach to Q...preprint / 2022Featured GamesWFeatured Gamespreprint / 2020Distances for Weighted Transition Systems: Games and PropertiesWDistances for Weighted ...preprint / 2011Proceedings Quantities in Formal MethodsWProceedings Quantities ...preprint / 2012A Robust Specification Theory for Modal Event-Clock AutomataWA Robust Specification ...preprint / 2012History-Preserving Bisimilarity for Higher-Dimensional Automata via Open MapsWHistory-Preserving Bisi...preprint / 2013Measuring Global Similarity between TextsWMeasuring Global Simila...preprint / 2014Structural Refinement for the Modal nu-CalculusWStructural Refinement f...preprint / 2014Homotopy Bisimilarity for Higher-Dimensional AutomataWHomotopy Bisimilarity f...preprint / 2014Generating Posets with InterfacesWGenerating Posets with ...preprint / 2022Weighted Modal Transition SystemsWWeighted Modal Transiti...preprint / 2012Kleene Algebras and Semimodules for Energy ProblemsWKleene Algebras and Sem...preprint / 2013
Person12 links

Uli Fahrenberg

Researcher

PaperA Generic Approach to Quantitative VerificationAuthorship / preprint / 2022PaperFeatured GamesAuthorship / preprint / 2020PaperDistances for Weighted Transition Systems: Games and PropertiesAuthorship / preprint / 2011PaperProceedings Quantities in Formal MethodsAuthorship / preprint / 2012PaperA Robust Specification Theory for Modal Event-Clock AutomataAuthorship / preprint / 2012PaperHistory-Preserving Bisimilarity for Higher-Dimensional Automata via Open MapsAuthorship / preprint / 2013PaperMeasuring Global Similarity between TextsAuthorship / preprint / 2014PaperStructural Refinement for the Modal nu-CalculusAuthorship / 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)