Lalita Jategaonkar Jagadeesan
Lalita Jategaonkar Jagadeesan
Nokia Bell Labs
Email confirmado em nokia-bell-labs.com
Título
Citado por
Citado por
Ano
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
3362004
Apparatus and method for use in collaboration services
DG Boyer, JO Coplien, RE Grinter, RL Hackbarth, JD Herbsleb, ...
US Patent 7,299,257, 2007
2632007
Presence awareness in collaborative systems
PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li
US Patent 6,697,840, 2004
2302004
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
1252000
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
1141996
Safety property verification of Esterel programs and applications to telecommunications software
LJ Jagadeesan, C Puchol, JE Von Olnhausen
International Conference on Computer Aided Verification, 127-140, 1995
1051995
ML with extended pattern matching and subtypes
L Jategaonkar, J Mitchell
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
991988
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
921997
Characterizing session initiation protocol (SIP) network performance and reliability
VK Gurbani, LJ Jagadeesan, VB Mendiratta
International Service Availability Symposium, 196-211, 2005
872005
A formal approach to reactive systems software: A telecommunications application in E sterel
LJ Jagadeesan, C Puchol, JE Von Olnhausen
Formal Methods in System Design 8 (2), 123-151, 1996
801996
Deciding true concurrency equivalences on safe, finite nets
L Jategaonkar, AR Meyer
Theoretical computer science 154 (1), 107-143, 1996
791996
Automatically closing open reactive programs
C Colby, P Godefroid, LJ Jagadeesan
ACM SIGPLAN Notices 33 (5), 345-357, 1998
751998
Sisl: Several interfaces, single logic
T Ball, C Colby, P Danielsen, LJ Jagadeesan, R Jagadeesan, K Läufer, ...
International Journal of Speech Technology 3 (2), 93-108, 2000
702000
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 (3), 297-314, 2001
542001
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
531997
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
501998
Causality and true concurrency: A data-flow analysis of the pi-calculus
LJ Jagadeesan, R Jagadeesan
International Conference on Algebraic Methodology and Software Technology …, 1995
471995
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
441997
Testing equivalence for Petri nets with action refinement: preliminary report
L Jategaonkar, A Meyer
International Conference on Concurrency Theory, 17-31, 1992
371992
Method and apparatus for providing interactive services with multiple interfaces
TJ Ball, PJ Danielsen, LJ Jagadeesan, K Laufer, PA Mataga, KG Rehor
US Patent 6,529,863, 2003
322003
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20