Viktor Toman - RankMe

12 papers Journal 8Unranked 4

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	Stateless Model Checking Under a Reads-Value-From Equivalence. CAV (1) Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
2021	J	`jnl`	Stateless Model Checking under a Reads-Value-From Equivalence. CoRR Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman
2021	J	`jnl`	The reads-from equivalence for the TSO and PSO memory models. Proc. ACM Program. Lang. Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
2020	J	`jnl`	The Reads-From Equivalence for the TSO and PSO Memory Models. CoRR Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
2019	—	`conf`	Strategy Representation by Decision Trees with Linear Classifiers. QEST Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
2019	J	`jnl`	Strategy Representation by Decision Trees with Linear Classifiers. CoRR Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman
2019	J	`jnl`	Value-centric Dynamic Partial Order Reduction. CoRR Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
2019	J	`jnl`	Value-centric dynamic partial order reduction. Proc. ACM Program. Lang. Krishnendu Chatterjee, Andreas Pavlogiannis, Viktor Toman
2018	—	`conf`	Strategy Representation by Decision Trees in Reactive Synthesis. TACAS (1) Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
2018	J	`jnl`	Strategy Representation by Decision Trees in Reactive Synthesis. CoRR Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman
2018	—	`conf`	Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CAV (2) Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
2018	J	`jnl`	Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. CoRR Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman