BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Subramani:K=

Contributed to:

VMCAI 20062006
IJCAR 20042004
TACAS 20042004
SAT 20032003
TACAS 20022002
SAT 20012001
SMT 20062007

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.