Weighted register automata and weighted logic on data words von Babari, Parvaneh, Droste, Manfred, Perevoshchikov, Vitaly

Volltext

Algebraic Informatics: 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings von Ćirić, Miroslav, Droste, Manfred, Pin, Jean-Éric

Volltext

Weighted omega-Restricted One Counter Automata von Manfred Droste, Werner Kuich

Volltext

Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings von Droste, Manfred, Kuich, Werner

Volltext

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday von Blass, Andreas, Cégielski, Patrick, Dershowitz, Nachum, Droste, Manfred, Finkbeiner, Bernd

Volltext

Weighted Linear Dynamic Logic von Droste, Manfred, Rahonis, George

Volltext

Weighted automata and weighted logics von Droste, Manfred, Gastin, Paul

Volltext

MK-fuzzy Automata and MSO Logics von Droste, Manfred, Kutsia, Temur, Rahonis, George, Schreiner, Wolfgang

Volltext

The Triple-Pair Construction for Weighted ω-Pushdown Automata von Droste, Manfred, Ésik, Zoltán, Kuich, Werner

Volltext

A Nivat theorem for weighted picture automata and weighted MSO logics von Babari, Parvaneh, Droste, Manfred

Volltext

Weighted automata and weighted MSO logics for average and long-time behaviors von Droste, Manfred, Meinecke, Ingmar

Volltext

Preface von Ćirić, Miroslav, Droste, Manfred, Pin, Jean-Éric

Volltext

Weighted automata and multi-valued logics over arbitrary bounded lattices von Droste, Manfred, Vogler, Heiko

Volltext

Model checking of linear-time properties in multi-valued systems von Li, Yongming, Droste, Manfred, Lei, Lihui

Volltext

Logic for ω-pushdown automata von Droste, Manfred, Dziadek, Sven, Kuich, Werner

Volltext

Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata von Droste, Manfred, Dziadek, Sven, Kuich, Werner

Volltext

Preface von Droste, Manfred, Maletti, Andreas, Vogler, Heiko

Volltext

Weighted simple reset pushdown automata von Droste, Manfred, Dziadek, Sven, Kuich, Werner

Volltext

Preface von Droste, Manfred, Kotsireas, Ilias, Rolland, Robert

Volltext

Multi-weighted Automata and MSO Logic von Droste, Manfred, Perevoshchikov, Vitaly

Volltext