h1

000986464 001__ 986464
000986464 005__ 20240709133054.0
000986464 0247_ $$2ISSN$$a2475-1421
000986464 0247_ $$2WOS$$aWOS:001209927600034
000986464 0247_ $$2doi$$a10.1145/3649844
000986464 0247_ $$2datacite_doi$$a10.18154/RWTH-2024-05212
000986464 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85193808838
000986464 037__ $$aRWTH-2024-05212
000986464 041__ $$aEnglish
000986464 082__ $$a004
000986464 1001_ $$0P:(DE-82)IDM03695$$aKlinkenberg, Lutz$$b0$$eCorresponding author$$urwth
000986464 1112_ $$aACM Conference on Object Oriented Programming Systems Languages and Applications$$cPasadena$$d2024-10-20 - 2024-10-25$$gOOPSLA 2024$$wUSA
000986464 245__ $$aExact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions$$honline
000986464 260__ $$aNew York, NY, USA$$bACM$$c2024
000986464 300__ $$a923-953
000986464 3367_ $$00$$2EndNote$$aJournal Article
000986464 3367_ $$0PUB:(DE-HGF)16$$2PUB:(DE-HGF)$$aJournal Article$$bjournal$$mjournal
000986464 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings
000986464 3367_ $$2BibTeX$$aARTICLE
000986464 3367_ $$2DRIVER$$aarticle
000986464 3367_ $$2DataCite$$aOutput Types/Journal article
000986464 3367_ $$2ORCID$$aJOURNAL_ARTICLE
000986464 536__ $$0G:(EU-Grant)787914$$aFRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914)$$c787914$$fERC-2017-ADG$$x0
000986464 536__ $$0G:(GEPRIS)282652900$$aGRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900)$$c282652900$$x1
000986464 588__ $$aDataset connected to CrossRef, Journals: publications.rwth-aachen.de
000986464 591__ $$aGermany
000986464 591__ $$aPeoples R China
000986464 653_7 $$aBayesian inference
000986464 653_7 $$aProbabilistic inference problems
000986464 653_7 $$aProgram reasoning
000986464 653_7 $$aProgram semantics
000986464 653_7 $$aconditioning
000986464 653_7 $$adenotational semantics
000986464 653_7 $$agenerating functions
000986464 653_7 $$anon-termination
000986464 653_7 $$aprobabilistic programs
000986464 653_7 $$aquantitative verification
000986464 7001_ $$0P:(DE-82)756690$$aBlumenthal, Christian$$b1$$urwth
000986464 7001_ $$aChen, Mingshuai$$b2$$eCorresponding author
000986464 7001_ $$0P:(DE-82)IDM06494$$aHaase, Darion$$b3$$urwth
000986464 7001_ $$0P:(DE-82)IDM00048$$aKatoen, Joost-Pieter$$b4$$urwth
000986464 770__ $$aOOPSLA1
000986464 773__ $$0PERI:(DE-600)2924207-1$$a10.1145/3649844$$nOOPSLA1$$p127$$tProceedings of the ACM on programming languages : (PACMPL)$$v8$$x2475-1421$$y2024
000986464 7870_ $$0RWTH-2024-03173$$iIsParent
000986464 8564_ $$uhttps://publications.rwth-aachen.de/record/986464/files/986464.pdf$$yOpenAccess
000986464 909CO $$ooai:publications.rwth-aachen.de:986464$$pdnbdelivery$$pec_fundedresources$$pVDB$$pdriver$$popen_access$$popenaire
000986464 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM03695$$aRWTH Aachen$$b0$$kRWTH
000986464 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)756690$$aRWTH Aachen$$b1$$kRWTH
000986464 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)847964$$aRWTH Aachen$$b3$$kRWTH
000986464 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00048$$aRWTH Aachen$$b4$$kRWTH
000986464 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0
000986464 915__ $$0StatID:(DE-HGF)0150$$2StatID$$aDBCoverage$$bWeb of Science Core Collection$$d2023-10-27
000986464 915__ $$0LIC:(DE-HGF)CCBY4$$2HGFVOC$$aCreative Commons Attribution CC BY 4.0
000986464 915__ $$0StatID:(DE-HGF)0100$$2StatID$$aJCR$$bP ACM PROGRAM LANG : 2022$$d2023-10-27
000986464 915__ $$0StatID:(DE-HGF)0112$$2StatID$$aWoS$$bEmerging Sources Citation Index$$d2023-10-27
000986464 915__ $$0StatID:(DE-HGF)0200$$2StatID$$aDBCoverage$$bSCOPUS$$d2023-10-27
000986464 915__ $$0StatID:(DE-HGF)9900$$2StatID$$aIF < 5$$d2023-10-27
000986464 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000986464 915__ $$0StatID:(DE-HGF)0300$$2StatID$$aDBCoverage$$bMedline$$d2023-10-27
000986464 915__ $$0StatID:(DE-HGF)0199$$2StatID$$aDBCoverage$$bClarivate Analytics Master Journal List$$d2023-10-27
000986464 9201_ $$0I:(DE-82)121310_20140620$$k121310$$lLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$x0
000986464 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1
000986464 9201_ $$0I:(DE-82)080017_20140620$$k080017$$lProfilbereich Information & Communication Technology (ICT)$$x2
000986464 961__ $$c2024-05-21T10:08:31.961253$$x2024-05-21T10:08:31.961253$$z2024-05-21T10:08:31.961253
000986464 9801_ $$aFullTexts
000986464 980__ $$aI:(DE-82)080017_20140620
000986464 980__ $$aI:(DE-82)120000_20140620
000986464 980__ $$aI:(DE-82)121310_20140620
000986464 980__ $$aUNRESTRICTED
000986464 980__ $$aVDB
000986464 980__ $$acontrib
000986464 980__ $$ajournal