| Static and dynamic synthesis of Bengali and Devanagari signatures MA Ferrer, S Chanda, M Diaz, CK Banerjee, A Majumdar, ... IEEE transactions on cybernetics 48 (10), 2896-2907, 2017 | 29 | 2017 |
| Computing the width of non-deterministic automata D Kuperberg, A Majumdar Logical Methods in Computer Science 15, 2019 | 12 | 2019 |
| Reconfiguration and message losses in parameterized broadcast networks N Bertrand, P Bouyer, A Majumdar Logical Methods in Computer Science 17, 2021 | 9 | 2021 |
| Width of non-deterministic automata D Kuperberg, A Majumdar 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 2018 | 9 | 2018 |
| Multiple generation of Bengali static signatures M Diaz, S Chanda, MA Ferrer, CK Banerjee, A Majumdar, ... 2016 15th International Conference on Frontiers in Handwriting Recognition …, 2016 | 6 | 2016 |
| Bi-objective lexicographic optimization in Markov decision processes with related objectives D Busatto-Gaston, D Chakraborty, A Majumdar, S Mukherjee, GA Pérez, ... International Symposium on Automated Technology for Verification and …, 2023 | 5 | 2023 |
| Concurrent parameterized games N Bertrand, P Bouyer, A Majumdar 39th IARCS Annual Conference on Foundations of Software Technology and …, 2019 | 5 | 2019 |
| Greybox Learning of Languages Recognizable by Event-Recording Automata A Majumdar, S Mukherjee, JF Raskin arXiv preprint arXiv:2408.12551, 2024 | 1 | 2024 |
| Synthesizing safe coalition strategies N Bertrand, P Bouyer, A Majumdar arXiv preprint arXiv:2008.03770, 2020 | 1 | 2020 |
| Algorithms for Robbins’ Problem Using Markov Decision Processes L Brice, FT Bruss, A Majumdar, JF Raskin Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | | 2024 |
| Vérification et synthèse de systèmes concurrents paramétrés A Majumdar Université Paris-Saclay, 2021 | | 2021 |