We stand with Ukraine  

David Ginat

Affiliations:
  • Tel Aviv University, Israel


According to our database1, David Ginat authored at least 102 papers between 1989 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
COLORFUL CHALLENGES: Even-Odd Game.
[BibTeX]
[DOI]
David Ginat
Inroads, September, 2023

Colorful Challenges: Summation Construction.
[BibTeX]
[DOI]
David Ginat
Inroads, March, 2023

2022
Seating placement.
[BibTeX]
[DOI]
David Ginat
Inroads, 2022

COLORFUL CHALLENGES: Domino line.
[BibTeX]
[DOI]
David Ginat
Inroads, 2022

2021
COLORFUL CHALLENGES: Maximal partitions.
[BibTeX]
[DOI]
David Ginat
Inroads, 2021

Abstraction, Declarative Observations and Algorithmic Problem Solving.
[BibTeX]
[DOI]
David Ginat
Informatics Educ., 2021

2020
COLORFUL CHALLENGES: Widest inversion.
[BibTeX]
[DOI]
David Ginat
Inroads, 2020

COLORFUL CHALLENGESPermutation inversion.
[BibTeX]
[DOI]
David Ginat
Inroads, 2020

2019
COLORFUL CHALLENGES: Letter game.
[BibTeX]
[DOI]
David Ginat
Inroads, 2019

COLORFUL CHALLENGES: Fence leveling.
[BibTeX]
[DOI]
David Ginat
Inroads, 2019

2018
COLORFUL CHALLENGES: Reversing.
[BibTeX]
[DOI]
David Ginat
Inroads, 2018

COLORFUL CHALLENGES: Molecule collisions.
[BibTeX]
[DOI]
David Ginat
Inroads, 2018

2017
COLORFUL CHALLENGES: Row/column transformations II.
[BibTeX]
[DOI]
David Ginat
Inroads, 2017

COLORFUL CHALLENGES: Row/column transformations.
[BibTeX]
[DOI]
David Ginat
Inroads, 2017

Multiple Levels of Abstraction in Algorithmic Problem Solving.
[BibTeX]
[DOI]
David Ginat
,
Yoav Blau
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016
COLORFUL CHALLENGES: Linear cat & mouse game.
[BibTeX]
[DOI]
David Ginat
Inroads, 2016

COLORFUL CHALLENGES: Magic swaps.
[BibTeX]
[DOI]
David Ginat
Inroads, 2016

Demystifying Computing with Magic, part III.
[BibTeX]
[DOI]
Daniel D. Garcia
,
David Ginat
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015
Intersecting lines.
[BibTeX]
[DOI]
David Ginat
Inroads, 2015

Getting the golden coin.
[BibTeX]
[DOI]
David Ginat
Inroads, 2015

SOLO Taxonomy for Assessing Novices' Algorithmic Design.
[BibTeX]
[DOI]
David Ginat
,
Eti Menashe
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

2014
No arithmetic progression.
[BibTeX]
[DOI]
David Ginat
Inroads, 2014

Longest sum modulo-3.
[BibTeX]
[DOI]
David Ginat
Inroads, 2014

2013
Tuple transformation.
[BibTeX]
[DOI]
David Ginat
Inroads, 2013

Proving lower bound.
[BibTeX]
[DOI]
David Ginat
Inroads, 2013

Constructive use of errors in teaching CS1.
[BibTeX]
[DOI]
David Ginat
,
Ronit Shmallo
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Demystifying computing with magic, continued.
[BibTeX]
[DOI]
Daniel D. Garcia
,
David Ginat
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Novice Difficulties with Interleaved Pattern Composition.
[BibTeX]
[DOI]
David Ginat
,
Eti Menashe
,
Amal Taya
Proceedings of the Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages, 2013

2012
Rectangle cover.
[BibTeX]
[DOI]
David Ginat
Inroads, 2012

Chains and edges.
[BibTeX]
[DOI]
David Ginat
Inroads, 2012

DeMystifying computing with magic.
[BibTeX]
[DOI]
Daniel D. Garcia
,
David Ginat
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Fuzzy OOP: expanded and reduced term interpretations.
[BibTeX]
[DOI]
Ronit Shmallo
,
Noa Ragonis
,
David Ginat
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Pseudo abstract composition: the case of language concatenation.
[BibTeX]
[DOI]
David Ginat
,
Ronnie Alankry
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011
Powers-of-2 game.
[BibTeX]
[DOI]
David Ginat
Inroads, 2011

Cards shuffle.
[BibTeX]
[DOI]
David Ginat
Inroads, 2011

Transfer, Cognitive Load, and Program Design Difficulties.
[BibTeX]
[DOI]
David Ginat
,
Eyal Shifroni
,
Eti Menashe
Proceedings of the Informatics in Schools. Contributing to 21st Century Education, 2011

2010
Finish line.
[BibTeX]
[DOI]
David Ginat
Inroads, 2010

Bean transfers.
[BibTeX]
[DOI]
David Ginat
Inroads, 2010

The baffling CS notions of "as-if" and "don't-care".
[BibTeX]
[DOI]
David Ginat
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Impasse, Conflict, and Learning of CS Notions.
[BibTeX]
[DOI]
David Ginat
Proceedings of the Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools, 2010

Didactics of Introduction to Computer Science in High School.
[BibTeX]
[DOI]
Michal Armoni
,
Tamar Benaya
,
David Ginat
,
Ela Zur
Proceedings of the Teaching Fundamentals Concepts of Informatics, 4th International Conference on Informatics in Secondary Schools, 2010

2009
On the non-modular design of on-the-fly computations.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2009

Colorful challenges: The lengthy 0-1.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2009

Colorful Challenges: chips game.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2009

The Overlooked Don't-Care Notion in Algorithmic Problem Solving.
[BibTeX]
[DOI]
David Ginat
Informatics Educ., 2009

Interleaved pattern composition and scaffolded learning.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

2008
Colorful challenges: Kangaroo hops.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2008

Separating between foes.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2008

The Unfortunate Novice Theme of Direct Transformation.
[BibTeX]
[DOI]
David Ginat
Informatics Educ., 2008

Reversing: a fundamental idea in computer science.
[BibTeX]
[DOI]
Michal Armoni
,
David Ginat
Comput. Sci. Educ., 2008

Learning from wrong and creative algorithm design.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Design Disciplines and Non-specific Transfer.
[BibTeX]
[DOI]
David Ginat
Proceedings of the Informatics Education - Supporting Computational Thinking, Third International Conference on Informatics in Secondary Schools, 2008

2007
Elaborating heuristic reasoning and rigor with mathematical games.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2007

Alternating accumulation.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2007

Domino arrangements.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2007

Pattern-oriented instruction and its influence on problem decomposition and solution construction.
[BibTeX]
[DOI]
Orna Muller
,
David Ginat
,
Bruria Haberman
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Hasty design, futile patching and the elaboration of rigor.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

2006
Hidden squares.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2006

Graph cycles.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2006

Reversing: an essential heuristic in program and proof design.
[BibTeX]
[DOI]
David Ginat
,
Michal Armoni
Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

On Novices' Local Views of Algorithmic Characteristics.
[BibTeX]
[DOI]
David Ginat
Proceedings of the Informatics Education - The Bridge between Using and Understanding Computers, International Conference in Informatics in Secondary Schools, 2006

2005
Queens on a chessboard.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2005

Tuple enumeration.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2005

Randomness and probability in the early CS courses.
[BibTeX]
[DOI]
David Ginat
,
Richard J. Anderson
,
Daniel D. Garcia
,
Richard Rasala
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Is it really an algorithm: the need for explicit discourse.
[BibTeX]
[DOI]
Bruria Haberman
,
Haim Averbuch
,
David Ginat
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

2004
Helipad.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2004

Algorithmic patterns and the case of the sliding delta.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2004

On the verge of an empty tank.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2004

On Novice Loop Boundaries and Range Conceptions.
[BibTeX]
[DOI]
David Ginat
Comput. Sci. Educ., 2004

Special Issue on Import/Export Relationships to Computer Science Education Research.
[BibTeX]
[DOI]
Vicki L. Almstrum
,
Orit Hazzan
,
David Ginat
Comput. Sci. Educ., 2004

"But it looks right!": the bugs students don't see.
[BibTeX]
[DOI]
David Ginat
,
Owen L. Astrachan
,
Daniel D. Garcia
,
Mark Guzdial
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Do senior CS students capitalize on recursion?
[BibTeX]
[DOI]
David Ginat
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Embedding instructive assertions in program design.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

2003
Board reconstruction.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2003

Sorting and disorders.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2003

Seeking or Skipping Regularities? Novice Tendencies and the Role of Invariants.
[BibTeX]
[DOI]
David Ginat
Informatics Educ., 2003

The greedy trap and learning from mistakes.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

Everything you always wanted to know about game theory: but were afraid to ask.
[BibTeX]
[DOI]
Daniel D. Garcia
,
David Ginat
,
Peter B. Henderson
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

Transfer to/from computing science education: the case of science education research.
[BibTeX]
[DOI]
Vicki L. Almstrum
,
David Ginat
,
Orit Hazzan
,
John M. Clement
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

The novice programmers' syndrome of design-by-keyword.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

2002
Divisor games.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2002

Effective binary perspectives in algorithmic problem solving.
[BibTeX]
[DOI]
David Ginat
ACM J. Educ. Resour. Comput., 2002

Aha! an illuminating perspective.
[BibTeX]
[DOI]
David Ginat
,
Daniel D. Garcia
,
William I. Gasarch
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

On varying perspectives of problem decomposition.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

Import and export to/from computing science education: the case of mathematics education research.
[BibTeX]
[DOI]
Vicki L. Almstrum
,
David Ginat
,
Orit Hazzan
,
Tom Morley
Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002

2001
Striving for mathematical thinking.
[BibTeX]
[DOI]
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
,
Henry MacKay Walker
ACM SIGCSE Bull., 2001

Starting top-down, refining bottom-up, sharpening by zoom-in.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2001

Chain of permutations.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2001

Color conversion.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2001

Early Algorithm Efficiency with Design Patterns.
[BibTeX]
[DOI]
David Ginat
Comput. Sci. Educ., 2001

Colorful illustrations of algorithmic design techniques and problem solving.
[BibTeX]
[DOI]
David Ginat
,
Daniel D. Garcia
,
Owen L. Astrachan
,
Joseph Bergin
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Misleading intuition in algorithmic problem solving.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Metacognitive awareness utilized for learning control elements in algorithmic problem solving.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

2000
Placement calculations.
[BibTeX]
[DOI]
David Ginat
ACM SIGCSE Bull., 2000

Colorful examples for elaborating exploration of regularities in high-school CS1.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000

1999
Teaching recursion in a procedural environment -- how much should we emphasize the computing model?
[BibTeX]
[DOI]
David Ginat
,
Eyal Shifroni
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

Distance learning model with local workshop sessions applied to in-service teacher training.
[BibTeX]
[DOI]
Bruria Haberman
,
David Ginat
Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999

1997
Simulation game for teaching communications protocols.
[BibTeX]
[DOI]
Eyal Shifroni
,
David Ginat
Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, 1997

1996
Efficiency of algorithms for programming beginners.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

1995
Loop invariants and mathematical games.
[BibTeX]
[DOI]
David Ginat
Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1989
A Tight Amortized Bound for Path Reversal.
[BibTeX]
[DOI]
David Ginat
,
Daniel Dominic Sleator
,
Robert Endre Tarjan
Inf. Process. Lett., 1989

An Efficient Solution to the Drinking Philosophers Problem and Its Extension.
[BibTeX]
[DOI]
David Ginat
,
A. Udaya Shankar
,
Ashok K. Agrawala
Proceedings of the Distributed Algorithms, 1989


  Loading...