( en | de | ru )

 

Disambiguation of "Haxthausen, Anne E."

Author of the publication

copydeleteadd this publication to your clipboard
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432).

, , , and . Dagstuhl Reports, 9 (10): 95-116 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elmar Haxthausen

Anne E Mills

Anne E Mills

Annette Haxthausen-Schmüdderich

Helmut Annen

 

Other publications of authors with the same name

Safety Interlocking as a Distributed Mutual Exclusion Problem., and . FMICS, volume 11119 of Lecture Notes in Computer Science, page 52-66. Springer, (2018)Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway., , , , , , , , , and . ISoLA (4), volume 13704 of Lecture Notes in Computer Science, page 246-268. Springer, (2022)A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems., and . Formal Methods and Hybrid Real-Time Systems, volume 4700 of Lecture Notes in Computer Science, page 320-348. Springer, (2007)A rigorous methodology for analyzing and designing plug-ins., , and . TOPI@ICSE, page 49-50. IEEE Computer Society, (2013)Mutually Recursive Algebraic Domain Equations.. ADT, (1988)Model Checking and Model-Based Testing in the Railway Domain., and . SyDe Summer School, page 82-121. Springer, (2015)ÜML-ising' Formal Techniques., , , , , and . SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 423-450. Springer, (2004)Compositional Verification of Multi-station Interlocking Systems., , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 279-293. (2016)Proof Support for RAISE by a Reuse Approach Based on Institutions., and . AMAST, volume 3116 of Lecture Notes in Computer Science, page 319-333. Springer, (2004)Efficient data validation for geographical interlocking systems., , , and . Formal Aspects Comput., 33 (6): 925-955 (2021)