From

Institution

Field

Type

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

Reset

Papers matching “weighted automata” 13

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Probabilistic programming meets automata theory: Exact inference using weighted automata
2026 Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Dominik Geißler, Tobias Winkler

0

citations
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
2021 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory

Mikołaj Bojańczyk, Bartek Klin, Joshua Moerman

5

citations
SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra Silva

1

citations
SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra María Franca Santos Da Silva

0

citations
SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra Silva

0

citations
SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra Silva

0

citations
Correction to: Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2025 Lecture notes in computer science erratum Computer Science semigroups and automata theory Open access

Dominik Geißler, Tobias Winkler

0

citations
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

1

citations
Learning Probabilistic Automata Using Residuals
2021 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory

Wenjing Chu, Shuo Chen, Marcello Bonsangue

1

citations
Soft constraint automata with memory
2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini

5

citations
Synthesis from Weighted Specifications with Partial Domains over Finite Words
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

Emmanuel Filiot, Christof Löding, Sarah Winter

7

citations
Minimisation in Logical Form
2023 Outstanding contributions to logic book-chapter Computer Science semigroups and automata theory Open access

Nick Bezhanishvili, Marcello Bonsangue, Helle Hvid Hansen, Dexter C. Kozen, Clemens Kupke, Prakash Panangaden, +1 more

5

citations
Fast and General Automatic Differentiation for Finite-State Methods
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Lucas Ondel Yang, Tina Raissi, Martin Kocour, Pablo Riera, Caio Corro

0

citations

13 results