Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Theoretische Informatik

 

Miller


2008:

Partially commutative inverse monoids

Volker Diekert, Markus Lohrey, Alexander Miller

Semigroup Forum 77(2), 196-226, 2008. Link (© Springer-Verlag).
Conference version: MFCS 2006, LNCS 4162, 292-304 (2006).

On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs

Javier Esparza, Petr Jančar, Alexander Miller

Fundamenta Informaticae 86(3), 227-253, 2008. pdf file, abstract (© IOS Press).
Conference version: Proc. ACSD 2006, 47-56 (2006).

2006:

Partially commutative inverse monoids

Volker Diekert, Markus Lohrey, Alexander Miller

MFCS 2006, LNCS 4162, 292-304, 2006 pdf. File (© Springer-Verlag).

On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs

Javier Esparza, Petr Jančar, Alexander Miller

Proc. ACSD 2006, 47-56, 2006. pdf file (© IEEE Computer Society).
Tech. report: pdf file.