Hratch Mangassarian

415 total citations
21 papers, 234 citations indexed

About

Hratch Mangassarian is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, Hratch Mangassarian has authored 21 papers receiving a total of 234 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Hardware and Architecture, 15 papers in Computational Theory and Mathematics and 13 papers in Electrical and Electronic Engineering. Recurrent topics in Hratch Mangassarian's work include Formal Methods in Verification (15 papers), VLSI and Analog Circuit Testing (15 papers) and Low-power high-performance VLSI design (7 papers). Hratch Mangassarian is often cited by papers focused on Formal Methods in Verification (15 papers), VLSI and Analog Circuit Testing (15 papers) and Low-power high-performance VLSI design (7 papers). Hratch Mangassarian collaborates with scholars based in Canada, France and United States. Hratch Mangassarian's co-authors include Andreas Veneris, Marco Benedetti, Sean Safarpour, Mark H. Liffiton, Karem A. Sakallah, Hassan Artail, Mohab Anis, Farid N. Najm, Magdy S. Abadir and Long Bao Le and has published in prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Data & Knowledge Engineering.

In The Last Decade

Hratch Mangassarian

20 papers receiving 225 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Hratch Mangassarian Canada 10 149 100 86 83 64 21 234
Sean Safarpour Canada 12 199 1.3× 230 2.3× 138 1.6× 158 1.9× 47 0.7× 29 347
Yakir Vizel United States 6 101 0.7× 56 0.6× 63 0.7× 45 0.5× 79 1.2× 14 172
B. Plessier United States 8 242 1.6× 213 2.1× 90 1.0× 166 2.0× 60 0.9× 12 332
Markus Wedler Germany 9 171 1.1× 149 1.5× 50 0.6× 80 1.0× 52 0.8× 24 213
Nicole Drechsler Germany 8 101 0.7× 66 0.7× 43 0.5× 75 0.9× 48 0.8× 20 166
James Kukula United States 10 292 2.0× 188 1.9× 180 2.1× 103 1.2× 64 1.0× 18 350
Anton Wijs Netherlands 9 112 0.8× 48 0.5× 77 0.9× 20 0.2× 68 1.1× 37 176
Ziyad Hanna United States 10 177 1.2× 139 1.4× 74 0.9× 81 1.0× 68 1.1× 23 238
HoonSang Jin United States 7 112 0.8× 51 0.5× 91 1.1× 29 0.3× 51 0.8× 17 173
D. Borrione France 9 92 0.6× 142 1.4× 32 0.4× 48 0.6× 42 0.7× 29 185

Countries citing papers authored by Hratch Mangassarian

Since Specialization
Citations

This map shows the geographic impact of Hratch Mangassarian'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 Hratch Mangassarian with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hratch Mangassarian more than expected).

Fields of papers citing papers by Hratch Mangassarian

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Hratch Mangassarian. 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 Hratch Mangassarian. The network helps show where Hratch Mangassarian may publish in the future.

Co-authorship network of co-authors of Hratch Mangassarian

This figure shows the co-authorship network connecting the top 25 collaborators of Hratch Mangassarian. A scholar is included among the top collaborators of Hratch Mangassarian 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 Hratch Mangassarian. Hratch Mangassarian is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Mangassarian, Hratch, Long Bao Le, & Andreas Veneris. (2014). Debugging RTL Using Structural Dominance. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 33(1). 153–166. 5 indexed citations
2.
Le, Long Bao, et al.. (2012). Non-solution implications using reverse domination in a modern SAT-based debugging environment. Design, Automation, and Test in Europe. 629–634. 5 indexed citations
3.
Mangassarian, Hratch, Hiroaki Yoshida, Andreas Veneris, Shigeru Yamashita, & Masahiro Fujita. (2012). On error tolerance and Engineering Change with Partially Programmable Circuits. 3. 695–700. 8 indexed citations
4.
Mangassarian, Hratch, Andreas Veneris, & Farid N. Najm. (2012). Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 31(2). 271–284. 4 indexed citations
5.
Le, Long Bao, et al.. (2012). Non-solution implications using reverse domination in a modern SAT-based debugging environment. 629–634. 1 indexed citations
6.
Mangassarian, Hratch, et al.. (2011). Debugging with dominance: on-the-fly RTL debug solution implications. International Conference on Computer Aided Design. 587–594. 3 indexed citations
7.
Mangassarian, Hratch, et al.. (2011). Debugging with dominance: On-the-fly RTL debug solution implications. 587–594. 3 indexed citations
8.
Mangassarian, Hratch, et al.. (2010). Leveraging dominators for preprocessing QBF. Design, Automation, and Test in Europe. 1695–1700. 2 indexed citations
9.
Mangassarian, Hratch, Andreas Veneris, & Marco Benedetti. (2010). Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test. IEEE Transactions on Computers. 59(7). 981–994. 26 indexed citations
10.
Mangassarian, Hratch, et al.. (2010). Leveraging dominators for preprocessing QBF. 3923. 1695–1700. 1 indexed citations
11.
Mangassarian, Hratch, et al.. (2008). A succinct memory model for automated design debugging. International Conference on Computer Aided Design. 137–142.
12.
Benedetti, Marco & Hratch Mangassarian. (2008). QBF-Based Formal Verification: Experience and Perspectives. 5(1-4). 133–191. 41 indexed citations
13.
Mangassarian, Hratch, et al.. (2007). A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. International Conference on Computer Aided Design. 240–245. 29 indexed citations
14.
Mangassarian, Hratch, Andreas Veneris, Sean Safarpour, Farid N. Najm, & Magdy S. Abadir. (2007). Maximum circuit activity estimation using pseudo-boolean satisfiability. Design, Automation, and Test in Europe. 1538–1543. 10 indexed citations
15.
Mangassarian, Hratch, et al.. (2007). Improved Design Debugging Using Maximum Satisfiability. 13–19. 26 indexed citations
16.
Safarpour, Sean, Hratch Mangassarian, Andreas Veneris, Mark H. Liffiton, & Karem A. Sakallah. (2007). Improved Design Debugging Using Maximum Satisfiability. 9 indexed citations
17.
Mangassarian, Hratch, et al.. (2007). A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design. 240–245. 21 indexed citations
18.
Mangassarian, Hratch, Andreas Veneris, Sean Safarpour, Farid N. Najm, & Magdy S. Abadir. (2007). Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability. 2. 1–6. 8 indexed citations
19.
Mangassarian, Hratch & Hassan Artail. (2006). A general framework for subjective information extraction from unstructured English text. Data & Knowledge Engineering. 62(2). 352–367. 12 indexed citations
20.
Mangassarian, Hratch & Mohab Anis. (2005). On Statistical Timing Analysis with Inter- and Intra-Die Variations. Design, Automation, and Test in Europe. 132–137. 11 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

Breakdown of academic impact, for papers by Sean Safarpour Breakdown of academic impact, for papers by Yakir Vizel Breakdown of academic impact, for papers by B. Plessier Breakdown of academic impact, for papers by Markus Wedler Breakdown of academic impact, for papers by Nicole Drechsler Breakdown of academic impact, for papers by James Kukula Breakdown of academic impact, for papers by Anton Wijs Breakdown of academic impact, for papers by Ziyad Hanna Breakdown of academic impact, for papers by HoonSang Jin Breakdown of academic impact, for papers by D. Borrione
Rankless by CCL
2026