Thomas Nowak

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022

Distributed computation with continual population growth.

[BibT_eX]

[DOI]

Distributed Comput., 2022

Stochastic Multi-Distribution Modeling of Inter-Contact Times.

[BibT_eX]

[DOI]

Fabricio Cravo

Proceedings of the International Conference on Information Networking, 2022

MobsPy: A Meta-species Language for Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2022

2021

Tight Bounds for Asymptotic and Approximate Consensus.

[BibT_eX]

[DOI]

Manfred Schwarz

J. ACM, 2021

Towards a Fast and Accurate Model of Intercontact Times for Epidemic Routing.

[BibT_eX]

[DOI]

Fabricio Cravo

CoRR, 2021

Reaching Agreement in Competitive Microbial Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Time-Optimal Self-Stabilizing Leader Election in Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

A Composable Glitch-Aware Delay Model.

[BibT_eX]

[DOI]

Proceedings of the GLSVLSI '21: Great Lakes Symposium on VLSI 2021, 2021

Valency-Based Consensus Under Message Adversaries Without Limit-Closure.

[BibT_eX]

[DOI]

Kyrill Winkler

Ulrich Schmid

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

2020

Data collection in population protocols with non-uniformly random scheduler.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

A Faithful Binary Circuit Model.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

On the radius of nonsplit graphs and information dissemination in dynamic networks.

[BibT_eX]

[DOI]

Kyrill Winkler

Discret. Appl. Math., 2020

Clock Synchronization with Adaptive Weight Factor for Mobile Networks.

[BibT_eX]

[DOI]

Sirajo Abdullahi Bakura

Alain Lambert

Proceedings of the 28th Mediterranean Conference on Control and Automation, 2020

Clock Synchronization with Exponential Smoothing for Dynamic Networks.

[BibT_eX]

[DOI]

Sirajo Abdullahi Bakura

Alain Lambert

Proceedings of the 54th Annual Conference on Information Sciences and Systems, 2020

2019

Time-Optimal Self-Stabilizing Leader Election in Population Protocols.

[BibT_eX]

[DOI]

CoRR, 2019

Byzantine Approximate Agreement on Graphs.

[BibT_eX]

[DOI]

Joel Rybicki

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Topological Characterization of Consensus under General Message Adversaries.

[BibT_eX]

[DOI]

Ulrich Schmid

Kyrill Winkler

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Transistor-Level Analysis of Dynamic Delay Models.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019

2018

Fast Multidimensional Asymptotic and Approximate Consensus.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Pulse Synchronization for Vehicular Networks.

[BibT_eX]

[DOI]

Cheng-Yu Han

Alain Lambert

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

A faithful binary circuit model with adversarial noise.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Determination of tolerance limits for the reliability of semiconductor devices using longitudinal data.

[BibT_eX]

[DOI]

Qual. Reliab. Eng. Int., 2017

New transience bounds for max-plus linear systems.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2017

Lower Bounds for Asymptotic Consensus in Dynamic Networks.

[BibT_eX]

[DOI]

Manfred Schwarz

CoRR, 2017

Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks.

[BibT_eX]

[DOI]

Manfred Schwarz

Proceedings of the 31st International Symposium on Distributed Computing, 2017

2016

Unfaithful Glitch Propagation in Existing Binary Circuit Models.

[BibT_eX]

[DOI]

Ulrich Schmid

IEEE Trans. Computers, 2016

Multidimensional Asymptotic Consensus in Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2016

Fast, Robust, Quantizable Approximate Consensus.

[BibT_eX]

[DOI]

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015

The effect of forgetting on the performance of a synchronizer.

[BibT_eX]

[DOI]

Perform. Evaluation, 2015

Fast symbolic computation of the worst-case delay in tandem networks and applications.

[BibT_eX]

[DOI]

Anne Bouillard

Perform. Evaluation, 2015

Amortized Averaging Algorithms for Approximate Consensus.

[BibT_eX]

[DOI]

CoRR, 2015

A Proof of the Convergence of the Hegselmann-Krause Dynamics on the Circle.

[BibT_eX]

[DOI]

CoRR, 2015

Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Experimental Validation of a Faithful Binary Circuit Model.

[BibT_eX]

[DOI]

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

Towards binary circuit models that faithfully capture physical solvability.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Diffusive clock synchronization in highly dynamic networks.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Conference on Information Sciences and Systems, 2015

Asymptotic consensus without self-confidence.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Transient Behavior of Distributed Algorithms and Digital Circuit Models. (Comportement transitoire d'algorithmes distribués et modèles de circuits).

[BibT_eX]

[DOI]

PhD thesis, 2014

On stabilizing volatile product returns.

[BibT_eX]

[DOI]

Vera Hofer

Eur. J. Oper. Res., 2014

Generalizations of bounds on the index of convergence to weighted digraphs.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2014

An Overview of Transience Bounds in Max-Plus Algebra.

[BibT_eX]

[DOI]

CoRR, 2014

Faithful Glitch Propagation in Binary Circuit Models.

[BibT_eX]

[DOI]

CoRR, 2014

Approximate Consensus in Highly Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2014

2013

On the performance of a retransmission-based synchronizer.

[BibT_eX]

[DOI]

Alexander Kößler

Theor. Comput. Sci., 2013

Transience Bounds for Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

New Transience Bounds for Long Walks

[BibT_eX]

[DOI]

CoRR, 2012

Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2011

On the Transience of Linear Max-Plus Dynamical Systems

[BibT_eX]

[DOI]