Albert Oliveras
About
Albert Oliveras has authored 15 papers that have received a total of 451 indexed citations.
This includes 13 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (12 papers), Logic, programming, and type systems (11 papers) and Distributed Constraint Optimization Problems and Algorithms (7 papers). Albert Oliveras is often cited by papers focused on Formal Methods in Verification (12 papers), Logic, programming, and type systems (11 papers) and Distributed Constraint Optimization Problems and Algorithms (7 papers) and collaborates with scholars based in Spain, United States and United Kingdom. Albert Oliveras's co-authors include Enric Rodríguez-Carbonell, Robert Nieuwenhuis, Albert Rubio, Morgan Deters and Aaron Stump and has published in prestigious journals such as IEEE Access, Journal of the ACM and Journal of Artificial Intelligence Research
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Baogui Shi are published in Top journals papers by D.F.G. Orwin are published in Top fields papers by Margaret M. Suhanovsky are about Top journals papers by G. Daminelli are published in Top journals papers by Tae-Heum Nam are published in Top journals papers by J. S. Cockburn are published in Top journals papers by Richard Lecomber are published in Top countries impacted by papers by Shane Foister