William R. Cook Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Apel, William R. Cook, Krzysztof Czarnecki, Christian Kästner, Neil Loughran, Oscar Nierstrasz: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009 ACM 2009
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars E. Olson, Carl A. Gunter, William R. Cook, Marianne Winslett: Implementing Reflective Access Control in SQL. DBSec 2009: 17-32
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJose Falcon, William R. Cook: Gel: A Generic Extensible Language. DSL 2009: 58-77
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook: Remote Batch Invocation for Compositional Object Services. ECOOP 2009: 595-617
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Ibrahim, Marc Fisher II, William R. Cook, Eli Tilevich: Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces. ECOWS 2009: 190-199
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Delaware, William R. Cook, Don S. Batory: Fitting the pieces together: a machine-checked model of safe composition. ESEC/SIGSOFT FSE 2009: 243-252
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kitchin, Adrian Quark, William R. Cook, Jayadev Misra: The Orc Programming Language. FMOODS/FORTE 2009: 1-25
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Delaware, William R. Cook, Don S. Batory: A machine-checked model of safe composition. FOAL 2009: 31-35
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSrinivas Nedunuri, William R. Cook: Synthesis of fast programs for maximum segment sum problems. GPCE 2009: 117-126
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEli Tilevich, William R. Cook, Yang Jiao: Explicit Batching for Distributed Objects. ICDCS 2009: 543-552
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook: On understanding data abstraction, revisited. OOPSLA 2009: 557-572
2008
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Wiedermann, Ali Ibrahim, William R. Cook: Interprocedural query extraction for transparent persistence. OOPSLA 2008: 19-36
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Jayadev Misra: Structured Interacting Computations. Software-Intensive Systems and New Computing Paradigms 2008: 139-145
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook: High-level problems in teaching undergraduate programming languages. SIGPLAN Notices 43(11): 55-58 (2008)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Wehrman, David Kitchin, William R. Cook, Jayadev Misra: A timed semantics of Orc. Theor. Comput. Sci. 402(2-3): 234-248 (2008)
2007
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSahil Thaker, Don S. Batory, David Kitchin, William R. Cook: Safe composition of product lines. GPCE 2007: 95-104
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook: AppleScript. HOPL 2007: 1-21
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Wiedermann, William R. Cook: Extracting queries by static analysis of transparent persistence. POPL 2007: 199-210
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard: Event Structure Semantics of Orc. WS-FM 2007: 154-168
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Janel Barfield: Web Service versus Distributed Objects: A Case Study of Performance and Interface Design. Int. J. Web Service Res. 4(3): 49-64 (2007)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, William R. Cook: Computation Orchestration. Software and System Modeling 6(1): 83-110 (2007)
2006
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeri L. Tarr, William R. Cook: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA ACM 2006
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeri L. Tarr, William R. Cook: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA ACM 2006
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSol Swords, William R. Cook: Soundness of the simply typed lambda calculus in ACL2. ACL2 2006: 35-39
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Kitchin, William R. Cook, Jayadev Misra: A Language for Task Orchestration and Its Semantic Properties. CONCUR 2006: 477-491
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Sourabh Patwardhan, Jayadev Misra: Workflow Patterns in Orc. COORDINATION 2006: 82-96
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook: Peak Objects. ECOOP 2006: 180-185
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Ibrahim, William R. Cook: Automatic Prefetching by Traversal Profiling in Object Persistence Architectures. ECOOP 2006: 50-73
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Janel Barfield: Web Services versus Distributed Objects: A Case Study of Performance and Interface Design. ICWS 2006: 419-426
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Robert Greene, Patrick Linskey, Erik Meijer, Ken Rugg, Craig Russell, Bob Walker, Christof Wittig: Objects and databases: state of the union in 2006. OOPSLA Companion 2006: 926-928
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Ernst, Klaus Ostermann, William R. Cook: A virtual class calculus. POPL 2006: 270-282
2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto E. Lopez-Herrejon, Don S. Batory, William R. Cook: Evaluating Support for Features in Advanced Modularization Technologies. ECOOP 2005: 169-194
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Siddhartha Rai: Safe query objects: statically typed objects as remotely executable queries. ICSE 2005: 97-106
1994
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and Its Correctness Inf. Comput. 114(2): 329-350 (1994)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOscar Nierstrasz, Alan Snyder, Anthony S. Williams, William R. Cook: Open distributed processing (panel). OOPS Messenger 5(2): 67-71 (1994)
1993
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYen-Ping Shan, Thomas A. Cargill, Brad Cox, William R. Cook, Mary E. S. Loomis, Alan Snyder: Panel - Is Multiple Inheritance Essential to OOP? OOPSLA 1993: 360-363
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph E. Johnson, Kent Beck, Grady Booch, William R. Cook, Richard P. Gabriel, Rebecca Wirfs-Brock: How to Get a Paper Accepted at OOPSLA (Panel). OOPSLA 1993: 429-436
1992
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook: Interfaces and Specifications for the Smalltalk-80 Collection Classes. OOPSLA 1992: 1-15
1990
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilad Bracha, William R. Cook: Mixin-based Inheritance. OOPSLA/ECOOP 1990: 303-311
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Walter L. Hill, Peter S. Canning: Inheritance Is Not Subtyping. POPL 1990: 125-135
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook: Object-Oriented Programming Versus Abstract Data Types. REX Workshop 1990: 151-178
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook: A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell: F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook, Jens Palsberg: A Denotational Semantics of Inheritance and its Correctness. OOPSLA 1989: 433-443
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff: Interfaces for Strongly-Typed Object-Oriented Programming. OOPSLA 1989: 457-467
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam R. Cook: Internal Diagnostics for Tektronix Graphics Terminals. ITC 1981: 221-225

Coauthor Index

1Sven Apel [46]
2Janel Barfield [18] [27]
3Don S. Batory [15] [31] [39] [41]
4Kent Beck [10]
5Albert Benveniste [28]
6Grady Booch [10]
7Gilad Bracha [8]
8Peter S. Canning [2] [4] [7]
9Thomas A. Cargill [11]
10Brad Cox [11]
11Krzysztof Czarnecki [46]
12Benjamin Delaware [39] [41]
13Erik Ernst [16]
14Jose Falcon [44]
15Marc Fisher II [42]
16Richard P. Gabriel [10]
17Robert Greene [17]
18Carl A. Gunter [45]
19Stefan Haar [28]
20Walter L. Hill [2] [4] [7]
21Ali Ibrahim [19] [35] [42] [43]
22Claude Jard [28]
23Yang Jiao [37] [43]
24Ralph E. Johnson [10]
25Christian Kästner [46]
26David Kitchin [22] [28] [31] [32] [40]
27Patrick Linskey [17]
28Mary E. S. Loomis [11]
29Roberto E. Lopez-Herrejon [15]
30Neil Loughran [46]
31Erik Meijer [17]
32Jayadev Misra [21] [22] [26] [32] [34] [40]
33John C. Mitchell [4]
34Srinivas Nedunuri [38]
35Oscar Nierstrasz [12] [46]
36Lars E. Olson [45]
37Walter G. Olthoff [2] [4]
38Klaus Ostermann [16]
39Jens Palsberg [3] [13]
40Sourabh Patwardhan [21]
41Adrian Quark [40]
42Siddhartha Rai [14]
43Sidney Rosario [28]
44Ken Rugg [17]
45Craig Russell [17]
46Yen-Ping Shan [11]
47Alan Snyder [11] [12]
48Sol Swords [23]
49Peri L. Tarr [24] [25]
50Sahil Thaker [31]
51Eli Tilevich [37] [42] [43]
52Bob Walker [17]
53Ian Wehrman [32]
54Ben Wiedermann [29] [35]
55Anthony S. Williams [12]
56Marianne Winslett [45]
57Rebecca Wirfs-Brock [10]
58Christof Wittig [17]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)