BibSLEIGH — Mordechai

Travelled to:

1 × France
1 × Ireland
1 × Israel
1 × Lithuania
1 × Poland
1 × Spain
2 × Denmark
2 × Finland
2 × Germany
2 × United Kingdom
3 × Sweden
3 × USA

Collaborated with:

∅ M.Armoni R.B.Levy Y.B.Kolikant R.Taub A.Pnueli J.Sajaniemi N.Myller E.Sutinen S.Silverman Y.Persky Y.Tzruya S.Magnenat O.Meerbaum-Salant A.L.A.Moth J.Villadsen J.Lönnberg L.Malmi S.Pollack J.Y.Halpern Z.Manna S.Klinger R.W.Sumner A.Berglund S.Booth C.Holmboe A.Moreno H.M.Walker G.Redvers-Mutton K.Mansfield J.Tarhio J.Shin F.Riedo R.Siegwart

Talks about:

program (8) concurr (5) learn (4) distribut (3) comput (3) teach (3) tool (3) educ (3) algorithm (2) softwar (2)

Person: Mordechai Ben-Ari

DBLP: Ben-Ari:Mordechai

Contributed to:

2015

2014

2013

2011

2009

2008

2007

2004

2002

2001

2000

1999

1998

1997

1982

1981

Wrote 29 papers:

ITiCSE-2015-Ben-Ari #programming: In Defense of Programming (MBA), p. 2.
ITiCSE-2015-MagnenatBKS #artificial reality #feedback #programming #visual notation: Enhancing Robot Programming with Visual Feedback and Augmented Reality (SM, MBA, SK, RWS), pp. 153–158.
ITiCSE-2014-MagnenatSRSB #concept #education: Teaching a core CS concept through robotics (SM, JS, FR, RS, MBA), pp. 315–320.
ITiCSE-2014-TaubBA #learning #physics: The effect of computer science on the learning of computational physics (RT, MBA, MA), p. 352.
SAT-2013-Ben-Ari #education #named #satisfiability: LearnSAT: A SAT Solver for Education (MBA), pp. 403–407.
ITiCSE-2011-Meerbaum-SalantAB #programming: Habits of programming in scratch (OMS, MA, MBA), pp. 168–172.
ITiCSE-2011-MothVB #learning #named #syntax: SyntaxTrain: relieving the pain of learning syntax (ALAM, JV, MBA), p. 387.
VISSOFT-2011-LonnbergBM #concurrent #dependence #graph #source code #visualisation: Visualising concurrent programs with dynamic dependence graphs (JL, MBA, LM), pp. 1–4.
ITiCSE-2009-TaubBA #student: The effect of CS unplugged on middle-school students’ views of CS (RT, MBA, MA), pp. 99–103.
ITiCSE-2008-LevyB #behaviour #tool support: Perceived behavior control and its influence on the adoption of software tools (RBBL, MBA), pp. 169–173.
ITiCSE-2007-Ben-Ari #concurrent #education #nondeterminism: Teaching concurrency and nondeterminism with spin (MBA), pp. 363–364.
ITiCSE-2007-LevyB #education #tool support: We work so hard and they don’t use it: acceptance of software tools by teachers (RBBL, MBA), pp. 246–250.
ITiCSE-2004-Ben-Ari #concurrent #education #tool support: A suite of tools for teaching concurrency (MBA), p. 251.
ITiCSE-2004-Ben-AriBBH #education #question #research #what: What do we mean by theoretically sound research in computer science education? (MBA, AB, SB, CH), pp. 230–231.
ITiCSE-2004-Ben-AriS: Roles of variables as seen by CS educators (MBA, JS), pp. 52–56.
ITiCSE-2004-MorenoMBS #animation: Program animation in jeliot 3 (AM, NM, MBA, ES), p. 265.
ITiCSE-2002-Ben-AriWRM: Writing a textbook (MBA, HMW, GRM, KM), pp. 94–95.
SVIS-2001-Ben-AriMST #animation: Perspectives on Program Animation with Jeliot (MBA, NM, ES, JT), pp. 31–45.
ITiCSE-2000-KolikantBP: The anthropology semaphores (YBDK, MBA, SP), pp. 21–24.
ITiCSE-1999-Ben-AriK #concurrent #learning #parallel #process: Thinking parallel: the process of learning concurrency (MBA, YBDK), pp. 13–16.
ITiCSE-1999-Ben-AriS #distributed #named #programming: DPLab: an environment for distributed programming (MBA, SS), pp. 91–94.
AdaEurope-1998-Ben-Ari #multi: Synchronizing Multiple Clients and Servers (MBA), pp. 41–52.
ITiCSE-1998-PerskyB #concurrent #re-engineering: Re-engineering a concurrency simulator (YP, MBA), pp. 185–188.
SIGAda-1998-TzruyaB #distributed #implementation #java: A Portable Implementation of the Distributed Systems Annex in Java (YT, MBA), pp. 204–211.
ITiCSE-1997-Ben-Ari #algorithm #distributed #java: Distributed algorithms in Java (MBA), pp. 62–64.
ICALP-1982-Ben-Ari #algorithm #garbage collection #on the fly #proving: On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs (MBA), pp. 14–22.
ICALP-1981-Ben-AriHP #finite #logic #modelling: Finite Models for Deterministic Propositional Dynamic Logic (MBA, JYH, AP), pp. 249–263.
POPL-1981-Ben-AriMP #branch #logic: The Temporal Logic of Branching Time (MBA, ZM, AP), pp. 164–176.