@inproceedings{conf/vstte/KulczyckiSHSOH12,
  added-at = {2012-01-26T00:00:00.000+0100},
  author = {Kulczycki, Gregory and Smith, Hampton and Harton, Heather K. and Sitaraman, Murali and Ogden, William F. and Hollingsworth, Joseph E.},
  biburl = {http://www.bibsonomy.org/bibtex/28093196980d924c5f7cfef6b7a7dc692/dblp},
  booktitle = {VSTTE},
  crossref = {conf/vstte/2012},
  editor = {Joshi, Rajeev and 0002, Peter Müller and Podelski, Andreas},
  ee = {http://dx.doi.org/10.1007/978-3-642-27705-4_4},
  interhash = {446c7c0f7daa8185f223bd5fb1a8d68c},
  intrahash = {8093196980d924c5f7cfef6b7a7dc692},
  isbn = {978-3-642-27704-7},
  keywords = {dblp},
  pages = {34-49},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {The Location Linking Concept: A Basis for Verification of Code Using Pointers.},
  url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2012.html#KulczyckiSHSOH12},
  volume = 7152,
  year = 2012
}

@inproceedings{conf/globecom/GuirguisOSTG11,
  added-at = {2012-01-24T00:00:00.000+0100},
  author = {Guirguis, Mina and Ogden, Robert and Song, Zhaochen and Thapa, Sobit and Gu, Qijun},
  biburl = {http://www.bibsonomy.org/bibtex/2fa53458d2b9bd7f2b6f6823cd6039827/dblp},
  booktitle = {GLOBECOM},
  crossref = {conf/globecom/2011},
  ee = {http://dx.doi.org/10.1109/GLOCOM.2011.6134213},
  interhash = {95f2d8a8279d8044c31e207d49548083},
  intrahash = {fa53458d2b9bd7f2b6f6823cd6039827},
  isbn = {978-1-4244-9266-4},
  keywords = {dblp},
  pages = {1-5},
  publisher = {IEEE},
  title = {Can You Help Me Run These Code Segments on Your Mobile Device?},
  url = {http://dblp.uni-trier.de/db/conf/globecom/globecom2011.html#GuirguisOSTG11},
  year = 2011
}

@article{journals/corr/abs-cs-0507032,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Ogden, R. D.},
  biburl = {http://www.bibsonomy.org/bibtex/28e423e20075eb4d9ec660b94bd70cc14/dblp},
  ee = {http://arxiv.org/abs/cs/0507032},
  interhash = {a3fd399a8478718ea9257b227ed2a9c7},
  intrahash = {8e423e20075eb4d9ec660b94bd70cc14},
  journal = {CoRR},
  keywords = {dblp},
  title = {Introduction to Quantum Message Space},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0507.html#abs-cs-0507032},
  volume = {abs/cs/0507032},
  year = 2005
}

@article{journals/ac/WeideOZ91,
  added-at = {2011-11-29T00:00:00.000+0100},
  author = {Weide, Bruce W. and Ogden, William F. and Zweben, Stuart H.},
  biburl = {http://www.bibsonomy.org/bibtex/2dcc929efd3190796be19a816dcb97354/dblp},
  ee = {http://dx.doi.org/10.1016/S0065-2458(08)60164-3},
  interhash = {7e4cbc17dbc6768a54685aa8d7b1a424},
  intrahash = {dcc929efd3190796be19a816dcb97354},
  journal = {Advances in Computers},
  keywords = {dblp},
  pages = {1-65},
  title = {Reusable Software Components.},
  url = {http://dblp.uni-trier.de/db/journals/ac/ac33.html#WeideOZ91},
  volume = 33,
  year = 1991
}

@inproceedings{conf/atal/TsaiFBBEKMORSTWZT11,
  added-at = {2011-11-18T00:00:00.000+0100},
  author = {Tsai, Jason and Fridman, Natalie and Bowring, Emma and Brown, Matthew and Epstein, Shira and Kaminka, Gal A. and Marsella, Stacy and Ogden, Andrew and Rika, Inbal and Sheel, Ankur and Taylor, Matthew E. and Wang, Xuezhi and Zilka, Avishay and Tambe, Milind},
  biburl = {http://www.bibsonomy.org/bibtex/2919621cdc609d3d7ec7082dde77beeae/dblp},
  booktitle = {AAMAS},
  crossref = {conf/atal/2011},
  editor = {Sonenberg, Liz and Stone, Peter and Tumer, Kagan and Yolum, Pinar},
  ee = {http://portal.acm.org/citation.cfm?id=2031682&CFID=54178199&CFTOKEN=61392764},
  interhash = {457a68ead405f74e7336009f6070f08a},
  intrahash = {919621cdc609d3d7ec7082dde77beeae},
  isbn = {978-0-9826571-5-7},
  keywords = {dblp},
  pages = {457-464},
  publisher = {IFAAMAS},
  title = {ESCAPES: evacuation simulation with children, authorities, parents, emotions, and social comparison.},
  url = {http://dblp.uni-trier.de/db/conf/atal/aamas2011.html#TsaiFBBEKMORSTWZT11},
  year = 2011
}

@article{journals/neco/LindsayOR01,
  added-at = {2011-11-17T00:00:00.000+0100},
  author = {Lindsay, K. A. and Ogden, J. M. and Rosenberg, J. R.},
  biburl = {http://www.bibsonomy.org/bibtex/27166109c8edbe1475790e15640bb4b32/dblp},
  ee = {http://dx.doi.org/10.1162/089976601753195978},
  interhash = {d4fd32f246920ad46878fae74c5f127b},
  intrahash = {7166109c8edbe1475790e15640bb4b32},
  journal = {Neural Computation},
  keywords = {dblp},
  number = 11,
  pages = {2465-2476},
  title = {Dendritic Subunits Determined by Dendritic Morphology.},
  url = {http://dblp.uni-trier.de/db/journals/neco/neco13.html#LindsayOR01},
  volume = 13,
  year = 2001
}

@article{journals/tse/ErnstHO94,
  added-at = {2011-11-07T00:00:00.000+0100},
  author = {Ernst, George W. and Hookway, Raymond J. and Ogden, William F.},
  biburl = {http://www.bibsonomy.org/bibtex/211fa609605a2dfd3fb5a353bc663bdab/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/32.277576},
  interhash = {96c8407311ccdbbb6c1331010568b42a},
  intrahash = {11fa609605a2dfd3fb5a353bc663bdab},
  journal = {IEEE Trans. Software Eng.},
  keywords = {dblp},
  number = 4,
  pages = {288-307},
  title = {Modular Verification of Data Abstractions with Shared Realizations.},
  url = {http://dblp.uni-trier.de/db/journals/tse/tse20.html#ErnstHO94},
  volume = 20,
  year = 1994
}

@article{journals/tse/SitaramanWO97,
  added-at = {2011-11-07T00:00:00.000+0100},
  author = {Sitaraman, Murali and Weide, Bruce W. and Ogden, William F.},
  biburl = {http://www.bibsonomy.org/bibtex/25b9656dbe8aad3b52f6803c50444d1f3/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/32.585503},
  interhash = {4cdf09ea13302ce05f28586e7d2bc2c0},
  intrahash = {5b9656dbe8aad3b52f6803c50444d1f3},
  journal = {IEEE Trans. Software Eng.},
  keywords = {dblp},
  number = 3,
  pages = {157-170},
  title = {On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.},
  url = {http://dblp.uni-trier.de/db/journals/tse/tse23.html#SitaramanWO97},
  volume = 23,
  year = 1997
}

@article{journals/software/WeideOS94,
  added-at = {2011-11-07T00:00:00.000+0100},
  author = {Weide, Bruce W. and Ogden, William F. and Sitaraman, Murali},
  biburl = {http://www.bibsonomy.org/bibtex/21474579333da55ec03617035785ab52b/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/52.311066},
  interhash = {f1fae44b567848dafced9aaf879c8f23},
  intrahash = {1474579333da55ec03617035785ab52b},
  journal = {IEEE Software},
  keywords = {dblp},
  number = 5,
  pages = {80-88},
  title = {Recasting Algorithms to Encourage Reuse.},
  url = {http://dblp.uni-trier.de/db/journals/software/software11.html#WeideOS94},
  volume = 11,
  year = 1994
}

@inproceedings{conf/stoc/OgdenR72,
  added-at = {2011-10-17T00:00:00.000+0200},
  author = {Ogden, William F. and Rounds, William C.},
  biburl = {http://www.bibsonomy.org/bibtex/207d162094ad3d733219094328dd8d2c0/dblp},
  booktitle = {STOC},
  crossref = {conf/stoc/STOC4},
  editor = {Fischer, Patrick C. and Zeiger, H. Paul and Ullman, Jeffrey D. and Rosenberg, Arnold L.},
  ee = {http://doi.acm.org/10.1145/800152.804915},
  interhash = {7e71c7723834577cbba9c6c8149d83f8},
  intrahash = {07d162094ad3d733219094328dd8d2c0},
  keywords = {dblp},
  pages = {198-206},
  publisher = {ACM},
  title = {Compositions of n Tree Transducers},
  url = {http://dblp.uni-trier.de/db/conf/stoc/stoc72.html#OgdenR72},
  year = 1972
}

@inproceedings{conf/stoc/Ogden69,
  added-at = {2011-10-17T00:00:00.000+0200},
  author = {Ogden, William F.},
  biburl = {http://www.bibsonomy.org/bibtex/2cba31bd48ed8db3e51c1a5bc649e1cd9/dblp},
  booktitle = {STOC},
  crossref = {conf/stoc/STOC1},
  editor = {Fischer, Patrick C. and Ginsburg, Seymour and Harrison, Michael A.},
  ee = {http://doi.acm.org/10.1145/800169.805419},
  interhash = {d51bfdf1d26656665afad7bc03ce5414},
  intrahash = {cba31bd48ed8db3e51c1a5bc649e1cd9},
  keywords = {dblp},
  pages = {31-42},
  publisher = {ACM},
  title = {Intercalation Theorems for Stack Languages},
  url = {http://dblp.uni-trier.de/db/conf/stoc/stoc69.html#Ogden69},
  year = 1969
}

@article{adelson1984pmi,
  added-at = {2011-09-19T12:12:54.000+0200},
  author = {Adelson, E. H. and Anderson, C. H. and Bergen, J. R. and Burt, P. J. and Ogden, J. M.},
  biburl = {http://www.bibsonomy.org/bibtex/259dfac6a273a879eb5c33f0f5b740980/sac},
  citeulike-article-id = {1622723},
  interhash = {1b86abb78a10e821d19471cbc87bbe0e},
  intrahash = {59dfac6a273a879eb5c33f0f5b740980},
  journal = {RCA Engineer},
  keywords = {deepzoom image ma10 processing pyramid},
  number = 6,
  pages = {33--41},
  posted-at = {2007-09-05 11:12:27},
  priority = {0},
  title = {{1984, Pyramid methods in image processing}},
  volume = 29,
  year = 1984
}

@article{journals/cl/ErnstHMO91,
  added-at = {2011-07-05T00:00:00.000+0200},
  author = {Ernst, George W. and Hookway, Raymond J. and Menegay, James A. and Ogden, William F.},
  biburl = {http://www.bibsonomy.org/bibtex/2df689a3eaeeb57a9e6b128b8b9b17774/dblp},
  ee = {http://dx.doi.org/10.1016/0096-0551(91)90010-7},
  interhash = {0c98094ecb4353880e4625a5312ac286},
  intrahash = {df689a3eaeeb57a9e6b128b8b9b17774},
  journal = {Comput. Lang.},
  keywords = {dblp},
  number = {3/4},
  pages = {259-280},
  title = {Modular Verification of Ada Generics.},
  url = {http://dblp.uni-trier.de/db/journals/cl/cl16.html#ErnstHMO91},
  volume = 16,
  year = 1991
}

@article{journals/nar/PowellO90,
  added-at = {2011-06-29T00:00:00.000+0200},
  author = {Powell, M. J. and Ogden, J. E.},
  biburl = {http://www.bibsonomy.org/bibtex/282d9d23813a96b3006e342049228706a/dblp},
  ee = {http://dx.doi.org/10.1093/nar/18.13.4013},
  interhash = {03da779c4a9025ccc4f4185a6a347243},
  intrahash = {82d9d23813a96b3006e342049228706a},
  journal = {Nucleic Acids Research},
  keywords = {dblp},
  number = 13,
  pages = 4013,
  title = {Nucleotide sequence of human lactoferrin cDNA.},
  url = {http://dblp.uni-trier.de/db/journals/nar/nar18.html#PowellO90},
  volume = 18,
  year = 1990
}

@inproceedings{conf/gw/OgdenDS01,
  added-at = {2011-06-29T00:00:00.000+0200},
  author = {Ogden, Bernard and Dautenhahn, Kerstin and Stribling, Penny},
  biburl = {http://www.bibsonomy.org/bibtex/2cb0437ae94af6ba46fb7e09988209d42/dblp},
  booktitle = {Gesture Workshop},
  crossref = {conf/gw/2001},
  editor = {Wachsmuth, Ipke and Sowa, Timo},
  ee = {http://dx.doi.org/10.1007/3-540-47873-6_27},
  interhash = {daaa91ed15f968231791804f8dd58f05},
  intrahash = {cb0437ae94af6ba46fb7e09988209d42},
  isbn = {3-540-43678-2},
  keywords = {dblp},
  pages = {254-267},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Interactional Structure Applied to the Identification and Generation of Visual Interactive Behavior: Robots that (Usually) Follow the Rules.},
  url = {http://dblp.uni-trier.de/db/conf/gw/gw2001.html#OgdenDS01},
  volume = 2298,
  year = 2001
}

@inproceedings{conf/ct/WerryDOH01,
  added-at = {2011-06-28T00:00:00.000+0200},
  author = {Werry, Iain and Dautenhahn, Kerstin and Ogden, Bernard and Harwin, William},
  biburl = {http://www.bibsonomy.org/bibtex/2625086cdee926d04b16b5075b21e82da/dblp},
  booktitle = {Cognitive Technology},
  crossref = {conf/ct/2001},
  editor = {Beynon, Meurig and Nehaniv, Chrystopher L. and Dautenhahn, Kerstin},
  ee = {http://dx.doi.org/10.1007/3-540-44617-6_6},
  interhash = {0815aee4382f72cb66b27565dedecd83},
  intrahash = {625086cdee926d04b16b5075b21e82da},
  isbn = {3-540-42406-7},
  keywords = {dblp},
  pages = {57-74},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Can Social Interaction Skills Be Taught by a Social Agent? The Role of a Robotic Mediator in Autism Therapy.},
  url = {http://dblp.uni-trier.de/db/conf/ct/ct2001.html#WerryDOH01},
  volume = 2117,
  year = 2001
}

@inproceedings{conf/dagstuhl/SitaramanWLO98,
  added-at = {2011-06-20T00:00:00.000+0200},
  author = {Sitaraman, Murali and Weide, Bruce W. and Long, Timothy J. and Ogden, William F.},
  biburl = {http://www.bibsonomy.org/bibtex/2b65068b4e3787850c1c7df292144fb3d/dblp},
  booktitle = {Generic Programming},
  crossref = {conf/dagstuhl/1998gp},
  editor = {Jazayeri, Mehdi and Loos, Rüdiger and Musser, David R.},
  ee = {http://dx.doi.org/10.1007/3-540-39953-4_9},
  interhash = {d1016ae8b4459f92c344aa76d1de4461},
  intrahash = {b65068b4e3787850c1c7df292144fb3d},
  isbn = {3-540-41090-2},
  keywords = {dblp},
  pages = {102-113},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Data Abstraction Alternative to Data Structure/Algorithm Modularization.},
  url = {http://dblp.uni-trier.de/db/conf/dagstuhl/generic1998.html#SitaramanWLO98},
  volume = 1766,
  year = 1998
}

@inproceedings{conf/patat/CorneO97,
  added-at = {2011-06-16T00:00:00.000+0200},
  author = {Corne, David and Ogden, John},
  biburl = {http://www.bibsonomy.org/bibtex/29739d1b05e349d3b5f77996f6a7925e0/dblp},
  booktitle = {PATAT},
  crossref = {conf/patat/1997},
  editor = {Burke, Edmund K. and Carter, Michael W.},
  ee = {http://dx.doi.org/10.1007/BFb0055886},
  interhash = {dfd3c23d7c41e0ff3d574f6e1d3947c6},
  intrahash = {9739d1b05e349d3b5f77996f6a7925e0},
  isbn = {3-540-64979-4},
  keywords = {dblp},
  pages = {142-155},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Evolutionary Optimisation of Methodist Preaching Timetables.},
  url = {http://dblp.uni-trier.de/db/conf/patat/patat1997.html#CorneO97},
  volume = 1408,
  year = 1997
}

@article{journals/cacm/BurgessUOO94,
  added-at = {2011-06-07T00:00:00.000+0200},
  author = {Burgess, Brad and Ullah, Nasr and Overen, Peter Van and Ogden, Deene},
  biburl = {http://www.bibsonomy.org/bibtex/28a853c185962c2b40b21608aa1a688fb/dblp},
  ee = {http://doi.acm.org/10.1145/175208.175212},
  interhash = {574c6dfb015c4e7302bece40449135f2},
  intrahash = {8a853c185962c2b40b21608aa1a688fb},
  journal = {Commun. ACM},
  keywords = {dblp},
  number = 6,
  pages = {34-42},
  title = {The PowerPC 603 Microprocessor.},
  url = {http://dblp.uni-trier.de/db/journals/cacm/cacm37.html#BurgessUOO94},
  volume = 37,
  year = 1994
}

@article{journals/cacm/JazayeriOR75,
  added-at = {2011-06-07T00:00:00.000+0200},
  author = {Jazayeri, Mehdi and Ogden, William F. and Rounds, William C.},
  biburl = {http://www.bibsonomy.org/bibtex/2540037c2d3fede12bee7cfe5199c8387/dblp},
  ee = {http://doi.acm.org/10.1145/361227.361231},
  interhash = {f1bc71200d4015ae20a12bd994c9d811},
  intrahash = {540037c2d3fede12bee7cfe5199c8387},
  journal = {Commun. ACM},
  keywords = {dblp},
  number = 12,
  pages = {697-706},
  title = {The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.},
  url = {http://dblp.uni-trier.de/db/journals/cacm/cacm18.html#JazayeriOR75},
  volume = 18,
  year = 1975
}