Faculty

Institution

Unit

Venue

K. Subramani

Professor

West Virginia University

Affiliations

Benjamin M. Statler College of Engineering and Mineral Resources

Lane Department of Computer Science and Electrical Engineering

K. Subramani is currently serving as a Benjamin M. Statler College Of Engineering And Mineral Resources Professor at West Virginia University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

K. Subramani

West Virginia University

Professor

You can click a keyword to filter the displayed items

computer science applied mathematics theoretical computer science machine learning formal methods systems engineering mathematical optimization graph theory theory of computation utvpi constraints logic in computer science scheduling (computing) constraint programming discrete optimization horn constraint systems formal verification scheduling analysis scheduling problems artificial intelligence network analysis combinatorial optimization scientific computing computability theory constraint satisfaction mathematics mathematical programming linear programming automated reasoning optimization problems bipartite graphs difference constraint systems discrete algorithms computational intelligence decision science computational optimization databases network optimization continuous optimization satisfiability network theory computational complexity theory parametric scheduling linear feasibility real-time scheduling horn formulas integer feasibility numerical algorithms engineering optimization control optimization reasoning system computer algebra computational logic sat solving real-time computing boolean combinations quantified linear programs partial vertex cover lattice point feasibility inclusion queries dataless neural networks minimum stopping software analysis reading research automated decision-making network algorithms real-time systems real-time algorithms quantification equivalence checking benchmark studies tree language entailment (linguistics) system theory discrete modeling abstraction (computer science) computational learning theory

Notable Scholarly Works

Notable Federal Grants

Collaborators

A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. Lecture notes in computer science (2024)

Piotr WojciechowskiK. Subramani

optimization problemscontrol optimizationconstraint programmingcombinatorial optimizationconstraint satisfactioncontrol systemsdesign optimizationcomputer engineeringtheoretical computer scienceautomated reasoninghorn constraint systemsconstrained optimizationconstraint solvingautomatic controlformal verificationsystems engineeringcertifying algorithmlogic in computer scienceformal methodscomputer science

A Differential Approach for Several Np-Hard Optimization Problems. Lecture notes in computer science (2024)

Sangram K. JenaK. SubramaniAlvaro Velasquez

computational optimizationmathematical programmingcomputational mathematicsnumerical analysismathematical optimizationoptimization problemscomputational sciencetheoretical computer sciencecombinatorial optimizationapplied mathematicscomputer science

Arc-Dependent Networks: Theoretical Insights and a Computational Study. Annals of Operations Research (2024)

Alvaro VelasquezP. WojciechowskiK. SubramaniMatthew Williamson

arc-dependent networkssystems engineeringnetwork theorycomputational studynetwork sciencedata scienceapplied mathematicstheoretical insightsoperations research

Code and Data Repository for Models for Test Cost Minimization in Database Migration. INFORMS journal on computing (2024)

Bugra CaskurluK. SubramaniUtku Umur AcikalinAlvaro VelasquezPiotr Wojciechowski

reliability engineeringdata integrationtest data generationmachine learning researchdata sciencedatabasesdatabase migrationdata managementmodeling and simulationmodel testsoftware testingscientific computingmodel-based testingtest process improvementtest cost minimizationsystems engineeringdata modelingcomputer sciencemodel transformation

Designing Dataless Neural Networks for Kidney Exchange Variants. Neural Computing and Applications (2024)

Sangram K. JenaK. SubramaniAlvaro Velasquez

kidney exchange variantsneural computationdataless neural networksdata science

Farkas Bounds on Horn Constraint Systems. Theory of Computing Systems (2024)

K. SubramaniPiotr WojciechowkiAlvaro Velasquez

constraint satisfactionsystems engineeringresource constraintshorn constraint systemstheory of computationfarkas boundsconstraint programmingformal methodstheoretical computer scienceautomatic controlcomputer scienceengineering

Models for Test Cost Minimization in Database Migration. INFORMS journal on computing (2024)

Bugra CaskurluK. SubramaniUtku Umur AcikalinAlvaro VelasquezPiotr Wojciechowski

database migrationcomputer sciencetest cost minimizationcomputing education

On the Computational Complexities of Finding Selected Refutations of Linear Programs. Lecture notes in computer science (2024)

K. SubramaniPiotr Wojciechowski

theoretical computer sciencecomputer science

The Hexatope and Octatope Abstract Domains for Neural Network Verification. Formal Methods in System Design (2024)

Stanley BakTaylor DohmenK. SubramaniAshutosh TrivediAlvaro VelasquezPiotr Wojciechowski

systems engineeringmachine learningdeep learningformal methodsneural network verificationapplied mathematicscomputer science

Approximation Algorithms for Partial Vertex Covers in Trees. International Journal of Foundations of Computer Science (2023)

Vahan MkrtchyanOjas ParekhK. Subramani

computer scienceapproximation algorithmsmachine learningpartial vertex covers

1
2
3
4
5
18
10 / page

K. Subramani

Professor

West Virginia University

Affiliations

Benjamin M. Statler College of Engineering and Mineral Resources

Lane Department of Computer Science and Electrical Engineering

K. Subramani is currently serving as a Benjamin M. Statler College Of Engineering And Mineral Resources Professor at West Virginia University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

K. Subramani

West Virginia University

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. Lecture notes in computer science (2024)

Piotr WojciechowskiK. Subramani

A Differential Approach for Several Np-Hard Optimization Problems. Lecture notes in computer science (2024)

Sangram K. JenaK. SubramaniAlvaro Velasquez

Arc-Dependent Networks: Theoretical Insights and a Computational Study. Annals of Operations Research (2024)

Alvaro VelasquezP. WojciechowskiK. SubramaniMatthew Williamson

arc-dependent networkssystems engineeringnetwork theorycomputational studynetwork sciencedata scienceapplied mathematicstheoretical insightsoperations research

Code and Data Repository for Models for Test Cost Minimization in Database Migration. INFORMS journal on computing (2024)

Bugra CaskurluK. SubramaniUtku Umur AcikalinAlvaro VelasquezPiotr Wojciechowski

Designing Dataless Neural Networks for Kidney Exchange Variants. Neural Computing and Applications (2024)

Sangram K. JenaK. SubramaniAlvaro Velasquez

kidney exchange variantsneural computationdataless neural networksdata science

Farkas Bounds on Horn Constraint Systems. Theory of Computing Systems (2024)

K. SubramaniPiotr WojciechowkiAlvaro Velasquez

Models for Test Cost Minimization in Database Migration. INFORMS journal on computing (2024)

Bugra CaskurluK. SubramaniUtku Umur AcikalinAlvaro VelasquezPiotr Wojciechowski

database migrationcomputer sciencetest cost minimizationcomputing education

On the Computational Complexities of Finding Selected Refutations of Linear Programs. Lecture notes in computer science (2024)

K. SubramaniPiotr Wojciechowski

theoretical computer sciencecomputer science

The Hexatope and Octatope Abstract Domains for Neural Network Verification. Formal Methods in System Design (2024)

Stanley BakTaylor DohmenK. SubramaniAshutosh TrivediAlvaro VelasquezPiotr Wojciechowski

systems engineeringmachine learningdeep learningformal methodsneural network verificationapplied mathematicscomputer science

Approximation Algorithms for Partial Vertex Covers in Trees. International Journal of Foundations of Computer Science (2023)

Vahan MkrtchyanOjas ParekhK. Subramani

computer scienceapproximation algorithmsmachine learningpartial vertex covers

1
2
3
4
5
18
10 / page

Similar Faculty Members

John Iacono

Institution

New York University

algorithm design

geometry

Ming-Yang Kao

Institution

Northwestern University

computer science

applied mathematics

Bhaskar DasGupta

Institution

University of Illinois Chicago

network science

philosophy of computer science

Dorit Hochbaum

Institution

University of California, Berkeley

applied mathematics

computer science

Daniel Sleator

Institution

Carnegie Mellon University

algorithms

computer communications

Benjamin Moseley

Institution

Carnegie Mellon University

numerical mathematics

general systems

Bistra Dilkina

Institution

University of Southern California

operations research

intelligent computing

Sanguthevar Rajasekaran

Institution

University of Connecticut

big data

computational biology

Danny Ziyi Chen

Institution

University of Notre Dame

radiology

biomedical imaging

Gyorgy Turan

Institution

University of Illinois Chicago

computational intelligence

automated reasoning

Similar Faculty Members

John Iacono

Institution

New York University

algorithm design

geometry

Ming-Yang Kao

Institution

Northwestern University

computer science

applied mathematics

Bhaskar DasGupta

Institution

University of Illinois Chicago

network science

philosophy of computer science

Dorit Hochbaum

Institution

University of California, Berkeley

applied mathematics

computer science

Daniel Sleator

Institution

Carnegie Mellon University

algorithms

computer communications

Benjamin Moseley

Institution

Carnegie Mellon University

numerical mathematics

general systems

Bistra Dilkina

Institution

University of Southern California

operations research

intelligent computing

Sanguthevar Rajasekaran

Institution

University of Connecticut

big data

computational biology

Danny Ziyi Chen

Institution

University of Notre Dame

radiology

biomedical imaging

Gyorgy Turan

Institution

University of Illinois Chicago

computational intelligence

automated reasoning