Michael Levet

35 papers B 4C 2Journal 22Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
On the parallel complexity of group isomorphism via Weisfeiler-Leman.
J. Comput. Syst. Sci.
Joshua A. Grochow, Michael Levet
2026 C conf
Parallel Complexity of Identifying Groups and Quasigroups via Decompositions.
RAMICS
Dan Johnson, Michael Levet, Petr Vojtechovský, Brett Widholm
2025 B conf
Complexity of Identifying Fitting-Free Groups.
FCT
Joshua A. Grochow, Dan Johnson, Michael Levet
2025 B conf
Complexity of Minimal Faithful Permutation Degree for Fitting-Free Groups.
FCT
Michael Levet, Pranjal Srivastava, Dhara Thakkar
2025 J jnl
Complexity of Minimal Faithful Permutation Degree for Fitting-free Groups.
CoRR
Michael Levet, Pranjal Srivastava, Dhara Thakkar
2025 J jnl
On the Complexity of Identifying Groups without Abelian Normal Subgroups: Parallel, First Order, and GI-Hardness.
CoRR
Joshua A. Grochow, Dan Johnson, Michael Levet
2025 J jnl
On the Constant-Depth Circuit Complexity of Generating Quasigroups.
TheoretiCS
Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiß
2025 J jnl
On the Descriptive Complexity of Groups without Abelian Normal Subgroups.
Log. Methods Comput. Sci.
Joshua A. Grochow, Michael Levet
2025 J jnl
On the Parallel Complexity of Identifying Groups and Quasigroups via Decompositions.
CoRR
Dan Johnson, Michael Levet, Petr Vojtechovský, Brett Widholm
2025 J jnl
Pairwise rearrangement is fixed-parameter tractable in the Single Cut-and-Join model.
Theor. Comput. Sci.
Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Inne Singgih, Grace Stadnyk, Alexander Wiedemann
2024 — conf
Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler-Leman.
SWAT
Michael Levet, Puck Rombach, Nicholas Sieger
2024 J jnl
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture.
Fundam. Informaticae
Jeremy F. Alm, David A. Andrews, Michael Levet
2024 J jnl
Complexity and enumeration in models of genome rearrangement.
Theor. Comput. Sci.
Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Elizabeth Bailey Matson, Inne Singgih, Grace Stadnyk, Xinyi Wang, Alexander Wiedemann
2024 B conf
Constant Depth Circuit Complexity for Generating Quasigroups.
ISSAC
Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiß
2024 J jnl
Count-free Weisfeiler-Leman and group isomorphism.
Int. J. Algebra Comput.
Nathaniel A. Collins, Michael Levet
2024 J jnl
On the Constant-Depth Circuit Complexity of Generating Quasigroups.
CoRR
Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiß
2024 — conf
Pairwise Rearrangement is Fixed-Parameter Tractable in the Single Cut-and-Join Model.
SWAT
Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Inne Singgih, Grace Stadnyk, Alexander Wiedemann
2024 J jnl
Pairwise Rearrangement is Fixed-Parameter Tractable in the Single Cut-and-Join Model.
CoRR
Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Inne Singgih, Grace Stadnyk, Alexander Wiedemann
2023 C conf
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture.
RAMiCS
Jeremy F. Alm, David A. Andrews, Michael Levet
2023 — conf
Complexity and Enumeration in Models of Genome Rearrangement.
COCOON (1)
Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Elizabeth Bailey Matson, Inne Singgih, Grace Stadnyk, Xinyi Wang, Alexander Wiedemann
2023 J jnl
Complexity and Enumeration in Models of Genome Rearrangement.
CoRR
Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Elizabeth Bailey Matson, Inne Singgih, Grace Stadnyk, Xinyi Wang, Alexander Wiedemann
2023 J jnl
Directed Ramsey and anti-Ramsey schemes and the Flexible Atom Conjecture.
Int. J. Algebra Comput.
Jeremy F. Alm, Michael Levet
2023 J jnl
Logarithmic Weisfeiler-Leman Identifies All Graphs of Bounded Rank Width.
CoRR
Michael Levet, Nicholas Sieger
2023 — conf
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract).
GandALF
Joshua A. Grochow, Michael Levet
2023 B conf
On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman.
FCT
Joshua A. Grochow, Michael Levet
2023 J jnl
On the complexity of identifying strongly regular graphs.
Australas. J Comb.
Michael Levet
2022 J jnl
Count-Free Weisfeiler-Leman and Group Isomorphism.
CoRR
Nathaniel A. Collins, Michael Levet
2022 — conf
Experience Report: Standards-Based Grading at Scale in Algorithms.
ITiCSE (1)
Lijun Chen, Joshua A. Grochow, Ryan Layer, Michael Levet
2022 J jnl
Experience Report: Standards-Based Grading at Scale in Algorithms.
CoRR
Lijun Chen, Joshua A. Grochow, Ryan Layer, Michael Levet
2022 J jnl
On the Complexity of Identifying Strongly Regular Graphs.
CoRR
Michael Levet
2022 J jnl
On the Descriptive Complexity of Groups without Abelian Normal Subgroups.
CoRR
Joshua A. Grochow, Michael Levet
2021 J jnl
Weisfeiler-Leman for Group Isomorphism: Action Compatibility.
CoRR
Joshua A. Grochow, Michael Levet
2017 J jnl
Activity in Boolean networks.
Nat. Comput.
Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu
2016 — conf
A Mechanism Design Approach for Influence Maximization.
GAMENETS
Michael Levet, Siddharth Krishnan
2015 — conf
Network Structure and Activity in Boolean Networks.
Automata
Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu