BibTeX records: Jeffrey Fischer

download as .bib file

@inproceedings{DBLP:conf/lpar/FischerM17,
  author       = {Jeffrey Fischer and
                  Rupak Majumdar},
  editor       = {Thomas Eiter and
                  David Sands},
  title        = {Programming by Composing Filters},
  booktitle    = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
                  Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  series       = {EPiC Series in Computing},
  volume       = {46},
  pages        = {1--13},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/w8s9},
  doi          = {10.29007/W8S9},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/FischerM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/Foland-RossBLSTFTPMTA12,
  author       = {Lara C. Foland{-}Ross and
                  Susan Y. Bookheimer and
                  Matthew D. Lieberman and
                  Catherine A. Sugar and
                  Jennifer D. Townsend and
                  Jeffrey Fischer and
                  Salvatore Torrisi and
                  Conor Penfold and
                  Sarah K. Madsen and
                  Paul M. Thompson and
                  Lori L. Altshuler},
  title        = {Normal amygdala activation but deficient ventrolateral prefrontal
                  activation in adults with bipolar disorder during euthymia},
  journal      = {NeuroImage},
  volume       = {59},
  number       = {1},
  pages        = {738--744},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.neuroimage.2011.07.054},
  doi          = {10.1016/J.NEUROIMAGE.2011.07.054},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/neuroimage/Foland-RossBLSTFTPMTA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FischerME12,
  author       = {Jeffrey Fischer and
                  Rupak Majumdar and
                  Shahram Esmaeilsabzali},
  editor       = {Jan Vitek and
                  Haibo Lin and
                  Frank Tip},
  title        = {Engage: a deployment management system},
  booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
                  {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  pages        = {263--274},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2254064.2254096},
  doi          = {10.1145/2254064.2254096},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/FischerME12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/Fischer09,
  author       = {Jeffrey Fischer},
  title        = {{NFC} in cell phones: The new paradigm for an interactive world [Near-Field
                  Communications]},
  journal      = {{IEEE} Commun. Mag.},
  volume       = {47},
  number       = {6},
  pages        = {22--28},
  year         = {2009},
  url          = {https://doi.org/10.1109/MCOM.2009.5116794},
  doi          = {10.1109/MCOM.2009.5116794},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cm/Fischer09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FischerMMM09,
  author       = {Jeffrey Fischer and
                  Daniel Marino and
                  Rupak Majumdar and
                  Todd D. Millstein},
  editor       = {Sophia Drossopoulou},
  title        = {Fine-Grained Access Control with Object-Sensitive Roles},
  booktitle    = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
                  Genoa, Italy, July 6-10, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5653},
  pages        = {173--194},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03013-0\_9},
  doi          = {10.1007/978-3-642-03013-0\_9},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/FischerMMM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FischerM08,
  author       = {Jeffrey Fischer and
                  Rupak Majumdar},
  title        = {A Theory of Role Composition},
  booktitle    = {2008 {IEEE} International Conference on Web Services {(ICWS} 2008),
                  September 23-26, 2008, Beijing, China},
  pages        = {320--328},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICWS.2008.40},
  doi          = {10.1109/ICWS.2008.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/FischerM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FischerMS08,
  author       = {Jeffrey Fischer and
                  Rupak Majumdar and
                  Francesco Sorrentino},
  title        = {The Consistency of Web Conversations},
  booktitle    = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  pages        = {415--418},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ASE.2008.62},
  doi          = {10.1109/ASE.2008.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/FischerMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FischerM07,
  author       = {Jeffrey Fischer and
                  Rupak Majumdar},
  editor       = {R. E. Kurt Stirewalt and
                  Alexander Egyed and
                  Bernd Fischer},
  title        = {Ensuring consistency in long running transactions},
  booktitle    = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  pages        = {54--63},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1321631.1321642},
  doi          = {10.1145/1321631.1321642},
  timestamp    = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/FischerM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/FischerMM07,
  author       = {Jeffrey Fischer and
                  Rupak Majumdar and
                  Todd D. Millstein},
  editor       = {G. Ramalingam and
                  Eelco Visser},
  title        = {Tasks: language support for event-driven programming},
  booktitle    = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2007, Nice, France, January
                  15-16, 2007},
  pages        = {134--143},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1244381.1244403},
  doi          = {10.1145/1244381.1244403},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/FischerMM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FischerJM05,
  author       = {Jeffrey Fischer and
                  Ranjit Jhala and
                  Rupak Majumdar},
  editor       = {Michel Wermelinger and
                  Harald C. Gall},
  title        = {Joining dataflow with predicates},
  booktitle    = {Proceedings of the 10th European Software Engineering Conference held
                  jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  pages        = {227--236},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081706.1081742},
  doi          = {10.1145/1081706.1081742},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/FischerJM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BultanFG96,
  author       = {Tevfik Bultan and
                  Jeffrey Fischer and
                  Richard Gerber},
  editor       = {Steve J. Zeil and
                  Will Tracz},
  title        = {Compositional Verification by Model Checking for Counter-Examples},
  booktitle    = {Proceedings of the 1996 International Symposium on Software Testing
                  and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
  pages        = {224--238},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/229000.226321},
  doi          = {10.1145/229000.226321},
  timestamp    = {Tue, 26 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BultanFG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics