Follow
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
1122011
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
572014
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
572006
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
542014
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
462014
Bisimulations for non-deterministic labelled Markov processes
PR D'argenio, PS Terraf, N Wolovick
Mathematical Structures in Computer Science 22 (1), 43-68, 2012
412012
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
402012
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
302009
Continuous probability and nondeterminism in labeled transition systems
N Wolovick
Ph. D. thesis, Universidad Nacional de Córdoba, 2012
242012
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
162018
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
152016
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
122017
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
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
72012
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
52017
Probabilistic Hoare-like Logics in Comparison
M Vásquez, PR D’Argenio, N Wolovick
Tech. rep. Universidad Nacional de Córdoba, 2004
42004
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
32018
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
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
22019
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
22017
The system can't perform the operation now. Try again later.
Articles 1–20