Complete List of Conference Papers of the chair of Prof. Dr. Christoph Meinel

Here you can find all our peer-reviewed conference papers:

Speeding up Symbolic Model Checking by Accelerating Dynamic Variable Reordering

Meinel, Christoph; Stangier, Christian in Proceedings of the 10th Great Lakes Symposium on VLSI (GLS-VLSI 2000) page 39-42 . Chicago, USA , ACM Press , 2000 .

2000_Meinel_GLS-VLSI.pdf
Further Information
Tags its

You can also find sub-lists of our peer-reviewed conference papers focusing on 

Other Links

... to our Research
              Security Engineering - Learning & Knowledge Tech - Design Thinking - former
... to our Teaching
              Tele-Lectures - MOOCs - Labs - Systems 
... to our Publications
              Books - Journals - Conference-Papers - Patents
... and to our Annual Reports.