2008 |
14 | EE | Ivan Kalas,
Michal Winczer:
Informatics as a Contribution to the Modern Constructivist Education.
ISSEP 2008: 229-240 |
2007 |
13 | | Ivan Kalas,
D. Lehotska:
Exploratory Learning.
INFOS 2007: 33-44 |
2006 |
12 | EE | Ivan Kalas:
Discovering Informatics Fundamentals Through Interactive Interfaces for Learning.
ISSEP 2006: 13-24 |
2002 |
11 | | Ivan Kalas,
Andrej Blaho:
Exploring visible mathematics with IMAGINE: Building new mathematical cultures with a powerful computational system.
Learning in School, Home and Community 2002: 53-64 |
2001 |
10 | EE | Ronnie Goldstein,
Ivan Kalas,
Richard Noss,
Dave Pratt:
Building Rules.
Cognitive Technology 2001: 267-281 |
1997 |
9 | | Ivan Kalas,
Andrej Blaho:
Young students and future teachers as passengers on the Logo engine.
Secondary School Mathematics in the World of Communication Technology 1997: 41-52 |
8 | | Patrick J. Finnigan,
Richard C. Holt,
Ivan Kalas,
Scott Kerr,
Kostas Kontogiannis,
Hausi A. Müller,
John Mylopoulos,
Stephen G. Perelgut,
Martin Stanley,
Kenny Wong:
The Software Bookshelf.
IBM Systems Journal 36(4): 564-593 (1997) |
1995 |
7 | EE | Ivan Kalas:
Reliable communications in FTL.
CASCON 1995: 36 |
6 | | Eshrat Arjomandi,
William G. O'Farrell,
Ivan Kalas,
Gita Koblents,
Frank Ch. Eigler,
Guang R. Gao:
ABC++: Concurrency by Inheritance in C++.
IBM Systems Journal 34(1): 120-137 (1995) |
1994 |
5 | EE | Ivan Kalas,
Eshrat Arjomandi,
Guang R. Gao,
William G. O'Farrell:
FTL: a multithreaded environment for parallel computation.
CASCON 1994: 33 |
4 | | Andrej Blaho,
Ivan Kalas,
Monika Matusova:
Environment for Environments: A New Metaphor for Logo.
Exploring a New Partnership: Children, Teachers and Technology 1994: 153-166 |
1993 |
3 | EE | Eshrat Arjomandi,
Ivan Kalas,
William G. O'Farrell:
Concurrency abstractions in a C++ class library.
CASCON 1993: 919-932 |
2 | | Andrej Blaho,
Ivan Kalas:
Thomash the Clown's Circus: Order in Action in Picture Languages.
Informatics and Changes in Learning 1993: 79-86 |
1986 |
1 | | Ivan Kalas:
A formal model of knowledge-based systems.
IMYCS 1986: 170-181 |