BibTeX records: David Walker

download as .bib file

@article{DBLP:journals/cmig/PaniaguaCWZGS11,
  author       = {Beatriz Paniagua and
                  Lucia H. S. Cevidanes and
                  David Walker and
                  Hongtu Zhu and
                  Ruixin Guo and
                  Martin Styner},
  title        = {Clinical application of {SPHARM-PDM} to quantify temporomandibular
                  joint osteoarthritis},
  journal      = {Comput. Medical Imaging Graph.},
  volume       = {35},
  number       = {5},
  pages        = {345--352},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.compmedimag.2010.11.012},
  doi          = {10.1016/J.COMPMEDIMAG.2010.11.012},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cmig/PaniaguaCWZGS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biosurveillance/RolkaOW08,
  author       = {Henry Rolka and
                  Jean C. O'Connor and
                  David Walker},
  editor       = {Daniel Zeng and
                  Hsinchun Chen and
                  Henry Rolka and
                  Bill Lober},
  title        = {Public Health Information Fusion for Situation Awareness},
  booktitle    = {Biosurveillance and Biosecurity, International Workshop, BioSecure
                  2008, Raleigh, NC, USA, December 2, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5354},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89746-0\_1},
  doi          = {10.1007/978-3-540-89746-0\_1},
  timestamp    = {Mon, 15 May 2023 16:24:40 +0200},
  biburl       = {https://dblp.org/rec/conf/biosurveillance/RolkaOW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PerryW08,
  author       = {Frances Perry and
                  David Walker},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Reasoning about Control Flow in the Presence of Transient Faults},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {332--346},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_22},
  doi          = {10.1007/978-3-540-69166-2\_22},
  timestamp    = {Wed, 25 Sep 2019 18:08:39 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/PerryW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/WalkerD07,
  author       = {David Walker and
                  Ewa Deelman},
  title        = {Dynamic computational workflows: Discovery, optimisation and scheduling},
  journal      = {Sci. Program.},
  volume       = {15},
  number       = {4},
  pages        = {191--192},
  year         = {2007},
  url          = {https://doi.org/10.1155/2007/232430},
  doi          = {10.1155/2007/232430},
  timestamp    = {Thu, 30 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sp/WalkerD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/FarahvashQRWMLK07,
  author       = {Shayan Farahvash and
                  Chee Quek and
                  William Roberts and
                  David Walker and
                  Mohamed Mostafa and
                  Hauw Liem and
                  Robert Koupal},
  title        = {A Two-port {GFSK} Direct Modulator for Wideband Applications at 5.8
                  GHz},
  booktitle    = {International Symposium on Circuits and Systems {(ISCAS} 2007), 27-20
                  May 2007, New Orleans, Louisiana, {USA}},
  pages        = {2128--2131},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/ISCAS.2007.378593},
  doi          = {10.1109/ISCAS.2007.378593},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/FarahvashQRWMLK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc4780,
  author       = {Kevin Lingle and
                  Jean{-}Francois Mule and
                  Joon Maeng and
                  David Walker},
  title        = {Management Information Base for the Session Initiation Protocol {(SIP)}},
  journal      = {{RFC}},
  volume       = {4780},
  pages        = {1--83},
  year         = {2007},
  url          = {https://doi.org/10.17487/RFC4780},
  doi          = {10.17487/RFC4780},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc4780.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/FiuczynskiGCW05,
  author       = {Marc E. Fiuczynski and
                  Robert Grimm and
                  Yvonne Coady and
                  David Walker},
  title        = {Patch {(1)} Considered Harmful},
  booktitle    = {Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating
                  Systems, June 12-15, 2005, Santa Fe, New Mexico, {USA}},
  publisher    = {{USENIX} Association},
  year         = {2005},
  url          = {http://www.usenix.org/events/hotos05/final\_papers/full\_papers/fiuczynski/fiuczynski.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/FiuczynskiGCW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/ArbenzHW04,
  author       = {Peter Arbenz and
                  Rolf Hempel and
                  David Walker},
  editor       = {Marco Danelutto and
                  Marco Vanneschi and
                  Domenico Laforenza},
  title        = {Topic 7: Applications on High Performance Computers},
  booktitle    = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference,
                  Pisa, Italy, August 31-September 3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3149},
  pages        = {476},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27866-5\_62},
  doi          = {10.1007/978-3-540-27866-5\_62},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/ArbenzHW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/OuTMW04,
  author       = {Xinming Ou and
                  Gang Tan and
                  Yitzhak Mandelbaum and
                  David Walker},
  editor       = {Jean{-}Jacques L{\'{e}}vy and
                  Ernst W. Mayr and
                  John C. Mitchell},
  title        = {Dynamic Typing with Dependent Types},
  booktitle    = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
                  Computer Congress, {TC1} 3rd International Conference on Theoretical
                  Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {155},
  pages        = {437--450},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8141-3\_34},
  doi          = {10.1007/1-4020-8141-3\_34},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/OuTMW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc3872,
  author       = {David Zinman and
                  David Walker and
                  Jianping Jiang},
  title        = {Management Information Base for Telephony Routing over {IP} {(TRIP)}},
  journal      = {{RFC}},
  volume       = {3872},
  pages        = {1--53},
  year         = {2004},
  url          = {https://doi.org/10.17487/RFC3872},
  doi          = {10.17487/RFC3872},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc3872.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/SchumacherCRW03,
  author       = {Corey J. Schumacher and
                  Phillip R. Chandler and
                  Steven J. Rasmussen and
                  David Walker},
  title        = {Task allocation for wide area search munitions with variable path
                  length},
  booktitle    = {American Control Conference, {ACC} 2003, Denver, CO, USA, June 4-6
                  2003},
  pages        = {3472--3477},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ACC.2003.1244069},
  doi          = {10.1109/ACC.2003.1244069},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/SchumacherCRW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/Walker02,
  author       = {David Walker},
  title        = {A "Low-Tech" Design Experiment Improving Student Work},
  booktitle    = {International Conference on Computers in Education, {ICCE} 2002, Auckland,
                  New Zealand, December 3-6, 2002, Volume 2},
  pages        = {849--850},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/CIE.2002.1186091},
  doi          = {10.1109/CIE.2002.1186091},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icce/Walker02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Walker00,
  author       = {David Walker},
  title        = {Typed Memory Management},
  school       = {Cornell University, {USA}},
  year         = {2000},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Walker00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/McCollW98,
  author       = {Bill McColl and
                  David Walker},
  editor       = {David J. Pritchard and
                  Jeff Reeve},
  title        = {Theory and Algorithms for Parallel Computation},
  booktitle    = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference,
                  Southampton, UK, September 1-4, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1470},
  pages        = {863--864},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0057941},
  doi          = {10.1007/BFB0057941},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/McCollW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsysc/SmithRWL97,
  author       = {Linda Smith and
                  D. Brett Ridgely and
                  David Walker and
                  Jim Luke},
  title        = {Application of a mixed \emph{H}\({}_{\mbox{2}}\)/\emph{H}\({}_{\mbox{{\(\infty\)}}}\)
                  approach with a singular \emph{H}\({}_{\mbox{{\(\infty\)}}}\)constraint},
  journal      = {Int. J. Syst. Sci.},
  volume       = {28},
  number       = {1},
  pages        = {55--64},
  year         = {1997},
  url          = {https://doi.org/10.1080/00207729708929363},
  doi          = {10.1080/00207729708929363},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsysc/SmithRWL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Walker95,
  author       = {David Walker},
  title        = {Objects in the pi-Calculus},
  journal      = {Inf. Comput.},
  volume       = {116},
  number       = {2},
  pages        = {253--271},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1018},
  doi          = {10.1006/INCO.1995.1018},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Walker95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics