BibTeX records: Alain Finkel

download as .bib file

@inproceedings{DBLP:conf/vmcai/FinkelH24,
  author       = {Alain Finkel and
                  Mathieu Hilaire},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Resilience and Home-Space for {WSTS}},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14499},
  pages        = {147--168},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50524-9\_7},
  doi          = {10.1007/978-3-031-50524-9\_7},
  timestamp    = {Sun, 14 Jan 2024 19:41:04 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/FinkelH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FinkelL23,
  author       = {Alain Finkel and
                  {\'{E}}tienne Lozes},
  title        = {Synchronizability of Communicating Finite State Machines is not Decidable},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(4:33)2023},
  doi          = {10.46298/LMCS-19(4:33)2023},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/FinkelL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KhmelnitskyNRXBBFHLY23,
  author       = {Igor Khmelnitsky and
                  Daniel Neider and
                  Rajarshi Roy and
                  Xuan Xie and
                  Beno{\^{\i}}t Barbot and
                  Benedikt Bollig and
                  Alain Finkel and
                  Serge Haddad and
                  Martin Leucker and
                  Lina Ye},
  title        = {Analysis of recurrent neural networks via property-directed verification
                  of surrogate models},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {25},
  number       = {3},
  pages        = {341--354},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10009-022-00684-w},
  doi          = {10.1007/S10009-022-00684-W},
  timestamp    = {Wed, 01 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/KhmelnitskyNRXBBFHLY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FinkelHY23,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Lina Ye},
  editor       = {Guillermo A. P{\'{e}}rez and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {About Decisiveness of Dynamic Probabilistic Models},
  booktitle    = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
                  September 18-23, 2023, Antwerp, Belgium},
  series       = {LIPIcs},
  volume       = {279},
  pages        = {14:1--14:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.14},
  doi          = {10.4230/LIPICS.CONCUR.2023.14},
  timestamp    = {Sat, 09 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/FinkelHY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/CortalFPY23,
  author       = {Gustave Cortal and
                  Alain Finkel and
                  Patrick Paroubek and
                  Lina Ye},
  editor       = {Catherine Faron and
                  Sabine Loudcher},
  title        = {D{\'{e}}tection de l'{\'{e}}motion {\`{a}} partir de ses
                  composantes {\`{a}} l'aide d'un corpus de r{\'{e}}cits {\'{e}}motionnels},
  booktitle    = {Extraction et Gestion des Connaissances, {EGC} 2023, Lyon, France,
                  16 - 20 janvier 2023},
  series       = {{RNTI}},
  volume       = {{E-39}},
  pages        = {665--666},
  publisher    = {Editions {RNTI}},
  year         = {2023},
  url          = {http://editions-rnti.fr/?inprocid=1002888},
  timestamp    = {Wed, 08 Feb 2023 15:48:08 +0100},
  biburl       = {https://dblp.org/rec/conf/f-egc/CortalFPY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FinkelKMMZ23,
  author       = {Alain Finkel and
                  Shankara Narayanan Krishna and
                  Khushraj Madnani and
                  Rupak Majumdar and
                  Georg Zetzsche},
  editor       = {Patricia Bouyer and
                  Srikanth Srinivasan},
  title        = {Counter Machines with Infrequent Reversals},
  booktitle    = {43rd {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
                  {IIIT} Hyderabad, Telangana, India},
  series       = {LIPIcs},
  volume       = {284},
  pages        = {42:1--42:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.42},
  doi          = {10.4230/LIPICS.FSTTCS.2023.42},
  timestamp    = {Wed, 13 Dec 2023 14:08:06 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/FinkelKMMZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FinkelHY23,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Lina Ye},
  editor       = {Olivier Bournez and
                  Enrico Formenti and
                  Igor Potapov},
  title        = {Introducing Divergence for Infinite Probabilistic Models},
  booktitle    = {Reachability Problems - 17th International Conference, {RP} 2023,
                  Nice, France, October 11-13, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14235},
  pages        = {127--140},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45286-4\_10},
  doi          = {10.1007/978-3-031-45286-4\_10},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/FinkelHY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10446,
  author       = {Gustave Cortal and
                  Alain Finkel and
                  Patrick Paroubek and
                  Lina Ye},
  title        = {Emotion Recognition based on Psychological Components in Guided Narratives
                  for Emotion Regulation},
  journal      = {CoRR},
  volume       = {abs/2305.10446},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.10446},
  doi          = {10.48550/ARXIV.2305.10446},
  eprinttype    = {arXiv},
  eprint       = {2305.10446},
  timestamp    = {Wed, 24 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-10446.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-19564,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Lina Ye},
  title        = {About Decisiveness of Dynamic Probabilistic Models},
  journal      = {CoRR},
  volume       = {abs/2305.19564},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.19564},
  doi          = {10.48550/ARXIV.2305.19564},
  eprinttype    = {arXiv},
  eprint       = {2305.19564},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-19564.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-08842,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Lina Ye},
  title        = {Introducing Divergence for Infinite Probabilistic Models},
  journal      = {CoRR},
  volume       = {abs/2308.08842},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.08842},
  doi          = {10.48550/ARXIV.2308.08842},
  eprinttype    = {arXiv},
  eprint       = {2308.08842},
  timestamp    = {Fri, 25 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-08842.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BolligFS22,
  author       = {Benedikt Bollig and
                  Alain Finkel and
                  Amrita Suresh},
  title        = {Bounded Reachability Problems are Decidable in {FIFO} Machines},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {18},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.46298/lmcs-18(1:19)2022},
  doi          = {10.46298/LMCS-18(1:19)2022},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/BolligFS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BolligFS22,
  author       = {Benedikt Bollig and
                  Alain Finkel and
                  Amrita Suresh},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Branch-Well-Structured Transition Systems and Extensions},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_4},
  doi          = {10.1007/978-3-031-08679-3\_4},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BolligFS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-05296,
  author       = {Gustave Cortal and
                  Alain Finkel and
                  Patrick Paroubek and
                  Lina Ye},
  title        = {Natural Language Processing for Cognitive Analysis of Emotions},
  journal      = {CoRR},
  volume       = {abs/2210.05296},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.05296},
  doi          = {10.48550/ARXIV.2210.05296},
  eprinttype    = {arXiv},
  eprint       = {2210.05296},
  timestamp    = {Thu, 13 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-05296.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-15913,
  author       = {Benedikt Bollig and
                  Alain Finkel and
                  Amrita Suresh},
  title        = {Branch-Well-Structured Transition Systems and Extensions},
  journal      = {CoRR},
  volume       = {abs/2211.15913},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.15913},
  doi          = {10.48550/ARXIV.2211.15913},
  eprinttype    = {arXiv},
  eprint       = {2211.15913},
  timestamp    = {Fri, 02 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-15913.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/FinkelHK21,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Igor Khmelnitsky},
  title        = {Commodification of accelerations for the Karp and Miller Construction},
  journal      = {Discret. Event Dyn. Syst.},
  volume       = {31},
  number       = {2},
  pages        = {251--270},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10626-020-00331-z},
  doi          = {10.1007/S10626-020-00331-Z},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/deds/FinkelHK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FinkelHK21,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Igor Khmelnitsky},
  title        = {Coverability, Termination, and Finiteness in Recursive Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {183},
  number       = {1-2},
  pages        = {33--66},
  year         = {2021},
  url          = {https://doi.org/10.3233/FI-2021-2081},
  doi          = {10.3233/FI-2021-2081},
  timestamp    = {Wed, 16 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/FinkelHK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BlondinEFGHLMT21,
  author       = {Michael Blondin and
                  Matthias Englert and
                  Alain Finkel and
                  Stefan G{\"{o}}ller and
                  Christoph Haase and
                  Ranko Lazic and
                  Pierre McKenzie and
                  Patrick Totzke},
  title        = {The Reachability Problem for Two-Dimensional Vector Addition Systems
                  with States},
  journal      = {J. {ACM}},
  volume       = {68},
  number       = {5},
  pages        = {34:1--34:43},
  year         = {2021},
  url          = {https://doi.org/10.1145/3464794},
  doi          = {10.1145/3464794},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BlondinEFGHLMT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KhmelnitskyNRXB21,
  author       = {Igor Khmelnitsky and
                  Daniel Neider and
                  Rajarshi Roy and
                  Xuan Xie and
                  Beno{\^{\i}}t Barbot and
                  Benedikt Bollig and
                  Alain Finkel and
                  Serge Haddad and
                  Martin Leucker and
                  Lina Ye},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Property-Directed Verification and Robustness Certification of Recurrent
                  Neural Networks},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {364--380},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_24},
  doi          = {10.1007/978-3-030-88885-5\_24},
  timestamp    = {Sat, 02 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/KhmelnitskyNRXB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BolligGFLLS21,
  author       = {Benedikt Bollig and
                  Cinzia Di Giusto and
                  Alain Finkel and
                  Laetitia Laversa and
                  {\'{E}}tienne Lozes and
                  Amrita Suresh},
  editor       = {Serge Haddad and
                  Daniele Varacca},
  title        = {A Unifying Framework for Deciding Synchronizability},
  booktitle    = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
                  August 24-27, 2021, Virtual Conference},
  series       = {LIPIcs},
  volume       = {203},
  pages        = {14:1--14:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.14},
  doi          = {10.4230/LIPICS.CONCUR.2021.14},
  timestamp    = {Fri, 13 Aug 2021 16:29:32 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BolligGFLLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/BarbotBFHKLN0Y21,
  author       = {Beno{\^{\i}}t Barbot and
                  Benedikt Bollig and
                  Alain Finkel and
                  Serge Haddad and
                  Igor Khmelnitsky and
                  Martin Leucker and
                  Daniel Neider and
                  Rajarshi Roy and
                  Lina Ye},
  editor       = {Jane Chandlee and
                  R{\'{e}}mi Eyraud and
                  Jeff Heinz and
                  Adam Jardine and
                  Menno van Zaanen},
  title        = {Extracting Context-Free Grammars from Recurrent Neural Networks using
                  Tree-Automata Learning and A* Search},
  booktitle    = {Proceedings of the 15th International Conference on Grammatical Inference,
                  23-27 August 2021, Virtual Event},
  series       = {Proceedings of Machine Learning Research},
  volume       = {153},
  pages        = {113--129},
  publisher    = {{PMLR}},
  year         = {2021},
  url          = {https://proceedings.mlr.press/v153/barbot21a.html},
  timestamp    = {Mon, 07 Nov 2022 21:23:28 +0100},
  biburl       = {https://dblp.org/rec/conf/icgi/BarbotBFHKLN0Y21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06723,
  author       = {Benedikt Bollig and
                  Alain Finkel and
                  Amrita Suresh},
  title        = {Bounded Reachability Problems are Decidable in {FIFO} Machines},
  journal      = {CoRR},
  volume       = {abs/2105.06723},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.06723},
  eprinttype    = {arXiv},
  eprint       = {2105.06723},
  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-06723.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06804,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Igor Khmelnitsky},
  title        = {Coverability, Termination, and Finiteness in Recursive Petri Nets},
  journal      = {CoRR},
  volume       = {abs/2109.06804},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.06804},
  eprinttype    = {arXiv},
  eprint       = {2109.06804},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-06804.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BlondinFG20,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Jean Goubault{-}Larrecq},
  title        = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {2},
  year         = {2020},
  url          = {https://doi.org/10.23638/LMCS-16(2:13)2020},
  doi          = {10.23638/LMCS-16(2:13)2020},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/BlondinFG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FinkelP20,
  author       = {Alain Finkel and
                  M. Praveen},
  title        = {Verification of Flat {FIFO} Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {4},
  year         = {2020},
  url          = {https://lmcs.episciences.org/6839},
  timestamp    = {Wed, 28 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/FinkelP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FinkelG20,
  author       = {Alain Finkel and
                  Jean Goubault{-}Larrecq},
  title        = {Forward analysis for WSTS, part {I:} completions},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {30},
  number       = {7},
  pages        = {752--832},
  year         = {2020},
  url          = {https://doi.org/10.1017/S0960129520000195},
  doi          = {10.1017/S0960129520000195},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/FinkelG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BolligFS20,
  author       = {Benedikt Bollig and
                  Alain Finkel and
                  Amrita Suresh},
  editor       = {Igor Konnov and
                  Laura Kov{\'{a}}cs},
  title        = {Bounded Reachability Problems Are Decidable in {FIFO} Machines},
  booktitle    = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
                  September 1-4, 2020, Vienna, Austria (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {171},
  pages        = {49:1--49:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.49},
  doi          = {10.4230/LIPICS.CONCUR.2020.49},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BolligFS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FinkelHK20,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Igor Khmelnitsky},
  editor       = {Jean Goubault{-}Larrecq and
                  Barbara K{\"{o}}nig},
  title        = {Minimal Coverability Tree Construction Made Complete and Efficient},
  booktitle    = {Foundations of Software Science and Computation Structures - 23rd
                  International Conference, {FOSSACS} 2020, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
                  Dublin, Ireland, April 25-30, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12077},
  pages        = {237--256},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45231-5\_13},
  doi          = {10.1007/978-3-030-45231-5\_13},
  timestamp    = {Fri, 14 May 2021 08:34:11 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/FinkelHK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02929,
  author       = {Alain Finkel},
  editor       = {Laurent Fribourg and
                  Matthias Heizmann},
  title        = {From Well Structured Transition Systems to Program Verification},
  booktitle    = {Proceedings 8th International Workshop on Verification and Program
                  Transformation and 7th Workshop on Horn Clauses for Verification and
                  Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
  series       = {{EPTCS}},
  volume       = {320},
  pages        = {44--49},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.320.3},
  doi          = {10.4204/EPTCS.320.3},
  timestamp    = {Mon, 26 Apr 2021 11:43:53 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02929.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-10610,
  author       = {Igor Khmelnitsky and
                  Daniel Neider and
                  Rajarshi Roy and
                  Beno{\^{\i}}t Barbot and
                  Benedikt Bollig and
                  Alain Finkel and
                  Serge Haddad and
                  Martin Leucker and
                  Lina Ye},
  title        = {Property-Directed Verification of Recurrent Neural Networks},
  journal      = {CoRR},
  volume       = {abs/2009.10610},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.10610},
  eprinttype    = {arXiv},
  eprint       = {2009.10610},
  timestamp    = {Wed, 23 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10610.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FinkelHK19,
  author       = {Alain Finkel and
                  Serge Haddad and
                  Igor Khmelnitsky},
  editor       = {Susanna Donatelli and
                  Stefan Haar},
  title        = {Coverability and Termination in Recursive Petri Nets},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 40th International
                  Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11522},
  pages        = {429--448},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21571-2\_23},
  doi          = {10.1007/978-3-030-21571-2\_23},
  timestamp    = {Tue, 11 Jun 2019 11:30:44 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FinkelHK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FinkelP19,
  author       = {Alain Finkel and
                  M. Praveen},
  editor       = {Wan J. Fokkink and
                  Rob van Glabbeek},
  title        = {Verification of Flat {FIFO} Systems},
  booktitle    = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
                  August 27-30, 2019, Amsterdam, the Netherlands},
  series       = {LIPIcs},
  volume       = {140},
  pages        = {12:1--12:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.12},
  doi          = {10.4230/LIPICS.CONCUR.2019.12},
  timestamp    = {Mon, 18 May 2020 10:45:19 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/FinkelP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FinkelG19,
  author       = {Alain Finkel and
                  Ekanshdeep Gupta},
  editor       = {Arkadev Chattopadhyay and
                  Paul Gastin},
  title        = {The Well Structured Problem for Presburger Counter Machines},
  booktitle    = {39th {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
                  Bombay, India},
  series       = {LIPIcs},
  volume       = {150},
  pages        = {41:1--41:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.41},
  doi          = {10.4230/LIPICS.FSTTCS.2019.41},
  timestamp    = {Thu, 05 Dec 2019 15:12:21 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/FinkelG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-07282,
  author       = {Alain Finkel and
                  M. Praveen},
  title        = {Verification of Flat {FIFO} Systems},
  journal      = {CoRR},
  volume       = {abs/1908.07282},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.07282},
  eprinttype    = {arXiv},
  eprint       = {1908.07282},
  timestamp    = {Mon, 26 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-07282.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-02736,
  author       = {Alain Finkel and
                  Ekanshdeep Gupta},
  title        = {The Well Structured Problem for Presburger Counter Machines},
  journal      = {CoRR},
  volume       = {abs/1910.02736},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.02736},
  eprinttype    = {arXiv},
  eprint       = {1910.02736},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-02736.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Chane-Yack-FaFM18,
  author       = {Rapha{\"{e}}l Chane{-}Yack{-}Fa and
                  Marc Frappier and
                  Amel Mammar and
                  Alain Finkel},
  title        = {Parameterized verification of monotone information systems},
  journal      = {Formal Aspects Comput.},
  volume       = {30},
  number       = {3-4},
  pages        = {463--489},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00165-018-0460-8},
  doi          = {10.1007/S00165-018-0460-8},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Chane-Yack-FaFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BlondinFM18,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Handling infinitely branching well-structured transition systems},
  journal      = {Inf. Comput.},
  volume       = {258},
  pages        = {28--49},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2017.11.001},
  doi          = {10.1016/J.IC.2017.11.001},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BlondinFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FinkelLS18,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Gr{\'{e}}goire Sutre},
  editor       = {Sumit Ganguly and
                  Paritosh K. Pandya},
  title        = {Reachability for Two-Counter Machines with One Test and One Reset},
  booktitle    = {38th {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018,
                  Ahmedabad, India},
  series       = {LIPIcs},
  volume       = {122},
  pages        = {31:1--31:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.31},
  doi          = {10.4230/LIPICS.FSTTCS.2018.31},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/FinkelLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BlondinFM17,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Well Behaved Transition Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {13},
  number       = {3},
  year         = {2017},
  url          = {https://doi.org/10.23638/LMCS-13(3:24)2017},
  doi          = {10.23638/LMCS-13(3:24)2017},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BlondinFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BlondinFHH17,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Christoph Haase and
                  Serge Haddad},
  title        = {The Logical View on Continuous Petri Nets},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {18},
  number       = {3},
  pages        = {24:1--24:28},
  year         = {2017},
  url          = {https://doi.org/10.1145/3105908},
  doi          = {10.1145/3105908},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BlondinFHH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BlondinFG17,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Jean Goubault{-}Larrecq},
  editor       = {Satya V. Lokam and
                  R. Ramanujam},
  title        = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
  booktitle    = {37th {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017,
                  Kanpur, India},
  series       = {LIPIcs},
  volume       = {93},
  pages        = {16:1--16:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.16},
  doi          = {10.4230/LIPICS.FSTTCS.2017.16},
  timestamp    = {Fri, 03 Sep 2021 15:00:19 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BlondinFG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FinkelL17,
  author       = {Alain Finkel and
                  {\'{E}}tienne Lozes},
  editor       = {Ioannis Chatzigiannakis and
                  Piotr Indyk and
                  Fabian Kuhn and
                  Anca Muscholl},
  title        = {Synchronizability of Communicating Finite State Machines is not Decidable},
  booktitle    = {44th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
  series       = {LIPIcs},
  volume       = {80},
  pages        = {122:1--122:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2017.122},
  doi          = {10.4230/LIPICS.ICALP.2017.122},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/FinkelL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FinkelL17,
  author       = {Alain Finkel and
                  {\'{E}}tienne Lozes},
  title        = {Synchronizability of Communicating Finite State Machines is not Decidable},
  journal      = {CoRR},
  volume       = {abs/1702.07213},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.07213},
  eprinttype    = {arXiv},
  eprint       = {1702.07213},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FinkelL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07258,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Jean Goubault{-}Larrecq},
  title        = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
  journal      = {CoRR},
  volume       = {abs/1710.07258},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.07258},
  eprinttype    = {arXiv},
  eprint       = {1710.07258},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-07258.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbdullaDFLP16,
  author       = {Parosh Aziz Abdulla and
                  St{\'{e}}phane Demri and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {143},
  number       = {3-4},
  pages        = {i--ii},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1311},
  doi          = {10.3233/FI-2016-1311},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AbdullaDFLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChambartFS16,
  author       = {Pierre Chambart and
                  Alain Finkel and
                  Sylvain Schmitz},
  title        = {Forward analysis and model checking for trace bounded {WSTS}},
  journal      = {Theor. Comput. Sci.},
  volume       = {637},
  pages        = {1--29},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.020},
  doi          = {10.1016/J.TCS.2016.04.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChambartFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Finkel16,
  author       = {Alain Finkel},
  editor       = {Kim Guldstrand Larsen and
                  Igor Potapov and
                  Jir{\'{\i}} Srba},
  title        = {The Ideal Theory for {WSTS}},
  booktitle    = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg,
                  Denmark, September 19-21, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9899},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45994-3\_1},
  doi          = {10.1007/978-3-319-45994-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/Finkel16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlondinFHH16,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Christoph Haase and
                  Serge Haddad},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Approaching the Coverability Problem Continuously},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {480--496},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_28},
  doi          = {10.1007/978-3-662-49674-9\_28},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BlondinFHH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlondinFM16,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Well Behaved Transition Systems},
  journal      = {CoRR},
  volume       = {abs/1608.02636},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.02636},
  eprinttype    = {arXiv},
  eprint       = {1608.02636},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BlondinFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/FinkelL15,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  title        = {Recent and simple algorithms for Petri nets},
  journal      = {Softw. Syst. Model.},
  volume       = {14},
  number       = {2},
  pages        = {719--725},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10270-014-0426-0},
  doi          = {10.1007/S10270-014-0426-0},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/FinkelL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BlondinFGHM15,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Stefan G{\"{o}}ller and
                  Christoph Haase and
                  Pierre McKenzie},
  title        = {Reachability in Two-Dimensional Vector Addition Systems with States
                  Is PSPACE-Complete},
  booktitle    = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2015, Kyoto, Japan, July 6-10, 2015},
  pages        = {32--43},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/LICS.2015.14},
  doi          = {10.1109/LICS.2015.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BlondinFGHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlondinFHH15,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Christoph Haase and
                  Serge Haddad},
  title        = {Approaching the Coverability Problem Continuously},
  journal      = {CoRR},
  volume       = {abs/1510.05724},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.05724},
  eprinttype    = {arXiv},
  eprint       = {1510.05724},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BlondinFHH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/FinkelL14,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  title        = {Neue, einfache Algorithmen f{\"{u}}r Petrinetze},
  journal      = {Inform. Spektrum},
  volume       = {37},
  number       = {3},
  pages        = {229--236},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00287-013-0753-5},
  doi          = {10.1007/S00287-013-0753-5},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/insk/FinkelL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BouchyFP14,
  author       = {Florent Bouchy and
                  Alain Finkel and
                  Pierluigi {San Pietro}},
  title        = {Dense-choice Counter Machines revisited},
  journal      = {Theor. Comput. Sci.},
  volume       = {542},
  pages        = {17--31},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2014.04.029},
  doi          = {10.1016/J.TCS.2014.04.029},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BouchyFP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BlondinFM14,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Javier Esparza and
                  Pierre Fraigniaud and
                  Thore Husfeldt and
                  Elias Koutsoupias},
  title        = {Handling Infinitely Branching {WSTS}},
  booktitle    = {Automata, Languages, and Programming - 41st International Colloquium,
                  {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8573},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43951-7\_2},
  doi          = {10.1007/978-3-662-43951-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BlondinFM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlondinFGHM14,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Stefan G{\"{o}}ller and
                  Christoph Haase and
                  Pierre McKenzie},
  title        = {Reachability in Two-Dimensional Vector Addition Systems with States
                  is PSPACE-complete},
  journal      = {CoRR},
  volume       = {abs/1412.4259},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.4259},
  eprinttype    = {arXiv},
  eprint       = {1412.4259},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BlondinFGHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/EsparzaFMO14,
  author       = {Javier Esparza and
                  Alain Finkel and
                  Pierre McKenzie and
                  Jo{\"{e}}l Ouaknine},
  title        = {Reachability Problems for Infinite-State Systems (Dagstuhl Seminar
                  14141)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {153--180},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.153},
  doi          = {10.4230/DAGREP.4.3.153},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/EsparzaFMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BonnetFHR13,
  author       = {R{\'{e}}mi Bonnet and
                  Alain Finkel and
                  Serge Haddad and
                  Fernando Rosa{-}Velardo},
  title        = {Ordinal theory for expressiveness of well-structured transition systems},
  journal      = {Inf. Comput.},
  volume       = {224},
  pages        = {1--22},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2012.11.003},
  doi          = {10.1016/J.IC.2012.11.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BonnetFHR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CadilhacFM13,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Unambiguous constrained Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {24},
  number       = {7},
  pages        = {1099--1116},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0129054113400339},
  doi          = {10.1142/S0129054113400339},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CadilhacFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FinkelGH13,
  author       = {Alain Finkel and
                  Stefan G{\"{o}}ller and
                  Christoph Haase},
  editor       = {Krishnendu Chatterjee and
                  Jir{\'{\i}} Sgall},
  title        = {Reachability in Register Machines with Polynomial Updates},
  booktitle    = {Mathematical Foundations of Computer Science 2013 - 38th International
                  Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8087},
  pages        = {409--420},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40313-2\_37},
  doi          = {10.1007/978-3-642-40313-2\_37},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FinkelGH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-4458,
  author       = {R{\'{e}}mi Bonnet and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Marc Zeitoun},
  title        = {Model Checking Vector Addition Systems with one zero-test},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {8},
  number       = {2},
  year         = {2012},
  url          = {https://doi.org/10.2168/LMCS-8(2:11)2012},
  doi          = {10.2168/LMCS-8(2:11)2012},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1205-4458.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-4549,
  author       = {Alain Finkel and
                  Jean Goubault{-}Larrecq},
  title        = {Forward Analysis for WSTS, Part {II:} Complete {WSTS}},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {8},
  number       = {3},
  year         = {2012},
  url          = {https://doi.org/10.2168/LMCS-8(3:28)2012},
  doi          = {10.2168/LMCS-8(3:28)2012},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-4549.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Bounded Parikh Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {23},
  number       = {8},
  pages        = {1691--1710},
  year         = {2012},
  url          = {https://doi.org/10.1142/S0129054112400709},
  doi          = {10.1142/S0129054112400709},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Affine Parikh automata},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {46},
  number       = {4},
  pages        = {511--545},
  year         = {2012},
  url          = {https://doi.org/10.1051/ita/2012013},
  doi          = {10.1051/ITA/2012013},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FinkelG12,
  author       = {Alain Finkel and
                  Jean Goubault{-}Larrecq},
  editor       = {Serge Haddad and
                  Lucia Pomello},
  title        = {The Theory of {WSTS:} The Case of Complete {WSTS}},
  booktitle    = {Application and Theory of Petri Nets - 33rd International Conference,
                  {PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7347},
  pages        = {3--31},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31131-4\_2},
  doi          = {10.1007/978-3-642-31131-4\_2},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FinkelG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Hsu{-}Chun Yen and
                  Oscar H. Ibarra},
  title        = {Unambiguous Constrained Automata},
  booktitle    = {Developments in Language Theory - 16th International Conference, {DLT}
                  2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7410},
  pages        = {239--250},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31653-1\_22},
  doi          = {10.1007/978-3-642-31653-1\_22},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BonnetFP12,
  author       = {R{\'{e}}mi Bonnet and
                  Alain Finkel and
                  M. Praveen},
  editor       = {Deepak D'Souza and
                  Telikepalli Kavitha and
                  Jaikumar Radhakrishnan},
  title        = {Extending the Rackoff technique to Affine nets},
  booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and
                  Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
                  Hyderabad, India},
  series       = {LIPIcs},
  volume       = {18},
  pages        = {301--312},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.301},
  doi          = {10.4230/LIPICS.FSTTCS.2012.301},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BonnetFP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2012,
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9},
  doi          = {10.1007/978-3-642-33512-9},
  isbn         = {978-3-642-33511-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChambartFS11,
  author       = {Pierre Chambart and
                  Alain Finkel and
                  Sylvain Schmitz},
  editor       = {Lars Michael Kristensen and
                  Laure Petrucci},
  title        = {Forward Analysis and Model Checking for Trace Bounded {WSTS}},
  booktitle    = {Applications and Theory of Petri Nets - 32nd International Conference,
                  {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6709},
  pages        = {49--68},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21834-7\_4},
  doi          = {10.1007/978-3-642-21834-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ChambartFS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonnetFHR11,
  author       = {R{\'{e}}mi Bonnet and
                  Alain Finkel and
                  Serge Haddad and
                  Fernando Rosa{-}Velardo},
  editor       = {Martin Hofmann},
  title        = {Ordinal Theory for Expressiveness of Well Structured Transition Systems},
  booktitle    = {Foundations of Software Science and Computational Structures - 14th
                  International Conference, {FOSSACS} 2011, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2011,
                  Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6604},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19805-2\_11},
  doi          = {10.1007/978-3-642-19805-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/BonnetFHR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/CadilhacFM11,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Rudolf Freund and
                  Markus Holzer and
                  Carlo Mereghetti and
                  Friedrich Otto and
                  Beatrice Palano},
  title        = {On the Expressiveness of Parikh Automata and Related Models},
  booktitle    = {Third Workshop on Non-Classical Models for Automata and Applications
                  - {NCMA} 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings},
  series       = {books@ocg.at},
  volume       = {282},
  pages        = {103--119},
  publisher    = {Austrian Computer Society},
  year         = {2011},
  timestamp    = {Thu, 17 Mar 2016 10:50:07 +0100},
  biburl       = {https://dblp.org/rec/conf/ncma/CadilhacFM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3625,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Petr Ambroz and
                  Stepan Holub and
                  Zuzana Mas{\'{a}}kov{\'{a}}},
  title        = {Bounded Parikh Automata},
  booktitle    = {Proceedings 8th International Conference Words 2011, Prague, Czech
                  Republic, 12-16th September 2011},
  series       = {{EPTCS}},
  volume       = {63},
  pages        = {93--102},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.63.13},
  doi          = {10.4204/EPTCS.63.13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3625.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-1547,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Storming the Parikh Automaton},
  journal      = {CoRR},
  volume       = {abs/1101.1547},
  year         = {2011},
  url          = {http://arxiv.org/abs/1101.1547},
  eprinttype    = {arXiv},
  eprint       = {1101.1547},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-1547.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DemriFGD10,
  author       = {St{\'{e}}phane Demri and
                  Alain Finkel and
                  Valentin Goranko and
                  Govert van Drimmelen},
  title        = {Model-checking CTL* over flat Presburger counter systems},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {20},
  number       = {4},
  pages        = {313--344},
  year         = {2010},
  url          = {https://doi.org/10.3166/jancl.20.313-344},
  doi          = {10.3166/JANCL.20.313-344},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/DemriFGD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BonnetFLZ10,
  author       = {R{\'{e}}mi Bonnet and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Marc Zeitoun},
  editor       = {Kamal Lodaya and
                  Meena Mahajan},
  title        = {Place-Boundedness for Vector Addition Systems with one zero-test},
  booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and
                  Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
                  Chennai, India},
  series       = {LIPIcs},
  volume       = {8},
  pages        = {192--203},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2010},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.192},
  doi          = {10.4230/LIPICS.FSTTCS.2010.192},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BonnetFLZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FinkelS10,
  author       = {Alain Finkel and
                  Arnaud Sangnier},
  editor       = {Jan van Leeuwen and
                  Anca Muscholl and
                  David Peleg and
                  Jaroslav Pokorn{\'{y}} and
                  Bernhard Rumpe},
  title        = {Mixing Coverability and Reachability to Analyze {VASS} with One Zero-Test},
  booktitle    = {{SOFSEM} 2010: Theory and Practice of Computer Science, 36th Conference
                  on Current Trends in Theory and Practice of Computer Science, Spindleruv
                  Ml{\'{y}}n, Czech Republic, January 23-29, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5901},
  pages        = {394--406},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11266-9\_33},
  doi          = {10.1007/978-3-642-11266-9\_33},
  timestamp    = {Sat, 30 Sep 2023 09:57:10 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/FinkelS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2802,
  author       = {Pierre Chambart and
                  Alain Finkel and
                  Sylvain Schmitz},
  title        = {Forward Analysis and Model Checking for Bounded {WSTS}},
  journal      = {CoRR},
  volume       = {abs/1004.2802},
  year         = {2010},
  url          = {http://arxiv.org/abs/1004.2802},
  eprinttype    = {arXiv},
  eprint       = {1004.2802},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1004-2802.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FinkelG09,
  author       = {Alain Finkel and
                  Jean Goubault{-}Larrecq},
  editor       = {Susanne Albers and
                  Alberto Marchetti{-}Spaccamela and
                  Yossi Matias and
                  Sotiris E. Nikoletseas and
                  Wolfgang Thomas},
  title        = {Forward Analysis for WSTS, Part {II:} Complete {WSTS}},
  booktitle    = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
                  {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5556},
  pages        = {188--199},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02930-1\_16},
  doi          = {10.1007/978-3-642-02930-1\_16},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/FinkelG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FinkelG09,
  author       = {Alain Finkel and
                  Jean Goubault{-}Larrecq},
  editor       = {Susanne Albers and
                  Jean{-}Yves Marion},
  title        = {Forward Analysis for WSTS, Part {I:} Completions},
  booktitle    = {26th International Symposium on Theoretical Aspects of Computer Science,
                  {STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings},
  series       = {LIPIcs},
  volume       = {3},
  pages        = {433--444},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2009.1844},
  doi          = {10.4230/LIPICS.STACS.2009.1844},
  timestamp    = {Tue, 22 Jun 2021 15:43:57 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/FinkelG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-3405,
  author       = {Florent Bouchy and
                  Alain Finkel and
                  Pierluigi {San Pietro}},
  editor       = {Axel Legay},
  title        = {Dense-choice Counter Machines revisited},
  booktitle    = {Proceedings International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2009, Bologna, Italy, 31th August 2009},
  series       = {{EPTCS}},
  volume       = {10},
  pages        = {3--22},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.10.1},
  doi          = {10.4204/EPTCS.10.1},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-3405.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EncrenazF09,
  author       = {Emmanuelle Encrenaz and
                  Alain Finkel},
  editor       = {Peter Habermehl and
                  Tom{\'{a}}s Vojnar},
  title        = {Automatic Verification of Counter Systems With Ranking Function},
  booktitle    = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
                  on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
                  / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
                  8, 2007 / Toronto, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {239},
  pages        = {85--103},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.032},
  doi          = {10.1016/J.ENTCS.2009.05.032},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EncrenazF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BouchyFS09,
  author       = {Florent Bouchy and
                  Alain Finkel and
                  Arnaud Sangnier},
  editor       = {Peter Habermehl and
                  Tom{\'{a}}s Vojnar},
  title        = {Reachability in Timed Counter Systems},
  booktitle    = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
                  on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
                  / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
                  8, 2007 / Toronto, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {239},
  pages        = {167--178},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.038},
  doi          = {10.1016/J.ENTCS.2009.05.038},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BouchyFS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-1587,
  author       = {Alain Finkel and
                  Jean Goubault{-}Larrecq},
  title        = {Forward analysis for WSTS, Part {I:} Completions},
  journal      = {CoRR},
  volume       = {abs/0902.1587},
  year         = {2009},
  url          = {http://arxiv.org/abs/0902.1587},
  eprinttype    = {arXiv},
  eprint       = {0902.1587},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0902-1587.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BardinFLP08,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Laure Petrucci},
  title        = {{FAST:} acceleration from theory to practice},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {10},
  number       = {5},
  pages        = {401--424},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10009-008-0064-3},
  doi          = {10.1007/S10009-008-0064-3},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BardinFLP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FinkelS08,
  author       = {Alain Finkel and
                  Arnaud Sangnier},
  editor       = {Edward Ochmanski and
                  Jerzy Tyszkiewicz},
  title        = {Reversal-Bounded Counter Machines Revisited},
  booktitle    = {Mathematical Foundations of Computer Science 2008, 33rd International
                  Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5162},
  pages        = {323--334},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85238-4\_26},
  doi          = {10.1007/978-3-540-85238-4\_26},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FinkelS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BouchyFL08,
  author       = {Florent Bouchy and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  editor       = {St{\'{e}}phane Demri and
                  Christian S. Jensen},
  title        = {Decomposition of Decidable First-Order Logics over Integers and Reals},
  booktitle    = {15th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
                  Canada, 16-18 June 2008},
  pages        = {147--155},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/TIME.2008.22},
  doi          = {10.1109/TIME.2008.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/BouchyFL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-1951,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  title        = {The convex hull of a regular set of integer vectors is polyhedral
                  and effectively computable},
  journal      = {CoRR},
  volume       = {abs/0812.1951},
  year         = {2008},
  url          = {http://arxiv.org/abs/0812.1951},
  eprinttype    = {arXiv},
  eprint       = {0812.1951},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0812-1951.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-1967,
  author       = {Florent Bouchy and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  title        = {Decomposition of Decidable First-Order Logics over Integers and Reals},
  journal      = {CoRR},
  volume       = {abs/0812.1967},
  year         = {2008},
  url          = {http://arxiv.org/abs/0812.1967},
  eprinttype    = {arXiv},
  eprint       = {0812.1967},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0812-1967.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilc/FinkelLS07,
  author       = {Alain Finkel and
                  {\'{E}}tienne Lozes and
                  Arnaud Sangnier},
  editor       = {Margaret Archibald and
                  Vasco Brattka and
                  Valentin Goranko and
                  Benedikt L{\"{o}}we},
  title        = {Towards Model-Checking Programs with Lists},
  booktitle    = {Infinity in Logic and Computation, International Conference, {ILC}
                  2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5489},
  pages        = {56--86},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-03092-5\_6},
  doi          = {10.1007/978-3-642-03092-5\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ilc/FinkelLS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelGRB06,
  author       = {Alain Finkel and
                  Gilles Geeraerts and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Laurent Van Begin},
  title        = {On the \emph{omega}-language expressive power of extended Petri nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {356},
  number       = {3},
  pages        = {374--386},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.tcs.2006.02.008},
  doi          = {10.1016/J.TCS.2006.02.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FinkelGRB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DemriFGD06,
  author       = {St{\'{e}}phane Demri and
                  Alain Finkel and
                  Valentin Goranko and
                  Govert van Drimmelen},
  editor       = {Susanne Graf and
                  Wenhui Zhang},
  title        = {Towards a Model-Checker for Counter Systems},
  booktitle    = {Automated Technology for Verification and Analysis, 4th International
                  Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
  series       = {Lecture Notes in Computer Science},
  volume       = {4218},
  pages        = {493--507},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11901914\_36},
  doi          = {10.1007/11901914\_36},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DemriFGD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CeceF05,
  author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
                  Alain Finkel},
  title        = {Verification of programs with half-duplex communication},
  journal      = {Inf. Comput.},
  volume       = {202},
  number       = {2},
  pages        = {166--190},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ic.2005.05.006},
  doi          = {10.1016/J.IC.2005.05.006},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CeceF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FinkelL05,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  title        = {The convex hull of a regular set of integer vectors is polyhedral
                  and effectively computable},
  journal      = {Inf. Process. Lett.},
  volume       = {96},
  number       = {1},
  pages        = {30--35},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ipl.2005.04.004},
  doi          = {10.1016/J.IPL.2005.04.004},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/FinkelL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BardinFLS05,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Philippe Schnoebelen},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Flat Acceleration in Symbolic Model Checking},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {474--488},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_35},
  doi          = {10.1007/11562948\_35},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BardinFLS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FinkelMP04,
  author       = {Alain Finkel and
                  Pierre McKenzie and
                  Claudine Picaronny},
  title        = {A well-structured framework for analysing petri net extensions},
  journal      = {Inf. Comput.},
  volume       = {195},
  number       = {1-2},
  pages        = {1--29},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2004.01.005},
  doi          = {10.1016/J.IC.2004.01.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FinkelMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BardinF04,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel},
  editor       = {Farn Wang},
  title        = {Composition of Accelerations to Verify Infinite Heterogeneous Systems},
  booktitle    = {Automated Technology for Verification and Analysis: Second International
                  Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
                  3, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3299},
  pages        = {248--262},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30476-0\_22},
  doi          = {10.1007/978-3-540-30476-0\_22},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BardinF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkelL04,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  editor       = {Rajeev Alur and
                  Doron A. Peled},
  title        = {Image Computation in Infinite State Model Checking},
  booktitle    = {Computer Aided Verification, 16th International Conference, {CAV}
                  2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3114},
  pages        = {361--371},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27813-9\_28},
  doi          = {10.1007/978-3-540-27813-9\_28},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FinkelL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/FinkelL04,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Polynomial Time Image Computation with Interval-Definable Counters
                  Systems},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {182--197},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_14},
  doi          = {10.1007/978-3-540-24732-6\_14},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/FinkelL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BardinFL04,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  editor       = {Kurt Jensen and
                  Andreas Podelski},
  title        = {FASTer Acceleration of Counter Automata in Practice},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  10th International Conference, {TACAS} 2004, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2004,
                  Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2988},
  pages        = {576--590},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24730-2\_42},
  doi          = {10.1007/978-3-540-24730-2\_42},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BardinFL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DarlotFB05,
  author       = {Christophe Darlot and
                  Alain Finkel and
                  Laurent Van Begin},
  editor       = {Michael Huth},
  title        = {About Fast and TReX Accelerations},
  booktitle    = {Proceedings of the Fouth International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {6},
  pages        = {87--103},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.04.006},
  doi          = {10.1016/J.ENTCS.2005.04.006},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DarlotFB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FinkelGRB05,
  author       = {Alain Finkel and
                  Gilles Geeraerts and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Laurent Van Begin},
  editor       = {Jos C. M. Baeten and
                  Flavio Corradini},
  title        = {On the omega-language Expressive Power of Extended Petri Nets},
  booktitle    = {Proceedings of the 11th International Workshop on Expressiveness in
                  Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {2},
  pages        = {87--101},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.030},
  doi          = {10.1016/J.ENTCS.2004.11.030},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkelGRB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FinkelIS03,
  author       = {Alain Finkel and
                  S. Purushothaman Iyer and
                  Gr{\'{e}}goire Sutre},
  title        = {Well-abstracted transition systems: application to {FIFO} automata},
  journal      = {Inf. Comput.},
  volume       = {181},
  number       = {1},
  pages        = {1--31},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(02)00027-5},
  doi          = {10.1016/S0890-5401(02)00027-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FinkelIS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BardinFLP03,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Laure Petrucci},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {{FAST:} Fast Acceleration of Symbolikc Transition Systems},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {118--121},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_12},
  doi          = {10.1007/978-3-540-45069-6\_12},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BardinFLP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FinkelL02,
  author       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux},
  editor       = {Manindra Agrawal and
                  Anil Seth},
  title        = {How to Compose Presburger-Accelerations: Applications to Broadcast
                  Protocols},
  booktitle    = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
                  Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2556},
  pages        = {145--156},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36206-1\_14},
  doi          = {10.1007/3-540-36206-1\_14},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/FinkelL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/HerbreteauCFRS02,
  author       = {Fr{\'{e}}d{\'{e}}ric Herbreteau and
                  Franck Cassez and
                  Alain Finkel and
                  Olivier F. Roux and
                  Gr{\'{e}}goire Sutre},
  editor       = {Sergio Rajsbaum},
  title        = {Verification of Embedded Reactive Fiffo Systems},
  booktitle    = {{LATIN} 2002: Theoretical Informatics, 5th Latin American Symposium,
                  Cancun, Mexico, April 3-6, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2286},
  pages        = {400--414},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45995-2\_36},
  doi          = {10.1007/3-540-45995-2\_36},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/HerbreteauCFRS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FinkelRSB02,
  author       = {Alain Finkel and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Mathias Samuelides and
                  Laurent Van Begin},
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited},
  booktitle    = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  pages        = {85--106},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80535-8},
  doi          = {10.1016/S1571-0661(04)80535-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkelRSB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Berard01,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Michel Bidoit and
                  Alain Finkel and
                  Fran{\c{c}}ois Laroussinie and
                  Antoine Petit and
                  Laure Petrucci and
                  Philippe Schnoebelen and
                  Pierre McKenzie},
  title        = {Systems and Software Verification, Model-Checking Techniques and Tools},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-662-04558-9},
  doi          = {10.1007/978-3-662-04558-9},
  isbn         = {978-3-642-07478-3},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/lib/Berard01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelS01,
  author       = {Alain Finkel and
                  Philippe Schnoebelen},
  title        = {Well-structured transition systems everywhere!},
  journal      = {Theor. Comput. Sci.},
  volume       = {256},
  number       = {1-2},
  pages        = {63--92},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00102-X},
  doi          = {10.1016/S0304-3975(00)00102-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FinkelS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2001,
  editor       = {G{\'{e}}rard Berry and
                  Hubert Comon and
                  Alain Finkel},
  title        = {Computer Aided Verification, 13th International Conference, {CAV}
                  2001, Paris, France, July 18-22, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2102},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44585-4},
  doi          = {10.1007/3-540-44585-4},
  isbn         = {3-540-42345-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BouajjaniEFMRWW00,
  author       = {Ahmed Bouajjani and
                  Javier Esparza and
                  Alain Finkel and
                  Oded Maler and
                  Peter Rossmanith and
                  Bernard Willems and
                  Pierre Wolper},
  title        = {An efficient automata approach to some problems on context-free grammars},
  journal      = {Inf. Process. Lett.},
  volume       = {74},
  number       = {5-6},
  pages        = {221--227},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0020-0190(00)00055-7},
  doi          = {10.1016/S0020-0190(00)00055-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/BouajjaniEFMRWW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FinkelIS00,
  author       = {Alain Finkel and
                  S. Purushothaman Iyer and
                  Gr{\'{e}}goire Sutre},
  editor       = {Catuscia Palamidessi},
  title        = {Well-Abstracted Transition Systems},
  booktitle    = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
                  University Park, PA, USA, August 22-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1877},
  pages        = {566--580},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44618-4\_40},
  doi          = {10.1007/3-540-44618-4\_40},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/FinkelIS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FinkelS00,
  author       = {Alain Finkel and
                  Gr{\'{e}}goire Sutre},
  editor       = {Mogens Nielsen and
                  Branislav Rovan},
  title        = {An Algorithm Constructing the Semilinear Post\({}^{\mbox{*}}\) for
                  2-Dim Reset/Transfer {VASS}},
  booktitle    = {Mathematical Foundations of Computer Science 2000, 25th International
                  Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
                  1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1893},
  pages        = {353--362},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44612-5\_31},
  doi          = {10.1007/3-540-44612-5\_31},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/FinkelS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FinkelS00,
  author       = {Alain Finkel and
                  Gr{\'{e}}goire Sutre},
  editor       = {Horst Reichel and
                  Sophie Tison},
  title        = {Decidability of Reachability Problems for Classes of Two Counters
                  Automata},
  booktitle    = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer
                  Science, Lille, France, February 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1770},
  pages        = {346--357},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46541-3\_29},
  doi          = {10.1007/3-540-46541-3\_29},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/FinkelS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DufourdF99,
  author       = {Catherine Dufourd and
                  Alain Finkel},
  title        = {A Polynomial-Bisimilar Normalization for Reset Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {222},
  number       = {1-2},
  pages        = {187--194},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00351-X},
  doi          = {10.1016/S0304-3975(98)00351-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DufourdF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EsparzaFM99,
  author       = {Javier Esparza and
                  Alain Finkel and
                  Richard Mayr},
  title        = {On the Verification of Broadcast Protocols},
  booktitle    = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
                  Italy, July 2-5, 1999},
  pages        = {352--359},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/LICS.1999.782630},
  doi          = {10.1109/LICS.1999.782630},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/EsparzaFM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/ColletFG98,
  author       = {Christophe Collet and
                  Alain Finkel and
                  Rachid Gherbi},
  title        = {CapRe: a Gaze Tracking System in Man-machine Interaction},
  journal      = {J. Adv. Comput. Intell. Intell. Informatics},
  volume       = {2},
  number       = {3},
  pages        = {77--81},
  year         = {1998},
  url          = {https://doi.org/10.20965/jaciii.1998.p0077},
  doi          = {10.20965/JACIII.1998.P0077},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jaciii/ColletFG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/SutreFRC98,
  author       = {Gr{\'{e}}goire Sutre and
                  Alain Finkel and
                  Olivier F. Roux and
                  Franck Cassez},
  editor       = {Armando Martin Haeberer},
  title        = {Effective Recognizability and Model Checking of Reactive Fiffo Automata},
  booktitle    = {Algebraic Methodology and Software Technology, 7th International Conference,
                  {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1548},
  pages        = {106--123},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49253-4\_10},
  doi          = {10.1007/3-540-49253-4\_10},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/SutreFRC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DufourdFS98,
  author       = {Catherine Dufourd and
                  Alain Finkel and
                  Philippe Schnoebelen},
  editor       = {Kim Guldstrand Larsen and
                  Sven Skyum and
                  Glynn Winskel},
  title        = {Reset Nets Between Decidability and Undecidability},
  booktitle    = {Automata, Languages and Programming, 25th International Colloquium,
                  ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1443},
  pages        = {103--115},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055044},
  doi          = {10.1007/BFB0055044},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/DufourdFS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/FinkelS98,
  author       = {Alain Finkel and
                  Philippe Schnoebelen},
  editor       = {Claudio L. Lucchesi and
                  Arnaldo V. Moura},
  title        = {Fundamental Structures in Well-Structured Infinite Transition Systems},
  booktitle    = {{LATIN} '98: Theoretical Informatics, Third Latin American Symposium,
                  Campinas, Brazil, April, 20-24, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1380},
  pages        = {102--118},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0054314},
  doi          = {10.1007/BFB0054314},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/FinkelS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelM97,
  author       = {Alain Finkel and
                  Pierre McKenzie},
  title        = {Verifying Identical Communicating Processes is Undecidable},
  journal      = {Theor. Comput. Sci.},
  volume       = {174},
  number       = {1-2},
  pages        = {217--230},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00026-6},
  doi          = {10.1016/S0304-3975(96)00026-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FinkelM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CeceF97,
  author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
                  Alain Finkel},
  editor       = {Orna Grumberg},
  title        = {Programs with Quasi-Stable Channels are Effectively Recognizable (Extended
                  Abstract)},
  booktitle    = {Computer Aided Verification, 9th International Conference, {CAV} '97,
                  Haifa, Israel, June 22-25, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1254},
  pages        = {304--315},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63166-6\_31},
  doi          = {10.1007/3-540-63166-6\_31},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CeceF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DufourdF97,
  author       = {Catherine Dufourd and
                  Alain Finkel},
  editor       = {S. Ramesh and
                  G. Sivakumar},
  title        = {Polynomial-Time Manz-One Reductions for Petri Nets},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1346},
  pages        = {312--326},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0058039},
  doi          = {10.1007/BFB0058039},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/DufourdF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BouzianeF97,
  author       = {Zakaria Bouziane and
                  Alain Finkel},
  editor       = {Faron Moller},
  title        = {Cyclic Petri net reachability sets are semi-linear effectively constructible},
  booktitle    = {Second International Workshop on Verification of Infinite State Systems,
                  Infinity 1997, Bologna, Italy, July 11-12, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {9},
  pages        = {15--24},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80423-2},
  doi          = {10.1016/S1571-0661(05)80423-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BouzianeF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FinkelWW97,
  author       = {Alain Finkel and
                  Bernard Willems and
                  Pierre Wolper},
  editor       = {Faron Moller},
  title        = {A direct symbolic approach to model checking pushdown systems},
  booktitle    = {Second International Workshop on Verification of Infinite State Systems,
                  Infinity 1997, Bologna, Italy, July 11-12, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {9},
  pages        = {27--37},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80426-8},
  doi          = {10.1016/S1571-0661(05)80426-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkelWW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CeceFI96,
  author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
                  Alain Finkel and
                  S. Purushothaman Iyer},
  title        = {Unreliable Channels are Easier to Verify Than Perfect Channels},
  journal      = {Inf. Comput.},
  volume       = {124},
  number       = {1},
  pages        = {20--31},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0003},
  doi          = {10.1006/INCO.1996.0003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CeceFI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelT96,
  author       = {Alain Finkel and
                  Isabelle Tellier},
  title        = {A Polynomial Algorithm for the Membership Problem with Categorial
                  Grammars},
  journal      = {Theor. Comput. Sci.},
  volume       = {164},
  number       = {1{\&}2},
  pages        = {207--221},
  year         = {1996},
  url          = {https://doi.org/10.1016/0304-3975(95)00211-1},
  doi          = {10.1016/0304-3975(95)00211-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FinkelT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Finkel94,
  author       = {Alain Finkel},
  title        = {Decidability of the Termination Problem for Completely Specified Protocols},
  journal      = {Distributed Comput.},
  volume       = {7},
  number       = {3},
  pages        = {129--135},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF02277857},
  doi          = {10.1007/BF02277857},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/Finkel94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/FinkelP94,
  author       = {Alain Finkel and
                  Laure Petrucci},
  title        = {Composition/d{\'{e}}composition de r{\'{e}}seaux de petri
                  et de leurs graphes de couverture},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {2},
  pages        = {73--124},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280200731},
  doi          = {10.1051/ITA/1994280200731},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/FinkelP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CeceFI94,
  author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
                  Alain Finkel and
                  S. Purushothaman Iyer},
  editor       = {David S. Wile},
  title        = {Duplication, Insertion and Lossiness Errors in Unreliable Communication
                  Channels},
  booktitle    = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA,
                  December 6-9, 1994},
  pages        = {35--43},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/193173.195292},
  doi          = {10.1145/193173.195292},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CeceFI94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1993,
  editor       = {Patrice Enjalbert and
                  Alain Finkel and
                  Klaus W. Wagner},
  title        = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
                  Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {665},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56503-5},
  doi          = {10.1007/3-540-56503-5},
  isbn         = {3-540-56503-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1992,
  editor       = {Alain Finkel and
                  Matthias Jantzen},
  title        = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer
                  Science, Cachan, France, February 13-15, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {577},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55210-3},
  doi          = {10.1007/3-540-55210-3},
  isbn         = {3-540-55210-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Funkel91,
  author       = {Alain Finkel},
  editor       = {Grzegorz Rozenberg},
  title        = {The Minimal Coverability Graph for Petri Nets},
  booktitle    = {Advances in Petri Nets 1993, Papers from the 12th International Conference
                  on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
  series       = {Lecture Notes in Computer Science},
  volume       = {674},
  pages        = {210--243},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-56689-9\_45},
  doi          = {10.1007/3-540-56689-9\_45},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Funkel91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkelP91,
  author       = {Alain Finkel and
                  Laure Petrucci},
  editor       = {Kim Guldstrand Larsen and
                  Arne Skou},
  title        = {Avoiding State Exposion by Composition of Minimal Covering Graphs},
  booktitle    = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
                  Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {575},
  pages        = {169--180},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55179-4\_17},
  doi          = {10.1007/3-540-55179-4\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FinkelP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Finkel90,
  author       = {Alain Finkel},
  title        = {Reduction and covering of infinite reachability trees},
  journal      = {Inf. Comput.},
  volume       = {89},
  number       = {2},
  pages        = {144--179},
  year         = {1990},
  url          = {https://doi.org/10.1016/0890-5401(90)90009-7},
  doi          = {10.1016/0890-5401(90)90009-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Finkel90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FinkelC87,
  author       = {Alain Finkel and
                  Annie Choquet},
  title        = {Fifo Nets Without Order Deadlock},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {1},
  pages        = {15--36},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00268843},
  doi          = {10.1007/BF00268843},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/FinkelC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FinkelR87,
  author       = {Alain Finkel and
                  Louis E. Rosier},
  editor       = {Grzegorz Rozenberg},
  title        = {A Survey on the Decidability Questions for Classes of {FIFO} Nets},
  booktitle    = {Advances in Petri Nets 1988, covers the 8th European Workshop on Applications
                  and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected
                  papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {340},
  pages        = {106--132},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-50580-6\_26},
  doi          = {10.1007/3-540-50580-6\_26},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FinkelR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Finkel87,
  author       = {Alain Finkel},
  editor       = {Thomas Ottmann},
  title        = {A Generalization of the Procedure of Karp and Miller to Well Structured
                  Transition Systems},
  booktitle    = {Automata, Languages and Programming, 14th International Colloquium,
                  ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {267},
  pages        = {499--508},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-18088-5\_43},
  doi          = {10.1007/3-540-18088-5\_43},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Finkel87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/ChoquetF86,
  author       = {Annie Choquet and
                  Alain Finkel},
  title        = {Applications of residues for the analysis of parallel systems communicating
                  by fifo channels},
  journal      = {Bull. {EATCS}},
  volume       = {30},
  pages        = {44--56},
  year         = {1986},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/ChoquetF86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MemmiF85,
  author       = {G{\'{e}}rard Memmi and
                  Alain Finkel},
  title        = {An Introduction to Fifo Nets-Monogeneous Nets: {A} Subclass of Fifo
                  Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {35},
  pages        = {191--214},
  year         = {1985},
  url          = {https://doi.org/10.1016/0304-3975(85)90014-3},
  doi          = {10.1016/0304-3975(85)90014-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MemmiF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Finkel85,
  author       = {Alain Finkel},
  title        = {Une G{\'{e}}n{\'{e}}ralisation des Th{\'{e}}or{\`{e}}me
                  de Higman et de Simon aux Mots Infinis},
  journal      = {Theor. Comput. Sci.},
  volume       = {38},
  pages        = {137--142},
  year         = {1985},
  url          = {https://doi.org/10.1016/0304-3975(85)90216-6},
  doi          = {10.1016/0304-3975(85)90216-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Finkel85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Finkel84,
  author       = {Alain Finkel},
  title        = {Petri Nets and monogenous {FIFO} nets},
  journal      = {Bull. {EATCS}},
  volume       = {23},
  pages        = {28--30},
  year         = {1984},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Finkel84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Finkel84,
  author       = {Alain Finkel},
  editor       = {Max Fontet and
                  Kurt Mehlhorn},
  title        = {Blocage et vivacit{\'{e}} dans les r{\'{e}}seaux a pile-file},
  booktitle    = {{STACS} 84, Symposium of Theoretical Aspects of Computer Science,
                  Paris, France, 11-13 April, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {166},
  pages        = {151--162},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-12920-0\_14},
  doi          = {10.1007/3-540-12920-0\_14},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Finkel84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/FinkelM83,
  author       = {Alain Finkel and
                  G{\'{e}}rard Memmi},
  editor       = {Armin B. Cremers and
                  Hans{-}Peter Kriegel},
  title        = {Fifo nets: a new model of parallel computation},
  booktitle    = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany,
                  January 5-7, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {145},
  pages        = {111--121},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/BFb0009638},
  doi          = {10.1007/BFB0009638},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/tcs/FinkelM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics