Compositional Verification by Model Checking for Counter-Examples. - Tevfik Bultan; Jeffrey Fischer; Richard Gerber 001 (ISSTA, 1996)

Joining dataflow with predicates. - Jeffrey Fischer; Ranjit Jhala; Rupak Majumdar (ESEC/SIGSOFT FSE, 2005)

Ensuring consistency in long running transactions. - Jeffrey Fischer; Rupak Majumdar (ASE, 2007)

Tasks: language support for event-driven programming. - Jeffrey Fischer; Rupak Majumdar; Todd D. Millstein (PEPM, 2007)

A Theory of Role Composition. - Jeffrey Fischer; Rupak Majumdar (ICWS, 2008)

The Consistency of Web Conversations. - Jeffrey Fischer; Rupak Majumdar; Francesco Sorrentino 002 (ASE, 2008)

Fine-Grained Access Control with Object-Sensitive Roles. - Jeffrey Fischer; Daniel Marino; Rupak Majumdar; Todd D. Millstein (ECOOP, 2009)

NFC in cell phones: The new paradigm for an interactive world [Near-Field Communications]. - Jeffrey Fischer (IEEE Commun. Mag., 2009)

Engage: a deployment management system. - Jeffrey Fischer; Rupak Majumdar; Shahram Esmaeilsabzali (PLDI, 2012)

Normal amygdala activation but deficient ventrolateral prefrontal activation in adults with bipolar disorder during euthymia. - Lara C. Foland-Ross; Susan Y. Bookheimer; Matthew D. Lieberman; Catherine A. Sugar; Jennifer D. Townsend; Jeffrey Fischer; Salvatore Torrisi; Conor Penfold; Sarah K. Madsen; Paul M. Thompson; Lori L. Altshuler (NeuroImage, 2012)

Programming by Composing Filters. - Jeffrey Fischer; Rupak Majumdar (LPAR, 2017)