Name Card

Full name Familienname, Vorname
Schmid, Ulrich
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 222 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cignarale-2023-Logic ofCommunication Interpretation How toNot Get Lost in...-vor.pdf.jpgCignarale, Giorgio ; Kuznets, Roman ; Rincon Galeana, Hugo ; Schmid, Ulrich Logic of Communication Interpretation: How to Not Get Lost in TranslationInproceedings Konferenzbeitrag 13-Sep-2023
2Schlögl, Thomas ; Schmid, Ulrich A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed SystemsInproceedings Konferenzbeitrag 11-Jul-2023
3Cignarale-2023-Minds and Machines-vor.pdf.jpgCignarale, Giorgio ; Schmid, Ulrich ; Tahko, Tuomas ; Kuznets, Roman The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed SystemsArticle Artikel Jun-2023
4Ferdowsi, Arman ; Függer, Matthias ; Nowak, Thomas ; Schmid, Ulrich Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay ModelsInproceedings Konferenzbeitrag May-2023
5Winkler, Kyrill ; Paz, Ami ; Galeana, Hugo Rincon ; Schmid, Stefan ; Schmid, Ulrich The Time Complexity of Consensus Under Oblivious Message AdversariesInproceedings Konferenzbeitrag 1-Feb-2023
6Öhlinger, Daniel ; Schmid, Ulrich A Digital Delay Model Supporting Large Adversarial Delay VariationsInproceedings Konferenzbeitrag 2023
7Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef Accurate Hybrid Delay Models for Dynamic Timing AnalysisInproceedings Konferenzbeitrag 2023
8Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef An Accurate Hybrid Delay Model for Multi-Input GatesReport Bericht 31-Oct-2022
9Randrianomentsoa, Rojo Fanamperana ; Rincon Galeana, Hugo ; Schmid, Ulrich Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed SystemsPresentation Vortrag24-Oct-2022
10Galeana, Hugo Rincon ; Rajsbaum, Sergio ; Schmid, Ulrich Continuous Tasks and the Asynchronous Computability TheoremInproceedings Konferenzbeitrag 1-Jan-2022
11Ferdowsi, Arman ; Maier, Jurgen ; Öhlinger, Daniel ; Schmid, Ulrich A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input GateInproceedings Konferenzbeitrag 2022
12Függer, Matthias ; Lenzen, Christoph ; Schmid, Ulrich On Specifications and Proofs of Timed CircuitsBook Contribution Buchbeitrag 2022
13Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Knowledge-based analysis of the Firing Rebels problemPresentation Vortrag2-Nov-2021
14Maier-2021-A Composable Glitch-Aware Delay Model-vor.pdf.jpgMaier, Jürgen ; Öhlinger, Daniel ; Schmid, Ulrich ; Függer, Matthias ; Nowak, Thomas A Composable Glitch-Aware Delay ModelInproceedings Konferenzbeitrag 22-Jun-2021
15Zeiner, Martin ; Schmid, Ulrich ; Chatterjee, Krishnendu Optimal strategies for selecting coordinatorsArtikel Article 2021
16Schmid, Ulrich Honors at TU WienPräsentation Presentation2021
17Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Fire!Konferenzbeitrag Inproceedings 2021
18Schwarz, Manfred ; Schmid, Ulrich Round-Oblivious Stabilizing Consensus in Dynamic NetworksKonferenzbeitrag Inproceedings2021
19Winkler, Kyrill ; Schmid, Ulrich ; Nowak, Thomas Valency-Based Consensus Under Message Adversaries Without Limit-ClosureKonferenzbeitrag Inproceedings 2021
20OEhlinger Daniel - 2020 - The involution tool for accurate digital timing and...pdf.jpgÖhlinger, Daniel ; Maier, Jürgen ; Függer, Matthias ; Schmid, Ulrich The involution tool for accurate digital timing and power analysisArticle Artikel Sep-2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 38 (Search time: 0.018 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pacheiner Peter - 2023 - Comprehensive Characterization of Consensus Solvability...pdf.jpgPacheiner, Peter Comprehensive Characterization of Consensus Solvability in Dynamic Networks with Transient StabilityThesis Hochschulschrift 2023
2OEhlinger Daniel - 2022 - Beta-CIDM A faithful and composable delay model with...pdf.jpgÖhlinger, Daniel Beta-CIDM: A faithful and composable delay model with adversarial noiseThesis Hochschulschrift 2022
3Echtinger-Sieghart Christoph - 2021 - IoT implementation and evaluation of...pdf.jpgEchtinger-Sieghart, Christoph IoT implementation and evaluation of distributed consensus algorithmsThesis Hochschulschrift 2021
4Felber Stephan - 2021 - On the strongest message adversary for directed dynamic...pdf.jpgFelber, Stephan On the strongest message adversary for directed dynamic networksThesis Hochschulschrift 2021
5Maier Juergen - 2021 - Proper abstractions for digital electronic circuits A...pdf.jpgMaier, Jürgen Proper abstractions for digital electronic circuits: A physically guided approachThesis Hochschulschrift 2021
6Schaumberger Nico - 2020 - Automatic competitive analysis of real-time...pdf.jpgSchaumberger, Nico Automatic competitive analysis of real-time scheduling algorithms for firm-deadline tasks with non-preemptible sections and precedence constraintsThesis Hochschulschrift 2020
7Schloegl Thomas - 2020 - An Extension framework for epistemic reasoning in...pdf.jpgSchlögl, Thomas An Extension framework for epistemic reasoning in Byzantine distributed systemsThesis Hochschulschrift 2020
8Perner Martin - 2019 - Fault-tolerant clock distribution in grid-like networks.pdf.jpgPerner, Martin Fault-tolerant clock distribution in grid-like networksThesis Hochschulschrift 2019
9Schmid, Ulrich ; Widder, Josef 32nd International Symposium on Distributed ComputingKonferenzband Proceedings 2018
10Schwarz Manfred - 2018 - Agreement algorithms in directed dynamic networks.pdf.jpgSchwarz, Manfred Agreement algorithms in directed dynamic networksThesis Hochschulschrift 2018
11Pfleger Daniel - 2018 - Knowledge and communication complexity in distributed...pdf.jpgPfleger, Daniel Knowledge and communication complexity in distributed systemsThesis Hochschulschrift 2018
12Fimml Patrik - 2017 - Temporal-epistemic logic in Byzantine message-passing...pdf.jpgFimml, Patrik Temporal-epistemic logic in Byzantine message-passing contextsThesis Hochschulschrift 2017
13Koessler Alexander - 2014 - Real-time performance analysis of synchronous...pdf.jpgKößler, Alexander Real-time performance analysis of synchronous distributed systemsThesis Hochschulschrift 2014
14Hofbauer, FranzAnaloge Q-Control zur Güteverstärkung von piezoelektrischen MEMS ResonatorenThesis Hochschulschrift2013
15Perner Martin - 2013 - Self-stabilizing Byzantine fault-tolerant clock...pdf.jpgPerner, Martin Self-stabilizing Byzantine fault-tolerant clock distribution in gridsThesis Hochschulschrift 2013
16Winkler Kyrill - 2013 - Easy impossibility proofs for k-set agreement.pdf.jpgWinkler, Kyrill Easy impossibility proofs for k-set agreementThesis Hochschulschrift 2013
17Schwarz Manfred - 2013 - Solving k-Set agreement in dynamic networks.pdf.jpgSchwarz, Manfred Solving k-Set agreement in dynamic networksThesis Hochschulschrift 2013
18Hofstaetter Markus - 2013 - Solving the labeling problem a Byzantine...pdf.jpgHofstätter, Markus Solving the labeling problem : a Byzantine fault-tolerant self-stabilizing FPGA prototype based on the FATAL+ protocolThesis Hochschulschrift 2013
19Pavlovic, Matej Implementation of a distributed computation frameworkThesis Hochschulschrift2012
20Posch, Markus Selbststabilisierende byzantinisch fehlertolerante Takterzeugung in FPGAsThesis Hochschulschrift2012