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 journals papers by Kamlesh Kumari are published in Top fields papers by Miriam Cooke are about Top countries impacted by papers by Douglas W. Barlage Top authors papers by Yoshimasa Suzuki are co-authored with Top journals papers by Mahmut Gür are published in Top countries impacted by papers by Nicolas Houy Top countries impacted by papers by Dariusz Mrozek Top journals papers by Р. С. Шамсиев are published in