( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timed Comparisons of Semi-Markov Processes.

, , , , и . CoRR, (2017)

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.

Adolf Radusch

Hans-Joachim Raduach

Georgeta Radu

Florin Radu

Iulian Radu

 

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

On decidability of recursive weighted logics., , и . Soft Comput., 22 (4): 1085-1102 (2018)Converging from branching to linear metrics on Markov chains., , , и . Math. Struct. Comput. Sci., 29 (1): 3-37 (2019)A Hemimetric Extension of Simulation for Semi-Markov Decision Processes., , , и . QEST, том 11024 из Lecture Notes in Computer Science, стр. 339-355. Springer, (2018)A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents., , и . Int. J. Found. Comput. Sci., 19 (5): 1199-1221 (2008)Partial Knowledge in Membrane Systems: A Logical Approach., и . Workshop on Membrane Computing, том 4361 из Lecture Notes in Computer Science, стр. 279-297. Springer, (2006)Computing Probabilistic Bisimilarity Distances for Probabilistic Automata., , , , , и . Log. Methods Comput. Sci., (2021)Stochastic Pi-calculus Revisited., и . ICTAC, том 8049 из Lecture Notes in Computer Science, стр. 1-21. Springer, (2013)A Complete Approximation Theory for Weighted Transition Systems., , , , и . SETTA, том 9984 из Lecture Notes in Computer Science, стр. 213-228. (2016)Probabilistic Mu-Calculus: Decidability and Complete Axiomatization., , и . FSTTCS, том 65 из LIPIcs, стр. 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Unrestricted stone duality for Markov processes., , , , и . LICS, стр. 1-9. IEEE Computer Society, (2017)