| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Dean Jacobs Michael J. Carey , Dean Jacobs, Leonard J. Seligman : The Geek-Tones™: An Experiment in Distributed, Real-time Musical Integration. CIDR 2005 : 329 Bill Gallagher , Dean Jacobs, Anno Langen : A high-performance, transactional filestore for application servers. SIGMOD Conference 2005 : 868-872 Dean Jacobs: Enterprise software as service. ACM Queue 3 (6): 36-42 (2005) Dean Jacobs: Data Management in Application Servers. Datenbank-Spektrum 8 : 5-11 (2004) Dean Jacobs: Distributed Computing with BEA WebLogic Server. CIDR 2003 Shahram Ghandeharizadeh , Richard Hull , Dean Jacobs: Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language. ACM Trans. Database Syst. 21 (3): 370-426 (1996) Martha Escobar-Molano , Richard Hull , Dean Jacobs: Safety and Translation of Calculus Queries with Scalar Functions. PODS 1993 : 253-264 Shahram Ghandeharizadeh , Richard Hull , Dean Jacobs, Jaime Castillo , Martha Escobar-Molano , Shih-Hui Lu , Junhui Luo , Chiu Tsang , Gang Zhou : On Implementing a Language for Specifying Active Database Execution Models. VLDB 1993 : 441-454 Shahram Ghandeharizadeh , Richard Hull , Dean Jacobs: Implementation of Delayed Updates in Heraclitus. EDBT 1992 : 261-276 Dean Jacobs: A Pragmatic View of Types for Logic Programs. Types in Logic Programming 1992 : 217-227 Dean Jacobs, Anno Langen : Static Analysis of Logic Programs for Independent And-Parallelism. J. Log. Program. 13 (2&3): 291-314 (1992) Dean Jacobs, Richard Hull : Database Programming with Delayed Updates. DBPL 1991 : 416-428 Michael Löwe , Hartmut Ehrig , Werner Fey , Dean Jacobs: On the Relationship Between Algebraic Module Specifications and Program Modules. TAPSOFT, Vol.2 1991 : 83-98 Richard Hull , Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991 : 455-467 Richard Hull , Dean Jacobs: On the Semantics of Rules in Database Programming Languages. East/West Database Workshop 1990 : 59-85 Dean Jacobs, Anno Langen , William H. Winsborough : Multiple Specialization of Logic Programs with Run-Time Test. ICLP 1990 : 717-731 Dean Jacobs: Type Declarations as Subtype Constraints in Logic Programming. PLDI 1990 : 165-173 Hartmut Ehrig , Werner Fey , Horst Hansen , Michael Löwe , Dean Jacobs, Francesco Parisi-Presicce : Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. 77 (1&2): 27-71 (1990) Dean Jacobs: A Type System for Algebraic Database Programming Languages. DBPL 1989 : 238-247 Hartmut Ehrig , Werner Fey , Horst Hansen , Michael Löwe , Dean Jacobs: Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS 1989 : 181-192 Dean Jacobs, Anno Langen : Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. NACLP 1989 : 154-165 Hartmut Ehrig , Werner Fey , Horst Hansen , Michael Löwe , Dean Jacobs, Anno Langen , Francesco Parisi-Presicce : Algebraic Specification of Modules and Configuration Families. Elektronische Informationsverarbeitung und Kybernetik 25 (5/6): 205-232 (1989) Dean Jacobs: A Type System for Algebraic Database Programming Languages. IEEE Data Eng. Bull. 12 (3): 13-20 (1989) Dean Jacobs, Bernd Mahr : Concepts of Algebraic Database Programming Languages. ADT 1988 Dean Jacobs, Anno Langen : Compilation of Logic Programs for Restricted And-Parallelism. ESOP 1988 : 284-297 Dean Jacobs, Martin S. Feather : Corrections to ``A Synthesis of Several Sorting Algorithms'' by J. Darlington. Acta Inf. 26 (1/2): 19-23 (1988) Richard Hull , Dean Jacobs: Towards a Formalism for Module Interconnection and Version Selection. DBPL 1987 : 423-439 Dean Jacobs, David Gries : General Correctness: A Unification of Partial and Total Correctness. Acta Inf. 22 (1): 67-83 (1985) 1 [ 28 ] 2 [ 21 ] 3 [ 7 ] [ 9 ] [ 11 ] [ 16 ] 4 [ 21 ] [ 22 ] 5 [ 3 ] 6 [ 7 ] [ 9 ] [ 11 ] [ 16 ] 7 [ 27 ] 8 [ 20 ] [ 21 ] [ 23 ] 9 [ 1 ] 10 [ 7 ] [ 9 ] [ 11 ] 11 [ 2 ] [ 14 ] [ 15 ] [ 17 ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] 12 [ 4 ] [ 7 ] [ 8 ] [ 13 ] [ 18 ] [ 27 ] 13 [ 7 ] [ 9 ] [ 11 ] [ 16 ] 14 [ 21 ] 15 [ 21 ] 16 [ 5 ] 17 [ 7 ] [ 11 ] 18 [ 28 ] 19 [ 21 ] 20 [ 13 ] 21 [ 21 ]  ©2006 Association for Computing Machinery |
