h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Probabilistic programming meets automata theory: Exact inference using weighted automata

;

In
Theoretical computer science 1087, Seiten/Artikel-Nr.:116224

ImpressumAmsterdam [u.a.] : Elsevier

Umfang[1]-14

ISSN1879-2294

Online
DOI: 10.18154/RWTH-2026-09348
DOI: 10.1016/j.tcs.2026.116224

URL: https://publications.rwth-aachen.de/record/1042396/files/1042396.pdf

Einrichtungen

  1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)

Projekte

  1. GRK 2236 - GRK 2236 Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)

Thematische Einordnung (Klassifikation)
DDC: 004

OpenAccess:
Download fulltext PDF

Dokumenttyp
Journal Article

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105051364514
WOS Core Collection: WOS:001885818300001

Interne Identnummern
RWTH-2026-09348
Datensatz-ID: 1042396

Beteiligte Länder
Germany

Lizenzstatus der Zeitschrift

 GO

Medline ; Creative Commons Attribution CC BY 4.0 ; OpenAccess ; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; Essential Science Indicators ; IF < 5 ; JCR ; NationallizenzNationallizenz ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
QR Code for this record

The record appears in these collections:
Document types > Articles > Journal Articles
Publication server / Open Access
Faculty of Computer Science (Fac.9)
Public records
Publications database
121310
 Record created 2026-10-05, last modified 2026-10-16
Similar records


OpenAccess:
Download fulltext PDF
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)