Makai Mann
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Hardware and Architecture top 10%
- Parallel Computing and Optimization Techniques
- Embedded Systems Design Techniques
Papers in
-
- Formal Methods in Verification 9
-
- VLSI and Analog Circuit Testing 3
- Embedded Systems Design Techniques 3
- Co-authors
- Clark Barrett (8 shared papers)Yoni Zohar (2 shared papers)Andres Nötzli (2 shared papers)Andrew Reynolds (2 shared papers)Cesare Tinelli (2 shared papers)Aina Niemetz (2 shared papers)Mathias Preiner (2 shared papers)Gereon Kremer (1 shared paper)
- Journals
- ACM Transactions on Reconfigurable Technology and Systems (1 paper)Logical Methods in Computer Science (1 paper)Lecture notes in computer science (6 papers)
- Partner nations
- United StatesIsraelItaly
In The Last Decade
Makai Mann
15 papers receiving 349 citations
Makai Mann's Hit Papers
Peers
Comparison fields: 5 of 41
- Software 129
- Hardware and Architecture 86
- Computational Theory and Mathematics 190
- Artificial Intelligence 213
- Computer Networks and Communications 51
Countries citing papers authored by Makai Mann
This map shows the geographic impact of Makai Mann's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Makai Mann with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Makai Mann more than expected).
Fields of papers citing papers by Makai Mann
This network shows the impact of papers produced by Makai Mann. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Makai Mann. The network helps show where Makai Mann may publish in the future.
Co-authors
The 25 scholars most cited alongside Makai Mann, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | cvc5: A Versatile and Industrial-Strength SMT Solver Hit paper breakdown → | 2022 | 255 |
| 2 | 2021 | 24 | |
| 3 | 2018 | 24 | |
| 4 | 2024 | 11 | |
| 5 | 2019 | 10 | |
| 6 | 2022 | 7 | |
| 7 | 2020 | 7 | |
| 8 | 2023 | 5 | |
| 9 | 2023 | 4 | |
| 10 | 2023 | 4 | |
| 11 | 2024 | 3 | |
| 12 | 2022 | 2 | |
| 13 | 2022 | 1 | |
| 14 | 2019 | 1 | |
| 15 | 2020 | 1 | |
| 16 | 2024 | 0 | |
| 17 | 2024 | 0 |
About Makai Mann
Makai Mann is a scholar working on Computational Theory and Mathematics, Hardware and Architecture, Artificial Intelligence, Electrical and Electronic Engineering and Software, having authored 17 papers that have together received 359 indexed citations. Recurring topics across this work include Formal Methods in Verification (9 papers), VLSI and Analog Circuit Testing (3 papers), Embedded Systems Design Techniques (3 papers), Software Testing and Debugging Techniques (3 papers), Radiation Effects in Electronics (3 papers), Logic, programming, and type systems (3 papers), VLSI and FPGA Design Techniques (2 papers) and Adversarial Robustness in Machine Learning (2 papers). The work is most often cited by research in Software (129 citations), Hardware and Architecture (86 citations), Computational Theory and Mathematics (190 citations), Artificial Intelligence (213 citations) and Computer Networks and Communications (51 citations). Makai Mann has collaborated with scholars based in United States, Israel and Italy. Frequent co-authors include Clark Barrett, Yoni Zohar, Andres Nötzli, Andrew Reynolds, Cesare Tinelli, Aina Niemetz, Mathias Preiner, Gereon Kremer, Hanna Lachnitt and Haniel Barbosa. Their work appears in journals such as ACM Transactions on Reconfigurable Technology and Systems, Logical Methods in Computer Science and Lecture notes in computer science.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.