#### Filter Results:

- Full text PDF available (46)

#### Publication Year

1986

2017

- This year (11)
- Last 5 years (41)
- Last 10 years (74)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jacob Illum Rasmussen, Kim G. Larsen, K. Subramani
- TACAS
- 2004

- Jacob Illum Rasmussen, Kim G. Larsen, K. Subramani
- Formal Methods in System Design
- 2006

In this paper, we describe an approach for solving the general class of energyoptimal task graph scheduling problems using priced timed automata. We provide an efficient zone-based algorithm for minimum-cost reachability. Furthermore, we show how the simple structure of the linear programs encountered during symbolic minimum-cost reachability analysis of… (More)

- Sanjit A. Seshia, K. Subramani, Randal E. Bryant
- JSAT
- 2007

We consider the satisfiability problem for Boolean combinations of unit two variable per inequality (UTVPI) constraints. A UTVPI constraint is linear constraint containing at most two variables with non-zero coefficients, where furthermore those coefficients must be either −1 or 1. We prove that if a satisfying solution exists, then there is a solution with… (More)

- Hans Kleine Büning, K. Subramani, Xishun Zhao
- SAT
- 2003

- NaveenKumar Perumal, MadanKumar Perumal, Anbarasu Kannan, K. Subramani, Devaraj Halagowder, NiranjaliDevaraj Sivasithamparam
- Experimental cell research
- 2017

Recent clinical and experimental evidences strongly acclaim Yes-associated protein (Yap), a key oncogenic driver in liver carcinogenesis, as a therapeutic target. Of the known multiple schemes to inhibit Yap activity, activation of Mammalian Sterile 20-like Kinase 1 (Mst1), an upstream regulator of Yap, appears to be a promising one. In this study, we… (More)

- K. Subramani, Alexander Velkov, Irene Ntoutsi, Peer Kroger, Hans-Peter Kriegel
- 2011 IEEE 5th International Conference on…
- 2011

This paper deals with community detection in social networks using density-based clustering. We compare two well-known concepts for community detection that are implemented as distance functions in the algorithms SCAN [1] and DEN-GRAPH [2], the structural similarity of nodes and the number of interactions between nodes, respectively, in order to evaluate… (More)

- James B. Orlin, Kamesh Madduri, K. Subramani, Matthew D. Williamson
- J. Discrete Algorithms
- 2010

In this paper, we propose an efficient method for implementing Dijkstra’s algorithm for the Single Source Shortest Path Problem (SSSPP) in a graph with positively lengthed edges, and where there are few distinct lengths. The SSSPP is one of the most widely studied problems in theoretical computer science and operations research. On a graph with n vertices,… (More)

- K. Subramani
- SOFSEM
- 2002

- K. Subramani
- ACM Trans. Comput. Log.
- 2004

In this article, we exploit the graphical structure of 2SAT formulas to show that the shortest tree-like resolution refutation of an unsatisfiable 2SAT formula can be determined in polynomial time.

- Bugra Caskurlu, Vahan V. Mkrtchyan, Ojas Parekh, K. Subramani
- IFIP TCS
- 2014