Citations per year, relative to Stefania Gnesi Stefania Gnesi (= 1×)
peers
Marsha Chećhik
Countries citing papers authored by Stefania Gnesi
Since
Specialization
Citations
This map shows the geographic impact of Stefania Gnesi'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 Stefania Gnesi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Stefania Gnesi more than expected).
This network shows the impact of papers produced by Stefania Gnesi. 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 Stefania Gnesi. The network helps show where Stefania Gnesi may publish in the future.
Co-authorship network of co-authors of Stefania Gnesi
This figure shows the co-authorship network connecting the top 25 collaborators of Stefania Gnesi.
A scholar is included among the top collaborators of Stefania Gnesi 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 Stefania Gnesi. Stefania Gnesi is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
Fantechi, Alessandro, et al.. (2020). A comparison of NLP Tools for RE to extract Variation Points..1 indexed citations
3.
Fantechi, Alessandro, Stefania Gnesi, & Laura Semini. (2019). From Generic Requirements to Variability..3 indexed citations
4.
Beek, Maurice H. ter, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, & Riccardo Scopigno. (2018). Formal Methods for the Railway Sector.. ERCIM news/ERCIM news online edition. 2018.3 indexed citations
5.
Ferrari, Alessio, Giorgio Oronzo Spagnolo, & Stefania Gnesi. (2017). Towards a Dataset for Natural Language Requirements Processing..6 indexed citations
6.
Beek, Maurice H. ter, Luca Bortolussi, Vincenzo Ciancia, et al.. (2014). A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM news/ERCIM news online edition. 2014.1 indexed citations
7.
Gnesi, Stefania, et al.. (2014). Proceedings of the Third FME Workshop on Formal Methods in Software Engineering. International Conference on Software Engineering.2 indexed citations
8.
Gnesi, Stefania, Philippe Collet, & Klaus Schmid. (2013). Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems.1 indexed citations
9.
Beek, Maurice H. ter, Stefania Gnesi, & Franco Mazzanti. (2013). VMC: A Tool for the Analysis of Variability in Software Product Lines.. ERCIM news/ERCIM news online edition. 2013.
10.
Gnesi, Stefania, et al.. (2012). Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches. International Conference on Software Engineering.1 indexed citations
11.
Beek, Maurice H. ter, et al.. (2010). A deontic logical framework for modelling product families. Florence Research (University of Florence). 37–44.11 indexed citations
12.
Gnesi, Stefania, et al.. (2008). Model driven development of railway systems using diversity.. Florence Research (University of Florence). 23.1 indexed citations
13.
Lenzini, Gabriele, Fabio Martinelli, Ilaria Matteucci, & Stefania Gnesi. (2008). A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.. 172–201.
14.
Gnesi, Stefania, et al.. (2005). An automatic tool for the analysis of natural language requirements.. Computer Systems: Science & Engineering. 20.83 indexed citations
15.
Fantechi, Alessandro, et al.. (2004). A Methodology for the Derivation and Verification of Use Cases for Product Lines. Florence Research (University of Florence).2 indexed citations
16.
Beek, Maurice H. ter, Mieke Massink, Diego Latella, & Stefania Gnesi. (2004). Model Checking Groupware Protocols.. OpenGrey (Institut de l'Information Scientifique et Technique). 179–194.5 indexed citations
Gnesi, Stefania, et al.. (2000). A Formal Specification and Validation of a Safety Critical Railway Control System. University of Twente Research Information.2 indexed citations
19.
Fantechi, Alessandro, et al.. (1998). Automated verification of fault tolerance mechanisms. 17–41.1 indexed citations
20.
Bouali, Amar, et al.. (1994). JACK: Just Another Concurrency Kit. The intergration Projekt.. Bulletin of the European Association for Theoretical Computer Science. 54. 207–223.15 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.