( en | de | ru )

 

Disambiguierung von "Ramneantu, Emanuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automata Tutor v3

, , , , und . Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Volume 12225 von Lecture Notes in Computer Science, Seite 3-14. Springer, (Oktober 2020)
DOI: 10.1007/978-3-030-53291-8_1

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.

Emanuel Sevrugian

Emanuel Hiller

Emanuel Horn

Emanuel Krauss

Emanuel Schereschewsky

 

Weitere Publikationen von Autoren mit dem selben Namen

Comparison of Algorithms for Simple Stochastic Games., , , und . GandALF, Volume 326 von EPTCS, Seite 131-148. (2020)Comparison of Algorithms for Simple Stochastic Games (Full Version)., , , und . CoRR, (2020)Automata Tutor v3., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 3-14. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.01419">Link</a><br>#conference.Comparison of algorithms for simple stochastic games., , , und . Inf. Comput., 289 (Part): 104885 (2022)Irregularly-Sampled Time Series Modeling with Spline Networks., , und . CoRR, (2022)Automata Tutor v3., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 3-14. Springer, (2020)