An Efficient Solution to the Drinking Philosophers Problem and Its Extension. - David Ginat; A. Udaya Shankar; Ashok K. Agrawala (WDAG, 1989)

A Tight Amortized Bound for Path Reversal. - David Ginat; Daniel Dominic Sleator; Robert Endre Tarjan (Inf. Process. Lett., 1989)

Loop invariants and mathematical games. - David Ginat (SIGCSE, 1995)

Efficiency of algorithms for programming beginners. - David Ginat (SIGCSE, 1996)

Simulation game for teaching communications protocols. - Eyal Shifroni; David Ginat (SIGCSE, 1997)

Distance learning model with local workshop sessions applied to in-service teacher training. - Bruria Haberman; David Ginat (ITiCSE, 1999)

Teaching recursion in a procedural environment – how much should we emphasize the computing model? - David Ginat; Eyal Shifroni (SIGCSE, 1999)

Colorful examples for elaborating exploration of regularities in high-school CS1. - David Ginat (ITiCSE, 2000)

Placement calculations. - David Ginat (ACM SIGCSE Bull., 2000)

Metacognitive awareness utilized for learning control elements in algorithmic problem solving. - David Ginat (ITiCSE, 2001)

Misleading intuition in algorithmic problem solving. - David Ginat (SIGCSE, 2001)

Colorful illustrations of algorithmic design techniques and problem solving. - David Ginat; Daniel D. Garcia; Owen L. Astrachan; Joseph Bergin (SIGCSE, 2001)

Early Algorithm Efficiency with Design Patterns. - David Ginat (Comput. Sci. Educ., 2001)

Color conversion. - David Ginat (ACM SIGCSE Bull., 2001)

Chain of permutations. - David Ginat (ACM SIGCSE Bull., 2001)

Starting top-down, refining bottom-up, sharpening by zoom-in. - David Ginat (ACM SIGCSE Bull., 2001)

Striving for mathematical thinking. - Peter B. Henderson; Doug Baldwin; Venu Dasigi; Marcel Dupras; Jane Fritz; David Ginat; Don Goelman; John Hamer; Lewis E. Hitchner; Will Lloyd; Bill Marion; Charles Riedesel; et al. (ACM SIGCSE Bull., 2001)

Import and export to/from computing science education: the case of mathematics education research. - Vicki L. Almstrum; David Ginat; Orit Hazzan; Tom Morley (ITiCSE, 2002)

On varying perspectives of problem decomposition. - David Ginat (SIGCSE, 2002)

Aha! an illuminating perspective. - David Ginat; Daniel D. Garcia; William I. Gasarch (SIGCSE, 2002)

Effective binary perspectives in algorithmic problem solving. - David Ginat (ACM J. Educ. Resour. Comput., 2002)

Divisor games. - David Ginat (ACM SIGCSE Bull., 2002)

The novice programmers' syndrome of design-by-keyword. - David Ginat (ITiCSE, 2003)

Transfer to/from computing science education: the case of science education research. - Vicki L. Almstrum; David Ginat; Orit Hazzan; John M. Clement (SIGCSE, 2003)

Everything you always wanted to know about game theory: but were afraid to ask. - Daniel D. Garcia; David Ginat; Peter B. Henderson (SIGCSE, 2003)

The greedy trap and learning from mistakes. - David Ginat (SIGCSE, 2003)

Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants. - David Ginat (Informatics Educ., 2003)

Sorting and disorders. - David Ginat (ACM SIGCSE Bull., 2003)

Board reconstruction. - David Ginat (ACM SIGCSE Bull., 2003)

Embedding instructive assertions in program design. - David Ginat (ITiCSE, 2004)

Do senior CS students capitalize on recursion? - David Ginat (ITiCSE, 2004)

"But it looks right!": the bugs students don't see. - David Ginat; Owen L. Astrachan; Daniel D. Garcia; Mark Guzdial (SIGCSE, 2004)

Special Issue on Import/Export Relationships to Computer Science Education Research. - Vicki L. Almstrum; Orit Hazzan; David Ginat (Comput. Sci. Educ., 2004)

On Novice Loop Boundaries and Range Conceptions. - David Ginat (Comput. Sci. Educ., 2004)

On the verge of an empty tank. - David Ginat (ACM SIGCSE Bull., 2004)

Algorithmic patterns and the case of the sliding delta. - David Ginat (ACM SIGCSE Bull., 2004)

Helipad. - David Ginat (ACM SIGCSE Bull., 2004)

Is it really an algorithm: the need for explicit discourse. - Bruria Haberman; Haim Averbuch; David Ginat (ITiCSE, 2005)

Randomness and probability in the early CS courses. - David Ginat; Richard Anderson 001; Daniel D. Garcia; Richard Rasala (SIGCSE, 2005)

Tuple enumeration. - David Ginat (ACM SIGCSE Bull., 2005)

Queens on a chessboard. - David Ginat (ACM SIGCSE Bull., 2005)

On Novices' Local Views of Algorithmic Characteristics. - David Ginat (ISSEP, 2006)

Reversing: an essential heuristic in program and proof design. - David Ginat; Michal Armoni (SIGCSE, 2006)

Graph cycles. - David Ginat (ACM SIGCSE Bull., 2006)

Hidden squares. - David Ginat (ACM SIGCSE Bull., 2006)

Hasty design, futile patching and the elaboration of rigor. - David Ginat (ITiCSE, 2007)

Pattern-oriented instruction and its influence on problem decomposition and solution construction. - Orna Muller; David Ginat; Bruria Haberman (ITiCSE, 2007)

Domino arrangements. - David Ginat (ACM SIGCSE Bull., 2007)

Alternating accumulation. - David Ginat (ACM SIGCSE Bull., 2007)

Elaborating heuristic reasoning and rigor with mathematical games. - David Ginat (ACM SIGCSE Bull., 2007)

Design Disciplines and Non-specific Transfer. - David Ginat (ISSEP, 2008)

Learning from wrong and creative algorithm design. - David Ginat (SIGCSE, 2008)

Reversing: a fundamental idea in computer science. - Michal Armoni; David Ginat (Comput. Sci. Educ., 2008)

The Unfortunate Novice Theme of Direct Transformation. - David Ginat (Informatics Educ., 2008)

Separating between foes. - David Ginat (ACM SIGCSE Bull., 2008)

Colorful challenges: Kangaroo hops. - David Ginat (ACM SIGCSE Bull., 2008)

Interleaved pattern composition and scaffolded learning. - David Ginat (ITiCSE, 2009)

The Overlooked Don't-Care Notion in Algorithmic Problem Solving. - David Ginat (Informatics Educ., 2009)

Colorful Challenges: chips game. - David Ginat (ACM SIGCSE Bull., 2009)

Colorful challenges: The lengthy 0-1. - David Ginat (ACM SIGCSE Bull., 2009)

On the non-modular design of on-the-fly computations. - David Ginat (ACM SIGCSE Bull., 2009)

Didactics of Introduction to Computer Science in High School. - Michal Armoni; Tamar Benaya; David Ginat; Ela Zur (ISSEP, 2010)

Impasse, Conflict, and Learning of CS Notions. - David Ginat (ISSEP, 2010)

The baffling CS notions of "as-if" and "don't-care". - David Ginat (SIGCSE, 2010)

Bean transfers. - David Ginat (Inroads, 2010)

Finish line. - David Ginat (Inroads, 2010)

Transfer, Cognitive Load, and Program Design Difficulties. - David Ginat; Eyal Shifroni; Eti Menashe (ISSEP, 2011)

Cards shuffle. - David Ginat (Inroads, 2011)

Powers-of-2 game. - David Ginat (Inroads, 2011)

Pseudo abstract composition: the case of language concatenation. - David Ginat; Ronnie Alankry (ITiCSE, 2012)

Fuzzy OOP: expanded and reduced term interpretations. - Ronit Shmallo; Noa Ragonis; David Ginat (ITiCSE, 2012)

DeMystifying computing with magic. - Daniel D. Garcia; David Ginat (SIGCSE, 2012)

Chains and edges. - David Ginat (Inroads, 2012)

Rectangle cover. - David Ginat (Inroads, 2012)

Novice Difficulties with Interleaved Pattern Composition. - David Ginat; Eti Menashe; Amal Taya (ISSEP, 2013)

Demystifying computing with magic, continued. - Daniel D. Garcia; David Ginat (SIGCSE, 2013)

Constructive use of errors in teaching CS1. - David Ginat; Ronit Shmallo (SIGCSE, 2013)

Proving lower bound. - David Ginat (Inroads, 2013)

Tuple transformation. - David Ginat (Inroads, 2013)

Longest sum modulo-3. - David Ginat (Inroads, 2014)

No arithmetic progression. - David Ginat (Inroads, 2014)

SOLO Taxonomy for Assessing Novices' Algorithmic Design. - David Ginat; Eti Menashe (SIGCSE, 2015)

Getting the golden coin. - David Ginat (Inroads, 2015)

Intersecting lines. - David Ginat (Inroads, 2015)

Demystifying Computing with Magic, part III. - Daniel D. Garcia; David Ginat (SIGCSE, 2016)

COLORFUL CHALLENGES: Magic swaps. - David Ginat (Inroads, 2016)

COLORFUL CHALLENGES: Linear cat & mouse game. - David Ginat (Inroads, 2016)

Multiple Levels of Abstraction in Algorithmic Problem Solving. - David Ginat; Yoav Blau (SIGCSE, 2017)

COLORFUL CHALLENGES: Row/column transformations. - David Ginat (Inroads, 2017)

COLORFUL CHALLENGES: Row/column transformations II. - David Ginat (Inroads, 2017)

COLORFUL CHALLENGES: Molecule collisions. - David Ginat (Inroads, 2018)

COLORFUL CHALLENGES: Reversing. - David Ginat (Inroads, 2018)

COLORFUL CHALLENGES: Fence leveling. - David Ginat (Inroads, 2019)

COLORFUL CHALLENGES: Letter game. - David Ginat (Inroads, 2019)

COLORFUL CHALLENGESPermutation inversion. - David Ginat (Inroads, 2020)

COLORFUL CHALLENGES: Widest inversion. - David Ginat (Inroads, 2020)

Abstraction, Declarative Observations and Algorithmic Problem Solving. - David Ginat (Informatics Educ., 2021)

COLORFUL CHALLENGES: Maximal partitions. - David Ginat (Inroads, 2021)

COLORFUL CHALLENGES: Domino line. - David Ginat (Inroads, 2022)

Seating placement. - David Ginat (Inroads, 2022)

Colorful Challenges: Summation Construction. - David Ginat (Inroads, 2023)

COLORFUL CHALLENGES: Even-Odd Game. - David Ginat (Inroads, 2023)

CHALLENGES: Card Magic. - David Ginat (Inroads, 2025)