| 2008 |
|---|
| 12 | EE | E. R. Naganathan,
R. Venkatesh,
N. Uma Maheswari:
Intelligent Tutoring System: Predicting Students Results Using Neural Networks.
JCIT 3(3): 22-26 (2008) |
| 2006 |
|---|
| 11 | EE | Srihari Sukumaran,
Ashok Sreenivas,
R. Venkatesh:
A Rigorous Approach to Requirements Validation.
SEFM 2006: 236-245 |
| 2005 |
|---|
| 10 | EE | Deepali Kholkar,
G. Murali Krishna,
Ulka Shrotri,
R. Venkatesh:
Visual specification and analysis of use cases.
SOFTVIS 2005: 77-85 |
| 9 | EE | Zhiming Liu,
R. Venkatesh:
Methods and Tools for Formal Software Engineering.
VSTTE 2005: 31-41 |
| 8 | EE | N. Srinivasan,
C. Sanjeevakumar,
L. Sudarsan,
M. Kasi Rajan,
R. Venkatesh:
Towards a Group Theoretic Quantum Encryption Scheme Based on Generalized Hidden Subgroup Problem
CoRR abs/cs/0504009: (2005) |
| 2003 |
|---|
| 7 | EE | Ulka Shrotri,
Purandar Bhaduri,
R. Venkatesh:
Model Checking Visual Specification of Requirements.
SEFM 2003: 202-209 |
| 2002 |
|---|
| 6 | EE | Vinay Kulkarni,
R. Venkatesh,
Sreedhar Reddy:
Generating Enterprise Applications from Models.
OOIS Workshops 2002: 270-279 |
| 5 | EE | Purandar Bhaduri,
R. Venkatesh,
Girish Keshav Palshikar:
Formal Techniques for Analysing Scenarios using Message Sequence Charts.
Electr. Notes Theor. Comput. Sci. 65(7): (2002) |
| 2001 |
|---|
| 4 | EE | R. Venkatesh,
Purandar Bhaduri,
Mathai Joseph:
Formalizing Models and Meta-models for System Development.
APSEC 2001: 155- |
| 3 | EE | Ashok Sreenivas,
R. Venkatesh,
Mathai Joseph:
Meta-Modelling for Formal Software Development.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 1998 |
|---|
| 2 | | Robert Bretl,
Allen Otis,
Marc San Soucie,
Bruce Schuchardt,
R. Venkatesh:
Persistent Java Objects in 3 Tier Architectures.
POS/PJW 1998: 236-249 |
| 1990 |
|---|
| 1 | EE | G. R. Dattatreya,
R. Venkatesh:
Average response time minimization in star-connected computer networks.
SPDP 1990: 591-594 |
