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.

Barbara Jobstmann
SearchCollections
Map detail
Barbara Jobstmann6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBarbara JobstmannABarbara JobstmannResearcherSynthesizing Systems with Optimal Average-Case Behavior for Ratio ObjectivesWSynthesizing Systems wi...preprint / 2011GIST: A Solver for Probabilistic GamesWGIST: A Solver for Prob...preprint / 2010Measuring and Synthesizing Systems in Probabilistic EnvironmentsWMeasuring and Synthesiz...preprint / 2011Better Quality in Synthesis through Quantitative ObjectivesWBetter Quality in Synth...preprint / 2013Algorithms for Synthesizing Priorities in Component-based SystemsWAlgorithms for Synthesi...preprint / 2011
Person5 links

Barbara Jobstmann

Researcher

PaperSynthesizing Systems with Optimal Average-Case Behavior for Ratio ObjectivesAuthorship / preprint / 2011PaperGIST: A Solver for Probabilistic GamesAuthorship / preprint / 2010PaperMeasuring and Synthesizing Systems in Probabilistic EnvironmentsAuthorship / preprint / 2011PaperBetter Quality in Synthesis through Quantitative ObjectivesAuthorship / preprint / 2013PaperAlgorithms for Synthesizing Priorities in Component-based SystemsAuthorship / preprint / 2011

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)