( en | de | ru )

 

Disambiguierung von "Veanes, Margus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Incremental Dead State Detection in Logarithmic Time.

, und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 241-264. Springer, (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.

Keine Personen gefunden für den Autorennamen Veanes, Margus
Eine Person hinzufügen mit dem Namen Veanes, Margus
 

Weitere Publikationen von Autoren mit dem selben Namen

On Bounded Reachability of Programs with Set Comprehensions., und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 305-317. Springer, (2008)Natural Cycletrees: Flexible Interconnection Graphs., und . J. Parallel Distributed Comput., 33 (1): 44-54 (1996)Farmer's Theorem revisited.. Inf. Process. Lett., 74 (1-2): 47-53 (2000)Generating finite state machines from abstract state machines, , , und . ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, Seite 112--122. New York, NY, USA, ACM Press, (2002)Translating C# to Branching Symbolic Transducers., und . LPAR (Short Presentations), Volume 1 von Kalpa Publications in Computing, Seite 86-99. EasyChair, (2017)Symbolic Boolean derivatives for efficiently solving extended regular expression constraints., , und . PLDI, Seite 620-635. ACM, (2021)Equivalence of Extended Symbolic Finite Transducers., und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 624-639. Springer, (2013)Monadic second-order logic on finite sequences., und . POPL, Seite 232-245. ACM, (2017)On the Undecidability of Second-Order Unification., und . Inf. Comput., 159 (1-2): 125-150 (2000)Symbolic Tree Transducers., und . Ershov Memorial Conference, Volume 7162 von Lecture Notes in Computer Science, Seite 377-393. Springer, (2011)