BibSonomy publications for /author/Ogden

The Location Linking Concept: A Basis for Verification of Code Using Pointers.

dblp — 2012-01-26T00:00:00+01:00

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)

Can You Help Me Run These Code Segments on Your Mobile Device?

dblp — 2012-01-24T00:00:00+01:00

Mina Guirguis, Robert Ogden, Zhaochen Song, Sobit Thapa, and Qijun Gu GLOBECOM, page 1-5. IEEE, (2011)

Introduction to Quantum Message Space

dblp — 2011-12-05T00:00:00+01:00

R. D. Ogden CoRR (2005)

Reusable Software Components.

dblp — 2011-11-29T00:00:00+01:00

Bruce W. Weide, William F. Ogden, and Stuart H. Zweben Advances in Computers (1991)

ESCAPES: evacuation simulation with children, authorities, parents, emotions, and social comparison.

dblp — 2011-11-18T00:00:00+01:00

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)

Dendritic Subunits Determined by Dendritic Morphology.

dblp — 2011-11-17T00:00:00+01:00

K. A. Lindsay, J. M. Ogden, and J. R. Rosenberg Neural Computation 13(11):2465-2476 (2001)

Modular Verification of Data Abstractions with Shared Realizations.

dblp — 2011-11-07T00:00:00+01:00

George W. Ernst, Raymond J. Hookway, and William F. Ogden IEEE Trans. Software Eng. 20(4):288-307 (1994)

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.

dblp — 2011-11-07T00:00:00+01:00

Murali Sitaraman, Bruce W. Weide, and William F. Ogden IEEE Trans. Software Eng. 23(3):157-170 (1997)

Recasting Algorithms to Encourage Reuse.

dblp — 2011-11-07T00:00:00+01:00

Bruce W. Weide, William F. Ogden, and Murali Sitaraman IEEE Software 11(5):80-88 (1994)

Compositions of n Tree Transducers

dblp — 2011-10-17T00:00:00+02:00

William F. Ogden, and William C. Rounds STOC, page 198-206. ACM, (1972)

Intercalation Theorems for Stack Languages

dblp — 2011-10-17T00:00:00+02:00

William F. Ogden STOC, page 31-42. ACM, (1969)

1984, Pyramid methods in image processing

sac — 2011-09-19T12:12:54+02:00

E. H. Adelson, C. H. Anderson, J. R. Bergen, P. J. Burt, and J. M. Ogden RCA Engineer 29(6):33--41 (1984)

Modular Verification of Ada Generics.

dblp — 2011-07-05T00:00:00+02:00

George W. Ernst, Raymond J. Hookway, James A. Menegay, and William F. Ogden Comput. Lang. 16(3/4):259-280 (1991)

Nucleotide sequence of human lactoferrin cDNA.

dblp — 2011-06-29T00:00:00+02:00

M. J. Powell, and J. E. Ogden Nucleic Acids Research 18(13):4013 (1990)

Interactional Structure Applied to the Identification and Generation of Visual Interactive Behavior: Robots that Usually Follow the Rules.

dblp — 2011-06-29T00:00:00+02:00

Bernard Ogden, Kerstin Dautenhahn, and Penny Stribling Gesture Workshop, volume 2298 of Lecture Notes in Computer Science, page 254-267. Springer, (2001)

Can Social Interaction Skills Be Taught by a Social Agent? The Role of a Robotic Mediator in Autism Therapy.

dblp — 2011-06-28T00:00:00+02:00

Iain Werry, Kerstin Dautenhahn, Bernard Ogden, and William Harwin Cognitive Technology, volume 2117 of Lecture Notes in Computer Science, page 57-74. Springer, (2001)

A Data Abstraction Alternative to Data Structure/Algorithm Modularization.

dblp — 2011-06-20T00:00:00+02:00

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)

Evolutionary Optimisation of Methodist Preaching Timetables.

dblp — 2011-06-16T00:00:00+02:00

David Corne, and John Ogden PATAT, volume 1408 of Lecture Notes in Computer Science, page 142-155. Springer, (1997)

The PowerPC 603 Microprocessor.

dblp — 2011-06-07T00:00:00+02:00

Brad Burgess, Nasr Ullah, Peter Van Overen, and Deene Ogden Commun. ACM 37(6):34-42 (1994)

The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.

dblp — 2011-06-07T00:00:00+02:00

Mehdi Jazayeri, William F. Ogden, and William C. Rounds Commun. ACM 18(12):697-706 (1975)