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
2262003
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
1351998
The CS principles project
O Astrachan, A Briggs
ACM Inroads 3 (2), 38-42, 2012
1272012
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
1041995
The present and future of computational thinking
O Astrachan, S Hambrusch, J Peckham, A Settle
ACM SIGCSE Bulletin 41 (1), 549-550, 2009
802009
Resolved: objects early has failed
O Astrachan, K Bruce, E Koffman, M Kölling, S Reges
ACM SIGCSE Bulletin 37 (1), 451-452, 2005
772005
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
702011
METEORs: High performance theorem provers using model elimination
OL Astrachan, DW Loveland
Automated Reasoning: Essays in Honor of Woody Bledsoe, 31-59, 1991
561991
Loop patterns
O Astrachan, E Wallingford
Proceedings of the Fifth Pattern Languages of Programs Conference, 1998
521998
Animation, visualization, and interaction in CS 1 assignments
O Astrachan, SH Rodger
ACM SIGCSE Bulletin 30 (1), 317-321, 1998
521998
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
492011
The internet programming contest: a report and philosophy
V Khera, O Astrachan, D Kotz
ACM SIGCSE Bulletin 25 (1), 48-52, 1993
491993
Concrete teaching: Hooks and props as instructional technology
O Astrachan
Proceedings of the 6th annual conference on the teaching of computing and …, 1998
481998
The use of lemmas in the model elimination procedure
OL Astrachan, DW Loveland
Journal of Automated Reasoning 19, 117-141, 1997
431997
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
412013
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
362004
METEOR: Exploring model elimination theorem proving
O Astrachan
Journal of Automated Reasoning 13, 283-296, 1994
311994
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