Matthias Függer

Available identifiers

zbMath Open fugger.matthiasMaRDI QIDQ269514

List of research outcomes

Publication	Date of Publication	Type
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models	2024-02-21	Paper
On specifications and proofs of timed circuits	2023-08-10	Paper
MobsPy: a meta-species language for chemical reaction networks	2023-01-18	Paper
Distributed computation with continual population growth	2022-12-09	Paper
Synthesis in presence of dynamic links	2022-12-08	Paper
Tight Bounds for Asymptotic and Approximate Consensus	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5090919	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5020999	2022-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5008248	2021-08-26	Paper
On the radius of nonsplit graphs and information dissemination in dynamic networks	2020-06-05	Paper
Distributed Computation with Continual Population Growth	2020-03-22	Paper
Tight Bounds for Asymptotic and Approximate Consensus	2019-09-19	Paper
https://portal.mardi4nfdi.de/entity/Q4967183	2019-07-03	Paper
Time Complexity of Link Reversal Routing	2018-10-30	Paper
The effect of forgetting on the performance of a synchronizer	2018-10-17	Paper
Metastability-Containing Circuits	2018-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4598280	2017-12-19	Paper
Unfaithful Glitch Propagation in Existing Binary Circuit Models	2017-05-16	Paper
New transience bounds for max-plus linear systems	2017-01-23	Paper
HEX: scaling honeycombs is easier than scaling clock trees	2016-04-18	Paper
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms	2015-11-04	Paper
Fault-tolerant algorithms for tick-generation in asynchronous logic	2015-08-14	Paper
Runtime verification of embedded real-time systems	2014-12-05	Paper
Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip	2014-02-13	Paper
On the performance of a retransmission-based synchronizer	2014-01-13	Paper
Transience Bounds for Distributed Algorithms	2013-08-16	Paper
Efficient Checking of Link-Reversal-Based Concurrent Systems	2012-09-25	Paper
Reconciling fault-tolerant distributed computing and systems-on-chip	2012-06-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthias Függer