| Shortest paths in one-counter systems D Chistikov, W Czerwiński, P Hofman, M Pilipczuk, M Wehar Logical Methods in Computer Science 15, 2019 | 22 | 2019 |
| Hardness results for intersection non-emptiness M Wehar Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014 | 20 | 2014 |
| On the complexity of intersection non-emptiness problems M Wehar Ph. D. thesis, University at Buffalo, 2016 | 11 | 2016 |
| On the fine grained complexity of finite automata non-emptiness of intersection M de Oliveira Oliveira, M Wehar Developments in Language Theory: 24th International Conference, DLT 2020 …, 2020 | 10 | 2020 |
| Intersection non-emptiness and hardness within polynomial time M de Oliveira Oliveira, M Wehar Developments in Language Theory: 22nd International Conference, DLT 2018 …, 2018 | 10 | 2018 |
| Two-dimensional pattern matching against local and regular-like picture languages F Mráz, D Průša, M Wehar Theoretical Computer Science 870, 137-152, 2021 | 9* | 2021 |
| On the complexity of intersecting regular, context-free, and tree languages J Swernofsky, M Wehar Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015 | 9 | 2015 |
| Finite Automata Intersection Non-Emptiness: Parameterized Complexity Revisited H Fernau, S Hoffmann, M Wehar arXiv preprint arXiv:2108.05244, 2021 | 3 | 2021 |
| Complexity of Searching for 2 by 2 Submatrices in Boolean Matrices D Průša, M Wehar Developments in Language Theory: 24th International Conference, DLT 2020 …, 2020 | 1 | 2020 |
| Constraint Tracking and Inference Generation YL Huaiyu Zhu, Michael James Wehar, Marina Danilevsky Hailpern, Mauricio ... US Patent 11,074,508, 2019 | 1 | 2019 |
| Effective guessing has unlikely consequences AZ Salamon, M Wehar Theory of Computing Systems, 1-21, 2023 | | 2023 |
| Algorithmically Generated Artwork J Mancini, M Newman-Toker, M Wehar, A Zhang Journal of Computing Sciences in Colleges 38 (3), 220-220, 2022 | | 2022 |
| Analyzing Group and Individual Contributions within Group Programming: RepoRabbit Web Application M Quiroz, M Wehar Proceedings of the 27th ACM Conference on on Innovation and Technology in …, 2022 | | 2022 |
| Superlinear Lower Bounds Based on ETH AZ Salamon, M Wehar 39th International Symposium on Theoretical Aspects of Computer Science …, 2022 | | 2022 |
| An Online Dictionary for Dialects of North Frisian T Hüttenrauch, M Wehar | | 2022 |
| Human and Computer Cooperative Artistic Creation MJ Wehar http://michaelwehar.com/documents/hcc_2017.pdf, 2017 | | 2017 |
