@article{Schwill2001,
  author    = {Schwill, Andreas},
  title     = {Gedanken zur Lehramtsausbildung Informatik},
  isbn      = {3-85133-022-6},
  year      = {2001},
  language  = {de}
}
@article{Schwill1997,
  author    = {Schwill, Andreas},
  title     = {Grafische Datenverarbeitung : eine fruchtbare Verbindung von Mathematik und Informatik},
  year      = {1997},
  language  = {de}
}
@article{VolkmannLinkeWaschulziketal.1998,
  author    = {Volkmann, Gerald and Linke, Thomas and Waschulzik, Thomas and Ohmes, Rick and Schaub, Torsten H. and Wischnewsky, M.},
  title     = {HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und St{\"o}rfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen},
  year      = {1998},
  language  = {de}
}
@article{Kujath2016,
  author    = {Kujath, Bertold},
  title     = {Lernwirksamkeits- und Zielgruppenanalyse f{\"u}r ein Lehrvideo zum informatischen Probleml{\"o}sen},
  series = {Commentarii informaticae didacticae (CID)},
  journal   = {Commentarii informaticae didacticae (CID)},
  number    = {10},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-376-3},
  issn      = {1868-0844},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94797},
  pages     = {25 -- 39},
  year      = {2016},
  abstract  = {Aus einer Vergleichsstudie mit starken und schwachen Probleml{\"o}sern konnten Erkenntnisse {\"u}ber die effizienten Herangehensweisen von Hochleistern an Informatikprobleme gewonnen werden. Diese Erkenntnisse wurden in einem Lehrvideo zum informatischen Probleml{\"o}sen didaktisch aufgearbeitet, sodass Lernenden der Einsatz von Baumstrukturen und Rekursion im konkreten Kontext gezeigt werden kann. Nun wurde die tats{\"a}chliche Lernwirksamkeit des Videos sowie die Definition der Zielgruppe in einer Vergleichsstudie mit 66 Studienanf{\"a}ngern {\"u}berpr{\"u}ft.},
  language  = {de}
}
@article{BoehneKreitzKnobelsdorf2016,
  author    = {B{\"o}hne, Sebastian and Kreitz, Christoph and Knobelsdorf, Maria},
  title     = {Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq},
  series = {Commentarii informaticae didacticae (CID)},
  journal   = {Commentarii informaticae didacticae (CID)},
  number    = {10},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-376-3},
  issn      = {1868-0844},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-94824},
  pages     = {69 -- 80},
  year      = {2016},
  abstract  = {Informatik-Studierende haben in der Mehrzahl Schwierigkeiten, einen Einstieg in die Theoretische Informatik zu finden und die Leistungsanforderungen in den Endklausuren der zugeh{\"o}rigen Lehrveranstaltungen zu erf{\"u}llen. Wir argumentieren, dass dieser Symptomatik mangelnde Kompetenzen im Umgang mit abstrakten und stark formalisierten Themeninhalten zugrunde liegen und schlagen vor, einen Beweisassistenten als interaktives Lernwerkzeug in der Eingangslehre der Theoretischen Informatik zu nutzen, um entsprechende Kompetenzen zu st{\"a}rken.},
  language  = {de}
}
@article{ZoernerKoehlmannBrandt2014,
  author    = {Zoerner, Dietmar and K{\"o}hlmann, Wiebke and Brandt, Christopher},
  title     = {Mobiles spielebasiertes Lernen an historischen Lernorten},
  series = {E-Learning Symposium 2014 : Mobil und vernetzt - studieren im digitalen Zeitalter ; Potsdam, 14. November 2014},
  journal   = {E-Learning Symposium 2014 : Mobil und vernetzt - studieren im digitalen Zeitalter ; Potsdam, 14. November 2014},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  doi       = {10.25932/publishup-44235},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-442354},
  pages     = {53 -- 54},
  year      = {2014},
  abstract  = {Im Rahmen eines interdisziplin{\"a}ren studentischen Projekts wurde ein Framework f{\"u}r mobile pervasive Lernspiele entwickelt. Am Beispiel des historischen Lernortes Park Sanssouci wurde auf dieser Grundlage ein Lernspiel f{\"u}r Sch{\"u}lerinnen und Sch{\"u}ler implementiert. Die geplante Evaluation soll die Lernwirksamkeit von geobasierten mobilen Lernspielen messen. Dazu wird die Intensit{\"a}t des Flow-Erlebens mit einer ortsgebundenen alternativen Umsetzung verglichen.},
  language  = {de}
}
@article{Schwill2000,
  author    = {Schwill, Andreas},
  title     = {Modellbildung im Schulfach Informatik},
  isbn      = {3-88120-301-x},
  year      = {2000},
  language  = {de}
}
@article{Schwill2002,
  author    = {Schwill, Andreas},
  title     = {Modelle in der Fachsprache der Informatik},
  isbn      = {3-88579-351-2},
  year      = {2002},
  language  = {de}
}
@article{HornReinke2000,
  author    = {Horn, Erika and Reinke, Thomas},
  title     = {Musterarchitekturen und Entwicklungsmethoden f{\"u}r Multiagentensysteme},
  issn      = {0170-4516},
  year      = {2000},
  language  = {de}
}
@article{HornReinke1999,
  author    = {Horn, Erika and Reinke, Thomas},
  title     = {Musterarchitekturen und Entwicklungsmethoden f{\"u}r Multiagentensysteme in betriebswirtschaftlichen Anwendungen},
  year      = {1999},
  language  = {de}
}