| 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 | 375 | 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 | 266 | 2007 |
| Presence awareness in collaborative systems PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li US Patent 6,697,840, 2004 | 233 | 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 | 125 | 2000 |
| ML with extended pattern matching and subtypes L Jategaonkar, J Mitchell Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988 | 118 | 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 | 114 | 2001 |
| 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 | 112 | 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 | 108 | 1995 |
| Characterizing session initiation protocol (SIP) network performance and reliability VK Gurbani, LJ Jagadeesan, VB Mendiratta Service Availability: Second International Service Availability Symposium …, 2005 | 94 | 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 | 92 | 1997 |
| Deciding true concurrency equivalences on safe, finite nets L Jategaonkar, AR Meyer Theoretical computer science 154 (1), 107-143, 1996 | 83 | 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 | 80 | 1996 |
| Automatically closing open reactive programs C Colby, P Godefroid, LJ Jagadeesan ACM SIGPLAN Notices 33 (5), 345-357, 1998 | 77 | 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 | 73 | 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 | 57 | 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 | 56 | 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 | 50 | 1995 |
| Testing equivalence for Petri nets with action refinement: preliminary report L Jategaonkar, A Meyer International Conference on Concurrency Theory, 17-31, 1992 | 44 | 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 | 42 | 1997 |
| Type inference with extended pattern matching and subtypes LA Jategaonkar, JC Mitchell Fundamenta Informaticae 19 (1-2), 127-165, 1993 | 37 | 1993 |
