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

Jeffrey Fischer Vis

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

*2009
7EEJeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein: Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194
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] [7]
5Daniel Marino [7]
6Todd D. Millstein [3] [7]
7Francesco Sorrentino [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)