Publications HAL

2023

Conference papers

auteur
Arman Ferdowsi, Matthias Függer, Thomas Nowak, Ulrich Schmid
titre
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models
article
26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2023, San Antonio, United States
Accès au bibtex
BibTex
auteur
Hagit Attiya, Armando Castañeda, Thomas Nowak
titre
Topological Characterization of Task Solvability in General Models of Computation
article
37th International Symposium on Distributed Computing (DISC 2023), European Association for Theoretical Computer Science, Oct 2023, L'Aquila, Italy. ⟨10.4230/LIPIcs.DISC.2023.5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04230650/file/LIPIcs-DISC-2023-5.pdf BibTex

2022

Conference papers

auteur
Fabricio Cravo, Matthias Függer, Thomas Nowak, Gayathri Prakash
titre
MobsPy: A Meta-species Language for Chemical Reaction Networks
article
CMSB 2022 - International Conference on Computational Methods in Systems Biology, Sep 2022, Bucharest, Romania. pp.277-285, ⟨10.1007/978-3-031-15034-0_14⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03876041/file/CMSB2022_paper_6.pdf BibTex

Preprints, Working Papers, ...

auteur
Victoria Andaur, Janna Burman, Matthias Függer, Manish Kushwaha, Bilal Manssouri, Thomas Nowak, Joel Rybicki
titre
Reaching Agreement in Competitive Microbial Systems
article
2022
Accès au texte intégral et bibtex
https://hal.inrae.fr/hal-03545888/file/2103.07450v2.pdf BibTex
auteur
Amit Pathania, Corbin Hopper, Amir Pandi, Matthias Függer, Thomas Nowak, Manish Kushwaha
titre
A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission
article
2022
Accès au texte intégral et bibtex
https://hal.science/hal-03670575/file/2022-07-22%2011h39%20PhageCommModel%20MS%20v2%20%28M13%20focus%29%20-%20clean%20copy.pdf BibTex

2021

Journal articles

auteur
Sirajo Abdullahi Bakura, Alain Lambert, Thomas Nowak
titre
Escape Path Obstacle-Based Mobility Model (EPOM) for Campus Delay-Tolerant Network
article
Journal of Advanced Transportation, 2021, 2021, pp.1018904. ⟨10.1155/2021/1018904⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04467554/file/1018904.pdf BibTex
auteur
Matthias Függer, Thomas Nowak, Manfred Schwarz
titre
Tight Bounds for Asymptotic and Approximate Consensus
article
Journal of the ACM (JACM), 2021, ⟨10.1145/3485242⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03408731/file/paper.pdf BibTex
auteur
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
titre
Distributed computation with continual population growth
article
Distributed Computing, 2021, ⟨10.1007/s00446-021-00404-8⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03519002/file/A_B_Consensus.pdf BibTex
auteur
Glenn Merlet, Thomas Nowak, Sergei Sergeev
titre
On the Tightness of Bounds for Transients and Weak CSR Expansions in Max-Plus Algebra
article
Linear and Multilinear Algebra, 2021, ⟨10.1080/03081087.2021.1878995⟩
Accès au bibtex
https://arxiv.org/pdf/1705.04104 BibTex

Conference papers

auteur
Jürgen Maier, Daniel Öhlinger, Ulrich Schmid, Matthias Függer, Thomas Nowak
titre
A Composable Glitch-Aware Delay Model
article
GLSVLSI '21: Great Lakes Symposium on VLSI 2021, Jun 2021, Virtual Event, United States. pp.147-154, ⟨10.1145/3453688.3461519⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03451070/file/paper.pdf BibTex

2020

Journal articles

auteur
Matthias Függer, Thomas Nowak, Kyrill Winkler
titre
On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks
article
Discrete Applied Mathematics, 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02946849/file/paper.pdf BibTex

Conference papers

auteur
Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran
titre
Distributed Computation with Continual Population Growth
article
DISC 2020 - 34th International Symposium on DIStributed Computing, 2020, virtual, Germany. p. 1-17, ⟨10.4230/LIPIcs.DISC.2020.6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02946883/file/A_B_Consensus.pdf BibTex

Book sections

auteur
Matthias Függer, Manish Kushwaha, Thomas Nowak
titre
Digital Circuit Design for Biological and Silicon Computers
article
Advances in Synthetic Biology, Springer Singapore, pp.153-171, 2020, ⟨10.1007/978-981-15-0081-7_9⟩
Accès au texte intégral et bibtex
https://hal.inrae.fr/hal-02549707/file/Book_Chapter%2026-Aug-2019.pdf BibTex

2019

Journal articles

auteur
Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
titre
A Faithful Binary Circuit Model
article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019, ⟨10.1109/TCAD.2019.2937748⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02395251/file/camrdy.pdf BibTex

Conference papers

auteur
Thomas Nowak, Ulrich Schmid, Kyrill Winkler
titre
Topological Characterization of Consensus under General Message Adversaries
article
ACM Symposium on Principles of Distributed Computing (PODC'19), Jul 2019, Toronto, Canada. ⟨10.1145/3293611.3331624⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02946833/file/submitted.pdf BibTex
auteur
Thomas Nowak, Joel Rybicki
titre
Byzantine Approximate Agreement on Graphs
article
International Symposium on DIStributed Computing (DISC) 2019, Oct 2019, Budapest, Hungary. ⟨10.4230/LIPIcs.DISC.2019.29⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02946844/file/convexity.pdf BibTex
auteur
Jürgen Maier, Matthias Függer, Thomas Nowak, Ulrich Schmid
titre
Transistor-Level Analysis of Dynamic Delay Models
article
ASYNC 2019 - 25th IEEE International Symposium on Asynchronous Circuits and Systems, May 2019, Hirosaki, Japan. pp.76-85, ⟨10.1109/ASYNC.2019.00019⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02395229/file/camrdy.pdf BibTex

2018

Conference papers

auteur
Matthias Függer, Jürgen Maier, Robert Najvirt, Thomas Nowak, Ulrich Schmid
titre
A Faithful Binary Circuit Model with Adversarial Noise
article
DATE 2018 - Design, Automation and Test in Europe Conference and Exhibition, Mar 2018, Dresden, Germany. ⟨10.23919/DATE.2018.8342219⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01738254/file/paper.pdf BibTex
auteur
Matthias Függer, Thomas Nowak
titre
Fast Multidimensional Asymptotic and Approximate Consensus
article
International Symposium on DIStributed Computing (DISC) 2018, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.27⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01936316/file/paper.pdf BibTex
auteur
Cheng-Yu Han, Thomas Nowak, Alain Lambert
titre
Pulse Synchronization for Vehicular Networks
article
intelligent vehicle symposium, Jun 2018, Chang-Shu, China
Accès au texte intégral et bibtex
https://hal.science/hal-01801622/file/root.pdf BibTex
auteur
Matthias Függer, Thomas Nowak, Manfred Schwarz
titre
Tight Bounds for Asymptotic and Approximate Consensus
article
ACM Symposium on Principles of Distributed Computing (PODC'18), Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212762⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01799039/file/paper.pdf BibTex

2017

Journal articles

auteur
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
titre
New transience bounds for max-plus linear systems
article
Discrete Applied Mathematics, 2017, 219, pp.83 - 99. ⟨10.1016/j.dam.2016.11.003⟩
Accès au bibtex
BibTex

Conference papers

auteur
Matthias Függer, Thomas Nowak, Manfred Schwarz
titre
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks
article
International Symposium on DIStributed Computing (DISC) 2017, Oct 2017, Vienna, Austria. pp.51 - 52
Accès au texte intégral et bibtex
https://hal.science/hal-02946788/file/submission.pdf BibTex
auteur
Joffroy Beauquier, Janna Burman, Shay Kutten, Thomas Nowak, Chuan Xu
titre
Data Collection in Population Protocols with Non-uniformly Random Scheduler
article
Algosensors 2017, Sep 2017, Vienne, Austria. ⟨10.1007/978-3-319-72751-6_2⟩
Accès au bibtex
BibTex

Reports

auteur
Joffroy Beauquier, Janna Burman, Shay Kutten, Thomas Nowak, Chuan Xu
titre
Data Collection in Population Protocols with Non-uniformly Random Scheduler
article
[Research Report] Laboratoire de recherche en informatique (LRI) UMR CNRS 8623, Université Paris-Sud. 2017
Accès au texte intégral et bibtex
https://hal.science/hal-01567322/file/Non_uniform_probabilistic_population_protocol.pdf BibTex

2016

Journal articles

auteur
Matthias Függer, Thomas Nowak, Ulrich Schmid
titre
Unfaithful Glitch Propagation in Existing Binary Circuit Models
article
IEEE Transactions on Computers, 2016, 65 (3), pp.964-978. ⟨10.1109/TC.2015.2435791⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01231501/file/paper.pdf BibTex

Conference papers

auteur
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
titre
Fast, Robust, Quantizable Approximate Consensus *
article
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.137⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01395576/file/LIPIcs-ICALP-2016-137.pdf BibTex

Reports

auteur
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
titre
Multidimensional Asymptotic Consensus in Dynamic Networks
article
[Research Report] Arxiv. 2016
Accès au bibtex
https://arxiv.org/pdf/1611.02496 BibTex

2015

Journal articles

auteur
Matthias Függer, Alexander Kössler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
titre
The Effect of Forgetting on the Performance of a Synchronizer
article
Performance Evaluation, 2015, 93, pp.1-16. ⟨10.1016/j.peva.2015.08.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01231498/file/paper.pdf BibTex
auteur
Anne Bouillard, Thomas Nowak
titre
Fast symbolic computation of the worst-case delay in tandem networks and applications
article
Performance Evaluation, 2015, 91, pp.270-285. ⟨10.1016/j.peva.2015.06.016⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01231495/file/paper.pdf BibTex

Conference papers

auteur
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
titre
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01107422/file/submission.pdf BibTex
auteur
Matthias Függer, Robert Najvirt, Thomas Nowak, Ulrich Schmid
titre
Towards Binary Circuit Models That Faithfully Capture Physical Solvability
article
Design, Automation, and Test in Europe (DATE), Mar 2015, Grenoble, France
Accès au texte intégral et bibtex
https://hal.science/hal-01107436/file/paper.pdf BibTex
auteur
Thomas Nowak
titre
Asymptotic Consensus Without Self-Confidence
article
54th IEEE Conference on Decision and Control (CDC 2015), Dec 2015, Osaka, Japan
Accès au texte intégral et bibtex
https://hal.science/hal-01231503/file/paper.pdf BibTex
auteur
Matthias Függer, Thomas Nowak, Bernadette Charron-Bost
titre
Diffusive clock synchronization in highly dynamic networks
article
49th Annual Conference on Information Systems and Sciences (CISS 2015), Mar 2015, Baltimore, United States. ⟨10.1109/CISS.2015.7086841⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01231513/file/paper.pdf BibTex
auteur
Robert Najvirt, Matthias Függer, Thomas Nowak, Ulrich Schmid, Michael Hofbauer, Kurt Schweiger
titre
Experimental Validation of a Faithful Binary Circuit Model
article
25th Great Lakes Symposium on VLSI (GLSVLSI 2015), May 2015, Pittsburgh, United States. ⟨10.1145/2742060.2742081⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01231509/file/paper.pdf BibTex

2014

Journal articles

auteur
Glenn Merlet, Thomas Nowak, Sergei Sergeev
titre
Weak CSR expansions and transience bounds in max-plus algebra
article
Linear Algebra and its Applications, 2014, 461, pp.163-199. ⟨10.1016/j.laa.2014.07.027⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01058031/file/paper.pdf BibTex

Conference papers

auteur
Glenn Merlet, Thomas Nowak, Hans Schneider, Sergei Sergeev
titre
Generalizations of bounds on the index of convergence to weighted digraphs
article
IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. ⟨10.1109/CDC.2014.7039627⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01107293/file/paper.pdf BibTex

Book sections

auteur
Thomas Nowak, Bernadette Charron-Bost
titre
An Overview of Transience Bounds in Max-Plus Algebra
article
G. L. Litvinov; S. N. Sergeev. Tropical and Idempotent Mathematics and Applications, AMS, pp.277-289, 2014, Contemporary Mathematics, 978-0-8218-9496-5 (print); 978-1-4704-1684-3 (online). ⟨10.1090/conm/616/12306⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00993630/file/paper.pdf BibTex

Theses

auteur
Thomas Nowak
titre
Transient Behavior of Distributed Algorithms and Digital Circuit Models
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole Polytechnique X, 2014. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/pastel-01061470/file/thesis.pdf BibTex

2013

Journal articles

auteur
Thomas Nowak, Matthias Függer, Alexander Kössler
titre
On the Performance of a Retransmission-Based Synchronizer
article
Theoretical Computer Science, 2013, 509, pp.25-39. ⟨10.1016/j.tcs.2012.04.035⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00993470/file/paper.pdf BibTex

Conference papers

auteur
Matthias Függer, Alexander Kössler, Thomas Nowak, Ulrich Schmid, Martin Zeiner
titre
The Effect of Forgetting on the Performance of a Synchronizer
article
ALGOSENSORS 2013 - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Sep 2013, Sophia Antipolis, France. pp.185-200, ⟨10.1007/978-3-642-45346-5_14⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00993885/file/paper.pdf BibTex
auteur
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
titre
New transience bounds for long walks in weighted digraphs
article
Eurocomb 2013, Sep 2013, Pise, Italy. pp.623-624, ⟨10.1007/978-88-7642-475-5_103⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00993814/file/paper.pdf BibTex
auteur
Bernadette Charron-Bost, Matthias Függer, Thomas Nowak
titre
Transience Bounds for Distributed Algorithms
article
FORMATS 2013 - 11th International Conference Formal Modeling and Analysis of Timed Systems, Aug 2013, Buenos Aires, Argentina. pp.77-90, ⟨10.1007/978-3-642-40229-6_6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00993785/file/paper.pdf BibTex
auteur
Matthias Függer, Thomas Nowak, Ulrich Schmid
titre
Unfaithful Glitch Propagation in Existing Binary Circuit Models
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00993796/file/paper.pdf BibTex

2012

Conference papers

auteur
Bernadette Charron-Bost, Thomas Nowak
titre
General Transience Bounds in Tropical Linear Algebra via Nachtigall Decomposition
article
TROPICAL-12 - International Workshop Tropical and Idempotent Mathematics, Aug 2012, Moscou, Russia. pp.46-52
Accès au texte intégral et bibtex
https://hal.science/hal-00993902/file/paper.pdf BibTex
auteur
Matthias Függer, Alexander Kössler, Thomas Nowak, Martin Zeiner
titre
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00993869/file/paper.pdf BibTex

2011

Conference papers

auteur
Thomas Nowak, Matthias Függer, Alexander Kössler
titre
On the Performance of a Retransmission-Based Synchronizer
article
SIROCCO 2011 - 18th International Colloquium Structural Information and Communication Complexity, Jun 2011, Gdansk, Poland. pp.234-245, ⟨10.1007/978-3-642-22212-2_21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00993805/file/paper.pdf BibTex