| On the communication required for unconditionally secure multiplication I Damgård, JB Nielsen, A Polychroniadou, M Raskin Annual International Cryptology Conference, 459-488, 2016 | 32 | 2016 |
| Affine extensions of integer vector addition systems with states M Raskin, F Mazowiecki, C Haase, M Blondin Logical Methods in Computer Science 17, 2021 | 15 | 2021 |
| Parameterized analysis of immediate observation petri nets J Esparza, M Raskin, C Weil-Kennedy International Conference on Applications and Theory of Petri Nets and …, 2019 | 15 | 2019 |
| A superpolynomial lower bound for the size of non-deterministic complement of an unambiguous automaton M Raskin ICALP 2018, 2017 | 14 | 2017 |
| Perfectly secure oblivious RAM with sublinear bandwidth overhead M Raskin, M Simkin International Conference on the Theory and Application of Cryptology and …, 2019 | 9* | 2019 |
| Approximating the minimum cycle mean K Chatterjee, M Henzinger, S Krinninger, V Loitzenbauer, MA Raskin Theoretical Computer Science 547, 104-116, 2014 | 9 | 2014 |
| Sharp thresholds in random simple temporal graphs A Casteigts, M Raskin, M Renken, V Zamaraev 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS …, 2022 | 6 | 2022 |
| Almost periodicity and finite automata Y Pritykin, M Raskin Electronic Proceedings of WIWAD (satellite to CSR 2007), Ekaterinburg, 2007 | 6 | 2007 |
| The complexity of verifying population protocols J Esparza, S Jaax, M Raskin, C Weil-Kennedy Distributed Computing 34 (2), 133-177, 2021 | 5 | 2021 |
| The complexity of reachability in affine vector addition systems with states M Raskin, M Blondin Logical Methods in Computer Science 17, 2021 | 4 | 2021 |
| A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model M Raskin ICALP 2017, 2016 | 4 | 2016 |
| Computing parameterized invariants of parameterized petri nets J Esparza, M Raskin, C Welzel International Conference on Applications and Theory of Petri Nets and …, 2021 | 3 | 2021 |
| Flatness and complexity of immediate observation Petri nets M Raskin, C Weil-Kennedy, J Esparza arXiv preprint arXiv:2001.09966, 2020 | 3 | 2020 |
| A Stay-in-a-Set Game without a Stationary Equilibrium K Arnsfelt Hansen, M Raskin International Symposium on Games, Automata, Logics, and Formal Verification …, 2019 | 3* | 2019 |
| Abduction of trap invariants in parameterized systems J Esparza, M Raskin, C Welzel arXiv preprint arXiv:2108.09101, 2021 | 2 | 2021 |
| Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. AR Balasubramanian, J Esparza, MA Raskin FoSSaCS, 42-61, 2021 | 2 | 2021 |
| Minimization of visibly pushdown automata is NP-complete M Raskin, A Muscholl, O Gauwin Logical Methods in Computer Science 16, 2020 | 2 | 2020 |
| Efficient restrictions of immediate observation Petri nets M Raskin, C Weil-Kennedy International Conference on Reachability Problems, 99-114, 2020 | 1 | 2020 |
| On defining linear orders by automata B Courcelle, I Durand, M Raskin Moscow Journal of Combinatorics and Number Theory 9 (3), 253-291, 2020 | 1 | 2020 |
| A unified algorithm for colouring graphs of bounded clique-width B Courcelle, I Durand, M Raskin arXiv preprint arXiv:2008.07468, 2020 | 1 | 2020 |
Antigoni PolychroniadouCryptography Research Lead, JPMorgan AI ResearchGeverifieerd e-mailadres voor cornell.edu
