Marianne Baudinet
About
Marianne Baudinet has authored 4 papers that have received a total of 85 indexed citations.
This includes 2 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 2 papers in Computational Theory and Mathematics. The topics of these papers are Logic, Reasoning, and Knowledge (2 papers), Formal Methods in Verification (2 papers) and Advanced Database Systems and Queries (2 papers). Marianne Baudinet is often cited by papers focused on Logic, Reasoning, and Knowledge (2 papers), Formal Methods in Verification (2 papers) and Advanced Database Systems and Queries (2 papers) and collaborates with scholars based in Belgium and United States. Marianne Baudinet's co-authors include Pierre Wolper and Jan Chomicki and has published in prestigious journals such as Journal of Computer and System Sciences, Information and Computation and The Journal of Logic Programming.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Karolina Rzeniewicz Breakdown of academic impact, for papers by Jonathan Rowanhill Breakdown of academic impact, for papers by C. Yèche Breakdown of academic impact, for papers by Md. Anwar Hossain Masud Breakdown of academic impact, for papers by Chris Ré Breakdown of academic impact, for papers by Stephanie Hunt Breakdown of academic impact, for papers by J.F. Feenstra Breakdown of academic impact, for papers by Shannon Okada