Anne Elisabeth Haxthausen

Available identifiers

zbMath Open haxthausen.anne-elisabethMaRDI QIDQ1391096

List of research outcomes

Publication	Date of Publication	Type
Order-sorted algebraic specifications with higher-order functions	2022-08-16	Paper
Efficient data validation for geographical interlocking systems	2022-01-11	Paper
Editorial	2022-01-11	Paper
Stepwise development and model checking of a distributed interlocking system -- using RAISE	2021-05-04	Paper
Stepwise development and model checking of a distributed interlocking system using RAISE	2021-03-04	Paper
An Institution for Imperative RSL Specifications	2014-03-25	Paper
A formal approach for the construction and verification of railway control systems	2011-05-27	Paper
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems	2008-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4680192	2006-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4680193	2006-06-02	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4471909	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2722020	2001-07-11	Paper
Order-sorted algebraic specifications with higher-order functions	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4375636	1998-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4373553	1998-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4845494	1995-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4845499	1995-09-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anne Elisabeth Haxthausen