Travelled to:
1 × France
1 × Ireland
1 × Italy
1 × Spain
2 × USA
Collaborated with:
∅ J.I.Rasmussen K.G.Larsen H.K.Büning X.Zhao S.A.Seshia R.E.Bryant
Talks about:
schedul (3) boolean (3) constraint (2) quantifi (2) clairvoy (2) time (2) procedur (1) polyhedr (1) automata (1) resourc (1)
Person: K. Subramani
DBLP: Subramani:K=
Contributed to:
Wrote 8 papers:
- VMCAI-2006-Subramani #constraints #scheduling
- Totally Clairvoyant Scheduling with Relative Timing Constraints (KS), pp. 398–411.
- IJCAR-2004-Subramani #integer #quantifier #source code
- Analyzing Selected Quantified Integer Programs (KS), pp. 342–356.
- TACAS-2004-RasmussenLS #automaton #scheduling #using
- Resource-Optimal Scheduling Using Priced Timed Automata (JIR, KGL, KS), pp. 220–235.
- SAT-2003-BuningSZ #modelling #on the #quantifier
- On Boolean Models for Quantified Boolean Horn Formulas (HKB, KS, XZ), pp. 93–104.
- TACAS-2002-Subramani #analysis #scheduling
- An Analysis of Zero-Clairvoyant Scheduling (KS), pp. 98–112.
- SAT-2001-Subramani #satisfiability
- A polyhedral projection procedure for Q2SAT (KS), pp. 369–375.
- SMT-J-2006-SeshiaSB #constraints #on the
- On Solving Boolean Combinations of UTVPI Constraints (SAS, KS, REB), pp. 67–90.