According to our database1, Nicolás Wolovick authored at least 14 papers between 2006 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
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
A Project-Based HPC Course for Single-Box Computers.
Proceedings of the 2016 Workshop on Education for High-Performance Computing, 2016
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
Measurability and safety verification for stochastic hybrid systems.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
Bisimulations for Nondeterministic Labeled Markov Processes
Automatic Probabilistic Program Verification through Random Variable Abstraction
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010
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
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006