Nicolás Wolovick
Nicolás Wolovick
Full Professor of Computer Science, Universidad Nacional de Córdoba
Verified email at famaf.unc.edu.ar - Homepage
Title
Cited by
Cited by
Year
Measurability and safety verification for stochastic hybrid systems
M Fränzle, EM Hahn, H Hermanns, N Wolovick, L Zhang
Proceedings of the 14th international conference on Hybrid systems …, 2011
832011
A characterization of meaningful schedulers for continuous-time Markov decision processes
N Wolovick, S Johr
International Conference on Formal Modeling and Analysis of Timed Systems …, 2006
562006
q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms
EE Ferrero, JP De Francesco, N Wolovick, SA Cannas
Computer Physics Communications 183 (8), 1578-1587, 2012
372012
Bisimulations for non-deterministic labelled Markov processes
PR D'argenio, PS Terraf, N Wolovick
Mathematical Structures in Computer Science 22 (1), 43-68, 2012
342012
Nondeterministic labeled Markov processes: Bisimulations and logical characterization
PR D'Argenio, N Wolovick, PS Terraf, P Celayes
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
262009
Continuous probability and nondeterminism in labeled transition systems
N Wolovick
Ph. D. thesis, Universidad Nacional de Córdoba, 2012
192012
Performance characterization of state-of-the-art deep learning workloads on an ibm" minsky" platform
M Guignard, M Schild, CS Bederián, N Wolovick, AJ Vega
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018
122018
Consideraciones sobre el voto electrónico
M Montes, D Penazzi, N Wolovick
X Simposio de Informática en el Estado (SIE 2016)-JAIIO 45 (Tres de Febrero …, 2016
112016
Optimizing probabilities of real-time test case execution
N Wolovick, PR D'Argenio, H Qu
2009 International Conference on Software Testing Verification and …, 2009
102009
Performance analysis and comparison of cellular automata GPU implementations
EN Millán, N Wolovick, MF Piccoli, CG Garino, EM Bringa
Cluster Computing 20 (3), 2763-2777, 2017
52017
Probabilistic Hoare-like Logics in Comparison
M Vásquez, PR D’Argenio, N Wolovick
Tech. rep. Universidad Nacional de Córdoba, 2004
42004
Real-time FullHD Tracking-Learning-Detection on a 2-SMX GPU
J Atala, C Bederián, A Bordese, F Gaich, G Ingaramo, J Medina, ...
GTC 2015, 2015
32015
A theory for the semantics of stochastic and non-deterministic continuous systems
CE Budde, PR D’Argenio, PS Terraf, N Wolovick
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
32012
Un caso de transferencia de tecnología de HPC entre CCAD-UNC, FAMAF-UNC y Tarjeta Naranja SA
CS Bederián, G Gaudiano, J Larrechart, M Mambrín, M Onetti, AI Silva, ...
XII Jornadas de Vinculación Universidad-Industria (JUI)-JAIIO 48 (Salta, 2019), 2019
12019
MS101, la maquinita de bazán
E Chesini, G Del Dago, N Wolovick
Anales del V Simposio de Historia de la Informática en América Latina y el …, 2018
12018
Boosting Materials Science Simulations by High Performance Computing
EN Millán, CA Ruestes, N Wolovick, EM Bringa
Mecánica Computacional 35 (10), 467-482, 2017
12017
LEGv8, Raspberry Pi 3 y una vieja fórmula
P Ferreyra, A Laprovitta, D Velez Ibarra, G Vodanovic, N Wolovick
XXIII Congreso Argentino de Ciencias de la Computación (La Plata, 2017)., 2017
12017
A project-based hpc course for single-box computers
C Bederián, N Wolovick
2016 Workshop on Education for High-Performance Computing (EduHPC), 1-6, 2016
12016
Enseñar a Programar y Programar para Aprender
N Wolovick, MC Martínez
Virtualidad, Educación y Ciencia 7 (12), 8-10, 2016
12016
Automatic probabilistic program verification through random variable abstraction
D Barsotti, N Wolovick
arXiv preprint arXiv:1006.5096, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–20