Travelled to:
1 × Israel
2 × Portugal
2 × USA
Collaborated with:
∅ S.C.Stanton C.Cifuentes S.Patro D.Johnson
Talks about:
model (2) decis (2) web (2) synthesis (1) algorithm (1) translat (1) retarget (1) support (1) subject (1) system (1)
Person: Vishv M. Malhotra
DBLP: Malhotra:Vishv_M=
Contributed to:
Wrote 5 papers:
- ICEIS-v2-2005-MalhotraPJ #query #web
- Synthesise Web Queries: Search the Web by Examples (VMM, SP, DJ), pp. 291–296.
- ICEIS-v3-2004-StantonM #design #model checking #object-oriented
- Model Checking an Object-Oriented Design (SCS, VMM), pp. 605–608.
- ICEIS-v1-2001-Malhotra
- A Decision Support System Model for Subjective Decisions (VMM), pp. 255–261.
- ICSM-1996-CifuentesM #question
- Binary Translation: Static, Dynamic, Retargetable? (CC, VMM), pp. 340–349.
- CLP-1990-Malhotra90 #algorithm #prolog
- An Algorithm for Optimal Back-Striding in Prolog (VMM), pp. 147–158.