sign in · help · news · about ·

BibSonomy :: author :: Ogden ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(109)

<< < 1 | 2 | 3 > >>

The Location Linking Concept: A Basis for Verification of Code Using Pointers.
Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, and Joseph E. Hollingsworth VSTTE, volume 7152 of Lecture Notes in Computer Science, page 34-49. Springer, (2012)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
Can You Help Me Run These Code Segments on Your Mobile Device?
Mina Guirguis, Robert Ogden, Zhaochen Song, Sobit Thapa, and Qijun Gu GLOBECOM, page 1-5. IEEE, (2011)
to dblp by dblp on Jan 24, 2012, 12:00 AM
URL | BibTeX
Introduction to Quantum Message Space
R. D. Ogden CoRR (2005)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Reusable Software Components.
Bruce W. Weide, William F. Ogden, and Stuart H. Zweben Advances in Computers (1991)
to dblp by dblp on Nov 29, 2011, 12:00 AM
URL | BibTeX
ESCAPES: evacuation simulation with children, authorities, parents, emotions, and social comparison.
Jason Tsai, Natalie Fridman, Emma Bowring, Matthew Brown, Shira Epstein, Gal A. Kaminka, Stacy Marsella, Andrew Ogden, Inbal Rika, Ankur Sheel, Matthew E. Taylor, Xuezhi Wang, Avishay Zilka, and Milind Tambe AAMAS, page 457-464. IFAAMAS, (2011)
to dblp by dblp on Nov 18, 2011, 12:00 AM
URL | BibTeX
Dendritic Subunits Determined by Dendritic Morphology.
K. A. Lindsay, J. M. Ogden, and J. R. Rosenberg Neural Computation 13(11):2465-2476 (2001)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
Modular Verification of Data Abstractions with Shared Realizations.
George W. Ernst, Raymond J. Hookway, and William F. Ogden IEEE Trans. Software Eng. 20(4):288-307 (1994)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.
Murali Sitaraman, Bruce W. Weide, and William F. Ogden IEEE Trans. Software Eng. 23(3):157-170 (1997)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Recasting Algorithms to Encourage Reuse.
Bruce W. Weide, William F. Ogden, and Murali Sitaraman IEEE Software 11(5):80-88 (1994)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Compositions of n Tree Transducers
William F. Ogden, and William C. Rounds STOC, page 198-206. ACM, (1972)
to dblp by dblp and 1 other user on Oct 17, 2011, 12:00 AM
URL | BibTeX
Intercalation Theorems for Stack Languages
William F. Ogden STOC, page 31-42. ACM, (1969)
to dblp by dblp on Oct 17, 2011, 12:00 AM
URL | BibTeX
1984, Pyramid methods in image processing
E. H. Adelson, C. H. Anderson, J. R. Bergen, P. J. Burt, and J. M. Ogden RCA Engineer 29(6):33--41 (1984)
to deepzoom image ma10 processing pyramid by sac on Sep 19, 2011, 12:12 PM
BibTeX
Modular Verification of Ada Generics.
George W. Ernst, Raymond J. Hookway, James A. Menegay, and William F. Ogden Comput. Lang. 16(3/4):259-280 (1991)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Nucleotide sequence of human lactoferrin cDNA.
M. J. Powell, and J. E. Ogden Nucleic Acids Research 18(13):4013 (1990)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Interactional Structure Applied to the Identification and Generation of Visual Interactive Behavior: Robots that Usually Follow the Rules.
Bernard Ogden, Kerstin Dautenhahn, and Penny Stribling Gesture Workshop, volume 2298 of Lecture Notes in Computer Science, page 254-267. Springer, (2001)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Can Social Interaction Skills Be Taught by a Social Agent? The Role of a Robotic Mediator in Autism Therapy.
Iain Werry, Kerstin Dautenhahn, Bernard Ogden, and William Harwin Cognitive Technology, volume 2117 of Lecture Notes in Computer Science, page 57-74. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
A Data Abstraction Alternative to Data Structure/Algorithm Modularization.
Murali Sitaraman, Bruce W. Weide, Timothy J. Long, and William F. Ogden Generic Programming, volume 1766 of Lecture Notes in Computer Science, page 102-113. Springer, (1998)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Evolutionary Optimisation of Methodist Preaching Timetables.
David Corne, and John Ogden PATAT, volume 1408 of Lecture Notes in Computer Science, page 142-155. Springer, (1997)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
The PowerPC 603 Microprocessor.
Brad Burgess, Nasr Ullah, Peter Van Overen, and Deene Ogden Commun. ACM 37(6):34-42 (1994)
to dblp by dblp on Jun 7, 2011, 12:00 AM
URL | BibTeX
The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.
Mehdi Jazayeri, William F. Ogden, and William C. Rounds Commun. ACM 18(12):697-706 (1975)
to dblp by dblp and 1 other user on Jun 7, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100