BibSonomy publications for /author/OgdenBibSonomypublrss/author/OgdenBibSonomy RSS feed for /author/Ogden2012-02-15T17:26:54+01:00The Location Linking Concept: A Basis for Verification of Code Using Pointers.http://www.bibsonomy.org/bibtex/28093196980d924c5f7cfef6b7a7dc692/dblpdblp2012-01-26T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Kulczycki">Gregory Kulczycki</a>, <a href="/author/Smith">Hampton Smith</a>, <a href="/author/Harton">Heather K. Harton</a>, <a href="/author/Sitaraman">Murali Sitaraman</a>, <a href="/author/Ogden">William F. Ogden</a>, and <a href="/author/Hollingsworth">Joseph E. Hollingsworth</a> </span><em>VSTTE, </em><em>volume 7152 of Lecture Notes in Computer Science, </em><em>page 34-49. </em><em>Springer, </em>(<em>2012</em>)Can You Help Me Run These Code Segments on Your Mobile Device?http://www.bibsonomy.org/bibtex/2fa53458d2b9bd7f2b6f6823cd6039827/dblpdblp2012-01-24T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Guirguis">Mina Guirguis</a>, <a href="/author/Ogden">Robert Ogden</a>, <a href="/author/Song">Zhaochen Song</a>, <a href="/author/Thapa">Sobit Thapa</a>, and <a href="/author/Gu">Qijun Gu</a> </span><em>GLOBECOM, </em><em>page 1-5. </em><em>IEEE, </em>(<em>2011</em>)Introduction to Quantum Message Spacehttp://www.bibsonomy.org/bibtex/28e423e20075eb4d9ec660b94bd70cc14/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Ogden">R. D. Ogden</a> </span><em>CoRR</em> (<em>2005</em>)Reusable Software Components.http://www.bibsonomy.org/bibtex/2dcc929efd3190796be19a816dcb97354/dblpdblp2011-11-29T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Weide">Bruce W. Weide</a>, <a href="/author/Ogden">William F. Ogden</a>, and <a href="/author/Zweben">Stuart H. Zweben</a> </span><em>Advances in Computers</em> (<em>1991</em>)ESCAPES: evacuation simulation with children, authorities, parents, emotions, and social comparison.http://www.bibsonomy.org/bibtex/2919621cdc609d3d7ec7082dde77beeae/dblpdblp2011-11-18T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Tsai">Jason Tsai</a>, <a href="/author/Fridman">Natalie Fridman</a>, <a href="/author/Bowring">Emma Bowring</a>, <a href="/author/Brown">Matthew Brown</a>, <a href="/author/Epstein">Shira Epstein</a>, <a href="/author/Kaminka">Gal A. Kaminka</a>, <a href="/author/Marsella">Stacy Marsella</a>, <a href="/author/Ogden">Andrew Ogden</a>, <a href="/author/Rika">Inbal Rika</a>, <a href="/author/Sheel">Ankur Sheel</a>, <a href="/author/Taylor">Matthew E. Taylor</a>, <a href="/author/Wang">Xuezhi Wang</a>, <a href="/author/Zilka">Avishay Zilka</a>, and <a href="/author/Tambe">Milind Tambe</a> </span><em>AAMAS, </em><em>page 457-464. </em><em>IFAAMAS, </em>(<em>2011</em>)Dendritic Subunits Determined by Dendritic Morphology.http://www.bibsonomy.org/bibtex/27166109c8edbe1475790e15640bb4b32/dblpdblp2011-11-17T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Lindsay">K. A. Lindsay</a>, <a href="/author/Ogden">J. M. Ogden</a>, and <a href="/author/Rosenberg">J. R. Rosenberg</a> </span><em>Neural Computation</em> <em>13(11):2465-2476</em> (<em>2001</em>)Modular Verification of Data Abstractions with Shared Realizations.http://www.bibsonomy.org/bibtex/211fa609605a2dfd3fb5a353bc663bdab/dblpdblp2011-11-07T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Ernst">George W. Ernst</a>, <a href="/author/Hookway">Raymond J. Hookway</a>, and <a href="/author/Ogden">William F. Ogden</a> </span><em>IEEE Trans. Software Eng.</em> <em>20(4):288-307</em> (<em>1994</em>)On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.http://www.bibsonomy.org/bibtex/25b9656dbe8aad3b52f6803c50444d1f3/dblpdblp2011-11-07T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Sitaraman">Murali Sitaraman</a>, <a href="/author/Weide">Bruce W. Weide</a>, and <a href="/author/Ogden">William F. Ogden</a> </span><em>IEEE Trans. Software Eng.</em> <em>23(3):157-170</em> (<em>1997</em>)Recasting Algorithms to Encourage Reuse.http://www.bibsonomy.org/bibtex/21474579333da55ec03617035785ab52b/dblpdblp2011-11-07T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Weide">Bruce W. Weide</a>, <a href="/author/Ogden">William F. Ogden</a>, and <a href="/author/Sitaraman">Murali Sitaraman</a> </span><em>IEEE Software</em> <em>11(5):80-88</em> (<em>1994</em>)Compositions of n Tree Transducershttp://www.bibsonomy.org/bibtex/207d162094ad3d733219094328dd8d2c0/dblpdblp2011-10-17T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Ogden">William F. Ogden</a>, and <a href="/author/Rounds">William C. Rounds</a> </span><em>STOC, </em><em>page 198-206. </em><em>ACM, </em>(<em>1972</em>)Intercalation Theorems for Stack Languageshttp://www.bibsonomy.org/bibtex/2cba31bd48ed8db3e51c1a5bc649e1cd9/dblpdblp2011-10-17T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Ogden">William F. Ogden</a> </span><em>STOC, </em><em>page 31-42. </em><em>ACM, </em>(<em>1969</em>)1984, Pyramid methods in image processinghttp://www.bibsonomy.org/bibtex/259dfac6a273a879eb5c33f0f5b740980/sacsac2011-09-19T12:12:54+02:00deepzoom image ma10 processing pyramid <span class="authorEditorList"><a href="/author/Adelson">E. H. Adelson</a>, <a href="/author/Anderson">C. H. Anderson</a>, <a href="/author/Bergen">J. R. Bergen</a>, <a href="/author/Burt">P. J. Burt</a>, and <a href="/author/Ogden">J. M. Ogden</a> </span><em>RCA Engineer</em> <em>29(6):33--41</em> (<em>1984</em>)Modular Verification of Ada Generics.http://www.bibsonomy.org/bibtex/2df689a3eaeeb57a9e6b128b8b9b17774/dblpdblp2011-07-05T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Ernst">George W. Ernst</a>, <a href="/author/Hookway">Raymond J. Hookway</a>, <a href="/author/Menegay">James A. Menegay</a>, and <a href="/author/Ogden">William F. Ogden</a> </span><em>Comput. Lang.</em> <em>16(3/4):259-280</em> (<em>1991</em>)Nucleotide sequence of human lactoferrin cDNA.http://www.bibsonomy.org/bibtex/282d9d23813a96b3006e342049228706a/dblpdblp2011-06-29T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Powell">M. J. Powell</a>, and <a href="/author/Ogden">J. E. Ogden</a> </span><em>Nucleic Acids Research</em> <em>18(13):4013</em> (<em>1990</em>)Interactional Structure Applied to the Identification and Generation of Visual Interactive Behavior: Robots that Usually Follow the Rules.http://www.bibsonomy.org/bibtex/2cb0437ae94af6ba46fb7e09988209d42/dblpdblp2011-06-29T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Ogden">Bernard Ogden</a>, <a href="/author/Dautenhahn">Kerstin Dautenhahn</a>, and <a href="/author/Stribling">Penny Stribling</a> </span><em>Gesture Workshop, </em><em>volume 2298 of Lecture Notes in Computer Science, </em><em>page 254-267. </em><em>Springer, </em>(<em>2001</em>)Can Social Interaction Skills Be Taught by a Social Agent? The Role of a Robotic Mediator in Autism Therapy.http://www.bibsonomy.org/bibtex/2625086cdee926d04b16b5075b21e82da/dblpdblp2011-06-28T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Werry">Iain Werry</a>, <a href="/author/Dautenhahn">Kerstin Dautenhahn</a>, <a href="/author/Ogden">Bernard Ogden</a>, and <a href="/author/Harwin">William Harwin</a> </span><em>Cognitive Technology, </em><em>volume 2117 of Lecture Notes in Computer Science, </em><em>page 57-74. </em><em>Springer, </em>(<em>2001</em>)A Data Abstraction Alternative to Data Structure/Algorithm Modularization.http://www.bibsonomy.org/bibtex/2b65068b4e3787850c1c7df292144fb3d/dblpdblp2011-06-20T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Sitaraman">Murali Sitaraman</a>, <a href="/author/Weide">Bruce W. Weide</a>, <a href="/author/Long">Timothy J. Long</a>, and <a href="/author/Ogden">William F. Ogden</a> </span><em>Generic Programming, </em><em>volume 1766 of Lecture Notes in Computer Science, </em><em>page 102-113. </em><em>Springer, </em>(<em>1998</em>)Evolutionary Optimisation of Methodist Preaching Timetables.http://www.bibsonomy.org/bibtex/29739d1b05e349d3b5f77996f6a7925e0/dblpdblp2011-06-16T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Corne">David Corne</a>, and <a href="/author/Ogden">John Ogden</a> </span><em>PATAT, </em><em>volume 1408 of Lecture Notes in Computer Science, </em><em>page 142-155. </em><em>Springer, </em>(<em>1997</em>)The PowerPC 603 Microprocessor.http://www.bibsonomy.org/bibtex/28a853c185962c2b40b21608aa1a688fb/dblpdblp2011-06-07T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Burgess">Brad Burgess</a>, <a href="/author/Ullah">Nasr Ullah</a>, <a href="/author/Overen">Peter Van Overen</a>, and <a href="/author/Ogden">Deene Ogden</a> </span><em>Commun. ACM</em> <em>37(6):34-42</em> (<em>1994</em>)The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.http://www.bibsonomy.org/bibtex/2540037c2d3fede12bee7cfe5199c8387/dblpdblp2011-06-07T00:00:00+02:00dblp <span class="authorEditorList"><a href="/author/Jazayeri">Mehdi Jazayeri</a>, <a href="/author/Ogden">William F. Ogden</a>, and <a href="/author/Rounds">William C. Rounds</a> </span><em>Commun. ACM</em> <em>18(12):697-706</em> (<em>1975</em>)