( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Composed Bisimulation for Tree Automata.

, , , , и . CIAA, том 5148 из Lecture Notes in Computer Science, стр. 212-222. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Tomás Núñez

Tomás Vinar

Ana Teresa Monteiro Tomás

Tomás Barros

Tomás Mácha

 

Другие публикации лиц с тем же именем

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