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
892011
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
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
492014
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
452014
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
362012
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
352014
Bisimulations for non-deterministic labelled Markov processes
PR D'argenio, PS Terraf, N Wolovick
Mathematical Structures in Computer Science 22 (1), 43-68, 2012
352012
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
282009
Continuous probability and nondeterminism in labeled transition systems
N Wolovick
Ph. D. thesis, Universidad Nacional de Córdoba, 2012
212012
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
122016
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
112018
Optimizing probabilities of real-time test case execution
N Wolovick, PR D'Argenio, H Qu
2009 International Conference on Software Testing Verification and …, 2009
112009
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
72017
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
42012
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
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
22017
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
Advances in Soft Computing: 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I
F Castro, S Miranda-Jiménez, M González-Mendoza
Springer, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–20