Ornela Dardha

562 total citations
19 papers, 104 citations indexed

About

Ornela Dardha is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Ornela Dardha has authored 19 papers receiving a total of 104 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. Recurrent topics in Ornela Dardha's work include Logic, programming, and type systems (14 papers), Formal Methods in Verification (10 papers) and Distributed systems and fault tolerance (7 papers). Ornela Dardha is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (10 papers) and Distributed systems and fault tolerance (7 papers). Ornela Dardha collaborates with scholars based in United Kingdom, Italy and Netherlands. Ornela Dardha's co-authors include Davide Sangiorgi, Nobuko Yoshida, Alceste Scalas, Dimitrios Kouzapas, Raymond Hu, Elena Giachino, Simon J. Gay, Jorge A. Pérez, Ferruccio Damiani and Daniele Gorla and has published in prestigious journals such as SHILAP Revista de lepidopterología, Lecture notes in computer science and The Computer Journal.

In The Last Decade

Ornela Dardha

16 papers receiving 104 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Ornela Dardha United Kingdom	6	90	58	39	21	17	19	104
Silvia Ghilezan Serbia	9	138 1.5×	97 1.7×	34 0.9×	10 0.5×	15 0.9×	36	165
Dimitris Mostrous Portugal	3	109 1.2×	78 1.3×	44 1.1×	17 0.8×	16 0.9×	6	126
Damien Pous France	7	97 1.1×	76 1.3×	30 0.8×	13 0.6×	9 0.5×	27	118
Claudio Antares Mezzina Italy	6	62 0.7×	44 0.8×	49 1.3×	15 0.7×	17 1.0×	23	88
Benedikt Bollig France	5	68 0.8×	89 1.5×	19 0.5×	11 0.5×	14 0.8×	32	115
Pierre Ganty Spain	7	79 0.9×	89 1.5×	35 0.9×	17 0.8×	19 1.1×	24	126
Kamal Lodaya India	6	84 0.9×	110 1.9×	31 0.8×	8 0.4×	9 0.5×	25	136
Ben Moszkowski United Kingdom	7	139 1.5×	120 2.1×	33 0.8×	17 0.8×	17 1.0×	24	167
Claudio Sacerdoti Coen Italy	6	146 1.6×	105 1.8×	55 1.4×	16 0.8×	7 0.4×	33	173
Kevin Millikin Denmark	8	139 1.5×	83 1.4×	13 0.3×	19 0.9×	13 0.8×	15	143

Countries citing papers authored by Ornela Dardha

Since Specialization

Citations

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

Fields of papers citing papers by Ornela Dardha

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Ornela Dardha

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

19 of 19 papers shown

Dardha, Ornela, et al.. (2025). Design and Evaluation of Coconut: Typestates for C++. Science of Computer Programming. 250. 103398–103398.

Perkins, Colin, et al.. (2024). Session Types for the Transport Layer: Towards an Implementation of TCP. Electronic Proceedings in Theoretical Computer Science. 401. 22–36.

Dardha, Ornela, et al.. (2023). Separating Sessions Smoothly. Logical Methods in Computer Science. Volume 19, Issue 3. 2 indexed citations

Dardha, Ornela, et al.. (2023). Prioritise the Best Variation. Logical Methods in Computer Science. Volume 19, Issue 4.

McKinna, James, et al.. (2023). Structural Subtyping as Parametric Polymorphism. Proceedings of the ACM on Programming Languages. 7(OOPSLA2). 1093–1121. 1 indexed citations

Dardha, Ornela, et al.. (2021). Papaya: Global Typestate Analysis of Aliased Objects. ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam). 1–13. 1 indexed citations

Dardha, Ornela, et al.. (2021). Deadlock-free session types in linear Haskell. ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam). 1–13. 7 indexed citations

Damiani, Ferruccio & Ornela Dardha. (2021). Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. HAL (Le Centre pour la Communication Scientifique Directe). 2 indexed citations

Damiani, Ferruccio & Ornela Dardha. (2021). Coordination Models and Languages. Lecture notes in computer science. 4 indexed citations

10.

Dardha, Ornela & Jurriaan Rot. (2020). Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics. Electronic Proceedings in Theoretical Computer Science. 322. 1 indexed citations

11.

Kouzapas, Dimitrios, et al.. (2017). Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. Science of Computer Programming. 155. 52–75. 12 indexed citations

12.

Scalas, Alceste, Ornela Dardha, Raymond Hu, & Nobuko Yoshida. (2017). A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 21 indexed citations

13.

Scalas, Alceste, Ornela Dardha, Raymond Hu, & Nobuko Yoshida. (2017). A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 4 indexed citations

14.

Dardha, Ornela, Elena Giachino, & Davide Sangiorgi. (2017). Session types revisited. Information and Computation. 256. 253–286. 19 indexed citations

15.

Kouzapas, Dimitrios, et al.. (2016). Typechecking protocols with Mungo and StMungo. ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam). 146–159. 12 indexed citations

16.

Dardha, Ornela, Daniele Gorla, & Daniele Varacca. (2016). Semantic Subtyping for Objects and Classes. The Computer Journal. 2 indexed citations

17.

Dardha, Ornela. (2016). Type Systems for Distributed Programs: Components and Sessions. ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam). 4 indexed citations

18.

Dardha, Ornela & Jorge A. Pérez. (2015). Comparing Deadlock-Free Session Typed Processes. SHILAP Revista de lepidopterología. 190. 1–15. 5 indexed citations

19.

Dardha, Ornela. (2014). Recursive Session Types Revisited. SHILAP Revista de lepidopterología. 162. 27–34. 7 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