Anne E. Haxthausen

1.5k total citations
35 papers, 422 citations indexed

About

Anne E. Haxthausen is a scholar working on Computational Theory and Mathematics, Software and Hardware and Architecture. According to data from OpenAlex, Anne E. Haxthausen has authored 35 papers receiving a total of 422 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Computational Theory and Mathematics, 16 papers in Software and 9 papers in Hardware and Architecture. Recurrent topics in Anne E. Haxthausen's work include Formal Methods in Verification (16 papers), Model-Driven Software Engineering Techniques (13 papers) and Real-Time Systems Scheduling (5 papers). Anne E. Haxthausen is often cited by papers focused on Formal Methods in Verification (16 papers), Model-Driven Software Engineering Techniques (13 papers) and Real-Time Systems Scheduling (5 papers). Anne E. Haxthausen collaborates with scholars based in Denmark, Germany and Italy. Anne E. Haxthausen's co-authors include Jan Peleška, Jan Madsen, Peter Voigt Knudsen, Chris George, Till Mossakowski, John Fitzgerald, Hüsnü Yenigün, Donald Sannella, Andrzej Tarlecki and Alessandro Fantechi and has published in prestigious journals such as IEEE Transactions on Software Engineering, Future Generation Computer Systems and Theoretical Computer Science.

In The Last Decade

Anne E. Haxthausen

33 papers receiving 384 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Anne E. Haxthausen Denmark	11	205	167	163	128	94	35	422
Saddek Bensalem France	13	367 1.8×	255 1.5×	221 1.4×	175 1.4×	109 1.2×	42	565
Marius Bozga France	13	265 1.3×	175 1.0×	213 1.3×	194 1.5×	140 1.5×	53	526
Ansgar Fehnker Australia	10	291 1.4×	137 0.8×	109 0.7×	85 0.7×	68 0.7×	35	434
Doron Drusinsky United States	12	295 1.4×	262 1.6×	204 1.3×	120 0.9×	76 0.8×	62	535
Peter Csaba Ölveczky Norway	12	352 1.7×	136 0.8×	205 1.3×	182 1.4×	206 2.2×	60	550
Franck Cassez France	13	447 2.2×	97 0.6×	162 1.0×	109 0.9×	171 1.8×	51	596
Gregor Gößler France	7	187 0.9×	67 0.4×	111 0.7×	127 1.0×	96 1.0×	13	347
Gerald Lüttgen Germany	10	292 1.4×	290 1.7×	201 1.2×	90 0.7×	95 1.0×	39	512
Jeremy Sproston Italy	8	397 1.9×	226 1.4×	166 1.0×	86 0.7×	79 0.8×	25	494

Countries citing papers authored by Anne E. Haxthausen

Since Specialization

Citations

This map shows the geographic impact of Anne E. Haxthausen's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Anne E. Haxthausen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Anne E. Haxthausen more than expected).

Fields of papers citing papers by Anne E. Haxthausen

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Anne E. Haxthausen. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Anne E. Haxthausen. The network helps show where Anne E. Haxthausen may publish in the future.

Co-authorship network of co-authors of Anne E. Haxthausen

This figure shows the co-authorship network connecting the top 25 collaborators of Anne E. Haxthausen. A scholar is included among the top collaborators of Anne E. Haxthausen based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Anne E. Haxthausen. Anne E. Haxthausen is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Haxthausen, Anne E., et al.. (2024). Formal Methods for Industrial Critical Systems. Lecture notes in computer science. 2 indexed citations

Haxthausen, Anne E., et al.. (2022). Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Lecture notes in computer science. 1 indexed citations

Gleirscher, Mario, et al.. (2020). Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Fantechi, Alessandro, et al.. (2017). Model Checking Geographically Distributed Interlocking Systems Using UMC. Florence Research (University of Florence). 278–286. 7 indexed citations

Fantechi, Alessandro, Stefania Gnesi, Anne E. Haxthausen, et al.. (2016). SaRDIn - A Safe Reconfigurable Distributed Interlocking. 1 indexed citations

Haxthausen, Anne E., et al.. (2016). Formal modelling and verification of interlocking systems featuring sequential release. Science of Computer Programming. 133. 91–115. 17 indexed citations

Haxthausen, Anne E., et al.. (2014). A Domain-Specific Language for Railway Interlocking Systems. Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU). 200–209. 4 indexed citations

Haxthausen, Anne E., et al.. (2013). Formal Development and Verification of Railway Control Systems. 1 indexed citations

Haxthausen, Anne E.. (2009). Developing a Domain Model for Relay Circuits.. 3. 241–272. 3 indexed citations

10.

Haxthausen, Anne E., et al.. (2009). A formal approach for the construction and verification of railway control systems. Formal Aspects of Computing. 23(2). 191–219. 25 indexed citations

11.

Haxthausen, Anne E., et al.. (2008). Theoretical Aspects of Computing - ICTAC 2008. Lecture notes in computer science. 5 indexed citations

12.

Peleška, Jan, et al.. (2007). Object Code Verification for Safety-Critical Railway Control Systems. Formal Methods. 184–199. 5 indexed citations

13.

Mossakowski, Till, Anne E. Haxthausen, Donald Sannella, & Andrzej Tarlecki. (2003). CASL - The Common Algebraic Specification Language: Semantics and Proof Theory. Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU). 22. 285–321. 14 indexed citations

14.

Haxthausen, Anne E.. (2002). Developing a translator from C programs to data flow graphs using RAISE. ii. 89–102. 1 indexed citations

15.

Mossakowski, Till, et al.. (2000). Subsorted Partial Higher-order Logic as an extension of CASL. Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU). 3 indexed citations

16.

Haxthausen, Anne E. & Jan Peleška. (2000). Formal development and verification of a distributed railway control system. IEEE Transactions on Software Engineering. 26(8). 687–701. 61 indexed citations

17.

Haxthausen, Anne E., et al.. (1999). Linking DC together with TRSL. Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU).

18.

Haxthausen, Anne E.. (1997). Order-sorted algebraic specifications with higher-order functions. Theoretical Computer Science. 183(2). 157–185. 2 indexed citations

19.

Madsen, Jan, et al.. (1997). LYCOS: the Lyngby Co-Synthesis System. Design Automation for Embedded Systems. 2(2). 195–235. 96 indexed citations

20.

Bjørner, Dines, et al.. (1992). Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS. Future Generation Computer Systems. 7(2-3). 111–138. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact