McCarty, Rose

Recent Publications

First-Order Model Checking on Monadically Stable Graph Classes
Jan Niclas Dreier, Eleftheriadis, Ioannis, Mählmann, Nikolas, McCarty, Rose, Pilipczuk, Michał, Toruńczyk, Szymon
2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), pages 21-30, 2024.
PDF bib DOI