Weighted register automata and weighted logic on data words
Babari, Parvaneh, Droste, Manfred, Perevoshchikov, Vitaly
Published in Theoretical computer science (05.10.2018)
Published in Theoretical computer science (05.10.2018)
Get full text
Journal Article
Weighted Linear Dynamic Logic
Droste, Manfred, Rahonis, George
Published in Electronic proceedings in theoretical computer science (13.09.2016)
Published in Electronic proceedings in theoretical computer science (13.09.2016)
Get full text
Journal Article
MK-fuzzy Automata and MSO Logics
Droste, Manfred, Kutsia, Temur, Rahonis, George, Schreiner, Wolfgang
Published in Electronic proceedings in theoretical computer science (06.09.2017)
Published in Electronic proceedings in theoretical computer science (06.09.2017)
Get full text
Journal Article
The Triple-Pair Construction for Weighted ω-Pushdown Automata
Droste, Manfred, Ésik, Zoltán, Kuich, Werner
Published in Electronic proceedings in theoretical computer science (21.08.2017)
Published in Electronic proceedings in theoretical computer science (21.08.2017)
Get full text
Journal Article
Preface
Ćirić, Miroslav, Droste, Manfred, Pin, Jean-Éric
Published in Information and computation (01.12.2024)
Published in Information and computation (01.12.2024)
Get full text
Journal Article