Nicolás Wolovick
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [j3]Emmanuel N. Millán, Nicolás Wolovick, María Fabiana Piccoli, Carlos García Garino, Eduardo M. Bringa:
Performance analysis and comparison of cellular automata GPU implementations. Cluster Computing 20(3): 2763-2777 (2017) - [c8]Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick:
The Road from Stochastic Automata to the Simulation of Rare Events. ModelEd, TestEd, TrustEd 2017: 276-294 - 2016
- [c7]Carlos S. Bederian, Nicolás Wolovick:
A Project-Based HPC Course for Single-Box Computers. EduHPC@SC 2016: 1-6 - 2012
- [j2]Ezequiel E. Ferrero, Juan Pablo De Francesco, Nicolás Wolovick, Sergio A. Cannas:
q-state Potts model metastability study using optimized GPU-based Monte Carlo algorithms. Computer Physics Communications 183(8): 1578-1587 (2012) - [j1]Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick:
Bisimulations for non-deterministic labelled Markov processes. Mathematical Structures in Computer Science 22(1): 43-68 (2012) - [c6]Carlos E. Budde, Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick:
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems. ROCKS 2012: 67-86 - 2011
- [c5]Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang:
Measurability and safety verification for stochastic hybrid systems. HSCC 2011: 43-52 - 2010
- [c4]Damián Barsotti, Nicolás Wolovick:
Automatic Probabilistic Program Verification through Random Variable Abstraction. QAPL 2010: 34-47 - [i1]Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick:
Bisimulations for Nondeterministic Labeled Markov Processes. CoRR abs/1011.3362 (2010)
2000 – 2009
- 2009
- [c3]Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu:
Optimizing Probabilities of Real-Time Test Case Execution. ICST 2009: 446-455 - [c2]Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes:
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. QEST 2009: 11-20 - 2006
- [c1]Nicolás Wolovick, Sven Johr:
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes. FORMATS 2006: 352-367
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-10-24 06:23 CEST by the dblp team