default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDean Jacobs
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1985
[b1]Dean Jacobs:
General Correctness: A Unification of Partial and Total Correctness. Cornell University, USA, 1985
Journal Articles
- 2013
- [j10]Michael Seibold, Dean Jacobs, Alfons Kemper:
Operational Business Intelligence: Processing Mixed Workloads. IT Prof. 15(5): 16-21 (2013) - 2005
- [j9]Dean Jacobs:
Enterprise software as service. ACM Queue 3(6): 36-42 (2005) - 2004
- [j8]Dean Jacobs:
Data Management in Application Servers. Datenbank-Spektrum 8: 5-11 (2004) - 1996
- [j7]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) - 1992
- [j6]Dean Jacobs, Anno Langen:
Static Analysis of Logic Programs for Independent And-Parallelism. J. Log. Program. 13(2&3): 291-314 (1992) - 1990
- [j5]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) - 1989
- [j4]Dean Jacobs:
A Type System for Algebraic Database Programming Languages. IEEE Data Eng. Bull. 12(3): 13-20 (1989) - [j3]Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce:
Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. 25(5/6): 205-232 (1989) - 1988
- [j2]Dean Jacobs, Martin S. Feather:
Corrections to "A Synthesis of Several Sorting Algorithms" by J. Darlington. Acta Informatica 26(1/2): 19-23 (1988) - 1985
- [j1]Dean Jacobs, David Gries
:
General Correctness: A Unification of Partial and Total Correctness. Acta Informatica 22(1): 67-83 (1985)
Conference and Workshop Papers
- 2013
- [c34]Jan Schaffner, Tim Januschowski, Megan Kercher, Tim Kraska, Hasso Plattner, Michael J. Franklin, Dean Jacobs:
RTP: robust tenant placement for elastic in-memory database clusters. SIGMOD Conference 2013: 773-784 - 2011
- [c33]Michael Seibold, Alfons Kemper, Dean Jacobs:
Strict SLAs for Operational Business Intelligence. IEEE CLOUD 2011: 25-32 - [c32]Jan Schaffner, Benjamin Eckart, Christian Schwarz, Jan Brunnert, Dean Jacobs, Alexander Zeier, Hasso Plattner:
Simulating Multi-Tenant OLAP Database Clusters. BTW 2011: 410-429 - [c31]Stefan Aulbach, Michael Seibold, Dean Jacobs, Alfons Kemper:
Extensibility and Data Sharing in evolving multi-tenant databases. ICDE 2011: 99-110 - [c30]Jan Schaffner, Benjamin Eckart, Dean Jacobs, Christian Schwarz, Hasso Plattner, Alexander Zeier:
Predicting in-memory database performance for automating cluster management tasks. ICDE 2011: 1264-1275 - 2010
- [c29]Jan Schaffner, Dean Jacobs, Benjamin Eckart, Jan Brunnert, Alexander Zeier:
Towards enterprise software as a service in the cloud. ICDE Workshops 2010: 52-59 - [c28]David Campbell, Brian Cooper, Dean Jacobs, Ashok Joshi, Volker Markl, Srinivas Narayanan:
Cloudy skies for data management. ICDE 2010: 1209 - 2009
- [c27]Stefan Aulbach, Dean Jacobs, Jürgen Primsch, Alfons Kemper:
Anforderungen an Datenbanksysteme für Multi-Tenancy- und Software-as-a-Service-Applikationen. BTW 2009: 544-555 - [c26]Dean Jacobs:
Software as a Service: Do It Yourself or Use the Cloud. BTW 2009: 633- - [c25]Shel Finkelstein, Dean Jacobs, Rainer Brendle:
Principles for Inconsistency. CIDR 2009 - [c24]Stefan Aulbach, Dean Jacobs, Alfons Kemper, Michael Seibold:
A comparison of flexible schemas for software as a service. SIGMOD Conference 2009: 881-888 - 2008
- [c23]Dean Jacobs:
Implementing Software as a Service. EDOC 2008 - [c22]Stefan Aulbach, Torsten Grust, Dean Jacobs, Alfons Kemper, Jan Rittinger:
Multi-tenant databases for software as a service: schema-mapping techniques. SIGMOD Conference 2008: 1195-1206 - 2007
- [c21]Dean Jacobs, Stefan Aulbach:
Ruminations on Multi-Tenant Databases. BTW 2007: 514-521 - 2005
- [c20]Michael J. Carey, Dean Jacobs, Leonard J. Seligman:
The Geek-Tones: An Experiment in Distributed, Real-time Musical Integration. CIDR 2005: 329 - [c19]Bill Gallagher, Dean Jacobs, Anno Langen:
A high-performance, transactional filestore for application servers. SIGMOD Conference 2005: 868-872 - 2003
- [c18]Dean Jacobs:
Distributed Computing with BEA WebLogic Server. CIDR 2003 - 1993
- [c17]Martha Escobar-Molano, Richard Hull, Dean Jacobs:
Safety and Translation of Calculus Queries with Scalar Functions. PODS 1993: 253-264 - [c16]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 - 1992
- [c15]Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs:
Implementation of Delayed Updates in Heraclitus. EDBT 1992: 261-276 - 1991
- [c14]Dean Jacobs, Richard Hull:
Database Programming with Delayed Updates. DBPL 1991: 416-428 - [c13]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 - [c12]Richard Hull, Dean Jacobs:
Language Constructs for Programming Active Databases. VLDB 1991: 455-467 - 1990
- [c11]Richard Hull, Dean Jacobs:
On the Semantics of Rules in Database Programming Languages. East/West Database Workshop 1990: 59-85 - [c10]Dean Jacobs, Anno Langen, William H. Winsborough:
Multiple Specialization of Logic Programs with Run-Time Test. ICLP 1990: 717-731 - [c9]Dean Jacobs:
Type Declarations as Subtype Constraints in Logic Programming. PLDI 1990: 165-173 - [c8]Edward A. Ipser, David S. Wile, Dean Jacobs:
A multi-formalism specification environment. SDE 1990: 94-106 - 1989
- [c7]Dean Jacobs:
A Type System for Algebraic Database Programming Languages. DBPL 1989: 238-247 - [c6]Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs:
Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS 1989: 181-192 - [c5]Dean Jacobs, Anno Langen:
Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. NACLP 1989: 154-165 - 1988
- [c4]Dean Jacobs, Bernd Mahr:
Concepts of Algebraic Database Programming Languages. ADT 1988 - [c3]Dean Jacobs, Anno Langen:
Compilation of Logic Programs for Restricted And-Parallelism. ESOP 1988: 284-297 - 1987
- [c2]Richard Hull, Dean Jacobs:
Towards a Formalism for Module Interconnection and Version Selection. DBPL 1987: 423-439 - 1982
- [c1]Dean Jacobs, Jan F. Prins, Peter Siegel, Kenneth Wilson:
Monte Carlo techniques in code optimization. MICRO 1982: 143-148
Parts in Books or Collections
- 1992
- [p1]Dean Jacobs:
A Pragmatic View of Types for Logic Programs. Types in Logic Programming 1992: 217-227
Informal and Other Publications
- 2009
- [i1]Shel Finkelstein, Dean Jacobs, Rainer Brendle:
Principles for Inconsistency. CoRR abs/0909.1782 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
