( en | de | ru )

 

Disambiguierung von "Ouaknine, Joël"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Transcendence of Sturmian Numbers over an Algebraic Base.

, , und . CoRR, (2023)

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.

Joël Ouaknine

Hans Joël

Georg Joël

Ernst Joël

Karl Guenter Joël

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Monniaux Problem in Abstract Interpretation., , , , , und . SAS, Volume 11822 von Lecture Notes in Computer Science, Seite 162-180. Springer, (2019)Sequential Relational Decomposition., , , und . Log. Methods Comput. Sci., (2022)Reachability in Dynamical Systems with Rounding., , , , , , , , und . FSTTCS, Volume 182 von LIPIcs, Seite 36:1-36:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Porous Invariants., , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 172-194. Springer, (2021)On Reachability Problems for Low-Dimensional Matrix Semigroups., , , und . ICALP, Volume 132 von LIPIcs, Seite 44:1-44:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Positivity Problems for Reversible Linear Recurrence Sequences., , , und . ICALP, Volume 261 von LIPIcs, Seite 130:1-130:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem., , , , und . Theory Comput. Syst., 63 (5): 1027-1048 (2019)On Termination of Integer Linear Loops., , und . CoRR, (2019)On Positivity and Minimality for Second-Order Holonomic Sequences., , , , , , , und . CoRR, (2020)On Strongest Algebraic Program Invariants., , , und . J. ACM, 70 (5): 29:1-29:22 (Oktober 2023)