Nicolás Wolovick

Measurability and safety verification for stochastic hybrid systems

Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns et al. · 2011 · 91 citations

Engineering, Systems Engineering, Dynamical Systems +16

q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms

Ezequiel E. Ferrero, Juan Pablo De Francesco, Nicolás Wolovick et al. · Computer Physics Communications · 2012 · 33 citations · Full text

Computing, Computer Engineering, High-performance Computing +12

Bisimulations for non-deterministic labelled Markov processes

Pedro R. D’Argenio, Pedro Sánchez Terraf, Nicolás Wolovick · Mathematical Structures in Computer Science · 2011 · 28 citations · Full text

Engineering, Computer Science, Mathematics +10

Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization

Pedro R. D’Argenio, Nicolás Wolovick, Pedro Sánchez Terraf et al. · 2009 · 23 citations

Engineering, Computer Science, Mathematics +10

Performance Characterization of State-Of-The-Art Deep Learning Workloads on an IBM "Minsky" Platform

Mauricio Guignard, Marcelo Schild, Carlos Bederián et al. · Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences · 2018 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +17