Anne Remke

1.0k total citations
61 papers, 395 citations indexed

About

Anne Remke is a scholar working on Computational Theory and Mathematics, Control and Systems Engineering and Computer Networks and Communications. According to data from OpenAlex, Anne Remke has authored 61 papers receiving a total of 395 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Computational Theory and Mathematics, 23 papers in Control and Systems Engineering and 21 papers in Computer Networks and Communications. Recurrent topics in Anne Remke's work include Formal Methods in Verification (23 papers), Petri Nets in System Modeling (19 papers) and Smart Grid Security and Resilience (18 papers). Anne Remke is often cited by papers focused on Formal Methods in Verification (23 papers), Petri Nets in System Modeling (19 papers) and Smart Grid Security and Resilience (18 papers). Anne Remke collaborates with scholars based in Netherlands, Germany and United Kingdom. Anne Remke's co-authors include Boudewijn R. Haverkort, Marco Gribaudo, Marijn Jongerden, Geert Heijenk, Martijn van Eenennaam, Lucia Cloth, Johann L. Hurink, Xian Wu, Stefan Schupp and M. Küntz and has published in prestigious journals such as Energies, Theoretical Computer Science and Lecture notes in computer science.

In The Last Decade

Anne Remke

57 papers receiving 394 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Anne Remke Netherlands	13	192	151	141	92	88	61	395
Marten Lohstroh United States	11	93 0.5×	78 0.5×	113 0.8×	33 0.4×	32 0.4×	31	345
Igor Melatti Italy	12	111 0.6×	186 1.2×	54 0.4×	87 0.9×	58 0.7×	44	348
G. Latif-Shabgahi United Kingdom	10	114 0.6×	39 0.3×	144 1.0×	38 0.4×	165 1.9×	20	371
Silvano Chiaradonna Italy	11	144 0.8×	51 0.3×	192 1.4×	108 1.2×	123 1.4×	49	460
Victor Dubinin Russia	17	132 0.7×	225 1.5×	73 0.5×	51 0.6×	40 0.5×	48	637
Leonardo Mangeruca Italy	9	73 0.4×	102 0.7×	123 0.9×	87 0.9×	59 0.7×	25	430
Darren Cofer United States	13	86 0.4×	242 1.6×	87 0.6×	21 0.2×	175 2.0×	50	517
Nga Nguyen France	12	113 0.6×	27 0.2×	80 0.6×	86 0.9×	101 1.1×	31	357
Peter Bunus Sweden	9	155 0.8×	227 1.5×	52 0.4×	24 0.3×	100 1.1×	27	403
Jean-Marc Faure France	11	67 0.3×	294 1.9×	117 0.8×	17 0.2×	104 1.2×	35	467

Countries citing papers authored by Anne Remke

Since Specialization

Citations

This map shows the geographic impact of Anne Remke'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 Remke with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Anne Remke more than expected).

Fields of papers citing papers by Anne Remke

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Anne Remke. 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 Remke. The network helps show where Anne Remke may publish in the future.

Co-authorship network of co-authors of Anne Remke

This figure shows the co-authorship network connecting the top 25 collaborators of Anne Remke. A scholar is included among the top collaborators of Anne Remke 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 Remke. Anne Remke 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

Hurink, Johann L., et al.. (2025). Real-world case studies for a process-aware IDS. Energy Informatics. 8(1). 86–86. 1 indexed citations

Remke, Anne, et al.. (2025). Interfacing process-aware Intrusion Detection for distributed energy sources with DEMKit. University of Twente Research Information. 981–982. 1 indexed citations

Remke, Anne, et al.. (2024). Symbolic state-space exploration meets statistical model checking. Performance Evaluation. 167. 102449–102449.

Abate, Alessandro, H.A.P. Blom, Sofie Haesaert, et al.. (2023). ARCH-COMP23 Category Report: Stochastic Models. EPiC series in computing. 96. 126–100.

Tran, Dung Viet & Anne Remke. (2022). Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. Electronic Proceedings in Theoretical Computer Science. 361.

Hartmanns, Arnd, et al.. (2021). Learning optimal decisions for stochastic hybrid systems. University of Twente Research Information. 44–55. 3 indexed citations

Abate, Alessandro, H.A.P. Blom, Arnd Hartmanns, et al.. (2020). ARCH-COMP20 Category Report: Stochastic Models. EPiC series in computing. 74. 76–44. 6 indexed citations

Hartmanns, Arnd, et al.. (2020). Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. University of Twente Research Information. 1–11. 1 indexed citations

Remke, Anne & Boudewijn R. Haverkort. (2016). Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems. Lecture notes in computer science. 2 indexed citations

10.

Jongerden, Marijn, et al.. (2016). Does Your Domestic Photovoltaic Energy System Survive Grid Outages?. Energies. 9(9). 736–736. 14 indexed citations

11.

Remke, Anne, et al.. (2015). Hybrid Petri nets with multiple stochastic transition firings. University of Twente Research Information. 5 indexed citations

12.

Remke, Anne, et al.. (2014). Analysis of a sewage treatment facility using hybrid Petri nets. University of Twente Research Information. 13 indexed citations

13.

Remke, Anne, et al.. (2013). Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. University of Twente Research Information. 152–161. 16 indexed citations

14.

Remke, Anne, et al.. (2012). A logic for model-checking of mean-field models. University of Twente Research Information. 1 indexed citations

15.

Boer, Pieter-Tjerk de, et al.. (2011). Is Quantitative Analysis of Stuxnet Possible. University of Twente Research Information. 9–10. 1 indexed citations

16.

Haverkort, Boudewijn R., et al.. (2010). Evaluating repair strategies for a water-treatment facility using Arcade. University of Twente Research Information. 419–424. 8 indexed citations

17.

Remke, Anne, et al.. (2010). A Massively Scalable Architecture For Instant Messaging & Presence. Electronic Notes in Theoretical Computer Science. 261. 109–130. 4 indexed citations

18.

Remke, Anne, et al.. (2009). Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. University of Twente Research Information. 3404. 133–142.

19.

Remke, Anne, Boudewijn R. Haverkort, & Lucia Cloth. (2007). CSL model checking algorithms for QBDs. Theoretical Computer Science. 382(1). 24–41. 12 indexed citations

20.

Remke, Anne & Boudewijn R. Haverkort. (2005). Beyond Model-Checking CSL for QBDs : Resets, Batches and Rewards. University of Twente Research Information. 23–26. 1 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