# Nicolás Wolovick

According to our database

Collaborative distances:

^{1}, Nicolás Wolovick authored at least 14 papers between 2006 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Power Efficiency Analysis of a Deep Learning Workload on an IBM "Minsky" Platform.

Proceedings of the High Performance Computing - 5th Latin American Conference, 2018

2017

Performance analysis and comparison of cellular automata GPU implementations.

Cluster Computing, 2017

The Road from Stochastic Automata to the Simulation of Rare Events.

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

A Project-Based HPC Course for Single-Box Computers.

Proceedings of the 2016 Workshop on Education for High-Performance Computing, 2016

2012

Bisimulations for non-deterministic labelled Markov processes.

Math. Struct. Comput. Sci., 2012

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

Comput. Phys. Commun., 2012

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

2011

Measurability and safety verification for stochastic hybrid systems.

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Bisimulations for Nondeterministic Labeled Markov Processes

CoRR, 2010

Automatic Probabilistic Program Verification through Random Variable Abstraction

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2009

Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.

Proceedings of the QEST 2009, 2009

Optimizing Probabilities of Real-Time Test Case Execution.

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2006

A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006