From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “probabilistic programs” 18

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

0

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Hark, Jürgen Giesl

0

citations
Verifying Probabilistic Programs
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Petri Nets in System Modeling Open access

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations
Probabilistic Hyperproperties
2020 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

Erika Ábrahám

0

citations
Foundations of Probabilistic Programming
2020 Cambridge University Press eBooks book Computer Science Logic, programming, and type systems Open access

Fredrik Dahlqvist, Alexandra Silva, Dexter C. Kozen, Sam Staton, Daniel Huang, Greg Morrisett, +40 more

63

citations
Out of Control: Reducing Probabilistic Models by Control-State Elimination
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Johannes C. Lehmann, Joost-Pieter Katoen

0

citations
Preface
2020 other Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
Tabular: Probabilistic Inference from the Spreadsheet
2020 Cambridge University Press eBooks book-chapter Computer Science Bayesian Modeling and Causal Inference

Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Thore Graepel, Daniel Tarlow

0

citations
PROBABILISTIC GEOMODELING: RECENT DEVELOPMENTS AND RELATIONSHIP TO REALITY
2020 Abstracts with programs - Geological Society of America conference-paper Earth and Planetary Sciences Geological Modeling and Analysis

Florian Wellmann, Miguel de la Varga, Jan von Harten, Alexander Schaaf, Elisa Heim, Alexander Jüstel, +1 more

0

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Converting networks to predictive logic models from perturbation signalling data with CellNOpt
2020 Bioinformatics article Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

Enio Gjerga, Panuwat Trairatphisan, Attila Gábor, Hermann Koch, Franceco Ceccarelli, Aurélien J. F. Dugourd, +2 more

37

citations
Converting networks to predictive logic models from perturbation signalling data with CellNOpt
2020 bioRxiv (Cold Spring Harbor Laboratory) preprint Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

Enio Gjerga, Panuwat Trairatphisan, Attila Gábor, Hermann Koch, Francesco Ceccarelli, Aurélien J. F. Dugourd, +2 more

4

citations
Weisfeiler and Leman’s Unlikely Journey from Graph Isomorphism to Neural Networks (Invited Talk)
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Graph Theory and Algorithms Open access

Martin Grohe

0

citations
Generative Datalog with Continuous Distributions
2020 ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) conference-paper Computer Science Advanced Database Systems and Queries

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

7

citations
Generative Datalog with Continuous Distributions
2020 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

0

citations
Towards reproducing seismic interpretation uncertainties using open-source stochastic geomodeling in Python
2020 conference-abstract Earth and Planetary Sciences Geological Modeling and Analysis Open access

Alexander Schaaf, Miguel de la Varga, Clare Elizabeth Bond, Florian Wellmann

0

citations

18 results