dblp.uni-trier.dewww.uni-trier.de

Jeffrey Fischer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEJeffrey Fischer, Rupak Majumdar, Francesco Sorrentino: The Consistency of Web Conversations. ASE 2008: 415-418
5EEJeffrey Fischer, Rupak Majumdar: A Theory of Role Composition. ICWS 2008: 320-328
2007
4EEJeffrey Fischer, Rupak Majumdar: Ensuring consistency in long running transactions. ASE 2007: 54-63
3EEJeffrey Fischer, Rupak Majumdar, Todd D. Millstein: Tasks: language support for event-driven programming. PEPM 2007: 134-143
2005
2EEJeffrey Fischer, Ranjit Jhala, Rupak Majumdar: Joining dataflow with predicates. ESEC/SIGSOFT FSE 2005: 227-236
1996
1EETevfik Bultan, Jeffrey Fischer, Richard Gerber: Compositional Verification by Model Checking for Counter-Examples. ISSTA 1996: 224-238

Coauthor Index

1Tevfik Bultan [1]
2Richard Gerber [1]
3Ranjit Jhala [2]
4Rupak Majumdar [2] [3] [4] [5] [6]
5Todd D. Millstein [3]
6Francesco Sorrentino [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)