Industrial Conference Proceedings:
Technical reports and pre-prints:
• Model theory, parametrized descriptive complexity theory• Multi-criteria identification, optimization and clustering• Effective parallel and distributed computations on decomposable structures• Database theory• Graph polynomials• CAD tools for both logical and physical VLSI design• Verification of logical designs, using both simulation and formal verification methods and tools • Verification of physical designs