Experience report: Standards-based grading at scale in algorithms L Chen, JA Grochow, R Layer, M Levet
Proceedings of the 27th ACM Conference on on Innovation and Technology in …, 2022
8 2022 Network structure and activity in Boolean networks A Adiga, H Galyean, CJ Kuhlman, M Levet, HS Mortveit, S Wu
Cellular Automata and Discrete Complex Systems: 21st IFIP WG 1.5 …, 2015
5 2015 On the Parallel Complexity of Group Isomorphism via Weisfeiler--Leman JA Grochow, M Levet
https://arxiv.org/abs/2112.11487, 2022
4 2022 Improved bounds on the size of the smallest representation of relation algebra 32 65 JF Alm, M Levet, S Moazami, J Montero-Vallejo, L Pham, D Sexton, X Xu
Algebra universalis 83 (3), 1-18, 2022
4 2022 Activity in Boolean networks A Adiga, H Galyean, CJ Kuhlman, M Levet, HS Mortveit, S Wu
Natural Computing 16, 427-439, 2017
4 2017 Complexity and Enumeration in Models of Genome Rearrangement L Bailey, HS Blake, G Cochran, N Fox, M Levet, R Mahmoud, EB Matson, ...
International Computing and Combinatorics Conference, 3-14, 2023
2 2023 Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture JF Alm, D Andrews, M Levet
International Conference on Relational and Algebraic Methods in Computer …, 2023
2 2023 Permutation Statistics in Conjugacy Classes of the Symmetric Group JC Loth, M Levet, K Liu, S Sundaram, ENN Stucky, M Yin
2023 Joint Mathematics Meetings (JMM 2023), 2023
2 2023 Count-Free Weisfeiler--Leman and Group Isomorphism NA Collins, M Levet
arXiv preprint arXiv:2212.11247, 2022
2 2022 On the Complexity of Identifying Strongly Regular Graphs M Levet
arXiv preprint arXiv:2207.05930, 2022
2 2022 Directed Ramsey and anti-Ramsey schemes and the Flexible Atom Conjecture JF Alm, M Levet
International Journal of Algebra and Computation 33 (08), 1571-1598, 2023
1 2023 On the Descriptive Complexity of Groups without Abelian Normal Subgroups JA Grochow, M Levet
arXiv preprint arXiv:2209.13725, 2022
1 2022 CSCI 3104 Algorithms-Lecture Notes M Levet
1 2021 Directed Ramsey and Anti-Ramsey Schemes and the Flexible Atom Conjecture JF Alm, M Levet
arXiv preprint arXiv:1901.06781, 2019
1 2019 Pairwise Rearrangement is Fixed-Parameter Tractable in the Single Cut-and-Join Model L Bailey, HS Blake, G Cochran, N Fox, M Levet, R Mahmoud, I Singgih, ...
arXiv preprint arXiv:2402.01942, 2024
2024 On the Constant-Depth Circuit Complexity of Generating Quasigroups NA Collins, JA Grochow, M Levet, A Weiß
arXiv preprint arXiv:2402.00133, 2024
2024 Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler--Leman NS Michael Levet, Puck Rombach
https://arxiv.org/abs/2306.17777, 2024
2024 On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman (Extended Abstract) JA Grochow¹, M Levet
Fundamentals of Computation Theory: 24th International Symposium, FCT 2023 …, 2023
2023 Colored Permutation Statistics by Conjugacy Class JC Loth, M Levet, K Liu, S Sundaram, M Yin
arXiv preprint arXiv:2305.11800, 2023
2023 Permutation Statistics in Conjugacy Classes of the Symmetric Group J Campion Loth, M Levet, K Liu, EN Stucky, S Sundaram, M Yin
arXiv e-prints, arXiv: 2301.00898, 2023
2023