| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rivka Taub, Michal Armoni, Mordechai Ben-Ari |
CS Unplugged and Middle-School Students' Views, Attitudes, and Intentions Regarding CS.  |
TOCE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Non-myths about programming. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Roman Bednarik, Ronit Ben-Bassat Levy, Gil Ebel, Andrés Moreno, Niko Myller, Erkki Sutinen |
A decade of research and development on program animation: The Jeliot experience. |
J. Vis. Lang. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari |
Habits of programming in scratch. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Leon Aagaard Moth, Jørgen Villadsen, Mordechai Ben-Ari |
SyntaxTrain: relieving the pain of learning syntax. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi |
Java replay for dependence-based debugging. |
PADTAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi |
Visualising concurrent programs with dynamic dependence graphs. |
VISSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Objects never?: well, hardly ever! |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari |
Learning computer science concepts with scratch. |
ICER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Non-myths about programming. |
ICER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Niko Myller, Roman Bednarik, Erkki Sutinen, Mordechai Ben-Ari |
Extending the Engagement Taxonomy: Software Visualization and Collaborative Learning. |
TOCE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Armoni, Mordechai Ben-Ari |
The concept of nondeterminism: its development and implications for teaching. |
SIGCSE Bulletin |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Ada for Software Engineers - second edition with Ada 2005 (2. ed.). |
|
2009 |
DOI RDF |
|
| 1 | Rivka Taub, Mordechai Ben-Ari, Michal Armoni |
The effect of CS unplugged on middle-school students' views of CS. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
K-12 instruction, computer science unplugged, views, attitudes |
| 1 | Mordechai Ben-Ari |
Tool Presentation: Teaching Concurrency and Model Checking. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Principles of the spin model checker. |
|
2008 |
DOI RDF |
|
| 1 | Ronit Ben-Bassat Levy, Mordechai Ben-Ari |
Perceived behavior control and its influence on the adoption of software tools. |
ITiCSE |
2008 |
DBLP DOI BibTeX RDF |
jeliot, program animation, theory of planned behavior |
| 1 | Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari |
Teaching students to think nondeterministically. |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
nondeterministic automata, nondeterminism |
| 1 | Ronit Ben-Bassat Levy, Mordechai Ben-Ari |
We work so hard and they don't use it: acceptance of software tools by teachers. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
teachers and changes, program animation, phenomenography |
| 1 | Mordechai Ben-Ari |
Teaching concurrency and nondeterminism with spin. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
visualization, verification, concurrency, spin |
| 1 | Mordechai Ben-Ari, Tzippora Yeshno |
Conceptual models of software artifacts. |
Interacting with Computers |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
McKinley's Amazon. |
SIGCSE Bulletin |
2006 |
DBLP DOI BibTeX RDF |
history of technology, customer service, ecommerce |
| 1 | Mordechai Ben-Ari |
Minesweeper as an NP-complete problem. |
SIGCSE Bulletin |
2005 |
DBLP DOI BibTeX RDF |
minesweeper, NP-complete, SAT |
| 1 | Mordechai Ben-Ari |
The concorde doesn't fly anymore. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus |
Computer architecture and mental models. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
computer architecture education, visualization, mental models |
| 1 | Noa Ragonis, Mordechai Ben-Ari |
On understanding the statics and dynamics of object-oriented programs. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
program flow, visualization, object-oriented programming, BlueJ |
| 1 | Andrés Moreno, Niko Myller, Mordechai Ben-Ari, Erkki Sutinen |
Program animation in jeliot 3. |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
jeliot, teaching object-oriented programming, program visualization |
| 1 | Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe |
What do we mean by theoretically sound research in computer science education? |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
research approaches, socio-cultural research perspective, computer science education, action research, phenomenography, cognitive theories |
| 1 | Mordechai Ben-Ari, Jorma Sajaniemi |
Roles of variables as seen by CS educators. |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
A suite of tools for teaching concurrency. |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
byzantine generals, model checking, SPIN, concurrency simulators |
| 1 | Andrés Moreno, Niko Myller, Erkki Sutinen, Mordechai Ben-Ari |
Visualizing programs with Jeliot 3. |
AVI |
2004 |
DBLP DOI BibTeX RDF |
program visualization, novice programming |
| 1 | Ahuva Tikvati, Mordechai Ben-Ari, Yifat Ben-David Kolikant |
Virtual trees for the byzantine generals algorithm. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
byzantine generals, visualization of algorithms, distributed algorithms |
| 1 | Mordechai Ben-Ari |
The concorde doesn't fly anymore. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronit Ben-Bassat Levy, Mordechai Ben-Ari, Pekka A. Uronen |
The Jeliot 2000 program animation system. |
Computers & Education |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Henry MacKay Walker, Gaynor Redvers-Mutton, Keith Mansfield |
Writing a textbook. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Alan Burns |
Extreme Interleavings. |
IEEE Distributed Systems Online |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Interactive execution of distributed algorithms. |
ACM Journal of Educational Resources in Computing |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
The bug that destroyed a rocket. |
SIGCSE Bulletin |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Mathematical logic for computer science (2. ed.). |
|
2001 |
RDF |
|
| 1 | Mordechai Ben-Ari, Niko Myller, Erkki Sutinen, Jorma Tarhio |
Perspectives on Program Animation with Jeliot. |
Software Visualization |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
How to Get a Good Review. |
SIGCSE Bulletin |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifat Ben-David Kolikant, Mordechai Ben-Ari, Sarah Pollack |
The anthropology semaphores. |
ITiCSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari |
Formal Verification of the Ricart-Agrawala Algorithm. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Yifat Ben-David Kolikant |
Thinking parallel: the process of learning concurrency. |
ITiCSE |
1999 |
DBLP DOI BibTeX RDF |
concurrency, distributed programming, mental models |
| 1 | Mordechai Ben-Ari, Shawn Silverman |
DPLab: an environment for distributed programming. |
ITiCSE |
1999 |
DBLP DOI BibTeX RDF |
Java, distributed programming |
| 1 | Mordechai Ben-Ari |
How to solve the Santa Claus problem. |
Concurrency - Practice and Experience |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Teaching Object-Oriented Programming in Ada. |
JOOP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Noa Ragonis, Ehud Y. Shapiro, Mordechai Ben-Ari, Zahava Scherz |
Development, implementation and evaluation of a course in expert systems for high-school students (poster). |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakov Persky, Mordechai Ben-Ari |
Re-engineering a concurrency simulator. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
Ada, virtual machine, Ada 95, compiler design, concurrency simulator |
| 1 | Mordechai Ben-Ari |
Synchronizing Multiple Clients and Servers. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoav Tzruya, Mordechai Ben-Ari |
A Portable Implementation of the Distributed Systems Annex in Java. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, distributed systems, Ada, Ada95 |
| 1 | Mordechai Ben-Ari |
Constructivism in computer science education. |
SIGCSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Kevlin Henney |
A critique of the advanced placement C++ subset. |
SIGCSE Bulletin |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Distributed algorithms in Java. |
ITiCSE |
1997 |
DBLP DOI BibTeX RDF |
Java, HTML |
| 1 | Mordechai Ben-Ari |
Using inheritance to implement concurrency. |
SIGCSE |
1996 |
DBLP DOI BibTeX RDF |
object-oriented programming, concurrent programming |
| 1 | Mordechai Ben-Ari |
Mathematical logic for computer science. |
|
1993 |
RDF |
|
| 1 | Mordechai Ben-Ari |
Principles of concurrent and distributed programming. |
|
1990 |
RDF |
|
| 1 | Mordechai Ben-Ari |
Foreet: A Tool for Design and Documentation of Fortran Programs. |
Softw., Pract. Exper. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Grundlagen der Parallel-Programmierung. |
|
1985 |
RDF |
|
| 1 | Mordechai Ben-Ari |
Algorithms for On-the-fly Garbage Collection. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Amir Pnueli, Zohar Manna |
The Temporal Logic of Branching Time. |
Acta Inf. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli |
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. |
J. Comput. Syst. Sci. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Principles of concurrent programming. |
|
1982 |
RDF |
|
| 1 | Mordechai Ben-Ari |
On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Cheap Concurrent Programming. |
Softw., Pract. Exper. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli |
Finite Models for Deterministic Propositional Dynamic Logic. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari, Zohar Manna, Amir Pnueli |
The Temporal Logic of Branching Time. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
A Simplified Proof That Regular Resolution is Exponential. |
Inf. Process. Lett. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
Comments on "Tautology Testing with a Generalized Matrix Reduction Method". |
Theor. Comput. Sci. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Mordechai Ben-Ari |
On Transposing Large 2n × 2n Matrices. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
two-dimensional FFT, externally stored matrices, large matrices, transportation algorithm, Digital image processing |
| 1 | Mordechai Ben-Ari |
Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. |
Acta Inf. |
1978 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")