Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

47 résultats
Image document

Generalizations of bounds on the index of convergence to weighted digraphs

Glenn Merlet , Thomas Nowak , Hans Schneider , Sergei Sergeev
IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. ⟨10.1109/CDC.2014.7039627⟩
Communication dans un congrès hal-01107293v1

Multidimensional Asymptotic Consensus in Dynamic Networks

Bernadette Charron-Bost , Matthias Függer , Thomas Nowak
[Research Report] Arxiv. 2016
Rapport hal-01789019v1
Image document

Byzantine Approximate Agreement on Graphs

Thomas Nowak , Joel Rybicki
International Symposium on DIStributed Computing (DISC) 2019, Oct 2019, Budapest, Hungary. ⟨10.4230/LIPIcs.DISC.2019.29⟩
Communication dans un congrès hal-02946844v1
Image document

Unfaithful Glitch Propagation in Existing Binary Circuit Models

Matthias Függer , Thomas Nowak , Ulrich Schmid
ASYNC 2013 - IEEE 19th International Symposium on Asynchronous Circuits and Systems, May 2013, Santa Monica, United States. pp.191-199, ⟨10.1109/ASYNC.2013.9⟩
Communication dans un congrès hal-00993796v1

Data Collection in Population Protocols with Non-uniformly Random Scheduler

Joffroy Beauquier , Janna Burman , Shay Kutten , Thomas Nowak , Chuan Xu
Algosensors 2017, Sep 2017, Vienne, Austria. ⟨10.1007/978-3-319-72751-6_2⟩
Communication dans un congrès hal-01738248v1
Image document

Digital Circuit Design for Biological and Silicon Computers

Matthias Függer , Manish Kushwaha , Thomas Nowak
Advances in Synthetic Biology, Springer Singapore, pp.153-171, 2020, ⟨10.1007/978-981-15-0081-7_9⟩
Chapitre d'ouvrage hal-02549707v1
Image document

Transistor-Level Analysis of Dynamic Delay Models

Jürgen Maier , Matthias Függer , Thomas Nowak , Ulrich Schmid
ASYNC 2019 - 25th IEEE International Symposium on Asynchronous Circuits and Systems, May 2019, Hirosaki, Japan. pp.76-85, ⟨10.1109/ASYNC.2019.00019⟩
Communication dans un congrès hal-02395229v1

New transience bounds for max-plus linear systems

Bernadette Charron-Bost , Matthias Függer , Thomas Nowak
Discrete Applied Mathematics, 2017, 219, pp.83 - 99. ⟨10.1016/j.dam.2016.11.003⟩
Article dans une revue hal-01738257v1
Image document

A Composable Glitch-Aware Delay Model

Jürgen Maier , Daniel Öhlinger , Ulrich Schmid , Matthias Függer , Thomas Nowak
GLSVLSI '21: Great Lakes Symposium on VLSI 2021, Jun 2021, Virtual Event, United States. pp.147-154, ⟨10.1145/3453688.3461519⟩
Communication dans un congrès hal-03451070v1

On the Tightness of Bounds for Transients and Weak CSR Expansions in Max-Plus Algebra

Glenn Merlet , Thomas Nowak , Sergei Sergeev
Linear and Multilinear Algebra, 2021, ⟨10.1080/03081087.2021.1878995⟩
Article dans une revue hal-01789012v1
Image document

Tight Bounds for Asymptotic and Approximate Consensus

Matthias Függer , Thomas Nowak , Manfred Schwarz
ACM Symposium on Principles of Distributed Computing (PODC'18), Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212762⟩
Communication dans un congrès hal-01799039v1
Image document

Diffusive clock synchronization in highly dynamic networks

Matthias Függer , Thomas Nowak , Bernadette Charron-Bost
49th Annual Conference on Information Systems and Sciences (CISS 2015), Mar 2015, Baltimore, United States. ⟨10.1109/CISS.2015.7086841⟩
Communication dans un congrès hal-01231513v1
Image document

The Effect of Forgetting on the Performance of a Synchronizer

Matthias Függer , Alexander Kössler , Thomas Nowak , Ulrich Schmid , Martin Zeiner
Performance Evaluation, 2015, 93, pp.1-16. ⟨10.1016/j.peva.2015.08.002⟩
Article dans une revue hal-01231498v1
Image document

Topological Characterization of Consensus under General Message Adversaries

Thomas Nowak , Ulrich Schmid , Kyrill Winkler
ACM Symposium on Principles of Distributed Computing (PODC'19), Jul 2019, Toronto, Canada. ⟨10.1145/3293611.3331624⟩
Communication dans un congrès hal-02946833v1
Image document

On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks

Matthias Függer , Thomas Nowak , Kyrill Winkler
Discrete Applied Mathematics, 2020
Article dans une revue hal-02946849v1
Image document

Reaching Agreement in Competitive Microbial Systems

Victoria Andaur , Janna Burman , Matthias Függer , Manish Kushwaha , Bilal Manssouri , et al.
2022
Pré-publication, Document de travail hal-03545888v1
Image document

A Faithful Binary Circuit Model with Adversarial Noise

Matthias Függer , Jürgen Maier , Robert Najvirt , Thomas Nowak , Ulrich Schmid
DATE 2018 - Design, Automation and Test in Europe Conference and Exhibition, Mar 2018, Dresden, Germany. ⟨10.23919/DATE.2018.8342219⟩
Communication dans un congrès hal-01738254v1
Image document

Escape Path Obstacle-Based Mobility Model (EPOM) for Campus Delay-Tolerant Network

Sirajo Abdullahi Bakura , Alain Lambert , Thomas Nowak
Journal of Advanced Transportation, 2021, 2021, pp.1018904. ⟨10.1155/2021/1018904⟩
Article dans une revue hal-04467554v1
Image document

Fast, Robust, Quantizable Approximate Consensus *

Bernadette Charron-Bost , Matthias Függer , Thomas Nowak
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.137⟩
Communication dans un congrès hal-01395576v1
Image document

Distributed Computation with Continual Population Growth

Da-Jung Cho , Matthias Függer , Corbin Hopper , Manish Kushwaha , Thomas Nowak , et al.
DISC 2020 - 34th International Symposium on DIStributed Computing, 2020, virtual, Germany. p. 1-17, ⟨10.4230/LIPIcs.DISC.2020.6⟩
Communication dans un congrès hal-02946883v1
Image document

A Faithful Binary Circuit Model

Matthias Függer , Robert Najvirt , Thomas Nowak , Ulrich Schmid
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019, ⟨10.1109/TCAD.2019.2937748⟩
Article dans une revue hal-02395251v1
Image document

Unfaithful Glitch Propagation in Existing Binary Circuit Models

Matthias Függer , Thomas Nowak , Ulrich Schmid
IEEE Transactions on Computers, 2016, 65 (3), pp.964-978. ⟨10.1109/TC.2015.2435791⟩
Article dans une revue hal-01231501v1
Image document

Experimental Validation of a Faithful Binary Circuit Model

Robert Najvirt , Matthias Függer , Thomas Nowak , Ulrich Schmid , Michael Hofbauer , et al.
25th Great Lakes Symposium on VLSI (GLSVLSI 2015), May 2015, Pittsburgh, United States. ⟨10.1145/2742060.2742081⟩
Communication dans un congrès hal-01231509v1
Image document

General Transience Bounds in Tropical Linear Algebra via Nachtigall Decomposition

Bernadette Charron-Bost , Thomas Nowak
TROPICAL-12 - International Workshop Tropical and Idempotent Mathematics, Aug 2012, Moscou, Russia. pp.46-52
Communication dans un congrès hal-00993902v1
Image document

Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer

Matthias Függer , Alexander Kössler , Thomas Nowak , Martin Zeiner
SSS 2012 - 14th International Symposium Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.90-91, ⟨10.1007/978-3-642-33536-5_9⟩
Communication dans un congrès hal-00993869v1
Image document

A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission

Amit Pathania , Corbin Hopper , Amir Pandi , Matthias Függer , Thomas Nowak , et al.
2022
Pré-publication, Document de travail hal-03670575v2
Image document

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

Bernadette Charron-Bost , Matthias Függer , Thomas Nowak
42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015), Jul 2015, Kyoto, Japan. pp.528-539, ⟨10.1007/978-3-662-47666-6_42⟩
Communication dans un congrès hal-01107422v2
Image document

Fast Multidimensional Asymptotic and Approximate Consensus

Matthias Függer , Thomas Nowak
International Symposium on DIStributed Computing (DISC) 2018, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.27⟩
Communication dans un congrès hal-01936316v1

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

Arman Ferdowsi , Matthias Függer , Thomas Nowak , Ulrich Schmid
26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2023, San Antonio, United States
Communication dans un congrès hal-03973076v1
Image document

Towards Binary Circuit Models That Faithfully Capture Physical Solvability

Matthias Függer , Robert Najvirt , Thomas Nowak , Ulrich Schmid
Design, Automation, and Test in Europe (DATE), Mar 2015, Grenoble, France
Communication dans un congrès hal-01107436v1