( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Monitoring C/C++ Transactional Memory Programs.

, , , и . MEMICS, том 8934 из Lecture Notes in Computer Science, стр. 73-87. Springer, (2014)

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

 

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

Approximate reduction of finite automata for high-speed network intrusion detection., , , , и . Int. J. Softw. Tools Technol. Transf., 22 (5): 523-539 (2020)Monotonic Abstraction for Programs with Multiply-Linked Structures., , и . Int. J. Found. Comput. Sci., 24 (2): 187-210 (2013)Generating and using state spaces of object-oriented Petri nets., , и . Comput. Syst. Sci. Eng., 16 (3): 183-193 (2001)Nested antichains for WS1S., , , и . Acta Inf., 56 (3): 205-228 (2019)Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection., , , , и . CoRR, (2017)Abstraction Refinement for Trace Inclusion of Data Automata., , и . CoRR, (2014)An Abstraction of Multi-port Memories with Arbitrary Addressable Units., , и . EUROCAST (1), том 8111 из Lecture Notes in Computer Science, стр. 460-468. Springer, (2013)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)From Low-Level Pointers to High-Level Containers., , , , и . VMCAI, том 9583 из Lecture Notes in Computer Science, стр. 431-452. Springer, (2016)Partial-Order Reduction in Model Checking Object-Oriented Petri Nets., , и . EUROCAST, том 2809 из Lecture Notes in Computer Science, стр. 265-278. Springer, (2003)