Mordechai Ben-Ari Vis

*	2009
43	EE	Mordechai Ben-Ari: Tool Presentation: Teaching Concurrency and Model Checking. SPIN 2009: 6-11
	2008
42	EE	Ronit Ben-Bassat Levy, Mordechai Ben-Ari: Perceived behavior control and its influence on the adoption of software tools. ITiCSE 2008: 169-173
41	EE	Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari: Teaching students to think nondeterministically. SIGCSE 2008: 4-8
	2007
40	EE	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: 246-250
39	EE	Mordechai Ben-Ari: Teaching concurrency and nondeterminism with spin. ITiCSE 2007: 363-364
	2006
38	EE	Mordechai Ben-Ari, Tzippora Yeshno: Conceptual models of software artifacts. Interacting with Computers 18(6): 1336-1350 (2006)
37	EE	Mordechai Ben-Ari: McKinley's Amazon. SIGCSE Bulletin 38(4): 75-77 (2006)
	2005
36	EE	Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus: Computer architecture and mental models. SIGCSE 2005: 101-105
35	EE	Mordechai Ben-Ari: The concorde doesn't fly anymore. SIGCSE 2005: 196
34	EE	Noa Ragonis, Mordechai Ben-Ari: On understanding the statics and dynamics of object-oriented programs. SIGCSE 2005: 226-230
33	EE	Mordechai Ben-Ari: Minesweeper as an NP-complete problem. SIGCSE Bulletin 37(4): 39-40 (2005)
	2004
32	EE	Andrés Moreno, Niko Myller, Erkki Sutinen, Mordechai Ben-Ari: Visualizing programs with Jeliot 3. AVI 2004: 373-376
31	EE	Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe: What do we mean by theoretically sound research in computer science education? ITiCSE 2004: 230-231
30	EE	Mordechai Ben-Ari: A suite of tools for teaching concurrency. ITiCSE 2004: 251
29	EE	Andrés Moreno, Niko Myller, Mordechai Ben-Ari, Erkki Sutinen: Program animation in jeliot 3. ITiCSE 2004: 265
28	EE	Mordechai Ben-Ari, Jorma Sajaniemi: Roles of variables as seen by CS educators. ITiCSE 2004: 52-56
27	EE	Mordechai Ben-Ari: The concorde doesn't fly anymore. SIGCSE 2004: 1
26	EE	Ahuva Tikvati, Mordechai Ben-Ari, Yifat Ben-David Kolikant: Virtual trees for the byzantine generals algorithm. SIGCSE 2004: 392-396
	2003
25	EE	Ronit Ben-Bassat Levy, Mordechai Ben-Ari, Pekka A. Uronen: The Jeliot 2000 program animation system. Computers & Education 40(1): 1-15 (2003)
	2002
24	EE	Mordechai Ben-Ari, Henry MacKay Walker, Gaynor Redvers-Mutton, Keith Mansfield: Writing a textbook. ITiCSE 2002: 94-95
	2001
23	EE	Mordechai Ben-Ari, Niko Myller, Erkki Sutinen, Jorma Tarhio: Perspectives on Program Animation with Jeliot. Software Visualization 2001: 31-45
22		Mordechai Ben-Ari: Interactive execution of distributed algorithms. ACM Journal of Educational Resources in Computing 1(2): 2 (2001)
21	EE	Mordechai Ben-Ari, Alan Burns: Extreme Interleavings. IEEE Distributed Systems Online 2(1): (2001)
20	EE	Mordechai Ben-Ari: The bug that destroyed a rocket. SIGCSE Bulletin 33(2): 58-59 (2001)
	2000
19	EE	Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari: Formal Verification of the Ricart-Agrawala Algorithm. FSTTCS 2000: 325-335
	1998
18	EE	Mordechai Ben-Ari: Synchronizing Multiple Clients and Servers. Ada-Europe 1998: 41-52
17	EE	Yoav Tzruya, Mordechai Ben-Ari: A Portable Implementation of the Distributed Systems Annex in Java. SIGAda 1998: 204-211
16	EE	Mordechai Ben-Ari: Constructivism in computer science education. SIGCSE 1998: 257-261
15		Mordechai Ben-Ari: How to solve the Santa Claus problem. Concurrency - Practice and Experience 10(6): 485-496 (1998)
14		Mordechai Ben-Ari: Teaching Object-Oriented Programming in Ada. JOOP 11(6): 39-45 (1998)
	1996
13	EE	Mordechai Ben-Ari: Using inheritance to implement concurrency. SIGCSE 1996: 180-184
	1986
12		Mordechai Ben-Ari: Foreet: A Tool for Design and Documentation of Fortran Programs. Softw., Pract. Exper. 16(10): 915-924 (1986)
	1984
11	EE	Mordechai Ben-Ari: Algorithms for On-the-fly Garbage Collection. ACM Trans. Program. Lang. Syst. 6(3): 333-344 (1984)
	1983
10		Mordechai Ben-Ari, Amir Pnueli, Zohar Manna: The Temporal Logic of Branching Time. Acta Inf. 20: 207-226 (1983)
	1982
9	EE	Mordechai Ben-Ari: On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. ICALP 1982: 14-22
8		Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli: Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. J. Comput. Syst. Sci. 25(3): 402-417 (1982)
	1981
7	EE	Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli: Finite Models for Deterministic Propositional Dynamic Logic. ICALP 1981: 249-263
6		Mordechai Ben-Ari, Zohar Manna, Amir Pnueli: The Temporal Logic of Branching Time. POPL 1981: 164-176
5		Mordechai Ben-Ari: Cheap Concurrent Programming. Softw., Pract. Exper. 11(12): 1261-1264 (1981)
	1980
4		Mordechai Ben-Ari: A Simplified Proof That Regular Resolution is Exponential. Inf. Process. Lett. 10(2): 96-98 (1980)
3		Mordechai Ben-Ari: Comments on "Tautology Testing with a Generalized Matrix Reduction Method". Theor. Comput. Sci. 11: 341 (1980)
	1979
2		Mordechai Ben-Ari: On Transposing Large 2n × 2n Matrices. IEEE Trans. Computers 28(1): 72-75 (1979)
	1978
1		Mordechai Ben-Ari: Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. Acta Inf. 10: 117-125 (1978)

Coauthor Index

1	Michal Armoni	[41]
2	Anders Berglund	[31]
3	Shirley Booth	[31]
4	Alan Burns	[21]
5	Tommy Dreyfus	[36]
6	Joseph Y. Halpern	[7] [8]
7	Christian Holmboe	[31]
8	Yifat Ben-David Kolikant	[26]
9	Ronit Ben-Bassat Levy	[25] [40] [42]
10	Noa Lewenstein	[41]
11	Zohar Manna	[6] [10]
12	Keith Mansfield	[24]
13	Andrés Moreno	[29] [32]
14	Niko Myller	[23] [29] [32]
15	Amir Pnueli	[6] [7] [8] [10] [19]
16	Noa Ragonis	[34]
17	Gaynor Redvers-Mutton	[24]
18	Jorma Sajaniemi	[28]
19	Ekaterina Sedletsky	[19]
20	Erkki Sutinen	[23] [29] [32]
21	Jorma Tarhio	[23]
22	Ahuva Tikvati	[26]
23	Yoav Tzruya	[17]
24	Pekka A. Uronen	[25]
25	Henry MacKay Walker	[24]
26	Cecile Yehezkel	[36]
27	Tzippora Yeshno	[38]

Colors in the list of coauthors