Régine Laleau
About
Régine Laleau has authored 22 papers that have received a total of 101 indexed citations.
This includes 17 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (10 papers), Advanced Software Engineering Methodologies (8 papers) and Logic, programming, and type systems (6 papers). Régine Laleau is often cited by papers focused on Formal Methods in Verification (10 papers), Advanced Software Engineering Methodologies (8 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in France, Canada and United Kingdom. Régine Laleau's co-authors include Amel Mammar, Marc Frappier, Fiona Polack, Yves Ledru and Helen Treharne and has published in prestigious journals such as Information and Software Technology, Science of Computer Programming and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Jason Yust are about Top authors papers by Mina Babashahi are co-authored with Top countries impacted by papers by R. Potenza Top authors papers by Harry Aveling are co-authored with Top fields papers by Eduardo Moreno Escobar are about Top authors papers by Jason E. Hylan are co-authored with Top journals papers by Julian Frommel are published in Top fields papers by Célio Santana are about