Publications
Textbooks
Christel Baier, Joost-Pieter Katoen
The MIT Press, Cambridge, Massachusetts, 2008.
MIT Press
Alexander Asteroth, Christel Baier
Pearson Studium, Pearson Education Deutschland, 2002.
Pearson Studium
2022
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
Foundations of Software Science and Computation Structures, pp. 40-60
Link
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch and Christel Baier
Innovations in Systems and Software Engineering(2022)
Link
Tobias John, Simon Jantsch, Christel Baier and Sascha Klüppelholz
Innovations in Systems and Software Engineering(2022)
Link
Jakob Piribauer, Ocan Sankur and Christel Baier
Leibniz International Proceedings in Informatics (LIPIcs) 2022
Link
Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl
Journal of Artificial Intelligence Research 74
Link
Nikolai Käfer
Frontiers in Artificial Intelligence and Applications Volume 353, pp. 359-360
Link
Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
LNCS,volume 13660
Link
2021
Christel Baier, Florian Funke, Rupak Majumdar
Proceedings of the AAAI Conference on Artificial Intelligence, 35(13), pp 11734-11743
Link
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1-14
Link
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), pp 1-20
Link
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Computer Aided Verification 2021, pp 894-917
Link
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Formal Aspects of Computing 33, pp 885–921
Link
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Automated Technology for Verification and Analysis (ATVA) 2021, pp 15-31
Link
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Automated Technology for Verification and Analysis (ATVA) 2021, pp 205-221
Link
Simon Jantsch, Jakob Piribauer, Christel Baier
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), pp 35-51
Link
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, and Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
32nd International Conference on Concurrency Theory, CONCUR, pp 1-17
Link
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
Formal Methods in System Design (2021)
Link
Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Principles of Knowledge Representation and Reasoning (2021), pp. 87-98
Link
Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur
32nd International Conference on Concurrency Theory (CONCUR 2021), pp. 7:1--7:18
Link
Clemens Dubslaff, Patrick Wienhöft and Ansgar Fehnker
Software Engineering and Formal Methods (2021), pp. 332–350
Link
2020
Florian Funke, Simon Jantsch, Christel Baier
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. Lecture Notes in Computer Science, vol 12078. pp 324-345
Link extended version
Clemens Dublaff, Andrey Morozov, Christel Baier, Klaus Janschek
Electronic Proceedings in Theoretical Computer Science 316, 2020, pp. 121-133
Link
Michael Raitza, Steffen Märcker, Jens Trommer, André Heinzig, Sascha Klüppelholz, Christel Baier, Akash Kumar
IEEE Access, vol 8, pp 112598-112614
Link
Christel Baier, Pedro R. D’Argenio, Holger Hermanns
Acta Informatica 57, pp 465–512, 2020
Link
Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
Information and Computation 272, Gandalf 17, Article 104504, 2020
Link
Philipp Chrszon, Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Proceedings of the 24th International Systems and Software Product Line Conference (SPLC) accepted for publication
Christel Baier, Clemens Dubslaff , Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Proceedings of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Lecture Notes in Computer Science vol 12476 pp 240-261
Link
Clemens Dublaff, Andrey Morozov, Christel Baier, Klaus Janschek
Proceedings of the 30th European Safety and Reliability Conference (ESREL) and 15th Probabilistic Safety Assessment and Management Conference (PSAM)
Link
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux,
Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020) . Leibniz International Proceedings in Informatics (LIPIcs), vol 182. pp 36:1-36:17
Link
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. FMCAD 2020, pp 236-244
Link
Simon Jantsch, Florian Funke, Christel Baier
15th International Symposium on Automated Technology for Verification and Analysis (ATVA). Lecture Notes in Computer Science, vol 12302. pp 501-517
Link
Clemens Dubslaff, Patrick Koopmann , Anni-Yasmin Turhan
33rd International Workshop on Description Logics (DL), Accepted for publication
2019
Muhammad Usama Sardar, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, and Akash Kumar
Computer Performance Engineering. EPEW 2019. Lecture Notes in Computer Science, vol 12039. pp. 133-147
Link
Christel Baier, Nathalie Bertrand, Jakob Piribauer, and Ocan Sankur
Proceedings of the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'19).
pp. 1-14, IEEE, 2019
extended version Erratum
Christel Baier František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David
Müller, and Jan Strejček
Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) 11781, pp 445-461
extended version
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
Proceedings of the 23rd International Symposium on Formal Methods (FM'19).
Lecture Notes in Computer Science 11800, pp. 262-279, 2019
Link, extended version
Clemens Dubslaff, Kai Ding, Andrey Morozov, Christel Baier, Klaus Janschek
Proceedings of the 29th European Safety and Reliability Conference (ESREL'19).
pp 2317-2325, 2019
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonìn Kučera, Vojtěch Řehàk
ACM Transactions on Modeling and Computer Simulation (TOMACS) December 2019 Article No.: 28
Link
Jakob Piribauer, Christel Baier
Proceedings of the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'19)
Lecture Notes in Computer Science 11425, pp 436–452, Springer, 2019
Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
International Journal on Software Tools for Technology Transfer (STTT), Vol. 21(6), pp 651-666, 2019
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim
Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, and Marcel Stein-
metz
Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Part 3
Lecture Notes in Computer Science 11429, pp 69–92, 2019
Link
Christel Baier, Holger, Hermanns, Joost Pieter Katoen
Computing and Software Science: State of the Art and Perspectives
Lecture Notes in Computer Science 10000, pp 420–451, 2019
Clemens Dubslaff, Patrick Koopmann, Anni Yasmin Turhan
Proceedings of the 15th International Conference on integrated Formal Methods
Lecture Notes in Computer Science 11918, pp 194–211, 2019
Clemens Dubslaff
Proceedings of the 17th International Conference on Software Engineering and Formal Methods
Lecture Notes in Computer Science 11724, pp 162–280, 2019
Marcus Daum
PhD thesis, Technische Universität Dresden, 2019
Link
Linda Herrmann
PhD thesis, Technische Universität Dresden, 2019
Link
David Müller
PhD thesis, Technische Universität Dresden, 2019
Link
2018
Christel Baier, Clemens Dubslaff
ACM SIGLOG News, Vol. 5(4), 2018
Link
Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski
Proceedings of the 15th European Workshop on Computer Performance Engineering (EPEW'18)
Lecture Notes in Computer Science 11178, pp 78-93, 2018
Link, additional materials
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'18)
pp. 86-94, ACM, 2018
Link, Extended version (arXiv)
Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska
Handbook of Model Checking, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.), pp 963-999, Springer, 2018
Link
Justus A. Kromer, Steffen Märcker, Steffen Lange, Christel Baier, Benjamin M. Friedrich
PLOS Computational Biology 14(4), pp 1-15, 2018
Link
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science 10865, pp 38-56, 2018
Link, additional materials
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Formal Aspects of Computing, volume 30(1), pp 45-75, 2018.
Link, additional materials
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
International Journal on Software Tools for Technology Transfer, Volume 20(2) (Special issue "TACAS'16"), pp 179-194, 2018
Link, additional materials
Daniel Gburek, Christel Baier
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC'18)
pp 31-40, ACM, 2018 (best paper award)
Link.
Christel Baier, Luís Caires (editors)
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Lecture Notes in Computer Science 10854, 2018
Link.
Christel Baier, Ugo Dal Lago (editors)
21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Lecture Notes in Computer Science 10803, 2018
Link.
Daniel Gburek
PhD thesis, Technische Universität Dresden, 2018
Link
2017
Christel Baier, Cesare Tinelli (editors)
Special "TACAS'15" issue of the International Journal on Software Tools for Technology Transfer, volume 19(6), 2017
LLink, Introduction
Jeronimo Castrillon, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Assmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jög Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
IEEE Transactions on Multi-Scale Computing Systems, volume 4(3), pp 243-259, 2018 (online: 09 Nov 2017)
Link
Clemens Dubslaff, Christel Baier
ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Lecture Notes in Computer Science 10500, pp 64-84, 2017
Link
Martin Weißbach, Philipp Chrszon, Thomas Springer, Alexander Schill
Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'17)
pp 111-120, IEEE Computer Society, 2017
Link
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonìn Kučera, Vojtěch Řehàk
Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA'17)
Lecture Notes in Computer Science 10482, pp 417-434, 2017
Link
Lisa Hutschenreiter, Christel Baier, Joachim Klein
Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'17)
Electronic Proceedings in Theoretical Computer Science 256, pp. 16-30, Open Publishing Association, 2017
Link, additional materials
David Müller, Salomon Sickert
Proceedings of the 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'17)
Electronic Proceedings in Theoretical Computer Science 256, pp. 180-194, Open Publishing Association, 2017
Link, additional materials
Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz
Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM'17)
Lecture Notes in Computer Science 10469, pp 349-366, 2017
Link, additional materials
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak, Antonìn Kučera, Vojtěch Řehàk
Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST'17)
Lecture Notes in Computer Science 10503, pp 190-206, 2017
Link
Christel Baier, Sascha Klüppelholz, Sascha Wunderlich
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Lecture Notes in Computer Science 10460, pp 382-399, 2017
Link, additional materials
Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz
Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS'17)
pp 111-117, ACM, 2017
Link, additional materials
Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich
Proceedings of the 29th International Conference on Computer Aided Verification (CAV'17), Part I
Lecture Notes in Computer Science 10426, pp 160-180, 2017
Link, additional materials
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17), Part II
Lecture Notes in Computer Science 10206, pp 269-285, 2017
Link, additional materials, Erratum
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (editors)
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings,
Lecture Notes in Computer Science 10139, 2017
Link
2016
Marcus Völp, Sascha Klüppelholz, Jeronimo Castrillon, Hermann Härtig, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Wolfgang Lehner, Linda Leuschner, Matthias Lieber, Siqi Ling, Steffen Märcker, Johannes Mey, Wolfgang Nagel, Benedikt Nöthen, Rafael Penaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt
Proceedings of the 1st Workshop on Post-Moore's Era Supercomputing (PMES'16),
to appear
Christel Baier, Sascha Klüppelholz, Hermann de Meer, Florian Niedermeier, Sascha Wunderlich
Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16),
Lecture Notes in Computer Science 9938, pp 323-339, 2016
Link, additional materials
Christel Baier
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE'16),
IEEE, pp 1, 2016
Link
Daniel Gburek, Christel Baier, Sascha Klüppelholz
Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP'16),
Leibniz International Proceedings in Informatics (LIPIcs), volume 55, pp 102:1-102:15, 2016
Link, additional materials
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Proceedings of the 28th International Conference on Computer Aided Verification (CAV'16),
Lecture Notes in Computer Science 9779, pp 23-42, 2016
Link, additional materials
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Proceedings of the 22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16),
Lecture Notes in Computer Science 9636, pp 349-366, 2016
Link, additional materials
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE'16),
Lecture Notes in Computer Science 9633, pp 287-304, 2016 (best paper award nomination)
Link, additional materials
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday,
Lecture Notes in Computer Science 9660, pp 122-139, 2016
Link
2015
Christel Baier
Proceedings of the 9th International Workshop on Reachability Problems (RP'15)
Lecture Notes in Computer Science 9328, pp 1-6, 2015
Link
Clemens Dubslaff, Christel Baier
Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'15)
Lecture Notes in Computer Science 9268, pp 76-92, 2015
Link
Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff
Proceedings of the 40th Symposium on Mathematical Foundations of Computer Science, Part I (MFCS'15)
Lecture Notes in Computer Science 9234, pp 344-356, 2015
Link, Extended version
Joachim Klein, Christel Baier, Sascha Klüppelholz
Acta Informatica, Special Issue: Combining Compositionality and Concurrency: Part 2, Volume 52(4-5), 2015, pp 443-482
Link
Clemens Dubslaff, Christel Baier, Sascha Klüppelholz
Transactions on Aspect-Oriented Software Development, Volume 12, 2015, pp 180-220
Link
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Journal of Computer and System Sciences, Volume 81(1), 2015, pp 258-287
Link
Christel Baier, Cesare Tinelli (editors),
Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), 2015, London, UK, April 11-18, 2015
Lecture Notes in Computer Science 9035, 2015
Link
2014
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer and Marcin Jurdzinski
Logical Methods in Computer Science (LMCS) Volume 10(4:6), pp 1-73, 2014
Link
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Proceedings of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS'14)
pp 11:1-11:10, ACM, 2014
Link, Extended version
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz
Proceedings of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS'14)
pp 1:1-1:10, ACM, 2014
Link
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS'14)
Lecture Notes in Computer Science 8489, pp 20-39, 2014
Link
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Horizons of the Mind. A Tribute to Prakash Panangaden
Lecture Notes in Computer Science 8464, pp 96-123, 2014
Link
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Proceedings of the 6th NASA Formal Methods Symposium (NFM'14)
Lecture Notes in Computer Science 8430, pp 285-299, 2014
Link, Extended Version
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Proceedings of the 13th International Conference on Modularity (MODULARITY'14)
ACM, pp 169-180, 2014 (best paper award nomination)
Link, Technical Report
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
Proceedings of the 17th International Conference of Fundamental Approaches to Software Engineering (FASE'14)
Lecture Notes in Computer Science 8411, pp 1-16, 2014
Link
Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)
Lecture Notes in Computer Science 8413, pp 515-530, 2014 (EATCS best paper award)
Link, Extended version
Christel Baier, Joachim Klein, Sascha Klüppelholz
Fundamenta Informaticae, Volume 130, Issue 1, pp 1-20, 2014
Link
Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz
Proceedings of the 8th International Conference on Language and Automata Theory and Applications (LATA'14)
Lecture Notes in Computer Science 8370, pp 453-465, 2014
Link, Extended version
2013
Michael Ummels, Christel Baier
Proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'13)
Lecture Notes in Computer Science 7794, pp 353-368, 2013
Link
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Proceedings of the 5th NASA Formal Methods Symposium (NFM'13)
Lecture Notes in Computer Science 7871, pp 307-321, 2013
Link
Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Mathematical Structures in Computer Science, Volume 23, Issue 4, pp 751-795, August 2013
Link
Christel Baier
Proceedings of the 5th International Conference on Algebraic Informatics (CAI'13)
Lecture Notes in Computer Science 8080, pp 4-5, 2013
Link
Tobias Hilbrich, Bronis R. de Supinski, Wolfgang E. Nagel, Joachim Protze, Christel Baier, Matthias S. Müller
Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC'13), pp 16:1-12, ACM, 2013
Link
Joachim Klein
PhD thesis, Technische Universität Dresden, 2013
Link
2012
Christel Baier, Marcus Grösser, Nathalie Bertrand
Journal of the ACM (JACM), Volume 59(1), 2012
ACM Link
Sascha Klüppelholz
PhD thesis, Technische Universität Dresden, 2012.
Download: PDF file, BibTeX file
Clemens Dubslaff, Christel Baier, Manuela Berg
Information Processing Letters, Volume 112, Issues 8-9, 30 April 2012, pp 320-328
ScienceDirect
Paolo Zuliani, Christel Baier, Edmund M. Clarke
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (HSCC'12),
pp 217-226, 2012.
ACM Link
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'12),
Lecture Notes in Computer Science 7437, pp 47-62, 2012. SpringerLink, Extended version.
Christel Baier, Thomas Brazdil, Marcus Größer, Antonin Kucera
Acta Informatica, Volume 49(4), pp 203-224, 2012. SpringerLink
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Proceedings of the 7th International Workshop on Systems Software Verification (SSV'12),
EPTCS 102, pp 156-166, 2012, Link.
Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
Proceedings of the 9th International Conference on Quantitative Evaluation of Systems (QEST'12),
pp 104-113, IEEE Computer Society Press, 2012, Link.
Taloue Chen, Vojtech Forejt, Marta Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12),
Lecture Notes in Computer Science 7454, pp 348-363, 2012, SpringerLink.
Rohit Chadha and Michael Ummels
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'12),
pp 534-545, Leibniz International Proceedings in Informatics 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, Link.
2011
Christel Baier, Joachim Klein, Sascha Klüppelholz
Proc. of the 22nd International Conference on Concurrency Theory (CONCUR'11),
Lecture Notes in Computer Science 6901, pp 512-527, 2011. SpringerLink
Christel Baier, Joachim Klein, Sascha Klüppelholz
Proc. of the International Workshop on Logic, Agents, and Mobility (LAM'11), 2011
Download: PDF file
Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier
Proc. of the 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11),
Lecture Notes in Computer Science 6959, pp 228-243, 2011. SpringerLink
Christel Baier, Joachim Klein, Sascha Klüppelholz
Formal Methods for Eternal Networked Software Systems (SFM'11),
Lecture Notes in Computer Science 6659, pp 114-147, 2011. SpringerLink
Sun Meng, Farhad Arbab, Christel Baier
Science of Computer Programming (SCP), Volume 76(8), pp 651--680, 2011.
Download: PDF file
Frank Ciesinski
PhD thesis, Technische Universität Dresden, 2011.
Download: PDF file
2010
Christel Baier
8th International Conference on Integrated Formal Methods (IFM), Lecture Notes in Computer Science 6396, pp 1-11, 2010
SpringerLink
Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
Communications of the ACM, Volume 53(9), pp 76-85, 2010
ACM Link
Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier
Formal Methods in System Design, Volume 36(3), pp 198-222, 2010
Springer Link
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
Proc. of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA '10),
pp. 97-111, LNCS 6416, 2010.
Springer Link
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Xuedong Liang, Wang Yi
Proc. of the 8th International Symposium on Formal Methods for Component and Objects (FMCO '09),
pp. 41-69, LNCS 6286, 2010
Springer Link
Sascha Klüppelholz, Christel Baier
Journal: Science of Computer Programming, 2010
ScienceDirect
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Xuedong Liang, Wang Yi
Proceedings of the 3nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09), ICTAC 2009 satellite workshop.
Direct link
Sun Meng, Farhad Arbab, Christel Baier
Journal: Science of Computer Programming.
Direct link
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Formal Methods in System Design, ISSN 0925-9856, Volume 36, Number 1.
Springer link
2009
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
Proc. of the 7th International Symposium on Formal Methods for Component and Objects (FMCO '08),
pp. 82-101, LNCS 5751, 2009.
Springer Link
Mathieu Tracol, Christel Baier, Marcus Grösser
Proc. of the 29th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '09),
pp. 395-406, LIPIcs 4, 2009.
DROPS
Christel Baier, Marcus Grösser, Frank Ciesinski
Proc. of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA '09),
pp. 135-150, LNCS 5799, 2009.
Springerlink
Christel Baier, Nathalie Bertrand, Marcus Grösser
Proc. of the 20th International Conference on Concurrency Theory (CONCUR '09),
pp. 15-29, LNCS 5710, 2009.
Springerlink
Christel Baier, Nathalie Bertrand, Marcus Grösser
Proc. of the 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS '09),
pp. 3-16, EPTCS 3, 2009.
arXiv.org
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye
Proc. of the 36th International Colloquium on Automata, Languages and Programming (ICALP '09),
pp. 43-54, LNCS 5556, 2009.
SpringerLink
Christel Baier, Marcus Größer, Frank Ciesinski
chapter 13 of the Handbook of Weighted Automata , editors M. Droste, W. Kuich and H. Vogler,
EATCS Monographs in Theoretical Computer Science, Springer, 2009.
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
Proc. of the 11th International Conference on Coordination Models and Languages (Coordination '09),
pp. 247-267, LNCS 5521, 2009.
SpringerLink
Sascha Klüppelholz, Christel Baier
Science of Computer Programming, 2009.
ScienceDirect
Christel Baier, Nathalie Bertrand, Marcus Größer
Proc. of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM '09),
pp. 19-33, LNCS 5404, 2009.
SpringerLink
2008
Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein
Proc. of the 5th International Conference on Quantitative Evaluation of SysTems (QEST '08),
pp. 45-54, IEEE Computer Society Press, 2008.
IEEE Xplore Link
Marcus Größer
PhD thesis, Technische Universität Dresden, 2008.
Download: PDF file
Frank Ciesinski, Christel Baier, Marcus Größer, David Parker
Proc. of the 15th International SPIN Workshop on Model Checking of Software (SPIN '08),
pp. 60-76, LNCS 5156, 2008.
SpringerLink
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
Proc. of the 23rd IEEE Symposium on Logic in Computer Science (LICS '08),
pp. 217-226, IEEE Computer Society Press, 2008.
IEEE Xplore Link
Sascha Klüppelholz, Christel Baier
Proc. of the 10th International Conference on Coordination Models and Languages (Coordination'08),
pp. 184-198, LNCS 5052, 2008.
SpringerLink
Christel Baier, Nathalie Bertrand, Marcus Größer
Proc. of the 11th International Conference on Foundations of Software Science and Computation Structures (FOSSACS '08),
pp. 287-301, LNCS 4962, 2008 (best paper award).
SpringerLink
Farhad Arbab, Sun Meng, Christel Baier
Proc. of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'08),
pp. 21-41, ENTCS 229(2), 2009.
ScienceDirect
2007
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
IEEE Transactions on Software Engineering, 33(4): 209-224, April 2007.
Download: PDF file
Joachim Klein, Christel Baier
Proc. of the 12th International Conference on Implementation and Application of Automata (CIAA '07),
pp. 51-61, LNCS 4783, 2007.
SpringerLink
Tobias Blechmann, Christel Baier
Proc. of the 4th International Workshop on Formal Aspects of Component Software (FACS '07),
pp. 209-226, ENTCS 215, 2008.
Download: PDF file
Christel Baier, Tomas Brazdil, Marcus Groesser, Antonin Kucera
Proc. of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST '07),
pp. 227-236, IEEE Computer Society Press, 2007.
IEEE Xplore Link
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Groesser
Proc. of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS '07),
pp. 179-191, LNCS 4855, 2007.
SpringerLink
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Logic and Automata , J. Flum, E. Grädel, T. Wilke (eds), Texts in Logic and Games, Volume 2,
pp. 53-72, Amsterdam University Press, 2007.
EEMCS EPrints Service
Christel Baier, Nathalie Bertrand, Phillipe Schnoebelen
ACM Transactions on Computational Logic (TOCL), Volume 9 , Issue 1, Article No. 5, 2007.
ACM Link
2006
Christel Baier, Marjan Sirjani, Farhad Arbab, Jan Rutten
Science of Computer Programming, Vol. 61, pp. 75-113, 2006.
ScienceDirect
Christel Baier, Verena Wolf
Proc. of the 8th International Conference on Coordination Models and Languages (Coordination '06),
pp. 1-15, LNCS 4038, 2006.
Download: PDF file.
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
Proc. of the 8th International Conference on Coordination Models and Languages (Coordination '06),
pp. 281-297, LNCS 4038, 2006.
Download: PDF file.
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
Proc. of the 26th Conference on Formal Techniques for Networked and Distributed Systems (FORTE '06),
pp. 212-227, LNCS 4229, 2006.
Download: PDF file.
Christel Baier, Nathalie Bertrand, Philippe Schnoebelen
Proc. of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR '06),
pp. 347 - 361, LNCS 4246, 2006.
Download: PDF file.
Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska, David Parker
Proc. of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06),
pp. 309-320, LNCS 4337, 2006.
Download: PDF file.
Christel Baier, Pedro d'Argenio, Marcus Größer
Proc. of the 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL '05),
pp. 97-116, ENTCS 153(2), 2006.
Download: PDF file.
Frank Ciesinski, Christel Baier
In Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems (QEST '06),
pp. 131 - 132, IEEE Computer Society Press, 2006.
Download:PDF file.
Sascha Klüppelholz, Christel Baier
Proc. of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA '05),
pp. 19-37, ENTCS 175(2), 2006.
Download: PDF file.
Jörn Ossowski, Christel Baier
Proc. of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS '05),
pp. 39-56, ENTCS 151(1), 2006.
Download: PDF file.
Christel Baier, Nathalie Betrand, Philippe Schnoebelen
Information Processing Letters, pp. 58-63, Vol. 97(2), 2006.
Download: PDF file.
2005
Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf
Information and Computation, Vol. 200(2), pp. 149-214, 2005.
ScienceDirect
Joachim Klein, Christel Baier
Proc. of the 10th International Conference on Implementation and Application of Automata (CIAA '05),
pp. 199-212, LNCS 3845, 2005.
Download: PDF file.
Christel Baier
Extended version.
Download: PDF file.
Christel Baier
pp. 1718-1748, Journal of Universal Computer Science, Vol. 11, No. 10, 2005.
Download:PDF file.
Christel Baier, Frank Ciesinski, Marcus Größer
Proc. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '05),
pp. 2-7, ACM Press, 2005.
Download: PDF file.
Christel Baier, Marcus Größer
Proc. of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS '05),
pp. 137-146, IEEE Computer Society Press, 2005.
Download: PDF file.
Christel Baier, Frank Ciesinski, Marcus Größer
Special issue of ACM Performance Evaluation Review on Performance and Verification, Vol 32(4),
pp. 22-27, 2005.
Download: PDF file.
Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
Special issue of ACM Performance Evaluation Review on Performance and Verification, Vol 32(4),
pp. 10-15, 2005.
Download: PDF file.
Farad Arbab, Christel Baier, Frank de Boer, Jan Rutten, Marjan Sirjani
Proc. of the 7th International Conference on Coordination Models and Languages (Coordination '05),
pp 236-251, LNCS 3454, 2005.
Download: PDF file.
Marcus Größer, Christel Baier
Proc. of the 4th International Symposium on Formal Methods for Component and Objects (FMCO '05),
pp. 408-427, LNCS 4111, 2005.
Download: Springer Link
W. Lenders, C. Baier
Foundations of genetic Algorithms (FOGA 2005), LNCS 3469, pp 1-20, 2005.
Download: PDF file.
2004
F. Arbab, C. Baier, F. de Boer, J. Rutten. M. Sirjani
Unpublished manuscript, 2004.
Download: PDF file.
C.Baier, L. Cloth, B. Haverkort, M. Kuntz, M. Siegle
Proc. of Int. Conf. on Dependable Systems and Networks (DSN), Performance and Dependability Symposium (PDS), pp. 701-710, 2004.
Download: PDF file.
F. Arbab, C. Baier, F. de Boer, J. Rutten
Proceedings 2nd IEEE International Conference on Software Engineering and Formal Methods (SEFM), Peking, September 2004.
Download: PDF file.
C.Baier and M. Größer, Frank Ciesinski
1st International Conference on the Quantitative Evaluation of Systems (QEST) 2004, pp 230-239, IEEE CS Press (best paper award nomination).
Download: PDF file.
C.Baier, M. Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
18th IFIP World Computer Congress, Theoretical Computer Science, pp 439-506, 2004.
Download: PDF file.
C. Baier, F. Ciesinski, M. Größer
In Proc. of the Second ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2004), IEEE CS Press, 2004.
Download: PDF file.
C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen
In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 2988, pp 61-76, 2004.
Download: PDF file.
C. Baier, H. Hermanns, J.-P. Katoen
Information Processing Letters, Vol. 89, Issue 3, pages 123 - 252, 2004.
Download: PDF file.
2003
F.Arbab, C. Baier, J. Rutten, M. Sirjani
In Proc. of the 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA) 2003, vol 97, pp 25-46, ENTCS.
Download: PDF file.
C. Baier, H. Hermanns, J.P. Katoen, V. Wolf
14th International Conference on Concurrency Theory (CONCUR) 2003, Sept. 2003, LNCS 2761, pp 492-507.
Download: PDF file.
P. Abdulla, C. Baier, P. Iyer, B. Jonsson
Information and Computation.
C. Baier, B. Haverkort, H. Hermanns, J.P. Katoen
IEEE TSE Vol.29, No.7, 2003.
Download: PDF file.
Frank Ciesinski, Marcus Größer
LNCS 2925, Validation of Stochastic Systems.
Download: PDF file.
2002
C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen
in Tutorial Proc. PERFORMANCE 2002, Springer LNCS 2459, 2002.
Download: PDF file.
Marcus Größer
Download: PDF file.
2001
2000 and earlier
P. Abdulla, C. Baier, P. Iyer, B. Jonsson
Proc. CONCUR 2000, Lecture Notes in Computer Science, Vol. 1877, pp 320-330, 2000.
Download: BibTex.
C. Baier, M.Z. Kwiatkowska
Fundamentae Informaticae, Vol. 41, pp 259-294, 2000.
Download: BibTex.
A prelimary version appeared in DIMACS Workshop on Partial Order Methods in Verification (POMIV'96), Americal Mathematical Society, Series in Discrete Mathematics and Theoretical Computer Science, Vol. 29, D. Peled, V. Pratt, G. Holzmann (Ed.), pp 141-170, 1996.
Download: BibTex.
Christel Baier, Marielle Stoelinga
Proc. FOSSACS 2000, pp 1-16, Lecture Notes in Computer Science, Vol. 1784, 2000.
Download: BibTex.
C. Baier, B. Engelen, M. Majster-Cederbaum
Journal of Computer and System Sciences 60, pp 187-231, 2000.
Download: PDF file, BibTex.
A prelimary version by the first author with the title
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation
appeared in Proc. 8th International Conference on Computer Aided Verification (CAV'96), Lecture Notes in Computer Science, Vol. 1102, pp 38-49, 1996.
Download: PDF file, BibTex.
C. Baier, M.Z. Kwiatkowska
Mathematical Structures in Computer Science, Vol. 10 (6), pp 665-717, 2000.
Download: PDF file, BibTex.
A prelimary version appeared in 4th Workshop on Expressiveness in Concurrency (EXPRESS'97), Santa Margherita, Electronic Notes in Theoretical Computer Science, Vol. 7, 1997.
Download: PDF file, BibTex.
C. Baier, M.Z. Kwiatkowska
Fundamentae Informaticae, Vol. 41, pp 259-294, 2000.
Download: BibTex.
A prelimary version appeared in DIMACS Workshop on Partial Order Methods in Verification (POMIV'96), Americal Mathematical Society, Series in Discrete Mathematics and Theoretical Computer Science, Vol. 29, D. Peled, V. Pratt, G. Holzmann (Ed.), pp 141-170, 1996.
Download: BibTex.
Alexander Asteroth
Technical report, Institut für Informatik I, Universität Bonn, 1998.
Alexander Asteroth, Jens Frings, Knut Möller
In Proceedings of the 10th Italian Workshop on Neural Nets, WIRN Vietri-99, Springer Verlag, 1999.
Alexander Asteroth, Tobias Kunze, Jens Frings, Knut Möller, Jürgen Drescher
In Journal of Gravitational Physiology, 1999.
A. Asteroth, K. Möller, J. Frings, L. Beck, J. Drescher
In Journal of Gravitational Physiology, 1998.
Alexander Asteroth, Knut Möller
In Proceedings of the Workshop on Machine Learning in Medical Applications, ACAI'99.
C. Baier, M.Z. Kwiatkowska, G. Norman
In Proc. Workshop on Probabilistic Methods in Verification (PROBMIV'98), Electronic Notes in Theoretical Computer Science, Vol. 21, 1999.
Download: BibTex.
Alexander Asteroth
Technical report, Institut für Informatik I, Universität Bonn, 1998.
Alexander Asteroth, Knut Möller, Helmut Schwilden
In Proceedings od the 1997 IEEE Workshop on Neural Networks for Signal Processing, pages 236-243, 1997.
Alexander Asteroth, Knut Möller, Friedhelm Baisch, Luis Beck, Jürgen Drescher
In Journal of Gravitational Physiology, 1997.
C. Baier
Theoretical Computer Science, Vol. 179, pp 217-250, 1997.
Download: BibTex.
C. Baier, M. Majster-Cederbaum
Acta Informatica, Vol. 34, pp 701-735, 1997.
Download: BibTex.
C. Baier, M. Majster-Cederbaum
Formal Aspects of Computing, Vol. 9, pp 425-445, 1997.
Download: BibTex.
C. Baier, M. Majster-Cederbaum
Fundamenta Informaticae, Bd. 29 (3), pp 225-256, 1997.
A short version with the title
A Categorical Characterization of Consistency
appeared in Proc. 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), Lecture Notes in Computer Science, Vol. 1101, pp 473-486, 1996.
Download: BibTex.
C. Baier, M. Majster-Cederbaum
Information Processing Letters, Vol. 59, pp 135-143, 1996.
Download: BibTex.
M. Majster-Cederbaum, C. Baier
Theoretical Computer Science, Bd. 170, 1996.
Download: BibTex.
A short version with the same title appeared in Proc. International Workshop on Structures in Concurrency Theory (STRICT'95), Springer-Verlag, Workshops in Computing, J. Desel (Ed.), pp 236-248, 1995.
Alexander Asteroth
Diplomarbeit (Masters Thesis), Universität Bonn, 1995.
C. Baier, M. Majster-Cederbaum
Theoretical Computer Science, Vol. 135, pp 171-220, 1994.
Download: BibTex.
C. Baier
Ph.D. Thesis, Universität Mannheim, 1994.
Download: BibTex.
U. Schnepf, A. Asteroth, M.S. Fischer, K. Möller
In Proceedings of the 5th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-92), pages 195--204, Springer Verlag, Berlin, 1992.
C. Baier, M. Majster-Cederbaum
Acta Informatica, Vol. 31, pp 81-104, 1994.
A short version with the title
The Consistency of a Noninterleaving and an Interleaving Model for full TCSP
appeared in Proc. 8th International Conference on Fundamentals of Computation Theory (FCT'91), Lecture Notes in Computer Science, Vol.529, pp 105-120, 1991.