( en | de | ru )

 

Disambiguierung von "Vojnar, Tomás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fully Automated Shape Analysis Based on Forest Automata

, , , , und . CoRR, (2013)

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.

Tomás Núñez

Tomás Vinar

Ana Teresa Monteiro Tomás

Tomás Barros

Tomás Mácha

 

Weitere Publikationen von Autoren mit dem selben Namen

Generating and using state spaces of object-oriented Petri nets., , und . Comput. Syst. Sci. Eng., 16 (3): 183-193 (2001)Partial-Order Reduction in Model Checking Object-Oriented Petri Nets., , und . EUROCAST, Volume 2809 von Lecture Notes in Computer Science, Seite 265-278. Springer, (2003)An Abstraction of Multi-port Memories with Arbitrary Addressable Units., , und . EUROCAST (1), Volume 8111 von Lecture Notes in Computer Science, Seite 460-468. Springer, (2013)ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level., und . RV, Volume 7687 von Lecture Notes in Computer Science, Seite 35-41. Springer, (2012)From Low-Level Pointers to High-Level Containers., , , , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 431-452. Springer, (2016)A platform for search-based testing of concurrent software., , , und . PDATAD, Seite 48-58. ACM, (2010)Approximate reduction of finite automata for high-speed network intrusion detection., , , , und . Int. J. Softw. Tools Technol. Transf., 22 (5): 523-539 (2020)2LS for Program Analysis., , , und . CoRR, (2023)PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)., , und . TACAS (2), Volume 12079 von Lecture Notes in Computer Science, Seite 408-412. Springer, (2020)Fast Matching of Regular Patterns with Synchronizing Counting., , , und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 392-412. Springer, (2023)