( en | de | ru )

 

Disambiguierung von "Lefaucheux, Engel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Positivity and Minimality for Second-Order Holonomic Sequences.

, , , , , , , und . MFCS, Volume 202 von LIPIcs, Seite 67:1-67:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kathrin Engel

Andreas Engel

Wolfgang Engel

Wolfgang Engel

Wolfgang Engel

 

Weitere Publikationen von Autoren mit dem selben Namen

Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set., , , , und . MFCS, Volume 241 von LIPIcs, Seite 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Probabilistic Disclosure: Maximisation vs. Minimisation., , und . FSTTCS, Volume 93 von LIPIcs, Seite 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)On Positivity and Minimality for Second-Order Holonomic Sequences., , , , , , , und . CoRR, (2020)Diagnosability of repairable faults., , , und . Discrete Event Dynamic Systems, 28 (2): 183-213 (2018)Diagnosability of repairable faults., , , und . WODES, Seite 230-236. IEEE, (2016)Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications., , , , , , , , und . CONCUR, Volume 243 von LIPIcs, Seite 10:1-10:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Controlling information in Probabilistic Systems. (Le contrôle de l'information dans les systèmes probabilistes).. University of Rennes 1, France, (2018)Model Checking Linear Dynamical Systems under Floating-point Rounding., , , und . CoRR, (2022)One-Clock Priced Timed Games with Negative Weights., , , , und . Log. Methods Comput. Sci., (2022)What's decidable about linear loops?, , , , , , und . Proc. ACM Program. Lang., 6 (POPL): 1-25 (2022)