@book{AydinJuergensenRobbins2001,
  author    = {Aydin, Suna and J{\"u}rgensen, Helmut and Robbins, L. E.},
  title     = {Dialogues as co-operating grammars},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2001, 1},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 S.},
  year      = {2001},
  language  = {en}
}
@book{OPUS4-18154,
  title     = {Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19 - 21, 2001 ; proceedings},
  series = {Lecture notes in computer science},
  volume    = {2143},
  journal   = {Lecture notes in computer science},
  editor    = {Benferhat, Salem and Besnard, Philippe},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  isbn      = {3-540-42464-4},
  doi       = {10.1007/3-540-44652-4},
  pages     = {818 S.},
  year      = {2001},
  language  = {en}
}
@book{SchwillClaus2001,
  author    = {Schwill, Andreas and Claus, Volker},
  title     = {Duden Informatik : ein Fachlexikon f{\"u}r Studium und Praxis},
  publisher = {Dudenverl.},
  address   = {Mannheim},
  isbn      = {3-411-05233-3},
  pages     = {762 S.},
  year      = {2001},
  abstract  = {Die Informatik durchdringt zusehends fast alle Bereiche der Ausbildung und der Berufswelt. Die Stichw{\"o}rter ber{\"u}cksichtigen die Geschichte der Informatik und den heutigen Stand ihrer Methoden und beziehen aktuelle und absehbare Entwicklungen mit ein. Das ausf{\"u}hrliche Register sorgt daf{\"u}r, dass man den gew{\"u}nschten Begriff sofort im Blick hat. Rund 3 000 Stichw{\"o}rter, etwa 700 Abbildungen, Register.},
  language  = {de}
}
@book{Zendler2000,
  author    = {Zendler, Andreas},
  title     = {X/Frame : Softwareentwicklungsumgebung f{\"u}r taxonomische Objektsysteme},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 12},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {34 S.},
  year      = {2000},
  language  = {de}
}
@book{Tepoyan2000,
  author    = {Tepoyan, Liparit},
  title     = {Degenerated operator equations og higher order},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {13 S.},
  year      = {2000},
  language  = {en}
}
@book{CoriascoPanarese2000,
  author    = {Coriasco, S. and Panarese, P.},
  title     = {Fourier integral operators defined by classical symbols with exit behaviour},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {17 S.},
  year      = {2000},
  language  = {en}
}
@book{OPUS4-19402,
  title     = {Advances in neural information processing systems 12 : proceedings of the 1999 conference},
  editor    = {Solla, Sara A. and M{\"u}ller, Klaus-Robert},
  publisher = {MIT Press},
  address   = {Cambridge, Mass.},
  isbn      = {0-262-19450-3},
  year      = {2000},
  language  = {en}
}
@book{RaetschSchoelkopfMikaetal.2000,
  author    = {R{\"a}tsch, Gunnar and Sch{\"o}lkopf, B. and Mika, Sebastian and M{\"u}ller, Klaus-Robert},
  title     = {SVM and boosting : one class},
  series = {GMD-Report},
  volume    = {119},
  journal   = {GMD-Report},
  publisher = {GMD-Forschungszentrum Informationstechnik},
  address   = {Sankt Augustin},
  pages     = {36 S.},
  year      = {2000},
  language  = {en}
}
@book{TsudaSugiyamaMueller2000,
  author    = {Tsuda, Koji and Sugiyama, Masashi and M{\"u}ller, Klaus-Robert},
  title     = {Subspace information criterion for non-quadratice regularizers : model selection for sparse regressors},
  series = {GMD-Report},
  volume    = {120},
  journal   = {GMD-Report},
  publisher = {GMD-Forschungszentrum Informationstechnik},
  address   = {Sankt Augustin},
  pages     = {36 S.},
  year      = {2000},
  language  = {en}
}
@book{Linke2000,
  author    = {Linke, Thomas},
  title     = {New foundations for automation of default reasoning},
  volume    = {237},
  publisher = {Akad. Verl.-Ges. Aka},
  address   = {Berlin},
  isbn      = {3-89838-237-0},
  pages     = {VII, 182 S.},
  year      = {2000},
  language  = {en}
}
@book{JuergensenStaiger1999,
  author    = {J{\"u}rgensen, Helmut and Staiger, Ludwig},
  title     = {Finite automata : encoding geometric figures},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 07},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {8 S. : graph. Darst.},
  year      = {1999},
  language  = {en}
}
@book{PupkaBartlKelleretal.1999,
  author    = {Pupka, Reiner and Bartl, Peter and Keller, Vera and Kupries, Mario and Reichel, Ingrid and Schmidt, Maren and Tiede, Gabriele},
  title     = {Abschlußbericht zum Verbundprojekt "Rechnergest{\"u}tzte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationssystemen"},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 01},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {120, [21] Bl. : graph. Darst.},
  year      = {1999},
  language  = {de}
}
@book{OPUS4-20949,
  title     = {Informatik und Schule : fachspezifische und fach{\"u}bergreifende didaktische Konzepte},
  editor    = {Schwill, Andreas},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  isbn      = {3-540-66300-2},
  doi       = {10.1007/978-3-642-60238-2},
  pages     = {231 S.},
  year      = {1999},
  language  = {de}
}
@book{JuergensenKariThierrin1999,
  author    = {J{\"u}rgensen, Helmut and Kari, L. and Thierrin, G.},
  title     = {Morphisms preserving densities},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 09},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {21 Bl.},
  year      = {1999},
  language  = {en}
}
@book{JuergensenKatsuraKonstantinidis1999,
  author    = {J{\"u}rgensen, Helmut and Katsura, M. and Konstantinidis, Stavros},
  title     = {Maximal solid codes},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 03},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {23 Bl.},
  year      = {1999},
  language  = {en}
}
@book{BrzozowskiJuergensen1999,
  author    = {Brzozowski, J. A. and J{\"u}rgensen, Helmut},
  title     = {Semilattices of fault semiautomata},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 02},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {13 Bl.},
  year      = {1999},
  language  = {en}
}
@book{Zendler1999,
  author    = {Zendler, Andreas},
  title     = {Multiple einzelfallanalytische Versuchspl{\"a}ne der Biometrie zur Durchf{\"u}hrung softwaretechnischer Experimente},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 11},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {18 S.},
  year      = {1999},
  language  = {de}
}
@book{SchubertKoutzevlovHornetal.1999,
  author    = {Schubert, Wolfgang and Koutzevlov, Atanas and Horn, Erika and R{\"a}tsch, Gunnar and Tschapek, Alexej},
  title     = {Aspekte der Flexibilisierung von Systemen f{\"u}r den Hardwaretest},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 04},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {24 S. : graph. Darst.},
  year      = {1999},
  language  = {de}
}
@book{OPUS4-22017,
  title     = {Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 4},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  editor    = {Boldt, Oliver and J{\"u}rgensen, Helmut and Robbins, L. E.},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {getr. Z{\"a}hl.},
  year      = {1999},
  language  = {en}
}
@book{Stechert2009,
  author    = {Stechert, Peer},
  title     = {Fachdidaktische Diskussion von Informatiksystemen und der Kompetenzentwicklung im Informatikunterricht},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-86956-024-3},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-37959},
  publisher      = {Universit{\"a}t Potsdam},
  pages     = {xiv, 359},
  year      = {2009},
  abstract  = {In der vorliegenden Arbeit wird ein Unterrichtsmodell zur Kompetenzentwicklung mit Informatiksystemen f{\"u}r die Sekundarstufe II vorgestellt. Der Bedarf wird u. a. damit begr{\"u}ndet, dass Informatiksysteme zu Beginn des 21. Jahrhunderts allgegenw{\"a}rtig sind (Kapitel 1). F{\"u}r Kompetenzentwicklung mit Informatiksystemen sind diese in ihrer Einheit aus Hardware, Software und Vernetzung anhand ihres nach außen sichtbaren Verhaltens, der inneren Struktur und Implementierungsaspekten zu analysieren. Ausgehend vom Kompetenzbegriff (Kapitel 2) und dem Informatiksystembegriff (Kapitel 3) erfolgt eine Analyse des fachdidaktischen Forschungsstandes zur Kompetenzentwicklung mit Informatiksystemen. Die Ergebnisse lassen sich in die Bereiche (1) Bildungsziele, (2) Unterrichtsinhalte, (3) Lehr-Lernmethodik und (4) Lehr-Lernmedien aufteilen (Kapitel 4). In Kapitel 5 wird die Unterrichtsmodellentwicklung beschrieben. Den Zugang zu Informatiksystemen bildet in der vorliegenden Dissertationsschrift das nach außen sichtbare Verhalten. Es erfolgt eine Fokussierung auf vernetzte fundamentale Ideen der Informatik und Strukturmodelle von Informatiksystemen als Unterrichtsinhalte. Es wird begr{\"u}ndet, dass ausgew{\"a}hlte objektorientierte Entwurfsmuster vernetzte fundamentale Ideen repr{\"a}sentieren. In Abschnitt 5.4 werden dementsprechend Entwurfsmuster als Wissensrepr{\"a}sentation f{\"u}r vernetzte fundamentale Ideen klassifiziert. Das systematische Erkunden des Verhaltens von Informatiksystemen wird im Informatikunterricht bisher kaum thematisiert. Es werden Sch{\"u}lert{\"a}tigkeiten in Anlehnung an Unterrichtsexperimente angegeben, die Sch{\"u}ler unterst{\"u}tzen, Informatiksysteme bewusst und gezielt anzuwenden (Abschnitt 5.5). Bei dieser Lehr-Lernmethodik werden das nach außen sichtbare Verhalten von Informatiksystemen, im Sinne einer Black-Box, und das Wechselspiel von Verhalten und Struktur bei vorliegender Implementierung des Systems als White-Box analysiert. Die Adressierung schrittweise h{\"o}herer kognitiver Niveaustufen wird in die Entwicklung einbezogen. Unterst{\"u}tzend wird f{\"u}r das Unterrichtsmodell lernf{\"o}rderliche Software gestaltet, die vernetzte fundamentale Ideen in Entwurfsmustern und das Experimentieren aufgreift (Abschnitt 5.6). Schwerpunkte bilden im Unterrichtsmodell zwei Arten von lernf{\"o}rderlicher Software: (1) Die Lernsoftware Pattern Park wurde von einer studentischen Projektgruppe entwickelt. In ihr k{\"o}nnen in Entwurfsmustern enthaltene fundamentale Ideen der Informatik {\"u}ber ihren Lebensweltbezug im Szenario eines Freizeitparks analysiert werden. (2) Als weitere Art Lernsoftware werden kleine Programme eingesetzt, deren innere Struktur durch ausgew{\"a}hlte Entwurfsmuster gebildet und deren Verhalten direkt durch die darin enthaltenen fundamentalen Ideen bestimmt wird. Diese Programme k{\"o}nnen durch die Experimente im Unterricht systematisch untersucht werden. Mit dem Ziel, die normative Perspektive um R{\"u}ckkopplung mit der Praxis zu erg{\"a}nzen, werden zwei Erprobungen im Informatikunterricht vorgenommen. Diese liefern Erkenntnisse zur Machbarkeit des Unterrichtsmodells und dessen Akzeptanz durch die Sch{\"u}ler (Kapitel 6 und 8). Exemplarisch umgesetzt werden die Themen Zugriffskontrolle mit dem Proxymuster, Iteration mit dem Iteratormuster und Systemzust{\"a}nde mit dem Zustandsmuster. Der intensive Austausch mit Informatiklehrpersonen in der Kooperationsschule {\"u}ber Informatiksysteme und Kompetenzentwicklung sowie die Durchf{\"u}hrung von zwei Lehrerfortbildungen erg{\"a}nzen die Beobachtungen im unterrichtlichen Geschehen. Die erste Unterrichtserprobung resultiert in einer Weiterentwicklung des Unterrichtsmodells zu Informatiksystemen und Kompetenzentwicklung (Kapitel 7). Darin erfolgt eine Fokussierung auf das nach außen sichtbare Verhalten von Informatiksystemen und eine Verfeinerung der Perspektiven auf innere Struktur und ausgew{\"a}hlte Implementierungsaspekte. Anschließend wird die zweite Unterrichtserprobung durchgef{\"u}hrt und evaluiert (Kapitel 8). Am Schluss der Forschungsarbeit steht ein in empirischen Phasen erprobtes Unterrichtsmodell.},
  subject      = {Informatik},
  language  = {de}
}
@book{LamprechtMagariaSteffenetal.2007,
  author    = {Lamprecht, Anna-Lena and Magaria, Tiziana and Steffen, Bernhard and Sczyrba, Alexander and Hartmeier, Sven and Giegerich, Robert},
  title     = {GeneFisher-P},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2007, 3},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {17 S.},
  year      = {2007},
  language  = {en}
}
@book{MeinelSack2012,
  author    = {Meinel, Christoph and Sack, Harald},
  title     = {Internetworking : technische Grundlagen und Anwendungen},
  publisher = {Springer-Verlag Berlin Heidelberg},
  address   = {Berlin, Heidelberg},
  isbn      = {978-3-540-92939-0},
  doi       = {10.1007/978-3-540-92940-6},
  pages     = {978 S.},
  year      = {2012},
  language  = {de}
}
@book{MeinelSack2009,
  author    = {Meinel, Christoph and Sack, Harald},
  title     = {Digitale Kommunikation : Vernetzen, Multimedia, Sicherheit},
  series = {Media Press},
  journal   = {Media Press},
  publisher = {Springer-Verlag Berlin Heidelberg},
  address   = {Berlin, Heidelberg},
  isbn      = {978-3-540-92922-2},
  issn      = {1439-3107},
  doi       = {10.1007/978-3-540-92923-9},
  pages     = {422 S.},
  year      = {2009},
  language  = {de}
}
@book{LinckelsMeinel2011,
  author    = {Linckels, Serge and Meinel, Christoph},
  title     = {E-Librarian service : user-friendly semantic search in digital libraries},
  publisher = {Springer-Verlag Berlin Heidelberg},
  address   = {Berlin, Heidelberg},
  isbn      = {978-3-642-17742-2},
  doi       = {10.1007/978-3-642-17743-9},
  pages     = {212 S.},
  year      = {2011},
  language  = {en}
}
@book{OPUS4-33866,
  title     = {Dsign thinking research : studying co-creation in practice},
  editor    = {Plattner, Hasso and Meinel, Christoph and Leifer, Larry},
  publisher = {Springer Berlin Heidelberg},
  address   = {Berlin, Heidelberg},
  isbn      = {978-3-642-21642-8},
  doi       = {10.1007/978-3-642-21643-5},
  pages     = {277 S.},
  year      = {2012},
  language  = {en}
}
@book{HoofReinke1999,
  author    = {Hoof, Karsten and Reinke, Thomas},
  title     = {Entwurf und Realisierung einer komplexen verteilten Bankanwendung mit Hilfe der CORBA-Implementation Orbix},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 06},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {V, 75 S. : graph. Darst.},
  year      = {1999},
  language  = {de}
}
@book{NazajkinskijSavinSchulzeetal.2004,
  author    = {Nazajkinskij, Vladimir E. and Savin, Anton and Schulze, Bert-Wolfgang and Sternin, Boris},
  title     = {Elliptic theory on manifolds with edges},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {48 S.},
  year      = {2004},
  language  = {en}
}
@book{FedosovSchulzeTarchanov2000,
  author    = {Fedosov, Boris V. and Schulze, Bert-Wolfgang and Tarchanov, Nikolaj N.},
  title     = {Analytic index formulas for elliptic corner operators},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {70 S.},
  year      = {2000},
  language  = {en}
}
@book{EgorovKondratievSchulze2004,
  author    = {Egorov, Yu. and Kondratiev, V. A. and Schulze, Bert-Wolfgang},
  title     = {On the completeness of root functions of elliptic boundary problems in a domain with conical points on the boundary},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {21 S.},
  year      = {2004},
  language  = {en}
}
@book{NazajkinskijSavinSchulzeetal.2004,
  author    = {Nazajkinskij, Vladimir E. and Savin, Anton and Schulze, Bert-Wolfgang and Sternin, Boris},
  title     = {On the homotopy classification of elliptic operators on manifolds with edges},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {26 S.},
  year      = {2004},
  language  = {en}
}
@book{HarutjunjanSchulze2004,
  author    = {Harutjunjan, Gohar and Schulze, Bert-Wolfgang},
  title     = {Boundary problems with meromorphic symbols in cylindrical domains},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {19 S.},
  year      = {2004},
  language  = {en}
}
@book{LiuSchulze2004,
  author    = {Liu, Xiaochun and Schulze, Bert-Wolfgang},
  title     = {Boundary value problems in edge representation},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {1437-739X},
  pages     = {43 S.},
  year      = {2004},
  language  = {en}
}
@book{SaposhnikovSaposhnikovMorozovetal.2004,
  author    = {Saposhnikov, V. V. and Saposhnikov, Vl. V. and Morozov, Alexei and G{\"o}ssel, Michael},
  title     = {Necessary and Sufficient Conditions for the Existence of Self-Checking Circuits ba Use of Complementary Circuits},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2004, 1},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {11 S.},
  year      = {2004},
  language  = {en}
}
@book{MarienfeldSogomonyanOcheretnijetal.2005,
  author    = {Marienfeld, Daniel and Sogomonyan, Egor S. and Ocheretnij, V. and G{\"o}ssel, Michael},
  title     = {Self-checking Output-duplicated Booth-2 Multiplier},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2005, 1},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  year      = {2005},
  language  = {en}
}
@book{SogomonyanMarienfeldGoessel2006,
  author    = {Sogomonyan, Egor S. and Marienfeld, Daniel and G{\"o}ssel, Michael},
  title     = {Fehlerkorrektur und Fehlererkennung},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2006, 3},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {31, 8 S.},
  year      = {2006},
  language  = {de}
}
@book{BoernerGoessel2005,
  author    = {B{\"o}rner, Ferdinand and G{\"o}ssel, Michael},
  title     = {Grundlagen digitaler Systeme},
  publisher = {Univ.-Verl.},
  address   = {Potsdam},
  isbn      = {978-3-937786-46-9},
  pages     = {95 S.},
  year      = {2005},
  language  = {de}
}
@book{SogomonyanMarienfeldOcheretnijetal.2003,
  author    = {Sogomonyan, Egor S. and Marienfeld, Daniel and Ocheretnij, V. and G{\"o}ssel, Michael},
  title     = {A new self-checking sum-bit duplicated carry-select adder},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 5},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {10 S.},
  year      = {2003},
  language  = {en}
}
@book{WuKarriKuznetsovetal.2003,
  author    = {Wu, K. and Karri, R. and Kuznetsov, Grigory and G{\"o}ssel, Michael},
  title     = {Low Cost Concurrent Error Detection for the Advanced Encryption Standart},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 8},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {10 S.},
  year      = {2003},
  language  = {en}
}
@book{BoernerGoessel2001,
  author    = {B{\"o}rner, Ferdinand and G{\"o}ssel, Michael},
  title     = {Grundlagen digitaler Systeme},
  editor    = {G{\"o}ssel, Michael},
  publisher = {Univ.-Bibliothek Publ.-Stelle},
  address   = {Potsdam},
  isbn      = {3-935024-34-7},
  pages     = {95 S. : graph. Darst.},
  year      = {2001},
  language  = {de}
}
@book{SapoznikovSapoznikovGoessel2001,
  author    = {Sapoznikov, V. V. and Sapoznikov, VL. V. and G{\"o}ssel, Michael},
  title     = {Samodvojstvennye diskretnye ustrojstva},
  publisher = {?nergoatomizdat},
  address   = {Sankt-Peterburg},
  isbn      = {5-283-04748-2},
  pages     = {330 S.},
  year      = {2001},
  language  = {ru}
}
@book{BoernerGoessel2000,
  author    = {B{\"o}rner, Ferdinand and G{\"o}ssel, Michael},
  title     = {Grundlagen digitaler Systeme},
  publisher = {Univ.-Bibliothek Publ.-Stelle},
  address   = {Potsdam},
  isbn      = {3-9806494-9-0},
  pages     = {61 S.},
  year      = {2000},
  language  = {de}
}
@book{OPUS4-18498,
  title     = {Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001},
  editor    = {Brewka, Gerhard and Witteveen, Cees and Schaub, Torsten},
  address   = {Potsdam},
  year      = {2001},
  language  = {en}
}
@book{Schaub1999,
  author    = {Schaub, Torsten},
  title     = {The automation of reasoning with incomplete information : from semantic foundations to efficient computation},
  series = {Lecture notes in computer science},
  volume    = {1409},
  journal   = {Lecture notes in computer science},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {3-540-64515-2},
  doi       = {10.1007/BFb0054963},
  pages     = {XI, 159 S.},
  year      = {1999},
  language  = {en}
}
@book{SeuringGoessel1998,
  author    = {Seuring, Markus and G{\"o}ssel, Michael},
  title     = {A structural approach for space compaction for sequential circuits},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 05},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 Bl. : graph. Darst.},
  year      = {1998},
  language  = {en}
}
@book{SeuringGoesselSogomonyan1997,
  author    = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A structural approach for space compaction for concurrent checking and BIST},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 01},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ. Potsdam},
  address   = {Potsdam [u.a.]},
  issn      = {0946-7580},
  pages     = {19 S. : Ill.},
  year      = {1997},
  language  = {en}
}