Search: Automaten und Formale Sprachen

Results 1 - 25 of 99

Results

Authors Year Title Type Fulltext
Paul, Erik 2015 Weighted Tree Automata and Quantitative Logics with a Focus on Ambiguity Dipl pdf
Scheeren, Nicole 2015 theoretische Probleme im Compilerbau BSc
Märcker, Steffen 2010 Charakterisierung erkennbarer Baumreihen über starken Bimonoiden durch gewichtete MSO-Logik Dipl pdf
Götze, Doreen 2011 Gewichtete Logik und Baumautomaten über Baumbewertungsmonoiden Dipl pdf
Huschenbett, Martin 2010 A Kleene-Schützenberger theorem for trace series over bounded lattices Paper
Huschenbett, Martin 2010 A Kleene-Schützenberger theorem for trace series over bounded lattices Research
Huschenbett, Martin 2010 Models for Quantitative Distributed Systems and Multi-Valued Logics MSc pdf
Huschenbett, Martin 2009 Quantenautomaten und das Cut-Point-Theorem für beschränkte erkennbare Potenzreihen BSc pdf
Mathissen, Ch. 2009 Definable Transductions and Weighted Logics for Texts Paper
Droste, M.
Bludov, V.
...
Automorphism groups of totally ordered sets: a retrospective survey Paper
Droste, M.
Rahonis, G.
2009 Weighted automata and weighted logics with discounting Paper
Kirsten, D. 2009 On the Complexity of the Relative Inclusion Star Height Problem Paper
Kirsten, D.
Lombardy, S.
2009 Deciding Unambiguity and Sequentiality of Polynomially Ambiguous min-plus Automata Paper
Kirsten, D. 2009 The Support of a Recognizable Series Over a Zero-sum Free, Commutative Semiring is Recognizable Paper
Kirsten, D. 2009 An Algebraic Characterization of Semirings for which the Support of Every Recognizable Series is Recognizable Paper
Kuske, D. 2009 Theories of automatic structures and their complexity Paper
Kuske, D.
Lohrey, M.
2009 Some natural problems in automatic graphs. Paper
Kuske, D.
Lohrey, M.
2009 Automatic structures of bounded degree revisited. Paper
Mathissen, Ch. 2009 Weighted Automata and Weighted Logics over tree-like Structures Paper
Mathissen, Ch. 2009 Existential MSO over Two Successors Is Strictly Weaker than over Linear Orders. Paper
Meinecke, Ingmar 2009 A weighted mu-calculus on words Paper
Quaas, K. 2009 Weighted Timed MSO Logics Paper
Quaas, K. 2009 On the Supports of Recognizable Timed Series Paper
Droste, M.
Zhang, G.-Q.
Bifinite Chu spaces Paper
Mäurer, I.
Kirsten, D.
2004 On the Determinization of Weighted Automata Paper
Meinecke, Ingmar 2004 The Hadamard Product of Sequential-Parallel Series Paper
Kuske, D.
Genest, B.
...
2004 A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms Paper
Kuske, D.
Meinecke, Ingmar
2004 Branching automata with costs - a way of reflecting parallelism in costs Paper
Kuske, D.
Weigelt, P.
2004 The rôle of the complementarity relation in Watson-Crick automata and sticker systems Paper
Meinecke, Ingmar Weighted Branching Automata - Combining Concurrency and Weights Paper
Kuske, D.
Genest, B.
...
2006 A Kleene theorem and model checking algorithms for existentially bounded communicating automata Paper
Kuske, D.
Lohrey, M.
2006 Monadic chain logic over iterations and applications to push-down systems Paper
Kuske, D.
Lohrey, M.
2006 Logical aspects of Cayley graphs: the monoid case Paper
Kuske, D.
Lohrey, M.
2006 First-order and counting theories of omega-automatic structures Paper
Meinecke, Ingmar 2006 Weighted Logics for Traces Paper
Droste, M.
Vogler, H.
2004 Special issue of Journal of Automata, Languages and Combinatorics Paper
Droste, M. 2005 Universal homogeneous causal sets Paper
Droste, M.
Göbel, R.
2005 Uncountable cofinalities of permutation groups Paper
Droste, M.
Holland, Ch.
2005 Generating automorphism groups of chains Paper
Droste, M.
Pech, C.
...
2005 A Kleene theorem for weighted tree automata Paper
Kuske, D.
Gastin, P.
2005 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces Paper
Kuske, D.
Genest, B.
...
2005 Snapshot Verification Paper
Kuske, D.
Lohrey, M.
2005 Decidable first-order theories of one-step rewriting in trace monoids Paper
Kuske, D.
Lohrey, M.
2005 Logical aspects of Cayley graphs: the group case Paper
Mäurer, I. 2005 Recognizable and Rational Picture Series Paper
Kuske, D. 2007 Weighted asynchronous cellular automata Paper
Bollig, B.
Kuske, D.
...
2007 Propositional Dynamic Logic for Message-Passing Systems Paper
Gastin, P.
Kuske, D.
2007 Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces Paper pdf
Genest, B.
Kuske, D.
...
2007 On communicating automata with bounded channels Paper pdf
Mathissen, Ch. 2007 Definable Transductions and Weighted Logics for Texts Paper