Mutsunori Banbara

10 papers and 126 indexed citations i.

About

Mutsunori Banbara has authored 10 papers that have received a total of 126 indexed citations. This includes 8 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (6 papers), Distributed Constraint Optimization Problems and Algorithms (6 papers) and Logic, Reasoning, and Knowledge (5 papers). Mutsunori Banbara is often cited by papers focused on Formal Methods in Verification (6 papers), Distributed Constraint Optimization Problems and Algorithms (6 papers) and Logic, Reasoning, and Knowledge (5 papers) and collaborates with scholars based in Japan, Germany and France. Mutsunori Banbara's co-authors include Naoyuki Tamura, Katsumi Inoue, Torsten Schaub, Benjamin Kaufmann and Max Ostrowski and has published in prestigious journals such as Annals of Operations Research, Lecture notes in computer science and Discrete Applied Mathematics

In The Last Decade

Rankless by CCL
2025