( en | de | ru )

 

Disambiguation of "Toman, Viktor"

Author of the publication

copydeleteadd this publication to your clipboard
The Reads-From Equivalence for the TSO and PSO Memory Models.

, , , , and . CoRR, (2020)

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. You can also use the button next to the name to display some publications already assigned to the person.

Andrea Toman

Rudolf Toman

Hans Toman

Nidal Toman

Hartmut Tomann

 

Other publications of authors with the same name

The Reads-From Equivalence for the TSO and PSO Memory Models., , , , and . CoRR, (2020)Stateless Model Checking Under a Reads-Value-From Equivalence., , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 341-366. Springer, (2021)Strategy Representation by Decision Trees with Linear Classifiers., , , , , and . QEST, volume 11785 of Lecture Notes in Computer Science, page 109-128. Springer, (2019)Value-centric dynamic partial order reduction., , and . Proc. ACM Program. Lang., 3 (OOPSLA): 124:1-124:29 (2019)The reads-from equivalence for the TSO and PSO memory models., , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-30 (2021)Strategy Representation by Decision Trees in Reactive Synthesis., , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 385-407. Springer, (2018)Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives., , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 178-197. Springer, (2018)