| On the communication required for unconditionally secure multiplication I Damgård, JB Nielsen, A Polychroniadou, M Raskin Annual International Cryptology Conference, 459-488, 2016 | 40 | 2016 |
| Sharp thresholds in random simple temporal graphs A Casteigts, M Raskin, M Renken, V Zamaraev SIAM Journal on Computing 53 (2), 346-388, 2024 | 28 | 2024 |
| Affine extensions of integer vector addition systems with states M Blondin, C Haase, F Mazowiecki, M Raskin Logical Methods in Computer Science 17, 2021 | 25 | 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 | 24 | 2019 |
| A superpolynomial lower bound for the size of non-deterministic complement of an unambiguous automaton M Raskin ICALP 2018, 2017 | 23 | 2017 |
| The complexity of verifying population protocols J Esparza, S Jaax, M Raskin, C Weil-Kennedy Distributed Computing 34 (2), 133-177, 2021 | 15 | 2021 |
| Approximating the minimum cycle mean K Chatterjee, M Henzinger, S Krinninger, V Loitzenbauer, MA Raskin Theoretical Computer Science 547, 104-116, 2014 | 13 | 2014 |
| Perfectly secure oblivious RAM with sublinear bandwidth overhead M Raskin, M Simkin Advances in Cryptology–ASIACRYPT 2019: 25th International Conference on the …, 2019 | 11* | 2019 |
| The complexity of reachability in affine vector addition systems with states M Blondin, M Raskin Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 9 | 2020 |
| Minimization of visibly pushdown automata is NP-complete O Gauwin, A Muscholl, M Raskin Logical Methods in Computer Science 16, 2020 | 9 | 2020 |
| Giant components in random temporal graphs R Becker, A Casteigts, P Crescenzi, B Kodric, M Renken, M Raskin, ... arXiv preprint arXiv:2205.14888, 2022 | 8 | 2022 |
| Almost periodicity and finite automata Y Pritykin, M Raskin Electronic Proceedings of WIWAD (satellite to CSR 2007), Ekaterinburg, 2007 | 7 | 2007 |
| Computing parameterized invariants of parameterized petri nets J Esparza, M Raskin, C Welzel Fundamenta Informaticae 187, 2022 | 6 | 2022 |
| Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. AR Balasubramanian, J Esparza, MA Raskin FoSSaCS, 42-61, 2021 | 6 | 2021 |
| Flatness and complexity of immediate observation Petri nets M Raskin, C Weil-Kennedy, J Esparza arXiv preprint arXiv:2001.09966, 2020 | 5 | 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 | 5* | 2019 |
| Regular model checking upside-down: An invariant-based approach J Esparza, M Raskin, C Welzel-Mohr arXiv preprint arXiv:2205.03060, 2022 | 4 | 2022 |
| A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model M Raskin ICALP 2017, 2016 | 4 | 2016 |
| Geometry of Reachability Sets of Vector Addition Systems R Guttenberg, M Raskin, J Esparza arXiv preprint arXiv:2211.02889, 2022 | 3 | 2022 |
| Abduction of trap invariants in parameterized systems J Esparza, M Raskin, C Welzel arXiv preprint arXiv:2108.09101, 2021 | 3 | 2021 |
Antigoni PolychroniadouExecutive Director, JPMorgan AI Research - Head of JPMorgan AlgoCRYPT CoEПодтвержден адрес электронной почты в домене cornell.edu
