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.

Ulrich Schmid
SearchCollections
Map detail
Ulrich Schmid13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipUlrich SchmidAUlrich SchmidResearcherOn Specifications and Proofs of Timed CircuitsWOn Specifications and P...preprint / 2022Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsWCounter Attack on Byzan...preprint / 2013Starting a Dialog between Model Checking and Fault-tolerant Distributed AlgorithmsWStarting a Dialog betwe...preprint / 2012Unfaithful Glitch Propagation in Existing Binary Circuit ModelsWUnfaithful Glitch Propa...preprint / 2013Gracefully Degrading Consensus and $k$-Set Agreement in Directed Dynamic NetworksWGracefully Degrading Co...preprint / 2015Easy Impossibility Proofs for k-Set Agreement in Message Passing SystemsWEasy Impossibility Proo...preprint / 2011Agreement in Directed Dynamic NetworksWAgreement in Directed D...preprint / 2013Fast Consensus under Eventually Stabilizing Message AdversariesWFast Consensus under Ev...preprint / 2015Solving k-Set Agreement with Stable Skeleton GraphsWSolving k-Set Agreement...preprint / 2011Time Complexity of Consensus in Dynamic Networks Under Oblivious Message AdversariesWTime Complexity of Cons...preprint / 2022Faithful Glitch Propagation in Binary Circuit ModelsWFaithful Glitch Propaga...preprint / 2014A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline TasksWA Framework for Automat...preprint / 2014
Person12 links

Ulrich Schmid

Researcher

PaperOn Specifications and Proofs of Timed CircuitsAuthorship / preprint / 2022PaperCounter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsAuthorship / preprint / 2013PaperStarting a Dialog between Model Checking and Fault-tolerant Distributed AlgorithmsAuthorship / preprint / 2012PaperUnfaithful Glitch Propagation in Existing Binary Circuit ModelsAuthorship / preprint / 2013PaperGracefully Degrading Consensus and kk-Set Agreement in Directed Dynamic NetworksAuthorship / preprint / 2015PaperEasy Impossibility Proofs for k-Set Agreement in Message Passing SystemsAuthorship / preprint / 2011PaperAgreement in Directed Dynamic NetworksAuthorship / preprint / 2013PaperFast Consensus under Eventually Stabilizing Message AdversariesAuthorship / preprint / 2015

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)