Srđan Krstić

620 total citations
16 papers, 129 citations indexed

About

Srđan Krstić is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Srđan Krstić has authored 16 papers receiving a total of 129 indexed citations (citations by other indexed papers that have themselves been cited), including 9 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. Recurrent topics in Srđan Krstić's work include Formal Methods in Verification (6 papers), Security and Verification in Computing (4 papers) and Advanced Software Engineering Methodologies (3 papers). Srđan Krstić is often cited by papers focused on Formal Methods in Verification (6 papers), Security and Verification in Computing (4 papers) and Advanced Software Engineering Methodologies (3 papers). Srđan Krstić collaborates with scholars based in Switzerland, Luxembourg and Italy. Srđan Krstić's co-authors include Dmitriy Traytel, Ylìès Falcone, Domenico Bianculli, Giles Reger, Carlo Ghezzi, Marcello M. Bersani, Alessio Gambi, David Basin, Pierluigi San Pietro and Schahram Dustdar and has published in prestigious journals such as International Journal on Software Tools for Technology Transfer, Formal Methods in System Design and TU/e Research Portal.

In The Last Decade

Srđan Krstić

15 papers receiving 127 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Srđan Krstić Switzerland	5	54	49	41	40	33	16	129
Dennis Griffith United States	4	97 1.8×	83 1.7×	37 0.9×	55 1.4×	42 1.3×	7	179
Maura Cerioli Italy	7	67 1.2×	44 0.9×	48 1.2×	43 1.1×	47 1.4×	20	156
Giles Reger United Kingdom	7	79 1.5×	70 1.4×	39 1.0×	52 1.3×	40 1.2×	32	151
Loı̈c Hélouët France	8	93 1.7×	47 1.0×	47 1.1×	71 1.8×	56 1.7×	29	172
Anastasia Mavridou United States	7	65 1.2×	44 0.9×	23 0.6×	38 0.9×	60 1.8×	25	136
Karl Meinke Sweden	7	79 1.5×	62 1.3×	28 0.7×	52 1.3×	45 1.4×	24	150
Ramin Tavakoli Kolagari Germany	7	57 1.1×	36 0.7×	22 0.5×	18 0.5×	42 1.3×	22	101
Sigrid Gürgens Germany	8	81 1.5×	26 0.5×	62 1.5×	16 0.4×	68 2.1×	19	137
Mark Hills United States	9	119 2.2×	51 1.0×	34 0.8×	40 1.0×	121 3.7×	30	193
Régine Laleau France	9	102 1.9×	74 1.5×	32 0.8×	56 1.4×	59 1.8×	26	159

Countries citing papers authored by Srđan Krstić

Since Specialization

Citations

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

Fields of papers citing papers by Srđan Krstić

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Srđan Krstić. 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 Srđan Krstić. The network helps show where Srđan Krstić may publish in the future.

Co-authorship network of co-authors of Srđan Krstić

This figure shows the co-authorship network connecting the top 25 collaborators of Srđan Krstić. A scholar is included among the top collaborators of Srđan Krstić 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 Srđan Krstić. Srđan Krstić 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:

16 of 16 papers shown

Krstić, Srđan, Hoàng Việt Nguyễn, & David Basin. (2023). Model-driven Privacy. Proceedings on Privacy Enhancing Technologies. 2024(1). 314–329. 1 indexed citations

Basin, David, et al.. (2023). Is Modeling Access Control Worth It?. Zürcher Hochschule für Angewandte Wissenschaften digital collection (Zurich University of Applied Sciences). 2830–2844. 1 indexed citations

Basin, David, et al.. (2023). User-Controlled Privacy: Taint, Track, and Control. Proceedings on Privacy Enhancing Technologies. 2024(1). 597–616. 2 indexed citations

Basin, David, et al.. (2022). Practical Relational Calculus Query Evaluation. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).

Basin, David, et al.. (2021). Scalable online first-order monitoring. International Journal on Software Tools for Technology Transfer. 23(2). 185–208. 1 indexed citations

Falcone, Ylìès, Srđan Krstić, Giles Reger, & Dmitriy Traytel. (2021). A taxonomy for classifying runtime verification tools. International Journal on Software Tools for Technology Transfer. 23(2). 255–284. 32 indexed citations

Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, et al.. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Chalmers Research (Chalmers University of Technology). 38 indexed citations

Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, et al.. (2019). Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design. 55(1). 72–72. 1 indexed citations

Basin, David, Bhargav Bhatt, Srđan Krstić, & Dmitriy Traytel. (2019). Almost event-rate independent monitoring. Formal Methods in System Design. 54(3). 449–478. 2 indexed citations

10.

Ciavotta, Michele, Srđan Krstić, Damian A. Tamburri, & Willem‐Jan van den Heuvel. (2019). HyperSpark: A Data-Intensive Programming Environment for Parallel Metaheuristics. TU/e Research Portal. 85–92. 4 indexed citations

11.

Krstić, Srđan. (2018). “Binge-Watching”: The New Way of Watching TV Series. AM Journal of Art and Media Studies. 15–23. 7 indexed citations

12.

Basin, David, Srđan Krstić, & Dmitriy Traytel. (2018). AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. 3. 29–20. 4 indexed citations

13.

Bersani, Marcello M., Domenico Bianculli, Carlo Ghezzi, Srđan Krstić, & Pierluigi San Pietro. (2016). Efficient large-scale trace checking using mapreduce. Open Repository and Bibliography (University of Luxembourg). 888–898. 12 indexed citations

14.

Bianculli, Domenico, Carlo Ghezzi, Srđan Krstić, & Pierluigi San Pietro. (2014). Offline Trace Checking of Quantitative Properties of Service-Based Applications. Open Repository and Bibliography (University of Luxembourg). 4963. 9–16. 3 indexed citations

15.

Bersani, Marcello M., Domenico Bianculli, Schahram Dustdar, et al.. (2014). Towards the formalization of properties of cloud-based elastic systems. Open Repository and Bibliography (University of Luxembourg). 38–47. 20 indexed citations

16.

Bianculli, Domenico, Srđan Krstić, Carlo Ghezzi, & Pierluigi San Pietro. (2013). From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications. Open Repository and Bibliography (University of Luxembourg). 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