Folgen
Lalita Jategaonkar Jagadeesan
Lalita Jategaonkar Jagadeesan
Nokia Bell Labs
Bestätigte E-Mail-Adresse bei nokia-bell-labs.com
Titel
Zitiert von
Zitiert von
Jahr
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
3722004
Apparatus and method for use in collaboration services
DG Boyer, JO Coplien, RE Grinter, RL Hackbarth, JD Herbsleb, ...
US Patent 7,299,257, 2007
2662007
Presence awareness in collaborative systems
PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li
US Patent 6,697,840, 2004
2332004
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
1272000
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
1111996
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
1081995
ML with extended pattern matching and subtypes
L Jategaonkar, J Mitchell
Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988
1081988
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
962001
Characterizing session initiation protocol (SIP) network performance and reliability
VK Gurbani, LJ Jagadeesan, VB Mendiratta
Service Availability: Second International Service Availability Symposium …, 2005
932005
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
Deciding true concurrency equivalences on safe, finite nets
L Jategaonkar, AR Meyer
Theoretical computer science 154 (1), 107-143, 1996
841996
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
801996
Automatically closing open reactive programs
C Colby, P Godefroid, LJ Jagadeesan
ACM SIGPLAN Notices 33 (5), 345-357, 1998
771998
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
742000
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
561997
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
551998
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
511995
Testing equivalence for Petri nets with action refinement: preliminary report
L Jategaonkar, A Meyer
International Conference on Concurrency Theory, 17-31, 1992
441992
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
421997
Type inference with extended pattern matching and subtypes
LA Jategaonkar, JC Mitchell
Fundamenta Informaticae 19 (1-2), 127-165, 1993
351993
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20