2000 |
6 | | Viswanath Ramachandran,
Pascal Van Hentenryck,
Agostino Cortesi:
Abstract Domains for Reordering CLP(RLin) Programs.
J. Log. Program. 42(3): 217-256 (2000) |
1995 |
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) |
1994 |
3 | | Pascal Van Hentenryck,
Viswanath Ramachandran:
Backtracking without Trailing in CLP(R-lin).
PLDI 1994: 349-360 |
1993 |
2 | | Viswanath Ramachandran,
Pascal Van Hentenryck:
Incremental Algorithms for Constraint Solving and Entailment over Rational Trees.
FSTTCS 1993: 205-217 |
1 | | Yezdezard Lashkari,
Viswanath Ramachandran,
Sanjay Malpani,
S. L. Mehndiratta:
Vartalaap: a Distributed Multicast Communication System.
Softw., Pract. Exper. 23(7): 799-811 (1993) |