Prefix title Titel (vorangestellt)
Univ.Prof. Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
Schmid, Ulrich
Main Affiliation Organisations­zuordnung

Results 1-20 of 212 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Ferdowsi-2022-An Accurate Hybrid Delay Model for Multi-Input Gates-ao.pdf.jpgFerdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef An Accurate Hybrid Delay Model for Multi-Input GatesReport Bericht 31-Oct-2022
2Randrianomentsoa, Rojo Fanamperana ; Rincon Galeana, Hugo ; Schmid, Ulrich Towards a Topological Semantics for Epistemic Reasoning in Byzantine Fault-Tolerant Distributed SystemsPresentation Vortrag24-Oct-2022
3Galeana, Hugo Rincon ; Rajsbaum, Sergio ; Schmid, Ulrich ; Braverman, Mark Continuous Tasks and the Asynchronous Computability TheoremInproceedings Konferenzbeitrag 1-Jan-2022
4Ferdowsi, Arman ; Maier, Jurgen ; Öhlinger, Daniel ; Schmid, Ulrich A Simple Hybrid Model for Accurate Delay Modeling of a Multi-Input GateInproceedings Konferenzbeitrag 2022
5Maier-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
6Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Fire!Konferenzbeitrag Inproceedings 2021
7Schmid, Ulrich Honors at TU WienPräsentation Presentation2021
8Zeiner, Martin ; Schmid, Ulrich ; Chatterjee, Krishnendu Optimal strategies for selecting coordinatorsArtikel Article 2021
9Winkler, Kyrill ; Schmid, Ulrich ; Nowak, Thomas Valency-Based Consensus Under Message Adversaries Without Limit-ClosureKonferenzbeitrag Inproceedings 2021
10Schwarz, Manfred ; Schmid, Ulrich Round-Oblivious Stabilizing Consensus in Dynamic NetworksKonferenzbeitrag Inproceedings2021
11OEhlinger 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
12Függer, Matthias ; Najvirt, Robert ; Nowak, Thomas ; Schmid, Ulrich A Faithful Binary Circuit ModelArtikel Article 2020
13Schlögl, Thomas ; Schmid, Ulrich ; Kuznets, Roman The Persistence of False Memory: Brain in a Vat despite Perfect ClocksKonferenzbeitrag Inproceedings 2020
14Pavlogiannis, Andreas ; Schaumberger, Nico ; Schmid, Ulrich ; Chatterjee, Krishnendu Precedence-Aware Automated Competitive Analysis of Real-Time SchedulingArtikel Article 2020
15Zeiner, Martin ; Schmid, Ulrich Upper and Lower Bounds for the Synchronizer Performance in Systems with Probabilistic Message LossArtikel Article 2020
16Zeiner, Martin ; Schwarz, Manfred ; Schmid, Ulrich On Linear-Time Data Dissemination in Dynamic Rooted TreesArtikel Article2019
17Schmid, Ulrich Digital Modeling of Asynchronous Integrated CircuitsPräsentation Presentation2019
18Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina Byzantine Causal ConePräsentation Presentation2019
19Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina ; Moss, Lawrence Causality and Epistemic Reasoning in Byzantine Multi-Agent SystemsKonferenzbeitrag Inproceedings 2019
20Winkler, Kyrill ; Schmid, Ulrich ; Moses, Yoram A Characterization of Consensus Solvability for Closed Message AdversariesKonferenzbeitrag Inproceedings 2019

Results 1-20 of 31 (Search time: 0.019 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1OEhlinger Daniel - 2022 - eta-CIDM A faithful and composable delay model with...pdf.jpgÖhlinger, Daniel eta-CIDM: A faithful and composable delay model with adversarial noiseThesis Hochschulschrift 2022
2Felber Stephan - 2022 - On the Strongest Message Adversary for Consensus in...pdf.jpgFelber, Stephan On the strongest message adversary for directed dynamic networksThesis Hochschulschrift 2021
3Echtinger-Sieghart Christoph - 2021 - IoT Implementation and Evaluation of...pdf.jpgEchtinger-Sieghart, Christoph IoT implementation and evaluation of distributed consensus algorithmsThesis Hochschulschrift 2021
4Maier Juergen - 2022 - Proper Abstractions for Digital Electronic Circuits A...pdf.jpgMaier, Jürgen Proper abstractions for digital electronic circuits: A physically guided approachThesis Hochschulschrift 2021
5Schaumberger 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
6Schloegl 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
7Perner Martin - 2019 - Fault-tolerant clock distribution in grid-like networks.pdf.jpgPerner, Martin Fault-tolerant clock distribution in grid-like networksThesis Hochschulschrift 2019
8Schwarz Manfred - 2018 - Agreement algorithms in directed dynamic networks.pdf.jpgSchwarz, Manfred Agreement algorithms in directed dynamic networksThesis Hochschulschrift 2018
9Pfleger Daniel - 2018 - Knowledge and communication complexity in distributed...pdf.jpgPfleger, Daniel Knowledge and communication complexity in distributed systemsThesis Hochschulschrift 2018
10Schmid, Ulrich ; Widder, Josef 32nd International Symposium on Distributed ComputingKonferenzband Proceedings 2018
11Fimml Patrik - 2017 - Temporal-epistemic logic in Byzantine message-passing...pdf.jpgFimml, Patrik Temporal-epistemic logic in Byzantine message-passing contextsThesis Hochschulschrift 2017
12Koessler Alexander - 2014 - Real-time performance analysis of synchronous...pdf.jpgKößler, Alexander Real-time performance analysis of synchronous distributed systemsThesis Hochschulschrift 2014
13Perner Martin - 2013 - Self-stabilizing Byzantine fault-tolerant clock...pdf.jpgPerner, Martin Self-stabilizing Byzantine fault-tolerant clock distribution in gridsThesis Hochschulschrift 2013
14Schwarz Manfred - 2013 - Solving k-Set agreement in dynamic networks.pdf.jpgSchwarz, Manfred Solving k-Set agreement in dynamic networksThesis Hochschulschrift 2013
15Hofbauer, FranzAnaloge Q-Control zur Güteverstärkung von piezoelektrischen MEMS ResonatorenThesis Hochschulschrift2013
16Winkler Kyrill - 2013 - Easy impossibility proofs for k-set agreement.pdf.jpgWinkler, Kyrill Easy impossibility proofs for k-set agreementThesis Hochschulschrift 2013
17Hofstaetter 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
18Pavlovic, Matej Implementation of a distributed computation frameworkThesis Hochschulschrift2012
19Posch, Markus Selbststabilisierende byzantinisch fehlertolerante Takterzeugung in FPGAsThesis Hochschulschrift2012
20Nowak Thomas - 2010 - Topology in Distributed Computing.pdf.jpgNowak, Thomas Topology in Distributed ComputingThesis Hochschulschrift 2010

Results 1-4 of 4 (Search time: 0.0 seconds).