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 -ray Bursts Detected by the Interplanetary Network 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 | 50 | 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 | 44 | 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 | 41 | 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 | 26 | 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 |