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
118 2011 Search for Gravitational Waves Associated with J Aasi, BP Abbott, R Abbott, T Abbott, MR Abernathy, F Acernese, ...
Physical review letters 113 (1), 011102, 2014
61 2014 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
57 2006 Multimessenger search for sources of gravitational waves and high-energy neutrinos: Initial results for LIGO-Virgo and IceCube MG Aartsen, M Ackermann, J Adams, JA Aguilar, M Ahlers, M Ahrens, ...
Physical Review D 90 (10), 102002, 2014
55 2014 Methods and results of a search for gravitational waves associated with gamma-ray bursts using the GEO 600, LIGO, and Virgo detectors J Aasi, BP Abbott, R Abbott, T Abbott, MR Abernathy, F Acernese, ...
Physical Review D 89 (12), 122004, 2014
51 2014 Bisimulations for non-deterministic labelled Markov processes PR D'argenio, PS Terraf, N Wolovick
Mathematical Structures in Computer Science 22 (1), 43-68, 2012
43 2012 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
40 2012 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
32 2009 Continuous probability and nondeterminism in labeled transition systems N Wolovick
Ph. D. thesis, Universidad Nacional de Córdoba, 2012
25 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
17 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
15 2016 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
13 2017 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 A theory for the semantics of stochastic and non-deterministic continuous systems CE Budde, PR D’Argenio, P Sánchez Terraf, N Wolovick
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
7 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
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 Power efficiency analysis of a deep learning workload on an IBM “Minsky” Platform MD Mazuecos Pérez, NG Seiler, CS Bederián, N Wolovick, AJ Vega
High Performance Computing: 5th Latin American Conference, CARLA 2018 …, 2019
3 2019 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
3 2018 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 The road from stochastic automata to the simulation of rare events PR D’Argenio, CE Budde, MD Lee, RE Monti, L Rodríguez, N Wolovick
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of …, 2017
2 2017 
Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETEmail verificata su famaf.unc.edu.ar