Owen Astrachan
Owen Astrachan
Professor of the Practice of Computer Science
Verified email at cs.duke.edu
Title
Cited by
Cited by
Year
Women in computer science: no shortage here!
M Othman, R Latih
Communications of the ACM 49 (3), 111-114, 2006
183*2006
Bubble sort: an archaeological algorithmic analysis
O Astrachan
ACM Sigcse Bulletin 35 (1), 1-5, 2003
1772003
Caching and lemmaizing in model elimination theorem provers
OL Astrachan, ME Stickel
International Conference on Automated Deduction, 224-238, 1992
1381992
Design patterns: an essential component of CS curricula
O Astrachan, G Mitchener, G Berry, L Cox
Proceedings of the twenty-ninth SIGCSE technical symposium on Computer …, 1998
1271998
The data on diversity
B Nelson
Communications of the ACM 57 (11), 86-95, 2014
120*2014
The CS principles project
O Astrachan, A Briggs
ACM Inroads 3 (2), 38-42, 2012
1012012
AAA and CS 1: the applied apprenticeship approach to CS 1
O Astrachan, D Reed
Proceedings of the twenty-sixth SIGCSE technical symposium on Computer …, 1995
951995
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
PJ Denning
Communications of the ACM 55 (12), 33-35, 2012
76*2012
Resolved: objects early has failed
O Astrachan, K Bruce, E Koffman, M Kölling, S Reges
ACM SIGCSE Bulletin 37 (1), 451-452, 2005
702005
The present and future of computational thinking
O Astrachan, S Hambrusch, J Peckham, A Settle
ACM SIGCSE Bulletin 41 (1), 549-550, 2009
632009
The CS10K project: mobilizing the community to transform high school computing
O Astrachan, J Cuny, C Stephenson, C Wilson
Proceedings of the 42nd ACM technical symposium on Computer science …, 2011
612011
METEORs: High performance theorem provers using model elimination
OL Astrachan, DW Loveland
Automated Reasoning, 31-59, 1991
531991
Animation, visualization, and interaction in CS 1 assignments
O Astrachan, SH Rodger
ACM SIGCSE Bulletin 30 (1), 317-321, 1998
521998
The internet programming contest: a report and philosophy
V Khera, O Astrachan, D Kotz
ACM SIGCSE Bulletin 25 (1), 48-52, 1993
461993
Concrete teaching: hooks and props as instructional technology
O Astrachan
Proceedings of the 6th annual conference on the teaching of computing and …, 1998
421998
Loop patterns
O Astrachan, E Wallingford
Proc. Fifth Pattern Languages of Programs Conference, Allerton Park, Illinois, 1998
411998
CS principles: piloting a new course at national scale
O Astrachan, T Barnes, DD Garcia, J Paul, B Simon, L Snyder
Proceedings of the 42nd ACM technical symposium on Computer science …, 2011
402011
The use of lemmas in the model elimination procedure
OL Astrachan, DW Loveland
Journal of Automated Reasoning 19 (1), 117-141, 1997
381997
Computer science principles: analysis of a proposed advanced placement course
A Arpaci-Dusseau, O Astrachan, D Barnett, M Bauer, M Carrell, R Dovi, ...
Proceeding of the 44th ACM technical symposium on Computer science education …, 2013
372013
Social networks generate interest in computer science
C Alt, O Astrachan, J Forbes, R Lucic, S Rodger
Proceedings of the 37th SIGCSE technical symposium on Computer science …, 2006
362006
The system can't perform the operation now. Try again later.
Articles 1–20