Nicolás Wolovick

text hidden; JavaScript is required / home page


P. R. D'Argenio, Budde, C. E., Lee, M. D., Monti, R. E., Rodríguez, L., and Wolovick, N., The Road from Stochastic Automata to the Simulation of Rare Events, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, J. - P. Katoen, Langerak, R., and Rensink, A. Springer, 2017, pp. 276-294.PDF icon paper-752.pdf (1.51 MB)
M. Montes, Penazzi, D., and Wolovick, N., Consideraciones Sobre el Voto Electrónico, in 10º Simposio de Informática en el Estado, SIE 2016, 45 JAIIO, 2016, pp. 297-307.PDF icon paper-666.PDF (135.19 KB)
C. E. Budde, D'Argenio, P. R., Sánchez Terraf, P., and Wolovick, N., A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, A. Remke and D'Argenio, P. R. Springer Berlin Heidelberg, 2014, pp. 67-86.PDF icon paper-513.pdf (976.31 KB)
P. R. D'Argenio, Sánchez Terraf, P., and Wolovick, N., Bisimulations for non-deterministic labelled Markov processes, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012.PDF icon paper-39.pdf (250.46 KB)


Powered by Drupal