IBM T. J. Watson Research Center
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
2009 | ||
---|---|---|
126 | EE | Christian Fritz, Richard Hull, Jianwen Su: Automatic construction of simple artifact-based business processes. ICDT 2009: 225-238 |
125 | EE | Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu: Automatic verification of data-centric business processes. ICDT 2009: 252-267 |
2008 | ||
124 | EE | Richard Hull: Keynote 2 - Unleashing Shared-Experience Communications in a Mobile World. MDM 2008 |
123 | EE | Nilton Bila, Jin Cao, Robert Dinoff, Tin Kam Ho, Richard Hull, Bharat Kumar, Paulo Santos: Mobile User Profile Acquisition through Network Observables and Explicit User Queries. MDM 2008: 98-107 |
122 | EE | Richard Hull: Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges. OTM Conferences (2) 2008: 1152-1163 |
121 | EE | Michael Grüninger, Richard Hull, Sheila A. McIlraith: A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. IEEE Data Eng. Bull. 31(3): 3-7 (2008) |
2007 | ||
120 | Richard Hull, Peter Thiemann, Philip Wadler: Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 | |
119 | EE | Kamal Bhattacharya, Cagdas Evren Gerede, Richard Hull, Rong Liu, Jianwen Su: Towards Formal Analysis of Artifact-Centric Business Process Models. BPM 2007: 288-304 |
118 | EE | Richard Hull, Peter Thiemann, Philip Wadler: 07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007 |
117 | EE | Richard Hull, Peter Thiemann, Philip Wadler: 07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007 |
116 | EE | Richard Hull, Peter Thiemann, Philip Wadler: 07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services. Programming Paradigms for the Web: Web Programming and Web Services 2007 |
115 | EE | Robert Dinoff, Tin Kam Ho, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Paulo Santos, Haobo Ren: Intuitive Network Applications: Learning for Personalized Converged Services Involving Social Networks. JCP 2(6): 72-84 (2007) |
2006 | ||
114 | EE | Robert Dinoff, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Paulo Santos: Learning and managing user context in personalized communications services. CAI 2006: 33-36 |
113 | EE | Vinod Anupam, Richard Hull, Sarbmeet S. Kanwal, Bharat Kumar: An introduction to Lucent's service enhancement layer. Bell Labs Technical Journal 10(4): 179-196 (2006) |
112 | EE | Daniel F. Lieuwen, Todd C. Morgan, Helmut L. Raether, Satish K. Ramamoorthy, Ming Xiong, Richard Hull: Subscriber data management in IMS networks. Bell Labs Technical Journal 10(4): 197-215 (2006) |
2005 | ||
111 | EE | Richard Hull: Towards a Unified Model for Web Services Composition. ASIAN 2005: 1-10 |
110 | EE | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella: Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005 |
109 | EE | Richard Hull: Web Services Composition: A Story of Models, Automata, and Logics. ICWS 2005 |
108 | EE | Richard Hull: Web Services Composition: A Story of Models, Automata, and Logics. IEEE SCC 2005 |
107 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Web Services in Colombo. SEBD 2005: 8-15 | |
106 | EE | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella: Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB 2005: 613-624 |
105 | EE | Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: Improving User Experience through Rule-based Service Customization. Int. J. Cooperative Inf. Syst. 14(4): 469-502 (2005) |
104 | EE | Serge Abiteboul, Richard Hull, Victor Vianu, Sheila A. Greibach, Michael A. Harrison, Ellis Horowitz, Daniel J. Rosenkrantz, Jeffrey D. Ullman, Moshe Y. Vardi: In memory of Seymour Ginsburg 1928 - 2004. SIGMOD Record 34(1): 5-12 (2005) |
103 | EE | Richard Hull, Jianwen Su: Tools for composite web services: a short overview. SIGMOD Record 34(2): 86-95 (2005) |
2004 | ||
102 | EE | Richard Hull: Converged Services: A Hidden Challenge for the Web Services Paradigm. EDBT 2004: 1-2 |
101 | EE | Irini Fundulaki, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Arnaud Sahuguet: "My Personal Web": A Seminar on Personalization and Privacy for Web and Converged Services. ICDE 2004: 872 |
100 | EE | Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su: Automated composition of e-services: lookaheads. ICSOC 2004: 252-262 |
99 | EE | Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: Enabling Context-Aware and Privacy-Conscious User Data Sharing. Mobile Data Management 2004: 187-198 |
98 | EE | Richard Hull, Jianwen Su: Tools for Design of Composite Web Services. SIGMOD Conference 2004: 958-961 |
97 | EE | Richard Hull, Bharat Kumar, S. Shehryar Qutub, Musa R. Unmehopa, Douglas W. Varney: Policy enabling the services layer. Bell Labs Technical Journal 9(1): 5-18 (2004) |
2003 | ||
96 | EE | Arnaud Sahuguet, Richard Hull, Daniel F. Lieuwen, Ming Xiong: Enter Once, Share Everywhere: User Profile Management in Converged Networks. CIDR 2003 |
95 | EE | Richard Hull: E-Service Composition: Models and Formalisms. Description Logics 2003 |
94 | EE | Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: "Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization. ICSOC 2003: 149-164 |
93 | EE | Richard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su: E-services: a look behind the curtain. PODS 2003: 1-14 |
92 | EE | Richard Hull, Bharat Kumar, Daniel F. Lieuwen: Towards Federated Policy Management. POLICY 2003: 183- |
91 | EE | Chris Clifton, Irini Fundulaki, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Arnaud Sahuguet: Privacy-Enhanced Data Management for Next-Generation e-Commerce. VLDB 2003: 1147 |
90 | EE | Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su: Conversation specification: a new approach to design and analysis of e-service composition. WWW 2003: 403-410 |
89 | EE | Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: Rule-based Service Customization via Houdini. WWW (Posters) 2003 |
2002 | ||
88 | Christoph Bussler, Richard Hull, Sheila A. McIlraith, Maria E. Orlowska, Barbara Pernici, Jian Yang: Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers Springer 2002 | |
87 | EE | Richard Hull, Bharat Kumar, Arnaud Sahuguet, Ming Xiong: Have It Your Way: Personalization of Network-Hosted Services. BNCOD 2002: 1-10 |
2001 | ||
86 | EE | Vassilis Christophides, Richard Hull, Akhil Kumar: Querying and Splicing of XML Workflows. CoopIS 2001: 386-402 |
85 | EE | Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su: Verification of Vortex Workflows. TACAS 2001: 143-157 |
84 | EE | Vassilis Christophides, Richard Hull, Gregory Karvounarakis, Akhil Kumar, Geliang Tong, Ming Xiong: Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications. TES 2001: 58-73 |
83 | EE | Vinod Anupam, Richard Hull, Bharat Kumar: Personalizing E-commerce applications with on-line heuristic decision making. WWW 2001: 296-307 |
82 | EE | Vassilis Christophides, Richard Hull, Akhil Kumar, Jérôme Siméon: Workflow Mediation using VorteXML. IEEE Data Eng. Bull. 24(1): 40-45 (2001) |
2000 | ||
81 | EE | Richard Hull, François Llirbat, Bharat Kumar, Gang Zhou, Guozhu Dong, Jianwen Su: Optimization Techniques for Data-Intensive Decision Flows. ICDE 2000: 281-292 |
80 | Richard Hull, Akhil Kumar, Jérôme Siméon: Smart supply web: an application of web-based data and workflow mediation. TES 2000: 227-246 | |
1999 | ||
79 | EE | Richard Hull, Jianwen Su: The Vortex Approach to Integration and Coordination of Workflows. Cross-Organisational Workflow Management and Co-ordination 1999 |
78 | EE | Guozhu Dong, Richard Hull, Bharat Kumar, Jianwen Su, Gang Zhou: A Framework for Optimizing Distributed Workflow Executions. DBPL 1999: 152-167 |
77 | EE | Richard Hull, François Llirbat, Eric Simon, Jianwen Su, Guozhu Dong, Bharat Kumar, Gang Zhou: Declarative workflows that support easy modification and dynamic browsing. WACC 1999: 69-78 |
1998 | ||
76 | Sophie Cluet, Richard Hull: Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings Springer 1998 | |
75 | Richard Hull, Jianwen Su: Deductive Query Languages for Recursively Typed Complex Objects. J. Log. Program. 35(3): 231-261 (1998) | |
1997 | ||
74 | EE | Sophie Cluet, Richard C. H. Connor, Richard Hull, David Maier, Florian Matthes, Dan Suciu: Panel Session: Metadata for Database Interoperation. DBPL 1997: 35-37 |
73 | EE | Richard Hull: Global Predicate-Based Locks in Long-Running Transactions. EDOC 1997: 197- |
72 | EE | Richard Hull: Managing Semantic Heterogeneity in Databases: A Theoretical Perspective. PODS 1997: 51-61 |
71 | Timothy Griffin, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Gang Zhou: A Framework For Using Redundant Data to Optimize Read-Intensive Database Applications. RTDB 1997: 63-76 | |
70 | EE | Timothy Griffin, Richard Hull: A Framework for Implementing Hypothetical Queries. SIGMOD Conference 1997: 231-242 |
1996 | ||
69 | EE | V. S. Subrahmanian, Su-Shing Chen, James A. Hendler, Richard Hull, Val Tannen: Smart Mediators and Intelligent Agents (Panel). CIKM 1996: 343 |
68 | EE | Michael Doherty, Richard Hull, Mohammed Rupawalla: Structures for Manipulating Proposed Updates in Object-Oriented Databases. SIGMOD Conference 1996: 306-317 |
67 | EE | Richard Hull, Gang Zhou: A Framework for Supporting Data Integration Using the Materialized and Virtual Approaches. SIGMOD Conference 1996: 481-492 |
66 | Richard Hull, Gang Zhou: Towards the Study of Performance Trade-offs Between Materialized and Virtual Integrated Views. VIEWS 1996: 91-102 | |
65 | EE | 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) |
64 | Gang Zhou, Richard Hull, Roger King: Generating Data Integration Mediators that Use Materialization. J. Intell. Inf. Syst. 6(2/3): 199-221 (1996) | |
1995 | ||
63 | Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995 | |
62 | Gang Zhou, Richard Hull, Roger King, Jean-Claude Franchitti: Using Object Matching and Materialization to Integrate Heterogeneous Databases. CoopIS 1995: 4-18 | |
61 | EE | Michael Doherty, Richard Hull, Marcia A. Derr, Jacques Durand: On Detecting Conflict Between Proposed Updates. DBPL 1995: 7 |
60 | Michael Doherty, Richard Hull: Towards a Framework for Efficient Management of Potentially Conflicting Database Updates. DS-6 1995: 317-344 | |
59 | EE | Ti-Pin Chang, Richard Hull: Using Witness Generators to Support Bi-directional Update Between Object-Based Databases. PODS 1995: 196-207 |
58 | EE | I-Min A. Chen, Richard Hull, Dennis McLeod: An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. ACM Trans. Database Syst. 20(4): 365-413 (1995) |
57 | EE | Gang Zhou, Richard Hull, Roger King, Jean-Claude Franchitti: Data Integration and Warehousing Using H2O. IEEE Data Eng. Bull. 18(2): 29-40 (1995) |
56 | EE | Serge Abiteboul, Richard Hull: Response to "A Close Look at the IFO Data Model". SIGMOD Record 24(3): 4 (1995) |
1994 | ||
55 | I-Min A. Chen, Richard Hull, Dennis McLeod: Local Ambiguity and Derived Data Update. RIDE-ADS 1994: 77-86 | |
54 | Richard Hull, Jianwen Su: Domain Independence and the Relational Calculus. Acta Inf. 31(6): 513-524 (1994) | |
1993 | ||
53 | EE | Martha Escobar-Molano, Richard Hull, Dean Jacobs: Safety and Translation of Calculus Queries with Scalar Functions. PODS 1993: 253-264 |
52 | EE | 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 |
51 | Richard Hull, Jianwen Su: Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. J. Comput. Syst. Sci. 47(1): 121-156 (1993) | |
1992 | ||
50 | Joachim Biskup, Richard Hull: Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings Springer 1992 | |
49 | EE | Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs: Implementation of Delayed Updates in Heraclitus. EDBT 1992: 261-276 |
48 | Richard Hull, Masatoshi Yoshikawa: Object Identity and Query Equivalence. Theoretical Studies in Computer Science 1992: 253-286 | |
1991 | ||
47 | EE | Dean Jacobs, Richard Hull: Database Programming with Delayed Updates. DBPL 1991: 416-428 |
46 | EE | Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340 |
45 | EE | Richard Hull, Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991: 455-467 |
44 | EE | Richard Hull, Surjatini Widjojo, Dave Wile, Masatoshi Yoshikawa: On Data Restructuring and Merging with Object Identity. IEEE Data Eng. Bull. 14(2): 18-22 (1991) |
43 | Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. J. Comput. Syst. Sci. 43(1): 219-267 (1991) | |
1990 | ||
42 | Richard Hull, Ronald Morrison, David W. Stemple: Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon Morgan Kaufmann 1990 | |
41 | Richard Hull, Dean Jacobs: On the Semantics of Rules in Database Programming Languages. East/West Database Workshop 1990: 59-85 | |
40 | EE | Surjatini Widjojo, Richard Hull, Dave Wile: A Specificational Approach to Merging Persistent Object Bases. POS 1990: 267-278 |
39 | EE | Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468 |
38 | Richard Hull, Roger King: A Tutorial on Semantic Database Modeling Research Foundations in Object-Oriented and Semantic Database Systems 1990: 1-33 | |
37 | EE | Serge Abiteboul, Peter Buneman, Claude Delobel, Richard Hull, Paris C. Kanellakis, Victor Vianu: New Hope on Data Models and Types: Report of an NSF-INRIA Workshop. SIGMOD Record 19(4): 41-48 (1990) |
1989 | ||
36 | EE | Richard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410 |
35 | Richard Hull, Katsumi Tanaka, Masatoshi Yoshikawa: Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees, and Reachability (Extended Abstract). FODO 1989: 372-388 | |
34 | EE | Richard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359 |
33 | EE | Richard Hull, Jianwen Su: On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions (Extended Abstract). SIGMOD Conference 1989: 147-158 |
32 | EE | Richard Hull, Ronald Morrison, David W. Stemple: Current Directions in Database Programming Languages. IEEE Data Eng. Bull. 12(3): 3-4 (1989) |
31 | Nicole Bidoit, Richard Hull: Minimalism, Justification and Non-Monotonicity in Deductive Databases. J. Comput. Syst. Sci. 38(2): 290-325 (1989) | |
1988 | ||
30 | EE | Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988: 39-51 |
29 | EE | Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153 |
28 | EE | Serge Abiteboul, Richard Hull: Update Propagation in a Formal Semantic Model. IEEE Data Eng. Bull. 11(2): 3-12 (1988) |
27 | Serge Abiteboul, Richard Hull: Restructuring Hierarchical Database Objects. Theor. Comput. Sci. 62(1-2): 3-38 (1988) | |
1987 | ||
26 | EE | Richard Hull, Dean Jacobs: Towards a Formalism for Module Interconnection and Version Selection. DBPL 1987: 423-439 |
25 | Richard Hull: Four Views of Complex Objects: A Sophisticate's Introduction. NF² 1987: 87-116 | |
24 | EE | Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260 (1987) |
23 | EE | Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565 (1987) |
1986 | ||
22 | EE | Daniel Bryce, Richard Hull: SNAP: A Graphics-based Schema Manager. ICDE 1986: 151-164 |
21 | EE | Serge Abiteboul, Richard Hull: Restructuring of Complex Objects and Office Forms. ICDT 1986: 54-72 |
20 | EE | Nicole Bidoit, Richard Hull: Positivism vs. Minimalism in Deductive Databases. PODS 1986: 123-132 |
19 | EE | Richard Hull: A Survey of Theoretical Research on Typed Complex Database Objects. XP7.52 Workshop on Database Theory 1986 |
18 | EE | Seymour Ginsburg, Richard Hull: Sort sets in the relational model. J. ACM 33(3): 465-488 (1986) |
17 | Richard Hull: Relative Information Capacity of Simple Relational Database Schemata. SIAM J. Comput. 15(3): 856-886 (1986) | |
1985 | ||
16 | Serge Abiteboul, Richard Hull: Update Propagation in the IFO Database Model. FODO 1985: 319-331 | |
15 | Daniel Bryce, Richard Hull: A Conceptual Basis for Graphics-Based Data Management. FODO 1985: 457-470 | |
14 | Richard Hull: Non-Finite Specifiability of Projections of Functional Dependency Families. Theor. Comput. Sci. 39: 239-265 (1985) | |
1984 | ||
13 | EE | Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. PODS 1984: 119-132 |
12 | EE | Richard Hull: Relative Information Capacity of Simple Relational Database Schemata. PODS 1984: 97-109 |
11 | EE | Richard Hull: Finitely Specifiable Implicational Dependency Families. J. ACM 31(2): 210-226 (1984) |
10 | EE | Richard Hull, Chee-Keng Yap: The Format Model: A Theory of database Organization. J. ACM 31(3): 518-544 (1984) |
1983 | ||
9 | EE | Seymour Ginsburg, Richard Hull: Sort Sets in the Relational Model. PODS 1983: 332-339 |
8 | Richard Hull: Acyclic Join Dependency and Data Base Projections. J. Comput. Syst. Sci. 27(3): 331-349 (1983) | |
7 | Seymour Ginsburg, Richard Hull: Order Dependency in the Relational Model. Theor. Comput. Sci. 26: 149-195 (1983) | |
6 | Seymour Ginsburg, Richard Hull: Characterizations for Functional Dependency and Boyce-CODD Normal Form Families. Theor. Comput. Sci. 26: 243-286 (1983) | |
1982 | ||
5 | EE | Richard Hull, Chee-Keng Yap: The Format Model: A Theory of Database Organization. PODS 1982: 205-211 |
4 | EE | Jirun Dong, Richard Hull: Applying Approximate Order Dependency to Reduce Indexing Space. SIGMOD Conference 1982: 119-127 |
1981 | ||
3 | EE | Richard Hull: Acyclic Join Dependency and Database Projections. XP2 Workshop on Relational Database Theory 1981 |
2 | EE | Seymour Ginsburg, Richard Hull: Characterization for Functional Dependency and Boyce-Codd Normal Form Databases. XP2 Workshop on Relational Database Theory 1981 |
1 | EE | Seymour Ginsburg, Richard Hull: Ordered Attribute Domains in the Relational Model. XP2 Workshop on Relational Database Theory 1981 |