Abteilung Theoretische Informatik | Veröffentlichungen : Technische Berichte

uni

suche

sitemap

kontakt

Universität Stuttgart

Theoretische Informatik : Veröffentlichungen

Technische Berichte

Jahrgang 2015

Nr. 18: Fleischer, Lukas: Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen, Technischer Bericht Nr. 2015/18.

Jahrgang 2014

Nr. 100: Haas, Stephan: Autonome Selbstlokalisierung und Tracking basierend auf Mobilfunkbasisstationen, Technischer Bericht Nr. 2014/100.
Nr. 3528: Hartmann, Frederik: Routenplanung mit Nebenbedingungen, Technischer Bericht Nr. 2014/3528.

Jahrgang 2013

Nr. 07: Kufleitner, Manfred; Lauser, Alexander: Nesting Negations in FO^2 over Finite Words, Technischer Bericht Nr. 2013/07.
Nr. 80: Sanwald, Tim: Verkehrsabhängiges Routing basierend auf TMC Nachrichten, Technischer Bericht Nr. 2013/80.

Jahrgang 2012

Nr. 03: Kufleitner, Manfred; Lauser, Alexander: Lattices of Logical Fragments over Words, Technischer Bericht Nr. 2012/03.

Jahrgang 2011

Nr. 02: Kufleitner, Manfred; Lauser, Alexander: Cantor Topologies for Finite Words, Technischer Bericht Nr. 2011/02.
Nr. 03: Kufleitner, Manfred; Lauser, Alexander: Around Dot-depth One, Technischer Bericht Nr. 2011/03.

Jahrgang 2010

Nr. 01: Dartois, Luc; Kufleitner, Manfred; Lauser, Alexander: Rankers over Infinite Words, Technischer Bericht Nr. 2010/01.
Nr. 02: Kopecki, Steffen: On the Iterated Hairpin Completion, Technischer Bericht Nr. 2010/02.
Nr. 03: Kufleitner, Manfred; Lauser, Alexander: Partially Ordered Two-way Büchi Automata, Technischer Bericht Nr. 2010/03.
Nr. 04: Diekert, Volker; Kopecki, Steffen: Complexity Results and the Growths of Hairpin Completions of Regular Languages, Technischer Bericht Nr. 2010/04.
Nr. 06: Hoffmann, Benjamin: Comparison of Standard and Zipf-Based Document Retrieval Heuristics, Technischer Bericht Nr. 2010/06.
Nr. 08: Kallas, Jakub; Kufleitner, Manfred; Lauser, Alexander: First-order Fragments with Successor over Infinite Words, Technischer Bericht Nr. 2010/08.

Jahrgang 2009

Nr. 02: Fouz, Mahmoud; Kufleitner, Manfred; Manthey, Bodo; Zeini Jahromi, Nima: On Smoothed Analysis of Quicksort and Hoare's Find, Technischer Bericht Nr. 2009/02.
Nr. 04: Diekert, Volker; Kufleitner, Manfred: Fragments of first-order logic over infinite words, Technischer Bericht Nr. 2009/04.

Jahrgang 2007

Nr. 05: Kufleitner, Manfred: A Proof of the Factorization Forest Theorem, Technischer Bericht Nr. 2007/05.

Jahrgang 2006

Nr. 03: Kufleitner, Manfred: Polynomials, Fragments of Temporal Logic and the Variety DA over Traces, Technischer Bericht Nr. 2006/03.
Nr. 04: Göller, Stefan; Lohrey, Markus: Infinite State Model-Checking of Propositional Dynamic Logics, Technischer Bericht Nr. 2006/04.
Nr. 06: Horsch, Martin; Kufleitner, Manfred: The Expressive Power of Simple Logical Fragments over Traces, Technischer Bericht Nr. 2006/06.

Jahrgang 2005

Nr. 01: Lohrey, Markus: Model-Checking Hierarchical Structures, Technischer Bericht Nr. 2005/01.
Nr. 02: Lohrey, Markus; Ondrusch, Nicole: Inverse monoids: decidability and complexity of algebraic questions, Technischer Bericht Nr. 2005/02.
Nr. 04: Göller, Stefan; Lohrey, Markus: Fixpoint logics on hierarchical structures, Technischer Bericht Nr. 2005/04.
Nr. 07: Lohrey, Markus; Kuske, Dietrich: First-order and counting theories of omega-automatic structures, Technischer Bericht Nr. 2005/07.

Jahrgang 2001

Nr. 10: Diekert, Volker; Lohrey, Markus: Existential and Positive Theories of Equations in Graph Products, Technischer Bericht Nr. 2001/10.

Jahrgang 1999

Nr. 05: Lohrey, Markus; ,: Complexity Results for Confluence Problems, Technischer Bericht Nr. 1999/05.

Jahrgang 1998

Nr. 01: Petersen, Holger: Formal Languages, Automata and Petri-Nets, Technischer Bericht Nr. 1998/01.
Nr. 02: Diekert, Volker: Makanin's Algorithm for Solving Word Equations with Regular Constraints, Technischer Bericht Nr. 1998/02.

Jahrgang 1997

Nr. 01: Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca: Solving Trace Equations Using Lexicographical Normal Forms, Technischer Bericht Nr. 1997/01.
Nr. 05: Diekert, Volker; Kobayashi, Yuji: Some Identities Related to Automata, Determinants, and Möbius Functions, Technischer Bericht Nr. 1997/05.
Nr. 07: Petersen, Holger: A Census Technique for Simple Computing Devices, Technischer Bericht Nr. 1997/07.

Jahrgang 1996

Nr. 02: Diekert, Volker; Métivier, Yves: Partial Commutation and Traces, Technischer Bericht Nr. 1996/02.
Nr. 04: Hertrampf, Ulrich; Bergen, Andreas: 32. Workshop ueber Komplexitaetstheorie, Datenstrukturen und effiziente Algorithmen, Technischer Bericht Nr. 1996/04.
Nr. 15: Hertrampf, Ulrich: Acceptance by Transformation Monoids (with an Application to Local Self Reductions), Technischer Bericht Nr. 1996/15.

Jahrgang 1995

Nr. 07: Bräunl, Thomas: COMROS : Cooperative Mobile Robotersysteme Stuttgart: Basis-Dokumentation, Technischer Bericht Nr. 1995/07.

Jahrgang 1994

Nr. 01: Diekert, Volker (Hrsg); Teodosiu, Dan (Hrsg): 3. Theorietag 'Automaten und Formale Sprachen', Schloß Dagstuhl, 7./8. Oktober 1993, Technischer Bericht Nr. 1994/01.

Jahrgang 1992

Nr. 04: Diekert, Volker (Hrsg); Ebinger, Werner (Hrsg): Proceedings ASMICS Workshop : infinite traces ; Tübingen, Jan. 23-25, 1992, Technischer Bericht Nr. 1992/04.