Michael Levet

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Boolean Networks

Space Complexity

Bounded Treewidth

Top Venues

Publications

Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Inne Singgih, Grace Stadnyk, Alexander Wiedemann
Pairwise Rearrangement is Fixed-Parameter Tractable in the Single Cut-and-Join Model. SWAT (2024)
Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiß
Constant Depth Circuit Complexity for Generating Quasigroups. ISSAC (2024)
Michael Levet, Puck Rombach, Nicholas Sieger
Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler-Leman. SWAT (2024)
Nathaniel A. Collins, Joshua A. Grochow, Michael Levet, Armin Weiß
On the Constant-Depth Circuit Complexity of Generating Quasigroups. CoRR (2024)
Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Inne Singgih, Grace Stadnyk, Alexander Wiedemann
Pairwise Rearrangement is Fixed-Parameter Tractable in the Single Cut-and-Join Model. CoRR (2024)
Joshua A. Grochow, Michael Levet
On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman. FCT (2023)
Joshua A. Grochow, Michael Levet
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract). GandALF (2023)
Michael Levet, Nicholas Sieger
Logarithmic Weisfeiler-Leman Identifies All Graphs of Bounded Rank Width. CoRR (2023)
Michael Levet, Puck Rombach, Nicholas Sieger
Logarithmic Weisfeiler-Leman and Treewidth. CoRR (2023)
Lora Bailey, Heather C. Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Elizabeth Matson, Inne Singgih, Grace Stadnyk, Xinyi Wang, Alexander Wiedemann
Complexity and Enumeration in Models of Genome Rearrangement. CoRR (2023)
Jeremy F. Alm, Michael Levet
Directed Ramsey and anti-Ramsey schemes and the Flexible Atom Conjecture. Int. J. Algebra Comput. 33 (8) (2023)
Jeremy F. Alm, David Andrews, Michael Levet
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture. RAMiCS (2023)
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
Complexity and Enumeration in Models of Genome Rearrangement. COCOON (1) (2023)
Michael Levet
On the complexity of identifying strongly regular graphs. Australas. J Comb. 87 (2023)
Michael Levet
On the Complexity of Identifying Strongly Regular Graphs. CoRR (2022)
Lijun Chen, Joshua A. Grochow, Ryan Layer, Michael Levet
Experience Report: Standards-Based Grading at Scale in Algorithms. ITiCSE (1) (2022)
Lijun Chen, Joshua A. Grochow, Ryan Layer, Michael Levet
Experience Report: Standards-Based Grading at Scale in Algorithms. CoRR (2022)
Nathaniel A. Collins, Michael Levet
Count-Free Weisfeiler-Leman and Group Isomorphism. CoRR (2022)
Joshua A. Grochow, Michael Levet
On the Descriptive Complexity of Groups without Abelian Normal Subgroups. CoRR (2022)
Joshua A. Grochow, Michael Levet
Weisfeiler-Leman for Group Isomorphism: Action Compatibility. CoRR (2021)
Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu
Activity in Boolean networks. Nat. Comput. 16 (3) (2017)
Michael Levet, Siddharth Krishnan
A Mechanism Design Approach for Influence Maximization. GAMENETS (2016)
Abhijin Adiga, Hilton Galyean, Chris J. Kuhlman, Michael Levet, Henning S. Mortveit, Sichao Wu
Network Structure and Activity in Boolean Networks. Automata (2015)