( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parameter-Independent Strategies for pMDPs via POMDPs.

, , , , и . QEST, том 11024 из Lecture Notes in Computer Science, стр. 53-70. Springer, (2018)

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.

Viktoriya Sokolova

Lucie Sokolova

Iryna Sokolova

Olga Sokolova

Juliana Sokolova

 

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

The Logical Execution Time Paradigm., и . Advances in Real-Time Systems, стр. 103-120. Springer, (2012)Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)., , , и . Dagstuhl Reports, 12 (12): 27-53 (декабря 2022)Scalability versus semantics of concurrent FIFO queues., , , и . PODC, стр. 331-332. ACM, (2011)Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation., , , , , , и . Conf. Computing Frontiers, стр. 17:1-17:9. ACM, (2013)Traces, Executions and Schedulers, Coalgebraically., и . CALCO, том 5728 из Lecture Notes in Computer Science, стр. 206-220. Springer, (2009)Preface for the special issue on Interaction and Concurrency Experience 2012., , , и . Sci. Comput. Program., (2015)Trace semantics via determinization., , и . J. Comput. Syst. Sci., 81 (5): 859-879 (2015)Generic Trace Semantics via Coinduction., , и . Log. Methods Comput. Sci., (2007)Scal: A Benchmarking Suite for Concurrent Data Structures., , , , , и . NETYS, том 9466 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2015)Probabilistic Automata: System Types, Parallel Composition and Comparison., и . Validation of Stochastic Systems, том 2925 из Lecture Notes in Computer Science, стр. 1-43. Springer, (2004)