|
Search the dblp DataBase
Jeffrey Fischer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tevfik Bultan, Jeffrey Fischer, Richard Gerber
Compositional Verification by Model Checking for Counter-Examples. [Citation Graph (0, 0)][DBLP] ISSTA, 1996, pp:224-238 [Conf]
- Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
Tasks: language support for event-driven programming. [Citation Graph (0, 0)][DBLP] PEPM, 2007, pp:134-143 [Conf]
- Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
Joining dataflow with predicates. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2005, pp:227-236 [Conf]
Fine-Grained Access Control with Object-Sensitive Roles. [Citation Graph (, )][DBLP]
A Theory of Role Composition. [Citation Graph (, )][DBLP]
Ensuring consistency in long running transactions. [Citation Graph (, )][DBLP]
The Consistency of Web Conversations. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|