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.

Markus Roggenbach
SearchCollections
Map detail
Markus Roggenbach7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarkus RoggenbachAMarkus RoggenbachResearcherAn algebraic theory for data linkageWAn algebraic theory for...preprint / 2018Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme PlansWEncapsulating Formal Me...preprint / 2014An Institutional Framework for Heterogeneous Formal Development in UMLWAn Institutional Framew...preprint / 2014An Institution for Simple UML State MachinesWAn Institution for Simp...preprint / 2014A Computability Perspective on (Verified) Machine LearningWA Computability Perspec...preprint / 2021Towards Automated Android App Collusion DetectionWTowards Automated Andro...preprint / 2016
Person6 links

Markus Roggenbach

Researcher

PaperAn algebraic theory for data linkageAuthorship / preprint / 2018PaperEncapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme PlansAuthorship / preprint / 2014PaperAn Institutional Framework for Heterogeneous Formal Development in UMLAuthorship / preprint / 2014PaperAn Institution for Simple UML State MachinesAuthorship / preprint / 2014PaperA Computability Perspective on (Verified) Machine LearningAuthorship / preprint / 2021PaperTowards Automated Android App Collusion DetectionAuthorship / preprint / 2016

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)