Viswanath Ramachandran (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi: Abstract Domains for Reordering CLP(R_Lin) Programs. J. Log. Program. 42(3): 217-256 (2000)

5 Viswanath Ramachandran, Pascal Van Hentenryck: LSign Reordered SAS 1995: 330-347

4 Pascal Van Hentenryck, Viswanath Ramachandran: Backtracking without Trailing in CLP(R-lin) ACM Trans. Program. Lang. Syst. 17(4): 635-671 (1995)

3 Pascal Van Hentenryck, Viswanath Ramachandran: Backtracking without Trailing in CLP(R-lin). PLDI 1994: 349-360

2 Viswanath Ramachandran, Pascal Van Hentenryck: Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. FSTTCS 1993: 205-217

Selection of 5 from 6 records - Viswanath Ramachandran has 5 coauthors

6		Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi: Abstract Domains for Reordering CLP(R_Lin) Programs. J. Log. Program. 42(3): 217-256 (2000)
5		Viswanath Ramachandran, Pascal Van Hentenryck: LSign Reordered SAS 1995: 330-347
4		Pascal Van Hentenryck, Viswanath Ramachandran: Backtracking without Trailing in CLP(R-lin) ACM Trans. Program. Lang. Syst. 17(4): 635-671 (1995)
3		Pascal Van Hentenryck, Viswanath Ramachandran: Backtracking without Trailing in CLP(R-lin). PLDI 1994: 349-360
2		Viswanath Ramachandran, Pascal Van Hentenryck: Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. FSTTCS 1993: 205-217