Name Card

Full name Familienname, Vorname
Droste, Manfred
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Droste, Manfred ; Dziadek, Sven ; Kuich, Werner Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite WordsKonferenzbeitrag Inproceedings2020
2Kuich, Werner ; Droste, Manfred ; Dziadek, Sven Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown AutomataKonferenzbeitrag Inproceedings2019
3Droste, Manfred ; Dziadek, Sven ; Kuich, Werner Weighted simple reset pushdown automataArtikel Article 2019
4Droste, Manfred ; Dziadek, Sven ; Esik, Zoltan ; Kuich, Werner Logics for Weighted ω-Pushdown AutomataPräsentation Presentation2018
5Droste, Manfred ; Kuich, Werner Weighted omega-Restricted One-Counter AutomataArtikel Article 2018
6Kuich, Werner ; Droste, Manfred ; Esik, Zoltan The Triple-Pair Construction for Weighted Omega-Pushdown AutomataKonferenzbeitrag Inproceedings2017
7Droste, Manfred ; Kuich, Werner A Kleene Theorem for Weighted Omega-Pushdown AutomataArtikel Article 2017
8Droste, Manfred ; Kuich, Werner Weighted finite automata over hemiringsArtikel Article2013
9Droste, Manfred ; Kuich, Werner Semirings and formal power seriesBuchbeitrag Book Contribution2009
10Droste, Manfred ; Kuich, Werner ; Rahonis, G. Multi-valued MSO logics over words and treesArtikel Article2008

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Droste, Manfred ; Kuich, Werner Semirings and formal power seriesBuchbeitrag Book Contribution2009
2Esik, Zoltan ; Kuich, Werner Finite automataBuchbeitrag Book Contribution2009
3Droste, Manfred ; Kuich, Werner ; Vogler, Heiko Handbook of weighted automataBuch Book2009
4Binder, Aneta ; Freund, Rudolf ; Oswald, Marion ; Vock, Lorenz Modelling Logical Gates with ESNPA SystemsKonferenzbeitrag Inproceedings2007
5Freund, Rudolf ; Ionescu, Mihai ; Oswald, Marion Extended spiking neural P systems with spikes of limited lifetimeKonferenzbeitrag Inproceedings2007
6Freund, Rudolf ; Oswald, Marion Symport/Antiport Systems with Partial HaltingKonferenzbeitrag Inproceedings2007