BibSonomy :: author  ::

bookmarks

publications

(25)

• On the role of proofs in a course on design and analysis of algorithms.
  Michal Armoni SIGCSE Bulletin 38 39-42 (2006)
  to dblp by dblp on 2008-06-27 00:00:00
  | URL | BibTeX  
• Teaching students to think nondeterministically.
  Michal Armoni and Noa Lewenstein and Mordechai Ben-Ari SIGCSE 4-8 (2008)
  to dblp by dblp on 2008-04-22 00:00:00
  | URL | BibTeX  
• On the achievements of high school students studying computational models.
  Michal Armoni and Judith Gal-Ezer ITiCSE 17-21 (2004)
  to dblp by dblp on 2008-04-17 00:00:00
  | URL | BibTeX  
• Reductive thinking: how to teach it?
  Michal Armoni ITiCSE 280 (2004)
  to dblp by dblp on 2008-04-17 00:00:00
  | URL | BibTeX  
• Deeper Bound in BMC by Combining Constant Propagation and Abstraction.
  Roy Armoni and Limor Fix and Ranan Fraer and Tamir Heyman and Moshe Y. Vardi and Yakir Vizel and Yael Zbar ASP-DAC 304-309 (2007)
  to dblp by dblp on 2007-12-02 00:00:00
  | URL | BibTeX  
• AVPGEN-A test generator for architecture verification.
  Ashok K. Chandra and Vijay S. Iyengar and D. Jameson and R. V. Jawalekar and Indira Nair and Barry K. Rosen and Michael P. Mullen and J. Yoon and R. Armoni and Daniel Geist and Yaron Wolfsthal IEEE Trans. VLSI Syst. 3 188-200 (1995)
  to dblp by dblp on 2007-11-12 00:00:00
  | URL | BibTeX  
• Reductive thinking in undergraduate CS courses.
  Michal Armoni and Judith Gal-Ezer ITiCSE 362 (2005)
  to dblp by dblp on 2007-08-27 00:00:00
  | URL | BibTeX  
• Reductive thinking in undergraduate CS courses.
  Michal Armoni and Judith Gal-Ezer and Orit Hazzan ITiCSE 133-137 (2006)
  to dblp by dblp on 2007-08-24 00:00:00
  | URL | BibTeX  
• Automata theory: its relevance to computer science students and course contents.
  M. Armoni and S. Rodger and Moshe Y. Vardi and R. Verma SIGCSE 197-198 (2006)
  to dblp by dblp on 2007-04-24 00:00:00
  | URL | BibTeX  
• Reversing: an essential heuristic in program and proof design.
  David Ginat and Michal Armoni SIGCSE 469-473 (2006)
  to dblp by dblp on 2007-04-24 00:00:00
  | URL | BibTeX