Priyank Kalla

1.1k total citations
63 papers, 660 citations indexed

About

Priyank Kalla is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Electrical and Electronic Engineering. According to data from OpenAlex, Priyank Kalla has authored 63 papers receiving a total of 660 indexed citations (citations by other indexed papers that have themselves been cited), including 46 papers in Computational Theory and Mathematics, 27 papers in Hardware and Architecture and 22 papers in Electrical and Electronic Engineering. Recurrent topics in Priyank Kalla's work include Formal Methods in Verification (44 papers), Embedded Systems Design Techniques (15 papers) and Photonic and Optical Devices (11 papers). Priyank Kalla is often cited by papers focused on Formal Methods in Verification (44 papers), Embedded Systems Design Techniques (15 papers) and Photonic and Optical Devices (11 papers). Priyank Kalla collaborates with scholars based in United States, France and Sweden. Priyank Kalla's co-authors include Maciej Ciesielski, Florian Enescu, Zhihong Zeng, Steve Blair, Russell Tessier, Bruno Rouzeyre, Xiaojun Sun, Emmanuel Boutillon, Éric Martin and Ganesh Gopalakrishnan and has published in prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

In The Last Decade

Priyank Kalla

62 papers receiving 632 citations

Peers

Countries citing papers authored by Priyank Kalla

Since Specialization

Citations

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

Fields of papers citing papers by Priyank Kalla

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Priyank Kalla

This figure shows the co-authorship network connecting the top 25 collaborators of Priyank Kalla. A scholar is included among the top collaborators of Priyank Kalla 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 Priyank Kalla. Priyank Kalla 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:

20 of 20 papers shown

#	Work	Indexed citations
1	Design-for-Test for Silicon Photonic Circuits 2024 ·(unknown), Priyank Kalla, Steve Blair	1
2	Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits 2021 ·(unknown), (unknown), (unknown), Priyank Kalla, Florian Enescu	1
3	Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques 2018 ·(unknown), (unknown), (unknown), (unknown), Priyank Kalla, Florian Enescu	6
4	On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields 2018 ·(unknown), (unknown), (unknown), (unknown), Priyank Kalla, Florian Enescu	4
5	Formal verification of sequential Galois field arithmetic circuits using algebraic geometry 2015 ·Design, Automation, and Test in Europe ·Xiaojun Sun, Priyank Kalla, (unknown), Florian Enescu	5
6	Thermal-aware synthesis of integrated photonic ring resonators 2014 ·International Conference on Computer Aided Design ·(unknown), Priyank Kalla, Steve Blair	7
7	Crossing-aware channel routing for photonic waveguides 2013 ·(unknown), Priyank Kalla, Steve Blair	3
8	Channel routing for integrated optics 2013 ·(unknown), Priyank Kalla, Steve Blair	6
9	Efficient gröbner basis reductions for formal verification of galois field multipliers 2012 ·Design, Automation, and Test in Europe ·(unknown), Priyank Kalla, Florian Enescu	19
10	Logic synthesis for integrated optics 2011 ·(unknown), Priyank Kalla, Steve Blair	35
11	Verification of arithmetic datapaths using polynomial function models and congruence solving 2008 ·International Conference on Computer Aided Design ·(unknown), Priyank Kalla, (unknown), (unknown)	3
12	Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors 2007 ·International Conference on Computer Aided Design ·(unknown), Priyank Kalla, (unknown), Florian Enescu	13
13	Optimization of polynomial datapaths using finite ring algebra 2007 ·ACM Transactions on Design Automation of Electronic Systems ·(unknown), Priyank Kalla	8
14	Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra 2005 ·International Conference on Computer Aided Design ·(unknown), Priyank Kalla, Florian Enescu, (unknown)	19
15	Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra 2005 ·(unknown), Priyank Kalla, (unknown), (unknown)	15
16	CORRECTNESS AND REDUCTION IN TIMED CIRCUIT ANALYSIS 2003 ·AORN Journal ·Eric Mercer, Chris J. Myers, Peter A. Beerel, Ganesh Gopalakrishnan, Reid R. Harrison, Priyank Kalla, (unknown), David S. Chapman	7
17	Taylor expansion diagrams: a compact, canonical representation with applications to symbolic verification 2003 ·HAL (Le Centre pour la Communication Scientifique Directe) ·Maciej Ciesielski, Priyank Kalla, (unknown), (unknown)	28
18	Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification 2002 ·Design, Automation, and Test in Europe ·Maciej Ciesielski, Priyank Kalla, (unknown), Bruno Rouzeyre	29
19	A comprehensive approach to the partial scan problem using implicit state enumeration 2002 ·Scholarworks (University of Massachusetts Amherst) ·Priyank Kalla, Maciej Ciesielski	9
20	LPSAT: a unified approach to RTL satisfiability 2001 ·Design, Automation, and Test in Europe ·Zhihong Zeng, Priyank Kalla, Maciej Ciesielski	42

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