[Lecture Notes in Computer Science] Computer Science Logic Volume 2803 || Computational Mathematics, Computational Logic, and Symbolic ComputationBaaz, Matthias; Makowsky, Johann A. · 2003

[Lecture Notes in Computer Science] Computational Intelligence Volume 1625 ||Reusch, Bernd · 1999

[Lecture Notes in Computer Science] Computational Cardiology Volume 2966 ||Sachse, Frank B. · 2004

Lecture Notes in Computer Science 3146 Computational Neuroscience:Cortical DynamicsSpinger · 2004

[Lecture Notes in Computer Science] Computer Science Logic Volume 1414 || Evolution as a computational engineNielsen, Mogens; Thomas, Wolfgang · 1998

[Lecture Notes in Computer Science] Computational Forensics Volume 8915 ||Garain, Utpal; Shafait, Faisal · 2015

[Lecture Notes in Computer Science] Computational Forensics Volume 5158 ||Srihari, Sargur N.; Franke, Katrin · 2008

[Lecture Notes in Computer Science] Computational Science - ICCS 2004 Volume 3039 ||Bubak, Marian; van Albada, Geert Dick; Sloot, Peter M. A.; Dongarra, Jack · 2004

Smoothed model checking for uncertain Continuous-Time Markov ChainsBortolussi, Luca; Milios, Dimitrios; Sanguinetti, Guido · Information and Computation · 2016

System design of stochastic models using robustness of temporal propertiesBartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido · Theoretical Computer Science · 2015

Policy learning in continuous-time Markov decision processes using Gaussian ProcessesBartocci, Ezio; Bortolussi, Luca; Brázdil, Tomas; Milios, Dimitrios; Sanguinetti, Guido · Performance Evaluation · 2017

[IEEE 2018 Winter Simulation Conference (WSC) - Gothenburg, Sweden (2018.12.9-2018.12.12)] 2018 Winter Simulation Conference (WSC) - BAYESIAN STATISTICAL PARAMETRIC VERIFICATION AND SYNTHESIS BY MACHINE LEARNINGBortolussi, Luca; Sanguinetti, Guido; Silvetti, Simone · 2018