Name Card

Full name Familienname, Vorname
Kuich, Werner
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 117 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuich, Werner Finite Automata over Conway SemiringsPräsentation Presentation2021
2Droste, Manfred ; Dziadek, Sven ; Kuich, Werner Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite WordsKonferenzbeitrag Inproceedings2020
3Kuich, Werner ; Droste, Manfred ; Dziadek, Sven Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown AutomataKonferenzbeitrag Inproceedings2019
4Droste, Manfred ; Dziadek, Sven ; Kuich, Werner Weighted simple reset pushdown automataArtikel Article 2019
5Kuich, Werner Weighted Pushdown AutomataPräsentation Presentation2018
6Droste, Manfred ; Dziadek, Sven ; Esik, Zoltan ; Kuich, Werner Logics for Weighted ω-Pushdown AutomataPräsentation Presentation2018
7Droste, Manfred ; Kuich, Werner Weighted omega-Restricted One-Counter AutomataArtikel Article 2018
8Kuich, Werner Fixed Point Theory and Matrix SemiringsPräsentation Presentation2017
9Kuich, Werner Weighted Finite AutomataPräsentation Presentation2017
10Kuich, Werner ; Droste, Manfred ; Esik, Zoltan The Triple-Pair Construction for Weighted Omega-Pushdown AutomataKonferenzbeitrag Inproceedings2017
11Ésik, Zoltán ; Kuich, Werner Continuous Semiring - Semimodule Pairs and Mixed Algebraic SystemsArtikel Article 2017
12Droste, Manfred ; Kuich, Werner A Kleene Theorem for Weighted Omega-Pushdown AutomataArtikel Article 2017
13Kuich, Werner ; Esik, Zoltan Solving Fixed Point Equations over Complete SemiringsBuchbeitrag Book Contribution2017
14Kuich, Werner Algebraic SystemsPräsentation Presentation2016
15Kuich, Werner Omega-pushdown automataPräsentation Presentation2016
16Kuich, Werner Jewels of Automata: from Mathematics to ApplicationsPräsentation Presentation2015
17Kuich, Werner ; Salomaa, Arto Turku, Trees, TransducersPräsentation Presentation2015
18Kuich, Werner Weighted Finite AutomataPräsentation Presentation2015
19Kuich, Werner Why We Need Semirings in Automata Theory (Extended Abstract)Konferenzbeitrag Inproceedings2015
20Kuich, Werner A new acceptance modus for weighted finite automataPräsentation Presentation2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Antic Christian - 2021 - Fixed point semantics for stream reasoning.pdf.jpgAntić, Christian Fixed point semantics for stream reasoningThesis Hochschulschrift 2021
2Kuich, Werner ; Rahonis, G. Algebraic Foundations in Computer ScienceBuch Book2011
3Droste, Manfred ; Kuich, Werner Semirings and formal power seriesBuchbeitrag Book Contribution2009
4Esik, Zoltan ; Kuich, Werner Finite automataBuchbeitrag Book Contribution2009
5Droste, Manfred ; Kuich, Werner ; Vogler, Heiko Handbook of weighted automataBuch Book2009
6Kuich, Werner ; Rozenberg, Grzegorz ; Salomaa, Arto Developments in Language TheoryBuch Book2002