Contact | About
event-based.org
  • Home
  • Events
  • Link Collection
  • Home
  • Bibliographies and Surveys
  • Community Websites
  • Conferences and Workshops
  • People
  • Presentations and Tutorials
  • Publications
    • All
    • By Author
    • By Topic
    • By Type
    • By Year
  • Research Groups and Projects
  • Software, Products and Companies
  • Standards

Search Links:

Top: Publications: By Author: Jha, S.
A. Campailla, S. Chaki, E. Clarke, S. Jha, and H. Veith
Efficient filtering in publish-subscribe systems using binary decision diagrams. In Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), pages 443‒452, Toronto, Canada, May 2001.
J. Dingel, D. Garlan, S. Jha, and D. Notkin
Reasoning about Implicit Invocation. In Proceedings of of the 6th International Symposium on the Foundations of Software Engineering (FSE-6), pages 209‒221, Lake Buena Vista, FL, USA, Nov. 1998. ACM Press.
J. Dingel, D. Garlan, S. Jha, and D. Notkin
Towards a Formal Treatment of Implicit Invocation. Formal Aspects of Computing, 10:193‒213, 1998.
The event-based.org link collection is maintained by Arnd Schröter