| 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 | 381 | 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 | 267 | 2007 |
| Presence awareness in collaborative systems PI Godefroid, JD Herbsleb, LJ Jagadeesan, D Li US Patent 6,697,840, 2004 | 233 | 2004 |
| 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 | 131 | 2001 |
| 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 |
| 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, 2002 | 113* | 2002 |
| 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 | 107 | 1995 |
| ML with extended pattern matching and subtypes L Jategaonkar, J Mitchell Proceedings of the 1988 ACM conference on LISP and functional programming …, 1988 | 102 | 1988 |
| 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 | 94 | 1997 |
| Characterizing session initiation protocol (SIP) network performance and reliability VK Gurbani, LJ Jagadeesan, VB Mendiratta International Service Availability Symposium, 196-211, 2005 | 93 | 2005 |
| Deciding true concurrency equivalences on safe, finite nets L Jategaonkar, AR Meyer Theoretical computer science 154 (1), 107-143, 1996 | 82 | 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 | 81 | 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 (2), 93-108, 2000 | 73 | 2000 |
| 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 | 55 | 1998 |
| 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 | 54 | 1997 |
| 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 |
| Dynamic Reconfiguration Of Resources In A Virtualized Network AJ Mc Bride, LJ Jagadeesan, MC Moser, VK Gurbani US Patent App. 14/755,672, 2016 | 42 | 2016 |
| 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 |
| Testing equivalence for Petri nets with action refinement: preliminary report L Jategaonkar, A Meyer International Conference on Concurrency Theory, 17-31, 1992 | 41 | 1992 |
