Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Hari Govind V K
Observed names:
Hari Govind V.K.,
Hari Govind Vediramana Krishnan,
K, Hari Govind V
Institutions:
University of Waterloo,
Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti
Observed institutions:
Tallinn University of Technology,
University of Waterloo,
Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti,
College of Engineering Trivandrum
ORCID:
0000-0002-2789-5997
Observed ORCID:
0000-0002-2789-5997
OpenAlex ID:
A5009775247
An External Test Approach for Network-on-a-Chip Switches
2006
·
Jaan Raik
, Hari Govind V K
, et al.
·
33
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate
2017
·
Jia Hui Liang
, Hari Govind V.K.
, et al.
·
Lecture notes in computer science
·
32
Solving constrained Horn clauses modulo algebraic data types and recursive functions
2022
·
Hari Govind V K
, Sharon Shoham
, et al.
·
Proceedings of the ACM on Programming Languages
·
26
PDF
Global Guidance for Local Generalization in Model Checking
2020
·
Hari Govind Vediramana Krishnan
, YuTing Chen
, et al.
·
Lecture notes in computer science
·
26
PDF
Interpolating Strong Induction
2019
·
Hari Govind Vediramana Krishnan
, Yakir Vizel
, et al.
·
Lecture notes in computer science
·
22
PDF
CHC-COMP 2022: Competition Report
2022
·
Emanuele De Angelis
, Hari Govind V K
·
Electronic Proceedings in Theoretical Computer Science
·
18
PDF
Word level property directed reachability
2020
·
Hari Govind V K
, Grigory Fedyukovich
, et al.
·
17
CHC-COMP 2023: Competition Report
2024
·
Emanuele De Angelis
, Hari Govind V K
·
Electronic Proceedings in Theoretical Computer Science
·
8
PDF
Global guidance for local generalization in model checking
2023
·
Hari Govind Vediramana Krishnan
, YuTing Chen
, et al.
·
Formal Methods in System Design
·
8
PDF
Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023)
2024
·
Emanuele De Angelis
, Hari Govind Vediramana Krishnan
·
Lecture notes in computer science
·
2
Global Guidance for Local Generalization in Model Checking
2020
·
K, Hari Govind V
, Chen, YuTing
, et al.
·
arXiv (Cornell University)
·
1
PDF
Speculative SAT Modulo SAT
2023
·
K, Hari Govind V
, Garcia-Contreras, Isabel
, et al.
·
arXiv (Cornell University)
PDF
Logical Characterization of Coherent Uninterpreted Programs
2021
·
K, Hari Govind V
, Shoham, Sharon
, et al.
·
arXiv (Cornell University)
PDF
Interpolating Strong Induction
2019
·
K, Hari Govind V
, Vizel, Yakir
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
14
Citation count:
192
H-index:
8
I10-index:
7
Year
Topic
Type
