Ministry of Education
Karteek Sreenivasaiah
VIDWAN ID: 107572

Dr Karteek Sreenivasaiah

Male Doctor of Philosophy
Assistant Professor (Grade-I) | Department of Computer Science and Engineering
Indian Institute of Technology, Hyderabad (2017 - 2024)
Telangana
Expertise: Computer Science Theory and Methods
ORCID 0000-0001-7396-3383 Scopus 48762239400
View older version My Dashboard
31 Publications
0 Projects
96 Scopus Citations
42 CrossRef
6 Years 6 Months Total Experience
Publications
31 Total
Articles
17
Proceedings
14
Activity

No publication activity to display.

Scopus Scopus
96 Citations
5 h-index
CrossRef CrossRef
42 Citations
4 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
2015
N/A
Assistant Professor (Grade-I)
Nov 2017 – Apr 2024
Indian Institute of Technology, Hyderabad | Department of Computer Science and Engineering
Engineering and Technology
Computer Science Theory and Methods

Related Profiles

Organisation (0)

No Data Found

There is currently nothing to display here.

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Verifying proofs in constant depth

Conference Paper
Year: 2011. Pages: 84-95 .
Authors: Beyersdorff, O.; Datta, S.; Mahajan, M.; Scharfenberger-Fabian, G.; Sreenivasaiah, K.; Thomas, M.; Vollmer, H.
DOI 10.1007/978-3-642-22993-0_11 Crossref Crossref: 1 Scopus Scopus: 4

Identity testing, multilinearity testing, and monomials in read-once/twice formulas and branching programs

Conference Paper
Year: 2012. Volume: 7464 LNCS , Pages: 655-667 .
Authors: Meena Mahajan; B. V. Raghavendra Rao; Karteek Sreenivasaiah
DOI 10.1007/978-3-642-32589-2_57 Crossref Crossref: 1 Scopus Scopus: 3

The complexity of unary subset sum

Conference Paper
Year: 2012. Volume: 7434 LNCS , Pages: 458-469 .
Authors: Nutan Limaye; Meena Mahajan; Karteek Sreenivasaiah
DOI 10.1007/978-3-642-32241-9_39 Scopus Scopus: 2

Counting paths in planar width 2 branching programs

Conference Paper
Year: 2012.
Authors: M Mahajan; N Saurabh; K Sreenivasaiah
Scopus Scopus: 2

Verifying proofs in constant depth

Conference Paper
ACM Transactions on Computation Theory. Year: 2013. Volume: 5 , Issue: 1 , Pages: 1-23 .
Authors: Beyersdorff, O.; Datta, S.; Krebs, A.; Mahajan, M.; Scharfenberger-Fabian, G.; Sreenivasaiah, K.; Thomas, M.; Vollmer, H.
DOI 10.1145/2462896.2462898 Crossref Crossref: 4 Scopus Scopus: 5

Small depth proof systems

Conference Paper
Year: 2013. Volume: 8087 LNCS , Pages: 583-594 .
Authors: Andreas Krebs; Nutan Limaye; Meena Mahajan; Karteek Sreenivasaiah
DOI 10.1007/978-3-642-40313-2_52

On Σ ∧ Σ ∧ Σ circuits: The role of middle Σ fan-in, homogeneity and bottom degree

Conference Paper
Year: 2017. Volume: 10472 LNCS , Pages: 230-242 .
Authors: Christian Engels; B. V. Raghavendra Rao; Karteek Sreenivasaiah
DOI 10.1007/978-3-662-55751-8_19

On the complexity of hazard-free circuits

Other
Year: 2017.
Authors: Ikenmeyer, C.; Komarath, B.; Lenzen, C.; Lysikov, V.; Mokhov, A.; Sreenivasaiah, K.
Showing 1 to 8 of 31 publications