Elvira Albert
About
Elvira Albert has authored 56 papers that have received a total of 453 indexed citations.
This includes 41 papers in Artificial Intelligence, 30 papers in Computational Theory and Mathematics and 23 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (32 papers), Formal Methods in Verification (30 papers) and Parallel Computing and Optimization Techniques (18 papers). Elvira Albert is often cited by papers focused on Logic, programming, and type systems (32 papers), Formal Methods in Verification (30 papers) and Parallel Computing and Optimization Techniques (18 papers) and collaborates with scholars based in Spain, Germany and Norway. Elvira Albert's co-authors include Germán Puebla, Samir Genaim, Miguel Gómez‐Zamalloa, Puri Arenas and Damiano Zanardini and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information and Software Technology
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Maria Theodorou Top journals papers by Jinping Hu are published in Top journals papers by Mariusz Maślak are published in Top countries impacted by papers by J.W. Poston Top fields papers by Douglas W. Barlage are about Top authors papers by Luis García‐Aparicio are co-authored with Top journals papers by Burkhard C. Wünsche are published in Top fields papers by Minglei Fu are about