BibSonomy publications for /author/OgdenThu Jan 26 00:00:00 CET 2012VSTTEconf/vstte/201234-49Lecture Notes in Computer ScienceThe Location Linking Concept: A Basis for Verification of Code Using Pointers.71522012dblp Tue Jan 24 00:00:00 CET 2012GLOBECOMconf/globecom/20111-5Can You Help Me Run These Code Segments on Your Mobile Device?2011dblp Mon Dec 05 00:00:00 CET 2011CoRRIntroduction to Quantum Message Spaceabs/cs/05070322005dblp Tue Nov 29 00:00:00 CET 2011Advances in Computers1-65Reusable Software Components.331991dblp Fri Nov 18 00:00:00 CET 2011AAMASconf/atal/2011457-464ESCAPES: evacuation simulation with children, authorities, parents, emotions, and social comparison.2011dblp Thu Nov 17 00:00:00 CET 2011Neural Computation112465-2476Dendritic Subunits Determined by Dendritic Morphology.132001dblp Mon Nov 07 00:00:00 CET 2011IEEE Trans. Software Eng.4288-307Modular Verification of Data Abstractions with Shared Realizations.201994dblp Mon Nov 07 00:00:00 CET 2011IEEE Trans. Software Eng.3157-170On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.231997dblp Mon Nov 07 00:00:00 CET 2011IEEE Software580-88Recasting Algorithms to Encourage Reuse.111994dblp Mon Oct 17 00:00:00 CEST 2011STOCconf/stoc/STOC4198-206Compositions of n Tree Transducers1972dblp Mon Oct 17 00:00:00 CEST 2011STOCconf/stoc/STOC131-42Intercalation Theorems for Stack Languages1969dblp Mon Sep 19 12:12:54 CEST 2011RCA Engineer633--41{1984, Pyramid methods in image processing}291984deepzoom image ma10 processing pyramid Tue Jul 05 00:00:00 CEST 2011Comput. Lang.3/4259-280Modular Verification of Ada Generics.161991dblp Wed Jun 29 00:00:00 CEST 2011Nucleic Acids Research134013Nucleotide sequence of human lactoferrin cDNA.181990dblp Wed Jun 29 00:00:00 CEST 2011Gesture Workshopconf/gw/2001254-267Lecture Notes in Computer ScienceInteractional Structure Applied to the Identification and Generation of Visual Interactive Behavior: Robots that (Usually) Follow the Rules.22982001dblp Tue Jun 28 00:00:00 CEST 2011Cognitive Technologyconf/ct/200157-74Lecture Notes in Computer ScienceCan Social Interaction Skills Be Taught by a Social Agent? The Role of a Robotic Mediator in Autism Therapy.21172001dblp Mon Jun 20 00:00:00 CEST 2011Generic Programmingconf/dagstuhl/1998gp102-113Lecture Notes in Computer ScienceA Data Abstraction Alternative to Data Structure/Algorithm Modularization.17661998dblp Thu Jun 16 00:00:00 CEST 2011PATATconf/patat/1997142-155Lecture Notes in Computer ScienceEvolutionary Optimisation of Methodist Preaching Timetables.14081997dblp Tue Jun 07 00:00:00 CEST 2011Commun. ACM634-42The PowerPC 603 Microprocessor.371994dblp Tue Jun 07 00:00:00 CEST 2011Commun. ACM12697-706The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.181975dblp