| 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 | 78 | 2011 |
| 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 | 56 | 2006 |
| 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 | 34 | 2012 |
| Bisimulations for nondeterministic labeled Markov processes P D'Argenio, PS Terraf, N Wolovick arXiv preprint arXiv:1011.3362, 2010 | 34 | 2010 |
| 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 | 26 | 2009 |
| Continuous probability and nondeterminism in labeled transition systems N Wolovick Ph. D. thesis, Universidad Nacional de Córdoba, 2012 | 19 | 2012 |
| 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 | 10 | 2018 |
| 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 | 10 | 2016 |
| Optimizing probabilities of real-time test case execution N Wolovick, PR D'Argenio, H Qu 2009 International Conference on Software Testing Verification and …, 2009 | 10 | 2009 |
| High Performance Computing E Meneses, H Castro, CJB Hernández, R Ramos-Pollan Springer International Publishing, 2019 | 6 | 2019 |
| 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 | 5 | 2017 |
| Probabilistic Hoare-like Logics in Comparison M Vásquez, PR D’Argenio, N Wolovick Tech. rep. Universidad Nacional de Córdoba, 2004 | 4 | 2004 |
| 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 | 3 | 2015 |
| 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 | 3 | 2012 |
| 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 | 1 | 2017 |
| 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 | 1 | 2016 |
| Enseñar a Programar y Programar para Aprender N Wolovick, MC Martínez Virtualidad, Educación y Ciencia 7 (12), 8-10, 2016 | 1 | 2016 |
| Automatic probabilistic program verification through random variable abstraction D Barsotti, N Wolovick arXiv preprint arXiv:1006.5096, 2010 | 1 | 2010 |
| 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 | | 2019 |
| Power Efficiency Analysis of a Deep Learning Workload on an IBM “Minsky” Platform MDM Pérez, NG Seiler, CS Bederián, N Wolovick, AJ Vega Latin American High Performance Computing Conference, 255-262, 2018 | | 2018 |
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
