Publications by Antti-Juhani Kaijanaho

A4 Refereed articles in conference proceedings

  1. Antti-Juhani Kaijanaho and Ville Tirronen: Fixed versus growth mindset does not seem to matter much: A prospective observational study in two late bachelor level computer science courses. To appear in the proceedings of ICER '18, 2018 International Computing Education Research Conference, August 13-15, 2018, Espoo, Finland, doi:10.1145/3230977.3230982 [Authors' PDF]
  2. Antti-Juhani Kaijanaho: Teaching master's degree students to read research literature: Experience in a programming languages course 2002–2017. In the proceedings of Koli Calling 2017, November 16–19, 2017, Koli, Finland; pages 143–147. [ACM DL, ACM Author-Izer] [Author's PDF] [Institutional open access copy]
  3. Antti-Juhani Kaijanaho: Concept analysis in programming language research: Done well it is all right. In the Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward'17), October 25–27, 2017, Vancouver, Canada; pages 246–259. [ACM DL, ACM Author-Izer] [Author's PDF] [Institutional open access copy] [presentation slides (PDF)]
  4. Antti-Juhani Kaijanaho: On Typechecking B. In Pekka Kilpeläinen & Niina Päivinen (Eds.), "Proceedings of the Eighth Symposium on Programming Languages and Software Tools SPLST'03, Kuopio, Finland, June 17-18, 2003", Report A/2003/1, University- of Kuopio, Department of Computer Science, Kuopio, June 2003 (10 pages). [PDF] [PDF of the slides]

G3–G4 Externally reviewed theses

  1. Antti-Juhani Kaijanaho: The extent of empirical evidence that could inform evidence-based design of programming languages: a systematic mapping study. University of Jyväskylä, 2014. Jyväskylä Licentiate Theses in Computing 18. [full text access]
  2. Antti-Juhani Kaijanaho: Evidence-based programming language design: a philosophical and methodological exploration. University of Jyväskylä, 2015. Jyväskylä Studies in Computing 222. [full text access]

Other academic material

  1. Antti-Juhani Kaijanaho and Benjamin Fallenstein: Totally Different Structural Programming: Programming Languages in ZigZag. An invited talk presented at the first international ZigZag Workshop, part of the The Twelfth ACM Conference on Hypertext and Hypermedia, in Århus, Denmark, on August 14, 2001 [HTML, PS, PDF]
  2. Antti-Juhani Kaijanaho: Muistinhallinta siivousmenetelmien avulla (Memory management using garbage collection). Bachelor's thesis at University of Jyväskylä, Department of Mathematical Information Technology, 2001. (20 pages, in Finnish) full text access
  3. Antti-Juhani Kaijanaho: The formal method known as B and a sketch for its implementation. Master's thesis, University of Jyväskylä, 2002 (154 pages). [compressed PS, PS, PDF]
  4. Antti-Juhani Kaijanaho & Tommi Kärkkäinen: Formaalit menetelmät. Jyväskylä: Jyväskylän yliopisto, tietotekniikan laitos, 2005. Luentomoniste 12. (171 pages)
  5. Jari Veijalainen, Anne Honkaranta, Niina Hämäläinen, Antti-Juhani Kaijanaho, Mikko Kiviharju, Jani Kurhinen, Kari Kärkkäinen, Oleksiy Mazhelis, Samuli Pekkoala & Jani Penttilä: Luku 14 Tietojenkäsittelyn kehittyminen ja tietoturvallisuus teoksessa "Sotatekninen arvio ja ennuste 2025 STAE 2025 osa 1: Teknologian kehitys", Puolustusvoimien teknillinen tutkimuslaitos, 2008.
  6. Antti-Juhani Kaijanaho: Ohjelmointikielten periaatteet. Jyväskylä: Jyväskylän yliiopisto, tietotekniikan laitos, 2010. Luentomoniste 16. (153 pages)

Other technical material

  1. Antti-Juhani Kaijanaho: LaTeX ja AMS-LaTeX: Opus asiatekstin ladonnasta. 1. p.: Jyväskylä: Jyväskylän yliopiston ATK-keskus, 1998. 2. korjattu p.: Jyväskylä: Jyväskylän yliopiston ATK-keskus, 2004. Käyttäjän opas 43. (180 pages, in Finnish)
  2. Antti-Juhani Kaijanaho: ZigZag - Tulevaisuuden systeemi. Systeemityölehti 2001-2, 2001.

Miscellaneous

  1. Antti-Juhani Kaijanaho: Vety - tulevaisuuden energianlähde?. S.C. - Science & Culture 1/92, 1992
  2. Antti-Juhani Kaijanaho: Evoluutio eli kuinka lajit syntyivät ja kehittyivät. S.C. - Science & Culture 1/92, 1992
  3. Antti-Juhani Kaijanaho: Tulevaisuuden eläinkunta. S.C. - Science & Culture 1/92, 1992
  4. Antti-Juhani Kaijanaho: Planeettoja aurinkokunnan ulkopuolella. S.C. - Science & Culture 1/92, 1992
  5. Antti-Juhani Kaijanaho: Hypermedia. Vihreä Elämä 1/93, 1993.
  6. Antti-Juhani Kaijanaho and Oras Tynkkynen: Maapallo ja luonnontieteet - lyhyt johdatus ympäristötuhoihin. Vihreä Elämä 1/93, 1993.
  7. Sirkka Suurla et al.: Sielujansa. Tampere: Tammes, 1993. (Poems, in Finnish)
  8. Antti-Juhani Kaijanaho: Tarvitaanko ihmistä maapallolla? Gaia pitää huolen itsestään. Vihreä Elämä 1/94, 1994.
  9. Antti-Juhani Kaijanaho: Fyysinen todellisuus: fysiikan maailmankuva ja sen kehitys (Physical World: the World-wiew of Physics and Its Development). Concluding project at the Tampere Rudolf Steiner School (WWW edition), 1997. (42 pages, in Finnish, with English abstract) [HTML]

To Antti-Juhani Kaijanaho's professional home page
To Antti-Juhani Kaijanaho's brief CV
2018-06-12 Antti-Juhani Kaijanaho