William L. Scherlis Home Page Coauthor index DBLP Vis pubzone.org

Bill Scherlis

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

DBLP keys2007
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: Experience with fluid: analysis, design intent, and assurance for concurrency. PADTAD 2007: 1-2
2006
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Fairbanks, David Garlan, William L. Scherlis: Design fragments make using frameworks easier. OOPSLA 2006: 75-88
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Fairbanks, David Garlan, William L. Scherlis: Using framework interfaces with design fragments. OOPSLA Companion 2006: 718
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Fairbanks, David Garlan, William L. Scherlis: Design fragments make using frameworks easier. OOPSLA Companion 2006: 762-763
2005
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Greenhouse, T. J. Halloran, William L. Scherlis: Observations on the assured evolution of concurrent Java programs. Sci. Comput. Program. 58(3): 384-411 (2005)
2003
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Greenhouse, T. J. Halloran, William L. Scherlis: Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent. OOPSLA Workshop on Eclipse Technology eXchange 2003: 99-103
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn H. Reif, William L. Scherlis: Deriving Effcient Graph Algorithms. Verification: Theory and Practice 2003: 645-681
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis, Jon Eisenberg: IT research, innovation, and e-government. Commun. ACM 46(1): 67-68 (2003)
2002
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis, Jon Eisenberg: IT Research, Innovation, and E-Government. DG.O 2002
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrad A. Myers, Robert Malkin, Michael Bett, Alex Waibel, Ben Bostwick, Robert C. Miller, Jie Yang, Matthias Denecke, Edgar Seemann, Jie Zhu, Choon Hong Peck, Dave Kong, Jeffrey Nichols, William L. Scherlis: Flexi-Modal and Multi-Machine User Interfaces. ICMI 2002: 343-348
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Greenhouse, William L. Scherlis: Assuring and evolving concurrent programs: annotations and policy. ICSE 2002: 453-463
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDean F. Sutherland, Aaron Greenhouse, William L. Scherlis: The code of many colors: relating threads to code and shared state. PASTE 2002: 77-83
2000
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Alberto Espinosa, Jonathan J. Cadiz, Luis Rico-Gutierrez, Robert E. Kraut, William L. Scherlis, Glenn Lautenbacher: Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks. CHI 2000: 392-399
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBill Scherlis: Digital government: an IT research perspective. DG.O 2000
1999
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert E. Kraut, Tridas Mukhopadhyay, Janusz Szczypula, Sara B. Kiesler, Bill Scherlis: Information and Communication: Alternative Uses of the Internet in Households. Information Systems Research 10(4): 287-303 (1999)
1998
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert E. Kraut, Tridas Mukhopadhyay, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis: Communication and Information: Alternative Uses of the Internet in Households. CHI 1998: 368-375
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusan R. Fussell, Robert E. Kraut, F. Javier Lerch, William L. Scherlis, Matthew M. McNally, Jonathan J. Cadiz: Coordination, Overload and Team Performance: Effects of Team Communication Strategies. CSCW 1998: 275-284
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: Systematic Change of Data Representation: Program Manipulations and a Case Study. ESOP 1998: 252-266
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: Structural Views, Structural Evolution, and Product Families. ESPRIT ARES Workshop 1998: 235-240
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis, Juha Kuusela: Session 1: Example Architectures. ESPRIT ARES Workshop 1998: 4-5
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdwin C. Chan, John Boyland, William L. Scherlis: Promises: Limited Specifications for Analysis and Manipulation. ICSE 1998: 167-176
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert E. Kraut, Sara B. Kiesler, Tridas Mukhopadhyay, William L. Scherlis, Michael Patterson: Social Impact of the Internet: What Does It Mean? Commun. ACM 41(12): 21-22 (1998)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: ETAPS'98 Trip Report. SIGPLAN Notices 33(9): 18-19 (1998)
1997
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara B. Kiesler, Robert E. Kraut, Vicki Lundmark, William L. Scherlis, Tridas Mukhopadhyay: Usability, Help Desk Calls, and Residential Internet Usage. CHI 1997: 536-537
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert E. Kraut, Janusz Szczypula, Sara B. Kiesler, William L. Scherlis: Communication versus information: alternative uses of the internet at home. ICIS 1997: 478
1996
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert E. Kraut, William L. Scherlis, Tridas Mukhopadhyay, Jane Manning, Sara B. Kiesler: HomeNet: A Field Trial of Residential Internet Services. CHI 1996: 284-291
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: Repository Interactions (working session). Digital Libraries 1996: 171
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: Beyond Coding. ACM Comput. Surv. 28(4es): 201 (1996)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert E. Kraut, William L. Scherlis, Tridas Mukhopadhyay, Jane Manning, Sara B. Kiesler: The HomeNet Field Trial of Residential Internet Services. Commun. ACM 39(12): 55-63 (1996)
1994
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: Boundary and Path Manipulations on Abstract Data Types (Extended Abstract). IFIP Congress (1) 1994: 615-620
1992
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Wegner, William L. Scherlis, James M. Purtilo, David C. Luckham, Ralph E. Johnson: Object-Oriented Megaprogramming (Panel). OOPSLA 1992: 392-396
1988
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis: The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments. Software Development Environments (SDE) 1988: 25-34
1986
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: Abstract Data Types, Specialization, and Program Reuse. Advanced Programming Environments 1986: 433-453
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrik Jørring, William L. Scherlis: Compilers and Staging Transformations. POPL 1986: 86-96
1985
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis, Dana S. Scott: Semantically Based Programming Tools (Summary). TAPSOFT, Vol.1 1985: 52-59
1983
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis, Dana S. Scott: First Steps Towards Inferential Programming. IFIP Congress 1983: 199-212
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn H. Reif, William L. Scherlis: Deriving Efficient Graph Algorithms (Summary). Logic of Programs 1983: 421-441
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Scherlis: Program Improvement by Internal Specialization. POPL 1981: 41-49

Coauthor Index

1Michael Bett [29]
2Ben Bostwick [29]
3John Tang Boyland (John Boyland) [18]
4Jonathan J. Cadiz [22] [26]
5Edwin C. Chan [18]
6Matthias Denecke [29]
7Jon Eisenberg [30] [31]
8J. Alberto Espinosa [26]
9George Fairbanks [35] [36] [37]
10Susan R. Fussell [22]
11David Garlan [35] [36] [37]
12Aaron Greenhouse [27] [28] [33] [34]
13T. J. Halloran [33] [34]
14Ralph E. Johnson [8]
15Ulrik Jørring [5]
16Sara B. Kiesler [10] [13] [14] [15] [17] [23] [24]
17Dave Kong [29]
18Robert E. Kraut (Robert Kraut) [10] [13] [14] [15] [17] [22] [23] [24] [26]
19Juha Kuusela [19]
20Glenn Lautenbacher [26]
21Peter Lee [7]
22F. Javier Lerch [22]
23David C. Luckham [8]
24Vicki Lundmark [15]
25Robert Malkin [29]
26Jane Manning [10] [13]
27Matthew M. McNally [22]
28Rob Miller (Robert C. Miller) [29]
29Tridas Mukhopadhyay [10] [13] [15] [17] [23] [24]
30Brad A. Myers [29]
31Jeffrey Nichols [29]
32Michael Patterson [17]
33Choon Hong Peck [29]
34Frank Pfenning [7]
35James M. Purtilo [8]
36John H. Reif [2] [32]
37Luis Rico-Gutierrez [26]
38Gene Rollins [7]
39Dana S. Scott [3] [4]
40Edgar Seemann [29]
41Dean F. Sutherland [27]
42Janusz Szczypula [14] [23] [24]
43Alex Waibel [29]
44Peter Wegner [8]
45Jie Yang [29]
46Jie Zhu [29]

Colors in the list of coauthors

Copyright © Wed Nov 25 14:46:41 2009 by Michael Ley (ley@uni-trier.de)