| Publication | Date of Publication | Type |
|---|
| On the susceptibility of QDI circuits to transient faults | 2024-05-03 | Paper |
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Distributed computation with continual population growth | 2023-11-02 | Paper |
On specifications and proofs of timed circuits
Lecture Notes in Computer Science | 2023-08-10 | Paper |
| MobsPy: a meta-species language for chemical reaction networks | 2023-01-18 | Paper |
Distributed computation with continual population growth
Distributed Computing | 2022-12-09 | Paper |
Synthesis in presence of dynamic links
Information and Computation | 2022-12-08 | Paper |
Tight Bounds for Asymptotic and Approximate Consensus
Journal of the ACM | 2022-12-08 | Paper |
Fast multidimensional asymptotic and approximate consensus
(available as arXiv preprint) | 2022-07-21 | Paper |
| scientific article; zbMATH DE number 7455739 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455739 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7385938 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-26 | Paper |
On the radius of nonsplit graphs and information dissemination in dynamic networks
Discrete Applied Mathematics | 2020-06-05 | Paper |
Distributed Computation with Continual Population Growth
(available as arXiv preprint) | 2020-03-22 | Paper |
Tight bounds for asymptotic and approximate consensus
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing | 2019-09-19 | Paper |
| scientific article; zbMATH DE number 7075887 (Why is no real title available?) | 2019-07-03 | Paper |
Time complexity of link reversal routing
ACM Transactions on Algorithms | 2018-10-30 | Paper |
| The effect of forgetting on the performance of a synchronizer | 2018-10-17 | Paper |
Metastability-Containing Circuits
IEEE Transactions on Computers | 2018-09-20 | Paper |
| Fast, robust, quantizable approximate consensus | 2017-12-19 | Paper |
Unfaithful Glitch Propagation in Existing Binary Circuit Models
IEEE Transactions on Computers | 2017-05-16 | Paper |
New transience bounds for max-plus linear systems
Discrete Applied Mathematics | 2017-01-23 | Paper |
HEX: scaling honeycombs is easier than scaling clock trees
Journal of Computer and System Sciences | 2016-04-18 | Paper |
Approximate consensus in highly dynamic networks: the role of averaging algorithms
Automata, Languages, and Programming | 2015-11-04 | Paper |
Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation
Journal of the ACM | 2015-08-14 | Paper |
Runtime verification of embedded real-time systems
Formal Methods in System Design | 2014-12-05 | Paper |
Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip
Journal of Computer and System Sciences | 2014-02-13 | Paper |
On the performance of a retransmission-based synchronizer
Theoretical Computer Science | 2014-01-13 | Paper |
Transience bounds for distributed algorithms
Lecture Notes in Computer Science | 2013-08-16 | Paper |
Efficient checking of link-reversal-based concurrent systems
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Reconciling fault-tolerant distributed computing and systems-on-chip
Distributed Computing | 2012-06-07 | Paper |
