Alessandro Armando
Impact in
- Software top 2%
- Software Testing and Debugging Techniques
- Signal Processing top 2%
- Advanced Malware Detection Techniques
Papers in
- Software 17
- Software Testing and Debugging Techniques 13
-
- Security and Verification in Computing 24
- Logic, programming, and type systems 23
- Logic, Reasoning, and Knowledge 19
- Co-authors
- Luca CompagnaRoberto CarboneSilvio RaniseAlessio MerloGabriele CostaJacopo MantovaniJorge CuéllarLuca Verderame
- Journals
- Computers & Security (5 papers)Automated Software Engineering (2 papers)Information and Computation (2 papers)Future Generation Computer Systems (2 papers)International Journal of Information Security (2 papers)
- Partner nations
- ItalyFranceUnited Kingdom
In The Last Decade
Alessandro Armando
87 papers receiving 1.0k citations
Peers
Comparison fields: 5 of 68
- Software 176
- Signal Processing 260
- Information Systems 487
- Computer Networks and Communications 410
- Artificial Intelligence 572
Countries citing papers authored by Alessandro Armando
This map shows the geographic impact of Alessandro Armando'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 Alessandro Armando with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Alessandro Armando more than expected).
Fields of papers citing papers by Alessandro Armando
This network shows the impact of papers produced by Alessandro Armando. 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 Alessandro Armando. The network helps show where Alessandro Armando may publish in the future.
Co-authors
The 25 scholars most cited alongside Alessandro Armando, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2024 | 0 | |
| 2 | 2022 | 4 | |
| 3 | 2019 | 12 | |
| 4 | Inclusive / exclusive cities | 2016 | 1 |
| 5 | Watersheds. A Narrative of urban recycle | 2015 | 3 |
| 6 | The XXI century periphery: Turin and the urban crisis | 2015 | 0 |
| 7 | Mobile App Security Analysis with the MAVeriC Static Analysis Module | 2014 | 4 |
| 8 | 2013 | 22 | |
| 9 | Securing the “bring your own device” policy | 2012 | 3 |
| 10 | 2011 | 8 | |
| 11 | Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15 2008 ; proceedings | 2008 | 2 |
| 12 | 2008 | 81 | |
| 13 | 2006 | 1 | |
| 14 | Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures | 2005 | 1 |
| 15 | 2003 | 49 | |
| 16 | 2002 | 10 | |
| 17 | Interfacing computer algebra and deduction systems | 2001 | 1 |
| 18 | 2001 | 2 | |
| 19 | Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. | 2000 | 8 |
| 20 | 1995 | 2 |
About Alessandro Armando
Alessandro Armando is a scholar working on Software, Artificial Intelligence, Signal Processing, Computational Theory and Mathematics and Information Systems, having authored 98 papers that have together received 1.1k indexed citations. Recurring topics across this work include Security and Verification in Computing (24 papers), Logic, programming, and type systems (23 papers), Formal Methods in Verification (20 papers), Logic, Reasoning, and Knowledge (19 papers), Advanced Malware Detection Techniques (19 papers), Access Control and Trust (18 papers), Software Testing and Debugging Techniques (13 papers) and Advanced Authentication Protocols Security (11 papers). The work is most often cited by research in Software (176 citations), Signal Processing (260 citations), Information Systems (487 citations), Computer Networks and Communications (410 citations) and Artificial Intelligence (572 citations). Alessandro Armando has collaborated with scholars based in Italy, France and United Kingdom. Frequent co-authors include Luca Compagna, Roberto Carbone, Silvio Ranise, Alessio Merlo, Gabriele Costa, Jacopo Mantovani, Jorge Cuéllar, Luca Verderame, Llanos Tobarra and Michaël Rusinowitch. Their work appears in journals such as Computers & Security, Automated Software Engineering, Information and Computation, Future Generation Computer Systems and International Journal of Information Security.
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.