Deutsche Hausseitewww.uni-halle.deZum Institut für Informatik

Lehrstuhl für Theoretische Informatik

Address : Institut für Informatik
Martin-Luther-Universität Halle-Wittenberg
von-Seckendorff-Platz 1
D-06099 Halle / Saale
Germany

<HR>

General Information on the Theoretical Computer Science Group

Staff

Chairman:  Prof. Dr. Ludwig Staiger (345) 55-24714 / Fax: (345) 55-27009
Secretary: Frau Daniela Funke (345) 55-24751
Staff:  Dr. Renate Winter (345) 55-24738
Dipl.-Math. Sibylle Schwarz (345) 55-24715  (since October 2003)
Dipl.-Math. René Mazala (345) 55-24736  (since April 2001)
Dr. Ralf Stiebe (until March 2001)
 
 
Guests: Prof. Dr. Hideki Yamasaki (until August 1999)
Prof. Dr. Tetsuo Moriya (until September 1999)

Activities

Technical Reports

02-16 Mazala, R., Staiger, L., Winter, R. (Hrsg.): 12. Theorietag "Automaten und Formale Sprachen"
02-15 Staiger, L.: How Large is the Set of Disjunctive Sequences?
01-15 Staiger, L.: Topologies for the Set of Disjunctive -words
01-12 Winter, R.: Kryptoalgorithmen unter Ausnutzung der Komplexität des Clique-Problems
00-18 Fernau, H.; Stiebe, R.: Valences in Parallel Systems
00-11 Fernau, H.; Reinhardt, K.; Staiger, L.: Decidability of Code Properties
00-04 Moriya, T.: Closure under Composition and Syntactic Monoids of some Codes
99-29 Freund, R., Staiger, L.: Acceptance of -Languages
by Communicating Deterministic Turing Machines
99-17 Yamasaki, H.: Logical Characterization of Petri Net -Languages
99-16 Fernau, H.; Staiger, L.: Iterated Function Systems and Control Languages
99-15 Staiger, L.: On the Power of Reading the Whole Infinite Input Tape
99-14 Staiger, L.: The Kolmogorov Complexity of Liouville Numbers
99-13 Staiger, L.: How much can you win when your adversary is handicapped?
98-36 Fernau, H.; Stiebe, R.: Regulation by Valences
98-30 Staiger, L.: The Hausdorff Measure of Regular -languages is Computable
98-06 Staiger, L.: Rich -Words and Monadic Second-Order Arithmetic
97-09 Staiger, L.: -languages
96-43 Molitor, P.; Näher, S.; Rojas, R.; Staiger, L.: Beiträge zur Informatik
95-07 Head, T.; Weber, A.: Deciding Multiset Decipherability

-) Technical Reports of the Department
-) Technical Reports of the Institute

<HR>


<HR>
www.uni-halle.de


Ludwig Staiger

Last modified: Fri Jan 5 17:57:06 MET 2001