Follow
Owen Astrachan
Owen Astrachan
Professor of the Practice of Computer Science
Verified email at cs.duke.edu
Title
Cited by
Cited by
Year
Bubble sort: an archaeological algorithmic analysis
O Astrachan
ACM Sigcse Bulletin 35 (1), 1-5, 2003
2002003
Caching and lemmaizing in model elimination theorem provers
OL Astrachan, ME Stickel
International Conference on Automated Deduction, 224-238, 1992
1411992
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
1321998
The CS principles project
O Astrachan, A Briggs
ACM Inroads 3 (2), 38-42, 2012
1192012
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
981995
Resolved: objects early has failed
O Astrachan, K Bruce, E Koffman, M Kölling, S Reges
ACM SIGCSE Bulletin 37 (1), 451-452, 2005
712005
The present and future of computational thinking
O Astrachan, S Hambrusch, J Peckham, A Settle
ACM SIGCSE Bulletin 41 (1), 549-550, 2009
682009
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
642011
Animation, visualization, and interaction in CS 1 assignments
O Astrachan, SH Rodger
ACM SIGCSE Bulletin 30 (1), 317-321, 1998
541998
METEORs: High performance theorem provers using model elimination
OL Astrachan, DW Loveland
Automated Reasoning, 31-59, 1991
531991
Loop patterns
O Astrachan, E Wallingford
Proceedings of the Fifth Pattern Languages of Programs Conference, 1998
501998
The internet programming contest: a report and philosophy
V Khera, O Astrachan, D Kotz
ACM SIGCSE Bulletin 25 (1), 48-52, 1993
471993
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
452011
Concrete teaching: hooks and props as instructional technology
O Astrachan
Proceedings of the 6th annual conference on the teaching of computing and …, 1998
451998
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
422013
The use of lemmas in the model elimination procedure
OL Astrachan, DW Loveland
Journal of Automated Reasoning 19 (1), 117-141, 1997
381997
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
Non-competitive programming contest problems as the basis for just-in-time teaching
OL Astrachan
34th Annual Frontiers in Education, 2004. FIE 2004., T3H/20-T3H/24 Vol. 1, 2004
342004
Computer Science Tapestry: Exploring Programming and Computer Science
OL Astrachan
McGraw-Hill, Inc., 1996
321996
Bringing extreme programming to the classroom
O Astrachan, RC Duvall, E Wallingford
XP universe 2001, 2001
302001
The system can't perform the operation now. Try again later.
Articles 1–20