Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dirichlet-based Gaussian Processes for Large-scale Calibrated Classification., , , , and . NeurIPS, page 6008-6018. (2018)Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction., , and . CMSB, volume 9308 of Lecture Notes in Computer Science, page 40-51. Springer, (2015)Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference., , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 289-305. Springer, (2018)Sparse within Sparse Gaussian Processes using Neighbor Information., , , and . CoRR, (2020)Imposing Functional Priors on Bayesian Neural Networks., , and . ICPRAM, page 450-457. SCITEPRESS, (2023)Markov Chain Simulation with Fewer Random Samples., and . PASM/PDMC, volume 296 of Electronic Notes in Theoretical Computer Science, page 183-197. Elsevier, (2012)Machine Learning Methods in Statistical Model Checking and System Design - Tutorial., , and . RV, volume 9333 of Lecture Notes in Computer Science, page 323-341. Springer, (2015)Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic., , , , and . HSB, volume 9271 of Lecture Notes in Computer Science, page 156-172. Springer, (2015)Variational Bootstrap for Classification., , and . KES, volume 207 of Procedia Computer Science, page 1222-1231. Elsevier, (2022)Data-Driven Resource Shaping for Compute Clusters., , , , and . SoCC, page 527. ACM, (2018)