Follow
William Scherlis
William Scherlis
Professor of Computer Science, Carnegie Mellon University
Verified email at cmu.edu - Homepage
Title
Cited by
Cited by
Year
Internet paradox
LV KrautR, KS PattersonM, T Mukopadhyay, W Scherlis
American Psychologist 53, 1017-31, 1998
75831998
Internet paradox: A social technology that reduces social involvement and psychological well-being?
R Kraut, M Patterson, V Lundmark, S Kiesler, T Mukophadhyay, ...
American psychologist 53 (9), 1017, 1998
75781998
J. and Keisler, S
R Kraut, W Scherlis, TM Mukhopadhyay
The HomeNet Field Trial of Residential Internet Services. Communications of …, 1996
569*1996
Information and communication: Alternative uses of the Internet in households
R Kraut, T Mukhopadhyay, J Szczypula, S Kiesler, B Scherlis
Information Systems Research 10 (4), 287-303, 1999
3781999
Coordination, overload and team performance: effects of team communication strategies
SR Fussell, RE Kraut, FJ Lerch, WL Scherlis, MM McNally, JJ Cadiz
Proceedings of the 1998 ACM conference on Computer supported cooperative …, 1998
2731998
Communication and information: Alternative uses of the Internet in households
R Kraut, T Mukhopadhyay, J Szczypula, S Kiesler, W Scherlis
Proceedings of the SIGCHI conference on Human factors in computing systems …, 1998
2361998
Social impact of the Internet: What does it mean?
R Kraut, S Kiesler, T Mukhopadhya, W Scherlis, M Patterson
Communications of the ACM 41 (12), 21-22, 1998
1611998
High quality and open source software practices
TJ Halloran, WL Scherlis
2nd Workshop on Open Source Software Engineering, 2002
1492002
Compilers and staging transformations
U Jørring, WL Scherlis
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986
1491986
First steps towards inferential programming
WL Scherlis, DS Scott
Program Verification, 99-133, 1993
951993
IT research, innovation, and e-government
WL Scherlis, J Eisenberg
Communications of the ACM 46 (1), 67-68, 2003
882003
Program improvement by internal specialization
WL Scherlis
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of …, 1981
851981
Stanford Pascal verifier user manual
DC Luckham, SM German, FWV Henke, RA Karp, PW Milne
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1979
831979
A debate on teaching computing science
PJ Denning
Communications of the ACM 32 (12), 1397-1414, 1989
781989
Design fragments make using frameworks easier
G Fairbanks, D Garlan, W Scherlis
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented …, 2006
722006
Promises: Limited specifications for analysis and manipulation
EC Chan, JT Boyland, WL Scherlis
Proceedings of the 20th international conference on Software engineering …, 1998
661998
Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks
A Espinosa, J Cadiz, L Rico-Gutierrez, R Kraut, W Scherlis, ...
Proceedings of the SIGCHI conference on Human factors in computing systems …, 2000
632000
The Carnegie-Mellon curriculum for undergraduate computer science
SD Brookes, M Donner, J Driscoll, M Mauldin, R Pausch, WL Scherlis, ...
Springer Science & Business Media, 2012
622012
Assuring and evolving concurrent programs: annotations and policy
A Greenhouse, WL Scherlis
Proceedings of the 24th International Conference on Software Engineering …, 2002
582002
Expression procedures and program derivation
WL Scherlis
Stanford University, 1980
491980
The system can't perform the operation now. Try again later.
Articles 1–20