| 2006 |
|---|
| 15 | EE | Pablo H. Ibargüengoytia,
Sunil Vadera,
Luis Enrique Sucar:
A Probabilistic Model for Information and Sensor Validation.
Comput. J. 49(1): 113-126 (2006) |
| 2004 |
|---|
| 14 | EE | Farid Meziane,
Sunil Vadera:
A Comparison of Computer Science and Software Engineering Programmes in English Universities.
CSEE&T 2004: 65-70 |
| 13 | | Farid Meziane,
Sunil Vadera:
Obtaining E-R Diagrams Semi-Automatically from Natural Language Specifications.
ICEIS (1) 2004: 638-642 |
| 2001 |
|---|
| 12 | | Sunil Vadera,
Farid Meziane,
M.-L. L. Huang:
Experience with mural in formalising Dust-Expert.
Information & Software Technology 43(4): 231-240 (2001) |
| 2000 |
|---|
| 11 | | Pablo Roberto de Buen-Rodríguez,
Eduardo F. Morales,
Sunil Vadera:
RuLess: A Method for the Acquisition and Simplification of Rules.
MICAI 2000: 272-283 |
| 10 | | Andres F. Rodriguez,
Sunil Vadera,
Luis Enrique Sucar:
A Probabilistic Exemplar-Based Model for Case-Based Reasoning.
MICAI 2000: 40-51 |
| 1999 |
|---|
| 9 | | Andres F. Rodriguez,
Sunil Vadera:
PEBM: A Probabilistic Exemplar Based Model.
IJCAI 1999: 242-247 |
| 1998 |
|---|
| 8 | EE | Pablo H. Ibargüengoytia,
Luis Enrique Sucar,
Sunil Vadera:
Any Time Probabilistic Reasoning for Sensor Validation.
UAI 1998: 266-273 |
| 1997 |
|---|
| 7 | | Pablo H. Ibargüengoytia,
Sunil Vadera,
Luis Enrique Sucar:
A Layered, Any Time Approach to Sensor Validation.
ECSQARU-FAPR 1997: 336-349 |
| 6 | | Andres F. Rodriguez,
Sunil Vadera,
Luis Enrique Sucar:
A Probabilistic Model for Case-Based Reasoning.
ICCBR 1997: 623-632 |
| 5 | | Sunil Vadera,
Farid Meziane:
Tools for Producing Formal specifications: A view of Current Architectures and Future Directions.
Ann. Software Eng. 3: 273-290 (1997) |
| 1996 |
|---|
| 4 | | Pablo Roberto de Buen-Rodríguez,
Eduardo F. Morales,
Sunil Vadera:
A Knowledge-Based Framework for Learning, Applying and Consulting Engineering Procedures.
Intelligent Tutoring Systems 1996: 392-400 |
| 3 | EE | Pablo H. Ibargüengoytia,
Luis Enrique Sucar,
Sunil Vadera:
A Probabilistic Model for Sensor Validation.
UAI 1996: 332-339 |
| 1995 |
|---|
| 2 | | Sunil Vadera:
Proof by Analogy in Mural.
Formal Asp. Comput. 7(2): 183-206 (1995) |
| 1994 |
|---|
| 1 | | Sunil Vadera,
Farid Meziane:
From English to Formal Specifications.
Comput. J. 37(9): 753-763 (1994) |
