Nicolás Wolovick |
 |
|
Senior Lecturer (Profesor Asociado)
|
Nicolás obtained his MSc degree and PhD degree in Computer Science in FAMAF, UNC, in 1999 and 2012 respectively. He is currently a member of the board of directors of the CCAD, the High Performance Computer Center of the UNC.
Publications:
, “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, Springer Berlin Heidelberg, 2014, pp. 67-86.
paper-513.pdf (976.31 KB)
paper-513.pdf (976.31 KB) , “Continuous probability and nondeterminism in labeled transaction systems”, Universidad Nacional de Córdoba, Córdoba, 2012. paper-175.pdf (1015.21 KB)
paper-175.pdf (1015.21 KB) , “Bisimulations for non-deterministic labelled Markov processes”, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012. paper-39.pdf (250.46 KB)
paper-39.pdf (250.46 KB) , “q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms”, Computer Physics Communications, vol. 183, pp. 1578-1587, 2012. paper-128.pdf (692.27 KB)
paper-128.pdf (692.27 KB) , “Measurability and safety verification for stochastic hybrid systems”, in Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, 2011, pp. 43-52.
, “Automatic Probabilistic Program Verification through Random Variable Abstraction”, in Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 2010, vol. EPTCS 28, pp. 34-47. paper-24.pdf (404.61 KB)
paper-24.pdf (404.61 KB)