Nuno Macedo

780 total citations
24 papers, 278 citations indexed

About

Nuno Macedo is a scholar working on Software, Artificial Intelligence and Computational Theory and Mathematics. According to data from OpenAlex, Nuno Macedo has authored 24 papers receiving a total of 278 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Software, 10 papers in Artificial Intelligence and 9 papers in Computational Theory and Mathematics. Recurrent topics in Nuno Macedo's work include Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (9 papers) and Model-Driven Software Engineering Techniques (8 papers). Nuno Macedo is often cited by papers focused on Software Testing and Debugging Techniques (12 papers), Formal Methods in Verification (9 papers) and Model-Driven Software Engineering Techniques (8 papers). Nuno Macedo collaborates with scholars based in Portugal, India and France. Nuno Macedo's co-authors include Alcino Cunha, José Proença, Raju Halder, Hugo Pacheco, Filipe Neves dos Santos, José Bacelar Almeida, Julien Brunel, José Pereira, José Creissac Campos and Ricardo Silva and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Software Engineering and Science of Computer Programming.

In The Last Decade

Nuno Macedo

21 papers receiving 273 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Nuno Macedo Portugal	11	196	123	105	65	53	24	278
Alcino Cunha Portugal	12	209 1.1×	165 1.3×	141 1.3×	59 0.9×	85 1.6×	39	329
Eduard Paul Enoiu Sweden	10	199 1.0×	73 0.6×	119 1.1×	75 1.2×	43 0.8×	59	309
Falk Howar Germany	10	138 0.7×	121 1.0×	73 0.7×	85 1.3×	36 0.7×	45	260
José Proença Belgium	10	92 0.5×	147 1.2×	81 0.8×	85 1.3×	88 1.7×	35	243
Martin Feilkas Germany	7	98 0.5×	78 0.6×	98 0.9×	18 0.3×	35 0.7×	11	189
Simon Poulding United Kingdom	11	239 1.2×	88 0.7×	222 2.1×	21 0.3×	47 0.9×	34	340
Mehrdad Saadatmand Sweden	11	173 0.9×	136 1.1×	147 1.4×	44 0.7×	82 1.5×	57	326
Kyller Gorgônio Brazil	9	55 0.3×	53 0.4×	128 1.2×	36 0.6×	85 1.6×	54	245
Rajesh Subramanyan United States	9	329 1.7×	95 0.8×	193 1.8×	27 0.4×	142 2.7×	21	436
Damien Watkins Australia	4	79 0.4×	223 1.8×	198 1.9×	27 0.4×	102 1.9×	11	318

Countries citing papers authored by Nuno Macedo

Since Specialization

Citations

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

Fields of papers citing papers by Nuno Macedo

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Nuno Macedo

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

Cunha, Alcino, et al.. (2024). Assessing the impact of hints in learning formal specification. 151–161.

Macedo, Nuno, Hugo Pacheco, Alcino Cunha, & José N. Oliveira. (2024). Composing Least-change Lenses. Technische Universität Berlin – Universitätsbibliothek.

Macedo, Nuno, et al.. (2023). Exploring Automatic Specification Repair in Dafny Programs. 6605. 105–112. 1 indexed citations

Macedo, Nuno, et al.. (2022). Pardinus: A Temporal Relational Model Finder. Journal of Automated Reasoning. 66(4). 861–904. 2 indexed citations

Cunha, Alcino, et al.. (2022). Schema-guided Testing of Message-oriented Systems. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 26–37. 3 indexed citations

Cunha, Alcino, et al.. (2022). Variability Analysis for Robot Operating System Applications. 111–118. 1 indexed citations

Martins, João, et al.. (2022). Verification of railway network models with EVEREST. 345–355. 1 indexed citations

Macedo, Nuno & Hugo Pacheco. (2021). ROSY: An elegant language to teach the pure reactive nature of robot programming. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT).

Macedo, Nuno, et al.. (2021). Experiences on teaching alloy with an automated assessment platform. Science of Computer Programming. 211. 102690–102690. 7 indexed citations

10.

Cunha, Alcino & Nuno Macedo. (2019). Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. International Journal on Software Tools for Technology Transfer. 22(3). 281–296. 11 indexed citations

11.

Cunha, Alcino, et al.. (2018). Property-based testing for the robot operating system. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 56–62. 13 indexed citations

12.

Campos, José Creissac, et al.. (2018). Improving the Visualization of Alloy Instances. SHILAP Revista de lepidopterología. 284. 37–52. 2 indexed citations

13.

Halder, Raju, et al.. (2017). Formal verification of ROS-based robotic applications using timed-automata. Formal Methods. 44–50. 14 indexed citations

14.

Cunha, Alcino, et al.. (2017). Mining the usage patterns of ROS primitives. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 3855–3860. 15 indexed citations

15.

Halder, Raju, et al.. (2017). Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 32 indexed citations

16.

Cunha, Alcino, et al.. (2016). A framework for quality assessment of ROS repositories. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 4491–4496. 33 indexed citations

17.

Macedo, Nuno, et al.. (2016). A Feature-Based Classification of Model Repair Approaches. IEEE Transactions on Software Engineering. 43(7). 615–640. 43 indexed citations

18.

Macedo, Nuno, Alcino Cunha, & Hugo Pacheco. (2014). Towards a Framework for Multidirectional Model Transformations. RepositóriUM (Universidade do Minho). 1133. 71–74. 10 indexed citations

19.

Macedo, Nuno, et al.. (2014). Bidirectional spreadsheet formulas. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 7307. 161–168. 3 indexed citations

20.

Macedo, Nuno, et al.. (2013). Model repair and transformation with Echo. Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT). 694–697. 22 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