Christian Stangier

	2004
20		Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson: A Partitioning Methodology for BDD-Based Verification. FMCAD 2004: 399-413
19		Christian Stangier, Thomas Sidle: Invariant Checking Combining Forward and Backward Traversal. FMCAD 2004: 414-429
	2003
18		Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain: Improved Symbolic Verification Using Partitioning Techniques. CHARME 2003: 410-424
	2002
17		Christoph Meinel, Christian Stangier: Modular Partitioning and Dynamic Conjunction Scheduling in Image Computation. IWLS 2002: 391-396
16		Christian Stangier: High-level Methods for OBDD-based Sequential Verification Univ. Trier, FB 4, Informatik 2002
	2001
15		Christoph Meinel, Christian Stangier: A new partitioning scheme for improvement of image computation. ASP-DAC 2001: 97-102
14		Christoph Meinel, Christian Stangier: Data Structures for Boolean Functions. Computational Discrete Mathematics 2001: 61-78
13		Christian Stangier, Ulrich Holtmann: Applying Formal Verification with Protocol Compiler. DSD 2001: 165-169
12		Christoph Meinel, Christian Stangier: Hierarchical Image Computation with Dynamic Conjunction Scheduling. ICCD 2001: 354-359
11		Christoph Meinel, Christian Stangier: Modular Partitioning for Improvement of Image Computation Universität Trier, Mathematik/Informatik, Forschungsbericht 01-16: (2001)
	2000
10		Christoph Meinel, Christian Stangier: Speeding up symbolic model checking by accelerating dynamic variable reordering. ACM Great Lakes Symposium on VLSI 2000: 39-42
9		Christoph Meinel, Christian Stangier: Algorithms and Heuristics in VLSI Design. Experimental Algorithmics 2000: 139-162
8		Christoph Meinel, Christian Stangier: Speeding Up Image Computation by Using RTL Information. FMCAD 2000: 443-454
	1999
7		Christoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering. DATE 1999: 760-761
6		Christoph Meinel, Christian Stangier: Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht 99-28: (1999)
5		Christian Stangier, Ulrich Holtmann: Applying Formal Verification with Protocol Compiler Universität Trier, Mathematik/Informatik, Forschungsbericht 99-29: (1999)
	1998
4		Gianpiero Cabodi, Stefano Quer, Christoph Meinel, Harald Sack, Anna Slobodová, Christian Stangier: Binary Decision Diagrams and the Multiple Variable Order Problem Universität Trier, Mathematik/Informatik, Forschungsbericht 98-22: (1998)
3		Christoph Meinel, Christian Stangier: Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering Universität Trier, Mathematik/Informatik, Forschungsbericht 98-23: (1998)
2		Christoph Meinel, Harald Sack, Christian Stangier, Arno Wagner: Do We Really Need Common Variable Orders for Synthesizing OBDDs? Universität Trier, Mathematik/Informatik, Forschungsbericht 98-29: (1998)
	1997
1		Christoph Meinel, Christian Stangier: OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols Universität Trier, Mathematik/Informatik, Forschungsbericht 97-28: (1997)

Coauthor Index

1	Gianpiero Cabodi	[4]
2	David L. Dill	[20]
3	E. Allen Emerson	[20]
4	Ulrich Holtmann	[5] [13]
5	Subramanian K. Iyer	[18] [20]
6	Jawahar Jain	[18] [20]
7	Christoph Meinel	[1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [14] [15] [17]
8	Amit Narayan	[18] [20]
9	Stefano Quer	[4]
10	Harald Sack	[2] [4]
11	Debashis Sahoo	[18] [20]
12	Thomas Sidle	[19]
13	Anna Slobodová	[4]
14	Arno Wagner	[2]

Colors in the list of coauthors