Institut für Formale Methoden der Informatik | Veröffentlichungen : Technische Berichte

Institut für Formale Methoden der Informatik : Veröffentlichungen

Nr. 05: Becker, Steffen; Hasselbring, Wilhelm; van Hoorn, Andre; Kounev, Samuel; Reussner, Ralf: Proceedings of the 2014 Symposium on Software Performance (SOSP '14): Joint Descartes/Kieker/Palladio Days, Technischer Bericht Nr. 2014/05.
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.

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.

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

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.

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. 05: Lewandowski, Stefan: Shortest Paths and Negative Cycle Detection in Graphs with Negative Weights - I: The Bellman-Ford-Moore Algorithm Revisited, Technischer Bericht Nr. 2010/05.
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.

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.

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

Nr. 01: König, Barbara; Kozioura, Vitali: Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems, Technischer Bericht Nr. 2006/01.
Nr. 02: Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems, Technischer Bericht Nr. 2006/02.
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.
Nr. 09: Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier: Efficient Algorithms for Alternating Pushdown Systems: Application to Certificate Chain Discovery with Threshold Subjects, Technischer Bericht Nr. 2006/09.

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. 06: Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan: Reachability analysis of multithreaded software with asynchronous communication, Technischer Bericht Nr. 2005/06.
Nr. 07: Lohrey, Markus; Kuske, Dietrich: First-order and counting theories of omega-automatic structures, Technischer Bericht Nr. 2005/07.

Nr. 01: Ehrig, Hartmut; König, Barbara: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version), Technischer Bericht Nr. 2004/01.
Nr. 05: Heljanko, Keijo; Stefanescu, Alin: Complexity results for checking distributed implementability, Technischer Bericht Nr. 2004/05.
Nr. 06: Schwoon, Stefan; Esparza, Javier: A Note on On-The-Fly Verification Algorithms, Technischer Bericht Nr. 2004/06.
Nr. 08: Dotti, Fernando Luis; König, Barbara; Marchi do Santos, Osmar; Ribeiro, Leila: A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems, Technischer Bericht Nr. 2004/08.