Research Topic: State Encoding of Sequential Systems

Technical Reports:

• Ch. Meinel, Th. Theobald: 
  Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines

Publications:

• Ch. Meinel, T. Theobald 
  On the Influence of the State Encoding on OBDD-Representations of Finite State Machines 
  Proc. MFCS'97, Bratislava (Slowakei), LNCS 1295, 1997, 408-417.
• Ch. Meinel, T. Theobald 
  Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines 
  Proc. FMCAD'96, Palo Alto (California, USA), LNCS 1166, Springer-Verlag 1996, 404-418.

People:

• Prof. Dr. Christoph Meinel
• Dr. Thorsten Theobald (now: Uni Munich)