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.

Christian Krause
SearchCollections
Map detail
Christian Krause10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristian KrauseAChristian KrauseResearcherModel Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level AgreementsWModel Checking Probabil...preprint / 2011Modal Specifications for Probabilistic Timed SystemsWModal Specifications fo...preprint / 2013Ultrastable low-noise current amplifierWUltrastable low-noise c...preprint / 2014Validation of the ultrastable low-noise current amplifier as travelling standard for small direct currentsWValidation of the ultra...preprint / 2015A Compositional Semantics for Stochastic Reo ConnectorsWA Compositional Semanti...preprint / 2010Proceedings Sixth Transformation Tool ContestWProceedings Sixth Trans...preprint / 2013Improved Calibration of Instruments for Small Direct CurrentsWImproved Calibration of...preprint / 2016Are Weakly Coordinating Anions Really the Holy Grail of Ternary Solid Polymer Electrolytes Plasticized by Ionic Liquids? Coordinating Anions to the Rescue of the Lithium Ion MobilityWAre Weakly Coordinating...preprint / 2022Validation of a quantized-current source with 0.2 ppm uncertaintyWValidation of a quantiz...preprint / 2015
Person9 links

Christian Krause

Researcher

PaperModel Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level AgreementsAuthorship / preprint / 2011PaperModal Specifications for Probabilistic Timed SystemsAuthorship / preprint / 2013PaperUltrastable low-noise current amplifierAuthorship / preprint / 2014PaperValidation of the ultrastable low-noise current amplifier as travelling standard for small direct currentsAuthorship / preprint / 2015PaperA Compositional Semantics for Stochastic Reo ConnectorsAuthorship / preprint / 2010PaperProceedings Sixth Transformation Tool ContestAuthorship / preprint / 2013PaperImproved Calibration of Instruments for Small Direct CurrentsAuthorship / preprint / 2016PaperAre Weakly Coordinating Anions Really the Holy Grail of Ternary Solid Polymer Electrolytes Plasticized by Ionic Liquids? Coordinating Anions to the Rescue of the Lithium Ion MobilityAuthorship / 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)