Werner Kuich

From MaRDI portal
Revision as of 18:11, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:672828

Available identifiers

zbMath Open kuich.wernerDBLP55/65WikidataQ62560088 ScholiaQ62560088MaRDI QIDQ672828

List of research outcomes





PublicationDate of PublicationType
Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings2024-06-03Paper
On the multiplicity equivalence problem for context-free grammars2024-01-29Paper
The Triple-Pair Construction for Weighted ω-Pushdown Automata2023-08-15Paper
https://portal.mardi4nfdi.de/entity/Q58756732023-02-03Paper
A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS2022-12-06Paper
Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata2022-06-08Paper
Semirings and Formal Power Series2022-04-28Paper
Finite Automata2022-04-28Paper
Logic for \(\omega\)-pushdown automata2022-01-06Paper
https://portal.mardi4nfdi.de/entity/Q50163622021-12-13Paper
Weighted simple reset pushdown automata2019-06-18Paper
The algebraic equivalent of AFL theory2019-01-10Paper
Solving Fixed Point Equations over Complete Semirings2018-09-20Paper
https://portal.mardi4nfdi.de/entity/Q46376832018-04-25Paper
A Kleene Theorem for Weighted ω-Pushdown Automata2017-08-25Paper
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems2017-08-25Paper
Zoltán Ésik (1951 - 2016) - In Memoriam.2017-06-13Paper
Why We Need Semirings in Automata Theory (Extended Abstract)2015-09-22Paper
On Power Series over a Graded Monoid2015-09-08Paper
Conway and iteration hemirings Part 12014-08-19Paper
Conway and iteration hemirings Part 22014-08-19Paper
Weighted finite automata over hemirings2014-01-07Paper
Free inductive \(K\)-semialgebras2013-12-06Paper
LINEAR LANGUAGES OF FINITE AND INFINITE WORDS2013-06-03Paper
Free iterative and iteration \(K\)-semialgebras2012-05-03Paper
Algebraic Systems and Pushdown Automata2011-11-11Paper
A Unifying Kleene Theorem for Weighted Finite Automata2011-05-27Paper
Fundamentals of Computation Theory2010-04-20Paper
BOOLEAN FUZZY SETS2010-01-29Paper
Cycle-Free Finite Automata in Partial Iterative Semirings2009-11-05Paper
https://portal.mardi4nfdi.de/entity/Q55063362009-01-28Paper
https://portal.mardi4nfdi.de/entity/Q35360792008-11-17Paper
https://portal.mardi4nfdi.de/entity/Q35152222008-07-29Paper
On iteration semiring-semimodule pairs.2007-11-14Paper
https://portal.mardi4nfdi.de/entity/Q54225032007-10-26Paper
https://portal.mardi4nfdi.de/entity/Q54219322007-10-25Paper
https://portal.mardi4nfdi.de/entity/Q54222322007-10-17Paper
https://portal.mardi4nfdi.de/entity/Q34314782007-04-10Paper
https://portal.mardi4nfdi.de/entity/Q34314792007-04-10Paper
Fuzzy regular languages over finite and infinite words2006-06-16Paper
Mathematical Foundations of Computer Science 20042005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q46628302005-03-30Paper
Theory Is Forever2005-01-18Paper
Inductive \(^{*}\)-semirings2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q44495372004-02-11Paper
https://portal.mardi4nfdi.de/entity/Q47931342003-02-18Paper
Pushdown tree automata, algebraic tree systems, and algebraic tree series2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q47827102002-12-02Paper
Locally closed semirings2002-12-01Paper
https://portal.mardi4nfdi.de/entity/Q47821132002-11-27Paper
Formal series over sorted algebras2002-08-29Paper
https://portal.mardi4nfdi.de/entity/Q45363842002-06-25Paper
Atoms and partial orders of infinite languages2002-05-14Paper
https://portal.mardi4nfdi.de/entity/Q27766082002-02-28Paper
https://portal.mardi4nfdi.de/entity/Q45003672001-05-06Paper
https://portal.mardi4nfdi.de/entity/Q45202772001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q45109232000-10-30Paper
https://portal.mardi4nfdi.de/entity/Q49422442000-07-20Paper
On certain closure operators defined by families of semiring morphisms2000-05-25Paper
https://portal.mardi4nfdi.de/entity/Q46993092000-03-21Paper
https://portal.mardi4nfdi.de/entity/Q49411552000-02-29Paper
https://portal.mardi4nfdi.de/entity/Q42692221999-10-31Paper
https://portal.mardi4nfdi.de/entity/Q42181251999-08-03Paper
CONES AND ABSTRACT FAMILIES OF ELEMENTS1998-12-10Paper
On Lindenmayerian algebraic power series1998-07-22Paper
https://portal.mardi4nfdi.de/entity/Q43710141998-01-07Paper
Representations and complete semiring morphisms1997-02-28Paper
https://portal.mardi4nfdi.de/entity/Q48746551996-08-13Paper
https://portal.mardi4nfdi.de/entity/Q39791061992-06-26Paper
Automata and languages generalized to \(\omega\)-continuous semirings1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38261141989-01-01Paper
Matrix systems and principal cones of algebraic power series1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q57519511988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30263631987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30271871987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38215931987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30263621986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37048801986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30283631985-01-01Paper
Semitopological semirings and pushdown automata1984-01-01Paper
Infinite linear systems and one counter languages1983-01-01Paper
An algebraic characterization of some principal regulated rational cones1982-01-01Paper
The characterization of parallel ultralinear grammars by rational power series1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39071101981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39206631981-01-01Paper
The characterization of nonexpansive grammars by rational power series1981-01-01Paper
Generating functions for derivation trees1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38835381980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41973511979-01-01Paper
The structure generating function of some families of languages1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56618091972-01-01Paper
A contect-free language and enumeration problems on infinite trees and digraphs1971-01-01Paper
On the inherent ambiguity of simple tuple languages1971-01-01Paper
The complexity of skewlinear tuple languages and o-regular languages1971-01-01Paper
The structure generating function and entropy of tuple languages1971-01-01Paper
On the convergence parameter of infinite non-negative matrices1970-01-01Paper
On the entropy of context-free languages1970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55886711970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56013501970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56305621970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56363131970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55595391969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55891211969-01-01Paper
Quasi-block-stochastic matrices1968-01-01Paper
Block-statistic matrices and associated finite-state languages1966-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56019811965-01-01Paper

Research outcomes over time

This page was built for person: Werner Kuich