Anne Elisabeth Haxthausen

	2009
21		Anne Elisabeth Haxthausen: A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. SAFECOMP 2009: 1-3
	2008
20		John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings Springer 2008
19		Chris George, Anne Elisabeth Haxthausen: Specification, proof, and model checking of the Mondex electronic purse using RAISE. Formal Asp. Comput. 20(1): 101-116 (2008)
	2007
18		Anne Elisabeth Haxthausen, Jan Peleska: A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. Formal Methods and Hybrid Real-Time Systems 2007: 320-348
	2004
17		Morten P. Lindegaard, Anne Elisabeth Haxthausen: Proof Support for RAISE by a Reuse Approach Based on Institutions. AMAST 2004: 319-333
16		Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika: "UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450
	2003
15		Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki: Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. Computers and Artificial Intelligence 22(3): (2003)
14		Chris George, Anne Elisabeth Haxthausen: The Logic of the RAISE Specification Language. Computers and Artificial Intelligence 22(4): (2003)
	2000
13		Anne Elisabeth Haxthausen, Xia Yong: Linking DC Toghether with TRSL. IFM 2000: 25-44
12		Anne Elisabeth Haxthausen, Jan Peleska: Formal Development and Verification of a Distributed Railway Control System. IEEE Trans. Software Eng. 26(8): 687-701 (2000)
	1999
11		Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner: Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145
10		Anne Elisabeth Haxthausen, Jan Peleska: Formal Development and Verification of a Distributed Railway Control System. World Congress on Formal Methods 1999: 1546-1563
	1997
9		Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski: Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107
8		Anne Elisabeth Haxthausen: Order-Sorted Algebraic Specifications with Higher-Order Functions. Theor. Comput. Sci. 183(2): 157-185 (1997)
	1996
7		Anne Elisabeth Haxthausen, Friederike Nickl: Pushouts of Order-Sorted Algebraic Specifications. AMAST 1996: 132-147
	1995
6		Anne Elisabeth Haxthausen: Order-sorted Algebraic Specifications with Higher-order Functions. AMAST 1995: 133-151
	1993
5		Anne Elisabeth Haxthausen, Chris George: A Concurrency Case Study Using RAISE. FME 1993: 367-387
	1989
4		Anne Elisabeth Haxthausen: Recursive Algebraic Specifications and their Semantics. IFIP Congress 1989: 607-612
	1988
3		Anne Elisabeth Haxthausen: Mutually Recursive Algebraic Domain Equations. ADT 1988
2		Anne Elisabeth Haxthausen: Parameterized Algebraic Domain Equations. Categorial Methods in Computer Science 1988: 198-219
1		Anne Elisabeth Haxthausen: Mutually Recursive Algebraic Domain Equations. VDM Europe 1988: 299-317

Coauthor Index

1	Dines Bjørner	[16]
2	Maura Cerioli	[9]
3	John S. Fitzgerald	[20]
4	Chris George	[5] [14] [16] [19]
5	Steffen Holmslykke	[16]
6	Bernd Krieg-Brückner	[9] [11]
7	Morten P. Lindegaard	[17]
8	Christian Krog Madsen	[16]
9	Till Mossakowski	[9] [11] [15]
10	Friederike Nickl	[7]
11	Jan Peleska	[10] [12] [18]
12	Martin Pnika	[16]
13	Donald Sannella	[15]
14	Andrzej Tarlecki	[15]
15	Hüsnü Yenigün	[20]
16	Xia Yong	[13]

Colors in the list of coauthors