From

Institution

Field

Type

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

Reset

Papers matching “probabilistic programming” 16

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
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
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
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
Preface
2020 other Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

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
Direct plastic structural design under random strength and random load by chance constrained programming
2020 European Journal of Mechanics - A/Solids article Decision Sciences Probabilistic and Robust Engineering Design

Ngọc Trình Trần, Manfred Staat

7

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
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
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

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

16 results