Makai Mann

576 total citations
10 papers, 51 citations indexed

About

Makai Mann is a scholar working on Electrical and Electronic Engineering, Hardware and Architecture and Computational Theory and Mathematics. According to data from OpenAlex, Makai Mann has authored 10 papers receiving a total of 51 indexed citations (citations by other indexed papers that have themselves been cited), including 5 papers in Electrical and Electronic Engineering, 4 papers in Hardware and Architecture and 4 papers in Computational Theory and Mathematics. Recurrent topics in Makai Mann's work include Formal Methods in Verification (4 papers), Embedded Systems Design Techniques (3 papers) and VLSI and FPGA Design Techniques (2 papers). Makai Mann is often cited by papers focused on Formal Methods in Verification (4 papers), Embedded Systems Design Techniques (3 papers) and VLSI and FPGA Design Techniques (2 papers). Makai Mann collaborates with scholars based in United States and Italy. Makai Mann's co-authors include Clark Barrett, Pat Hanrahan, Kevin Leahy, Ross Daly, Caleb Donovick, M. Cohen, Mark Horowitz, Stephen Richardson, Nicholas Roy and Priyanka Raina and has published in prestigious journals such as ACM Transactions on Reconfigurable Technology and Systems and Logical Methods in Computer Science.

In The Last Decade

Makai Mann

9 papers receiving 50 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Makai Mann United States	5	24	14	13	12	11	10	51
Tanja Harbaum Germany	4	23 1.0×	18 1.3×	26 2.0×	3 0.3×	21 1.9×	33	69
Shailesh Sutarwala Canada	3	64 2.7×	20 1.4×	9 0.7×	9 0.8×	10 0.9×	6	71
Philippe Dhaussy France	5	22 0.9×	12 0.9×	19 1.5×	27 2.3×	3 0.3×	16	62
Vojtěch Řehák Czechia	4	7 0.3×	40 2.9×	27 2.1×	19 1.6×	21 1.9×	26	72
Mark Miller United States	5	13 0.5×	23 1.6×	10 0.8×	4 0.3×	2 0.2×	9	60
J. Bieling Germany	4	7 0.3×	21 1.5×	8 0.6×	11 0.9×	5 0.5×	4	45
D. Jovanovic Netherlands	5	34 1.4×	6 0.4×	17 1.3×	30 2.5×	8 0.7×	25	73
Codé Lo Italy	2	76 3.2×	24 1.7×	5 0.4×	21 1.8×	10 0.9×	2	79
Agustín Martínez Spain	4	22 0.9×	12 0.9×	17 1.3×	2 0.2×	9 0.8×	19	50
Ciprian Teodorov France	5	8 0.3×	12 0.9×	13 1.0×	14 1.2×	11 1.0×	20	51

Countries citing papers authored by Makai Mann

Since Specialization

Citations

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

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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-authorship network of co-authors of Makai Mann

This figure shows the co-authorship network connecting the top 25 collaborators of Makai Mann. A scholar is included among the top collaborators of Makai Mann based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Makai Mann. Makai Mann is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

10 of 10 papers shown

1.

Mann, Makai, et al.. (2024). How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. 11532–11539. 8 indexed citations

2.

Cohen, M., Makai Mann, Kevin Leahy, & Călin Belta. (2024). Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. 3885–3890. 3 indexed citations

3.

Leahy, Kevin, et al.. (2023). STL: Surprisingly Tricky Logic (for System Validation). 8613–8620. 4 indexed citations

4.

Cai, Mingyu, et al.. (2023). Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. 1446–1452. 4 indexed citations

5.

Nayak, Ankita, Keyi Zhang, Makai Mann, et al.. (2022). Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains. ACM Transactions on Reconfigurable Technology and Systems. 16(2). 1–28.

6.

Mann, Makai, et al.. (2022). Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. Logical Methods in Computer Science. Volume 18, Issue 3. 1 indexed citations

7.

Nayak, Ankita, Keyi Zhang, Makai Mann, et al.. (2020). A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs. 846–851. 7 indexed citations

8.

Lonsing, Florian, Karthik Ganesan, Makai Mann, et al.. (2019). Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. 1–8. 1 indexed citations

9.

Donovick, Caleb, Makai Mann, Clark Barrett, & Pat Hanrahan. (2019). Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks. 1–8. 9 indexed citations

10.

Mann, Makai, et al.. (2018). CoSA: Integrated Verification for Agile Hardware Design. 1–5. 14 indexed citations

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.

Explore authors with similar magnitude of impact