Lalita Jategaonkar Jagadeesan
Lalita Jategaonkar Jagadeesan
Nokia Bell Labs
Verified email at
Cited by
Cited by
User interface for translating natural language inquiries into database queries and data presentations
TJ Ball, KC Cox, RE Grinter, SL Hibino, LJ Jagadeesan, DA Mantilla
US Patent 6,701,294, 2004
Apparatus and method for use in collaboration services
DG Boyer, JO Coplien, RE Grinter, RL Hackbarth, JD Herbsleb, ...
US Patent 7,299,257, 2007
Presence awareness in collaborative systems
PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li
US Patent 6,697,840, 2004
Ensuring privacy in presence awareness: an automated verification approach
P Godefroid, JD Herbsleb, LJ Jagadeesany, D Li
Proceedings of the 2000 ACM conference on Computer supported cooperative …, 2000
A framework for evaluating specification methods for reactive systems-experience report
MA Ardis, JA Chaves, LJ Jagadeesan, P Mataga, C Puchol, ...
IEEE Transactions on Software Engineering 22 (6), 378-389, 1996
Safety property verification of Esterel programs and applications to telecommunications software
LJ Jagadeesan, C Puchol, JE Von Olnhausen
Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995
ML with extended pattern matching and subtypes
L Jategaonkar, J Mitchell
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
A multi-modal natural language interface to an information visualization environment
K Cox, RE Grinter, SL Hibino, LJ Jagadeesan, D Mantilla
International Journal of Speech Technology 4, 297-314, 2001
Characterizing session initiation protocol (SIP) network performance and reliability
VK Gurbani, LJ Jagadeesan, VB Mendiratta
Service Availability: Second International Service Availability Symposium …, 2005
Specification-based testing of reactive software: tools and experiments: experience report
LJ Jagadeesan, A Porter, C Puchol, JC Ramming, LG Votta
Proceedings of the 19th International Conference on Software Engineering …, 1997
Deciding true concurrency equivalences on safe, finite nets
L Jategaonkar, AR Meyer
Theoretical computer science 154 (1), 107-143, 1996
A formal approach to reactive systems software: A telecommunications application in Esterel
LJ Jagadeesan, C Puchol, JE Von Olnhausen
Formal Methods in System Design 8 (2), 123-151, 1996
Automatically closing open reactive programs
C Colby, P Godefroid, LJ Jagadeesan
ACM SIGPLAN Notices 33 (5), 345-357, 1998
Sisl: Several interfaces, single logic
T Ball, C Colby, P Danielsen, LJ Jagadeesan, R Jagadeesan, K Läufer, ...
International Journal of Speech Technology 3, 93-108, 2000
Auditdraw: Generating audits the FAST way
NK Gupta, LJ Jagadeesan, EE Kouteofios, DM Weiss
Proceedings of ISRE'97: 3rd IEEE International Symposium on Requirements …, 1997
Model checking without a model: An analysis of the heart-beat monitor of a telephone switch using verisoft
P Godefroid, RS Hanmer, LJ Jagadeesan
Proceedings of the 1998 ACM SIGSOFT international symposium on Software …, 1998
Causality and true concurrency: A data-flow analysis of the pi-calculus
L Jategaonkar Jagadeesan, R Jagadeesan
International Conference on Algebraic Methodology and Software Technology …, 1995
Testing equivalence for Petri nets with action refinement: preliminary report
L Jategaonkar, A Meyer
International Conference on Concurrency Theory, 17-31, 1992
Model-checking of real-time systems: a telecommunications application: experience report
R Alur, LJ Jagadeesan, JJ Kott, JE Von Olnhausen
Proceedings of the 19th International conference on Software Engineering …, 1997
Type inference with extended pattern matching and subtypes
LA Jategaonkar, JC Mitchell
Fundamenta Informaticae 19 (1-2), 127-165, 1993
The system can't perform the operation now. Try again later.
Articles 1–20