Martin Lange

2008
28	EE	Roland Axelsson, Keijo Heljanko, Martin Lange: Analyzing Context-Free Grammars Using an Incremental SAT Solver. ICALP (2) 2008: 410-422
27	EE	Martin Lange: A purely model-theoretic proof of the exponential succinctness gap between CTL+ and CTL. Inf. Process. Lett. 108(5): 308-312 (2008)
26	EE	Kai Brünnler, Martin Lange: Cut-free sequent systems for temporal logic. J. Log. Algebr. Program. 76(2): 216-225 (2008)
2007
25	EE	Martin Lange: Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness. CONCUR 2007: 90-104
24	EE	Roland Axelsson, Martin Lange: Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic. LPAR 2007: 62-76
23	EE	Roland Axelsson, Martin Lange, Rafal Somla: The Complexity of Model Checking Higher-Order Fixpoint Logic CoRR abs/0704.3931: (2007)
22	EE	Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham: When not losing is better than winning: Abstraction and refinement for the full mu-calculus. Inf. Comput. 205(8): 1130-1148 (2007)
21	EE	Roland Axelsson, Martin Lange, Rafal Somla: The Complexity of Model Checking Higher-Order Fixpoint Logic. Logical Methods in Computer Science 3(2): (2007)
2006
20	EE	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala: Bounded Model Checking for Weak Alternating Büchi Automata. CAV 2006: 95-108
19	EE	Christian Dax, Martin Hofmann, Martin Lange: A Proof System for the Linear Time µ-Calculus. FSTTCS 2006: 273-284
18	EE	Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky: Bounded Model Checking for All Regular Properties. Electr. Notes Theor. Comput. Sci. 144(1): 3-18 (2006)
17	EE	Martin Lange: The alternation hierarchy in fixpoint logic with chop is strict too. Inf. Comput. 204(9): 1346-1367 (2006)
16	EE	Martin Lange, Rafal Somla: Propositional dynamic logic of context-free programs and fixpoint logic with chop. Inf. Process. Lett. 100(2): 72-75 (2006)
15	EE	Martin Lange: Model checking propositional dynamic logic with all extras. J. Applied Logic 4(1): 39-49 (2006)
2005
14	EE	Martin Lange, Rafal Somla: The Complexity of Model Checking Higher Order Fixpoint Logic. MFCS 2005: 640-651
13	EE	Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham: Don't Know in the µ-Calculus. VMCAI 2005: 233-249
12	EE	Martin Lange: Weak Automata for the Linear Time µ-Calculus. VMCAI 2005: 267-281
11	EE	Christian Dax, Martin Lange: Game Over: The Foci Approach to LTL Satisfiability and Model Checking. Electr. Notes Theor. Comput. Sci. 119(1): 33-49 (2005)
10	EE	Martin Lange, Hans-Wolfgang Loidl: Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. Electr. Notes Theor. Comput. Sci. 128(3): 125-138 (2005)
9	EE	Martin Lange: A quick axiomatisation of LTL with past. Math. Log. Q. 51(1): 83-88 (2005)
2004
8	EE	Martin Lange: A Lower Complexity Bound for Propositional Dynamic Logic with Intersection. Advances in Modal Logic 2004: 133-147
7	EE	Martin Lange: Symbolic Model Checking of Non-regular Properties. CAV 2004: 83-95
2003
6	EE	Jan Johannsen, Martin Lange: CTL+ Is Complete for Double Exponential Time. ICALP 2003: 767-775
2002
5	EE	Martin Lange: Local Model Checking Games for Fixed Point Logic with Chop. CONCUR 2002: 240-254
4	EE	Martin Lange, Colin Stirling: Model Checking Fixed Point Logic with Chop. FoSSaCS 2002: 250-263
3	EE	Martin Lange: Alternating Context-Free Languages and Linear Time mu-Calculus with Sequential Composition. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
2	EE	Martin Lange, Colin Stirling: Model Checking Games for Branching Time Logics. J. Log. Comput. 12(4): 623-639 (2002)
2001
1		Martin Lange, Colin Stirling: Focus Games for Satisfiability and Completeness of Temporal Logic. LICS 2001: 357-365

Coauthor Index

1	Roland Axelsson	[21] [23] [24] [28]
2	Kai Brünnler	[26]
3	Christian Dax	[11] [19]
4	Orna Grumberg	[13] [22]
5	Keijo Heljanko	[20] [28]
6	Martin Hofmann	[19]
7	Markus Jehle	[18]
8	Jan Johannsen	[6] [18]
9	Tommi A. Junttila	[20]
10	Misa Keinänen	[20]
11	Timo Latvala	[20]
12	Martin Leucker	[13] [22]
13	Hans-Wolfgang Loidl	[10]
14	Nicolas Rachinsky	[18]
15	Sharon Shoham	[13] [22]
16	Rafal Somla	[14] [16] [21] [23]
17	Colin Stirling	[1] [2] [4]

Colors in the list of coauthors