guest ::
| 001 | 986464 | ||
| 005 | 20240709133054.0 | ||
| 024 | 7 | _ | |2 ISSN |a 2475-1421 |
| 024 | 7 | _ | |2 WOS |a WOS:001209927600034 |
| 024 | 7 | _ | |2 doi |a 10.1145/3649844 |
| 024 | 7 | _ | |2 datacite_doi |a 10.18154/RWTH-2024-05212 |
| 024 | 7 | _ | |2 SCOPUS |a SCOPUS:2-s2.0-85193808838 |
| 037 | _ | _ | |a RWTH-2024-05212 |
| 041 | _ | _ | |a English |
| 082 | _ | _ | |a 004 |
| 100 | 1 | _ | |0 P:(DE-82)IDM03695 |a Klinkenberg, Lutz |b 0 |e Corresponding author |u rwth |
| 111 | 2 | _ | |a ACM Conference on Object Oriented Programming Systems Languages and Applications |c Pasadena |d 2024-10-20 - 2024-10-25 |g OOPSLA 2024 |w USA |
| 245 | _ | _ | |a Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions |h online |
| 260 | _ | _ | |a New York, NY, USA |b ACM |c 2024 |
| 300 | _ | _ | |a 923-953 |
| 336 | 7 | _ | |0 0 |2 EndNote |a Journal Article |
| 336 | 7 | _ | |0 PUB:(DE-HGF)16 |2 PUB:(DE-HGF) |a Journal Article |b journal |m journal |
| 336 | 7 | _ | |0 PUB:(DE-HGF)8 |2 PUB:(DE-HGF) |a Contribution to a conference proceedings |
| 336 | 7 | _ | |2 BibTeX |a ARTICLE |
| 336 | 7 | _ | |2 DRIVER |a article |
| 336 | 7 | _ | |2 DataCite |a Output Types/Journal article |
| 336 | 7 | _ | |2 ORCID |a JOURNAL_ARTICLE |
| 536 | _ | _ | |0 G:(EU-Grant)787914 |a FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) |c 787914 |f ERC-2017-ADG |x 0 |
| 536 | _ | _ | |0 G:(GEPRIS)282652900 |a GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) |c 282652900 |x 1 |
| 588 | _ | _ | |a Dataset connected to CrossRef, Journals: publications.rwth-aachen.de |
| 591 | _ | _ | |a Germany |
| 591 | _ | _ | |a Peoples R China |
| 653 | _ | 7 | |a Bayesian inference |
| 653 | _ | 7 | |a Probabilistic inference problems |
| 653 | _ | 7 | |a Program reasoning |
| 653 | _ | 7 | |a Program semantics |
| 653 | _ | 7 | |a conditioning |
| 653 | _ | 7 | |a denotational semantics |
| 653 | _ | 7 | |a generating functions |
| 653 | _ | 7 | |a non-termination |
| 653 | _ | 7 | |a probabilistic programs |
| 653 | _ | 7 | |a quantitative verification |
| 700 | 1 | _ | |a Blumenthal, Christian |0 P:(DE-82)756690 |b 1 |u rwth |
| 700 | 1 | _ | |a Chen, Mingshuai |b 2 |e Corresponding author |
| 700 | 1 | _ | |a Haase, Darion |0 P:(DE-82)IDM06494 |b 3 |u rwth |
| 700 | 1 | _ | |a Katoen, Joost-Pieter |0 P:(DE-82)IDM00048 |b 4 |u rwth |
| 770 | _ | _ | |a OOPSLA1 |
| 773 | _ | _ | |0 PERI:(DE-600)2924207-1 |a 10.1145/3649844 |n OOPSLA1 |p 127 |t Proceedings of the ACM on programming languages : (PACMPL) |v 8 |x 2475-1421 |y 2024 |
| 787 | 0 | _ | |0 RWTH-2024-03173 |i IsParent |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/986464/files/986464.pdf |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:986464 |p openaire |p open_access |p driver |p VDB |p ec_fundedresources |p dnbdelivery |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM03695 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)756690 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)847964 |a RWTH Aachen |b 3 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00048 |a RWTH Aachen |b 4 |k RWTH |
| 915 | 1 | _ | |0 StatID:(DE-HGF)0031 |2 StatID |a Peer reviewed article |x 0 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0150 |2 StatID |a DBCoverage |b Web of Science Core Collection |d 2023-10-27 |
| 915 | _ | _ | |0 LIC:(DE-HGF)CCBY4 |2 HGFVOC |a Creative Commons Attribution CC BY 4.0 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0100 |2 StatID |a JCR |b P ACM PROGRAM LANG : 2022 |d 2023-10-27 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0112 |2 StatID |a WoS |b Emerging Sources Citation Index |d 2023-10-27 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0200 |2 StatID |a DBCoverage |b SCOPUS |d 2023-10-27 |
| 915 | _ | _ | |0 StatID:(DE-HGF)9900 |2 StatID |a IF < 5 |d 2023-10-27 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0510 |2 StatID |a OpenAccess |
| 915 | _ | _ | |0 StatID:(DE-HGF)0300 |2 StatID |a DBCoverage |b Medline |d 2023-10-27 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0199 |2 StatID |a DBCoverage |b Clarivate Analytics Master Journal List |d 2023-10-27 |
| 920 | 1 | _ | |0 I:(DE-82)121310_20140620 |k 121310 |l Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 920 | 1 | _ | |0 I:(DE-82)080017_20140620 |k 080017 |l Profilbereich Information & Communication Technology (ICT) |x 2 |
| 980 | 1 | _ | |a FullTexts |
| 980 | _ | _ | |a I:(DE-82)080017_20140620 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)121310_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a contrib |
| 980 | _ | _ | |a journal |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|