@book{NiuHan2004, author = {Niu, Pengcheng and Han, Yazhou}, title = {Hardy-Sobolev type inequalities on the Heisenberg Group}, 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 = {2004}, language = {en} } @book{GilKrainerMendoza2004, author = {Gil, J. B. and Krainer, Thomas and Mendoza, A.}, title = {Geometry and Spectra of closed extensions of elliptic cone 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 = {47 S.}, year = {2004}, language = {en} } @book{GilKrainerMendoza2004, author = {Gil, J. B. and Krainer, Thomas and Mendoza, A.}, title = {Resolvents of elliptic cone 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 = {46 S.}, year = {2004}, language = {en} } @book{Kuhrmann2004, author = {Kuhrmann, Marco}, title = {{\"U}berlegungen zum Dienst als Softwarebauelement}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2004, 3}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {30 S.}, year = {2004}, language = {de} } @book{Kuhrmann2003, author = {Kuhrmann, Marco}, title = {Analyse und Aufbereitung der Framework Class Library am Beispiel PMS}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 3}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {49 S.}, year = {2003}, language = {de} } @book{ZendlerSteipe2003, author = {Zendler, Andreas and Steipe, Boris}, title = {Integrationstechnologien f{\"u}r die life science-informatik (State-of-the-art-report)}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 2}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {38 S.}, year = {2003}, language = {de} } @book{Calame2003, author = {Calame, Jens R.}, title = {Considerations on object oriented software testing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {71 S.}, year = {2003}, language = {en} } @book{ZendlerSchmidtKrueger2003, author = {Zendler, Andreas and Schmidt, Silke and Kr{\"u}ger, Klaus}, title = {Komponentenorientierte Softwareentwicklungstechniken}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {55 S.}, year = {2003}, language = {de} } @book{Dietze2003, author = {Dietze, Stefan}, title = {Formalisierte Darstellung generalisierter Softwareentwicklungsprozesse im Kontext von Open Source Software}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 9}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {132 S.}, year = {2003}, language = {de} } @book{Dietze2003, author = {Dietze, Stefan}, title = {Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 7}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {36 S.}, year = {2003}, language = {de} } @book{MeyerKulisch2003, author = {Meyer, Harald and Kulisch, Marian}, title = {Ein experimenteller Vergleich objekt-orientierter und funktionaler Analysetechniken}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 6}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {17 S.}, year = {2003}, language = {de} } @book{OPUS4-15966, title = {Grundfragen multimedialer Lehre : Tagungsband des 1. Workshops GML2003 10. - 11. M{\"a}rz 2003 an der Universit{\"a}t Potsdam}, editor = {Schwill, Andreas}, publisher = {Univ. Lehrstuhl f{\"u}r Didaktik der Informatik}, address = {Potsdam}, isbn = {3-8330-0761-3}, pages = {208 S.}, year = {2003}, language = {de} } @book{Freischlad2009, author = {Freischlad, Stefan}, title = {Entwicklung und Erprobung des Didaktischen Systems Internetworking im Informatikunterricht}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-058-8}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41851}, publisher = {Universit{\"a}t Potsdam}, pages = {XIV, 405}, year = {2009}, abstract = {Internetbasierte Informatiksysteme beeinflussen in steigendem Maße Situationen in unterschiedlichen Lebensbereichen. Kompetenzen zur Verwendung von Internetanwendungen und -diensten m{\"u}ssen explizit erworben werden, weil damit ein notwendiger Einblick in nicht beobachtbare Abl{\"a}ufe und nicht offen sichtbare Strukturen verbunden ist. Bisher gibt es Vorschl{\"a}ge f{\"u}r die Gestaltung schulischer Lehr-Lernprozesse zu ausgew{\"a}hlten Teilaspekten des Internets. Es fehlt eine systematische Analyse des Bildungsbedarfs und ein daraus resultierendes Unterrichtsmodell. In dieser Arbeit wird ein Gesamtkonzept f{\"u}r den Informatikunterricht in der Sekundarstufe II vorgestellt, das zu zielgerichteter und verantwortungsvoller Anwendung des Internets beitr{\"a}gt. Die vorliegende Arbeit umfasst den Prozess von der Analyse erforderlicher Kompetenzen bis zur Realisierung von Lehr-Lernprozessen im Informatikunterricht in der Sekundarstufe II. Es werden der Beitrag der Informatik zu identifizierten Kompetenzen untersucht und Bildungsanforderungen bestimmt. Bildungsempfehlungen und Forschungsergebnisse zu erfolgreichen Unterrichtseinheiten werden im Hinblick auf die Bildungsziele analysiert. Der Informatikunterricht unterst{\"u}tzt die Kompetenzentwicklung zu internetbasierten digitalen Medien. Es wird die Entwicklung eines Unterrichtsmodells zu Internetworking beschrieben. Dazu wird der Ansatz der Didaktischen Systeme untersucht, weiter entwickelt und auf den Bereich Internetworking {\"u}bertragen. Der theoretische Ansatz wird dazu in vier Unterrichtsprojekten zu Internetworking in der Praxis realisiert. Beziehungen zwischen Fachkonzepten zu Internetworking werden untersucht und durch Wissensstrukturen zur Planung von Unterrichtsprojekten eingesetzt und in der Praxis erprobt. Die Beschreibung von Lernaktivit{\"a}ten erfolgt auf der Basis von Aufgabenklassen, die das notwendige Wissen zur Bearbeitung einer Aufgabenstellung repr{\"a}sentieren. Auf der Grundlage des Ablaufs der Aufgabenbearbeitung werden Eigenschaften von Aufgaben beschrieben und zu deren Gestaltung nutzbar gemacht. Bisher nicht durchf{\"u}hrbare T{\"a}tigkeiten im Unterricht werden durch die Entwicklung der Lernsoftware Filius erm{\"o}glicht. Die Reduktion der komplexen Wirklichkeit durch Simulation realer internetbasierter Informatiksysteme und die Auswahl geeigneter Sichten auf den Untersuchungsgegenstand werden mit Ergebnissen der Informatikdidaktik begr{\"u}ndet. Unterrichtsprojekte zu den Zielen werden durchgef{\"u}hrt, um Lehr-Lernprozesse zu erkunden und das entwickelte Didaktische System zu erproben. Ausgehend von der theoretischen Fundierung erfolgt die praktische Realisierung von Lehr-Lernprozessen. Zur Erprobung im Informatikunterricht der Sekundarstufe II in Nordrhein-Westfalen werden Minimalziele aufgrund der Lehrvorgaben bestimmt. Die methodische Gestaltung in der Erprobung erfolgt unter Ber{\"u}cksichtigung der Vorgaben f{\"u}r den Informatikunterricht und allgemeinen Anforderungen der Fachdidaktik. Handlungsorientierte Unterrichtsmittel werden ausgew{\"a}hlt und in der Praxis zur Untersuchung der Lehr-Lernprozesse verwendet. Im Unterricht identifizierte Lernschwierigkeiten f{\"u}hren zur Modifikation der Wissensstrukturen und werden im Entwicklungsprozess von Filius ber{\"u}cksichtigt. Die Erkenntnisse aus Unterrichtsprojekten werden genutzt, um zu bestimmen, zu welchen Aufgabenklassen weitere Aufgaben erforderlich sind und inwieweit das aus den identifizierten Merkmalen abgeleitete Vorgehen zur Entwicklung niveaubestimmender Aufgaben genutzt werden kann. Die Erprobungen best{\"a}tigen die Tragf{\"a}higkeit des Didaktischen Systems Internetworking und leisten mit der Implementierung in der Praxis einen Beitrag zur Untersuchung von Kompetenzentwicklung im Informatikunterricht. Mit dem Didaktischen System Internetworking wird ein theoretisch fundiertes und empirisch erprobtes Unterrichtsmodell zur Entwicklung von Kompetenzen zur Einrichtung und Anwendung internetbasierter Informatiksysteme beschrieben.}, language = {de} } @book{KirschNienhausDoellner2005, author = {Kirsch, Florian and Nienhaus, Marc and D{\"o}llner, J{\"u}rgen Roland Friedrich}, title = {Visualizing design and spatial assembly of interactive CSG}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {7}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {3-937786-56-2}, issn = {1613-5652}, pages = {8 S.}, year = {2005}, language = {en} } @book{FeiderSchnor2004, author = {Feider, Henryk and Schnor, Bettina}, title = {PCG-Agreement Dokument}, series = {Technischer Bericht}, journal = {Technischer Bericht}, publisher = {Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, year = {2004}, language = {de} } @book{MihahnSchnor2004, author = {Mihahn, Michael and Schnor, Bettina}, title = {Fault-Tolerant Grid Peer Services}, series = {Technischer Bericht}, journal = {Technischer Bericht}, publisher = {Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, year = {2004}, language = {en} } @book{Schnor2004, author = {Schnor, Bettina}, title = {Seminarband: Sensornetze}, series = {Technischer Bericht}, journal = {Technischer Bericht}, publisher = {Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, year = {2004}, language = {de} } @book{HartmannSelbig2009, author = {Hartmann, Stefanie and Selbig, Joachim}, title = {Introductory Bioinformatics}, publisher = {Books on Demand}, address = {Norderstedt}, isbn = {978-3-8370-5189-6}, pages = {246 S.}, year = {2009}, language = {en} } @book{HornKupriesReinke1998, author = {Horn, Erika and Kupries, Mario and Reinke, Thomas}, title = {Architekturtypen f{\"u}r Agentenanwendungssysteme}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 01}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, year = {1998}, language = {de} } @book{OPUS4-22102, title = {UTW-Workshop "Soziotechnischer Zugang bei der Konstruktion, Einf{\"u}hrung und Anwendung von Workflow- Management-Systemen"}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 02}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, editor = {Horn, Erika and Kupries, Mario and Bartl, Peter}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {68 S.}, year = {1998}, language = {de} } @book{Horn1998, author = {Horn, Erika}, title = {Grundlagen der Software-Entwicklung II : Objektorientierte Software-Architekturen}, publisher = {Univ.}, address = {Potsdam}, pages = {5/31 S.}, year = {1998}, language = {de} } @book{Huebner2009, author = {H{\"u}bner, Sandra}, title = {Wie Online-Werkszeuge eine maßgeschneiderte Veranstaltungkonzeption unterst{\"u}tzen k{\"o}nnen}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2009}, language = {de} } @book{Lehker2009, author = {Lehker, Christoph}, title = {Deutsch+ - flexibel, lernerzentriert, anwendungsorientiert : das Lernarrangement f{\"u}r Doktoranden : eLearning UP 2009 : Sonderveranstaltung 2009-11-25}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2009}, language = {de} } @book{Boeckling2010, author = {B{\"o}ckling, Jens}, title = {eAssessment im Testcenter der Universit{\"a}t Bremen : Forum eLearning : Sonderveranstaltung 2010-05-27}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2010}, language = {de} } @book{Spaeth2009, author = {Sp{\"a}th, Daniela}, title = {Uni goes Facebook : Evaluatonsstudie zur F{\"o}rderung von Kooperativen Lernprozessen mithilfe des Tools virtPresenter : eLearning UP 2009 : Sonderveranstaltung 2009-11-25}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2009}, language = {de} } @book{AlSaffar2013, author = {Al-Saffar, Loay Talib Ahmed}, title = {Where girls the role of boys in CS - attitudes of CS students in a female-dominated environment}, isbn = {978-3-86956-220-9}, year = {2013}, language = {en} } @book{HornReinke1996, author = {Horn, Erika and Reinke, Thomas}, title = {Componentware-orientierte Softwarearchitektur unter Nutzung der CORBA-implemenation Orbix}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1996, 06}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, pages = {30 Bl. : graph. Darst.}, year = {1996}, language = {de} } @book{BartlReinke1996, author = {Bartl, Peter and Reinke, Thomas}, title = {Logisches Gesamtmodell der Vorgangsmodellierung}, series = {MOSVO-Bericht}, volume = {UP.015.2}, journal = {MOSVO-Bericht}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {de} } @book{Horn1996, author = {Horn, Erika}, title = {MOSVO-Rechnergest{\"u}tzte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationsstrukturen : Statusseminar}, publisher = {BMBF-Verl.}, address = {Bonn}, year = {1996}, language = {de} } @book{Margaria2006, author = {Margaria, Tiziana}, title = {Denken in Services : Antrittsvorlesung 2006-12-14}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2006}, abstract = {Denken in Services ist der Schl{\"u}ssel zu einer gemeinsamen Sicht f{\"u}r IT Experten, Business Experten und Manager auf bestehende und entstehende Anwendungen und damit zu einer engeren Zusammenarbeit, die heutige Arbeitsabl{\"a}ufe revolutionieren kann: Auf der Service-Ebene ist es erstmals m{\"o}glich, Fachexperten kontinuierlich w{\"a}hrend des gesamten Lebens-zyklus einer Anwendung einzubinden. Ihren Ursprung hat die service- orientierte Denkweise in der Telekommunikation, wo sie die Grundlage der modernsten Anwendungen f{\"u}r mobile und feste Plattformen war, insbesondere der so genannten Mehrwertdienste, wie Televoting, Freephone (die 0800 Nummern), Virtual Private Network. Nur durch die f{\"u}r die service-orientierung charakteristische konsequente Virtualisierung der Infrastrukturen und die lose Kopplung der Funktionalit{\"a}ten war es m{\"o}glich, die hochgradig heterogene Landschaft der Telefonie zu beherrschen. Dieselben Prinzipien sind aber viel allgemeiner anwendbar, zum Beispiel auch f{\"u}r Dienste in weniger technischen Gesch{\"a}ftsbereichen wie e-commerce, Logistik, Gesundheitswesen oder Verwaltung. Ihre konsequente Umsetzung als neues Paradigma f{\"u}r die Konzeption, den Entwurf und das Management komplexer Anwendungen hat das Potential, der Gesellschaft eine neue Generation personalisierter, sicherer, hochverf{\"u}gbarer und effizienter (Internet-) Dienstleistungen zu bescheren. Damit werden viele Gesch{\"a}ftsbereiche revolutioniert, {\"a}hnlich wie bereits die Email in vielen Bereichen die klassische Kommunikation per Post revolutioniert hat.}, language = {de} } @book{Bobda2008, author = {Bobda, Christophe}, title = {Flexible Hochleistungsrechnersysteme : Antrittsvorlesung 2008-05-08}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2008}, abstract = {Rechnerarchitekten sind st{\"a}ndig bem{\"u}ht, die besten Rechner f{\"u}r die L{\"o}sungen allt{\"a}glicher Probleme zu entwickeln. Als Maß f{\"u}r die Qualit{\"a}t der eingesetzten Verfahren gelten die Flexibilit{\"a}t und die Performanz. W{\"a}hrend die Flexibilit{\"a}t die F{\"a}higkeit einer Architektur f{\"u}r den Einsatz einer breiten Palette von Anwendungen misst, gibt die Performanz an, wie leistungsf{\"a}hig ein Rechner ist. In dieser Vorlesung wird ein neues Rechenparadigma vorgestellt, das die zwei bis jetzt als Gegens{\"a}tze betrachteten Qualit{\"a}tsmaße Flexibilit{\"a}t und Performanz, in einer Architektur kombiniert.}, language = {de} } @book{Naumann2008, author = {Naumann, Felix}, title = {Informationsqualit{\"a}t : Antrittsvorlesung 2007-04-26}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2008}, abstract = {Sowohl in kommerziellen als auch in wissenschaftlichen Datenbanken sind Daten von niedriger Qualit{\"a}t allgegenw{\"a}rtig. Das kann zu erheblichen wirtschaftlichen Problemen f{\"u}hren", erl{\"a}utert der 35-j{\"a}hrige Informatik-Professor und verweist zum Beispiel auf Duplikate. Diese k{\"o}nnen entstehen, wenn in Unternehmen verschiedene Kundendatenbest{\"a}nde zusammengef{\"u}gt werden, aber die Integration mehrere Datens{\"a}tze des gleichen Kunden hinterl{\"a}sst. "Solche doppelten Eintr{\"a}ge zu finden, ist aus zwei Gr{\"u}nden schwierig: Zum einen ist die Menge der Daten oft sehr groß, zum anderen k{\"o}nnen sich Eintr{\"a}ge {\"u}ber die gleiche Person leicht unterscheiden", beschreibt Prof. Naumann h{\"a}ufig auftretende Probleme. In seiner Antrittsvorlesung will er zwei L{\"o}sungswege vorstellen: Erstens die Definition geeigneter {\"A}hnlichkeitsmaße und zweitens die Nutzung von Algorithmen, die es vermeiden, jeden Datensatz mit jedem anderen zu vergleichen. Außerdem soll es um grundlegende Aspekte der Verst{\"a}ndlichkeit, Objektivit{\"a}t, Vollst{\"a}ndigkeit und Fehlerhaftigkeit von Daten gehen.}, language = {de} } @book{Juergensen1998, author = {J{\"u}rgensen, Helmut}, title = {Towards computer science}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 03}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {10 Bl. : Ill.}, year = {1998}, language = {en} } @book{Grell2010, author = {Grell, Petra}, title = {Einf{\"u}hrung zur Tagung 2009 : eLearning interaktiv, kooperativ und studierendenzentriert nutzen : eLeaning UP 2009 : Sonderveranstaltung 2009-11-25}, publisher = {Univ.-Bibl.}, address = {Potsdam}, year = {2010}, language = {de} } @book{Wilhelm1997, author = {Wilhelm, Otto}, title = {Theoretische Grundlagen der Informatik : ein vorlesungsbegleitendes Manuskript f{\"u}r den internen Gebrauch am Institut ; Bd. 1 Automaten und Umwelten}, editor = {Budach, Lothar}, publisher = {Univ.}, address = {Potsdam}, pages = {54 S.}, year = {1997}, language = {de} } @book{OPUS4-27228, title = {The journal of supercomputing : trends in parallel operating systems}, editor = {Schr{\"o}der-Preikschat, Wolfgang and Wu, Min-You}, publisher = {Kluwer}, address = {Boston}, pages = {157 S.}, year = {1995}, language = {en} } @book{BartlHornReinke1995, author = {Bartl, Peter and Horn, Erika and Reinke, Thomas}, title = {Modelltypen, Ausdrucksmittel, Beispiele f{\"u}r die Modellierung von Verwaltungsvorg{\"a}ngen}, series = {MOSVO-Bericht}, volume = {UP.004.1}, journal = {MOSVO-Bericht}, publisher = {Univ.}, address = {Potsdam}, year = {1995}, language = {de} } @book{SchubertSchwill2011, author = {Schubert, Sigrid and Schwill, Andreas}, title = {Didaktik der Informatik}, publisher = {Spektrum Akademischer Verlag}, address = {Heidelberg}, isbn = {978-3-8274-2652-9}, pages = {417 S.}, year = {2011}, language = {de} } @book{MarquesdeCarvalhoJuergensen1998, author = {Marques de Carvalho, Jackson W. and J{\"u}rgensen, Helmut}, title = {Dynamic multi-purpose mathematics notation}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 04}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {14 Bl. : graph. Darst.}, year = {1998}, language = {en} } @book{KoutzevlovTschapek1996, author = {Koutzevlov, Atanas and Tschapek, Alexej}, title = {Software \& interface requirements specifications}, series = {HGG-Dokument}, volume = {UPHGG.014.1}, journal = {HGG-Dokument}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {en} } @book{KoutzevlovSchubertTschapek1996, author = {Koutzevlov, Atanas and Schubert, Wolfgang and Tschapek, Alexej}, title = {Software test plan \& test description}, series = {HGG-Dokument}, volume = {UPHGG.016.1}, journal = {HGG-Dokument}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {en} } @book{Kupries1996, author = {Kupries, Mario}, title = {Datenhaltung und Evolution objektorientierter Modelle von Gesch{\"a}ftsprozessen im Datenverwaltungssystem O2}, series = {MOSVO-Bericht}, volume = {UP.019.1}, journal = {MOSVO-Bericht}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {de} } @book{LiersMichelStavenhagen1996, author = {Liers, Achim and Michel, Mathias and Stavenhagen, Tilo}, title = {Zwischenbericht MUBOSE}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {de} } @book{Richter1996, author = {Richter, Peter}, title = {Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht}, publisher = {Univ.}, address = {Potsdam}, pages = {20 Bl.}, year = {1996}, language = {en} } @book{SchroederPreikschat1994, author = {Schr{\"o}der-Preikschat, Wolfgang}, title = {The logical design of parallel operating systems}, publisher = {Prentice Hall International}, address = {Englewood Cliffs}, pages = {370 S.}, year = {1994}, language = {en} } @book{Bartl1994, author = {Bartl, Peter}, title = {Sachbericht zum Vorg{\"a}ngerprojekt von MOSVO}, publisher = {Univ.}, address = {Potsdam}, year = {1994}, language = {de} } @book{PlattnerZeier2011, author = {Plattner, Hasso and Zeier, Alexander}, title = {In-memory data managment : an inflection point for enterprise applications}, publisher = {Springer}, address = {Heidelberg, New York}, isbn = {978-3-642-19362-0}, pages = {236 S.}, year = {2011}, language = {en} } @book{Lerch2012, author = {Lerch, Alexander}, title = {An introduction to audio content analysis : applications in signal processing and music informatics}, publisher = {Wiley}, address = {Hoboken, N.J}, isbn = {978-1-118-26682-3}, doi = {10.1002/9781118393550}, pages = {248 S.}, year = {2012}, language = {en} } @book{OPUS4-24101, title = {Sch{\"u}lerduden, Informatik}, publisher = {Dudenverl.}, address = {Mannheim}, isbn = {3-411-04483-7}, pages = {575 S.}, year = {1997}, language = {de} } @book{Becker2010, author = {Becker, Basil}, title = {Model-based extension of AUTOSAR for architectural online reconfiguration}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Vogel2010, author = {Vogel, Thomas}, title = {Models at runtime for Monitoring and adapting software systems}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Hentschel2010, author = {Hentschel, Uwe M.Sc.}, title = {Services for real -time computing}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Feinbube2010, author = {Feinbube, Frank}, title = {On Programming models for multi-core computers}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Kowark2010, author = {Kowark, Thomas}, title = {Towards a service landscape for a real-time project manager dasboard}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Truemper2010, author = {Tr{\"u}mper, Jonas}, title = {Towards visualization of complex, service-based software systems}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Vogel2010, author = {Vogel, Tobias}, title = {Web service generation and data quality web services}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Saposhnikov1997, author = {Saposhnikov, Vl. V.}, title = {Self-dual duplication for error detection and testing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1997, 02}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Inst. f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S. : graph. Darst.}, year = {1997}, language = {en} } @book{StoffelKunz1997, author = {Stoffel, Dominik and Kunz, Wolfgang}, title = {Structural FSM traversal : theory and a practical algorithm}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1997, 05}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ. Potsdam}, address = {Potsdam}, issn = {0946-7580}, pages = {34 S. : Ill.}, year = {1997}, language = {en} } @book{PlattnerLeukert2015, author = {Plattner, Hasso and Leukert, Bernd}, title = {The in-memory revolution}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-16672-8}, pages = {275}, year = {2015}, abstract = {This book describes the next generation of business applications enabled by SAP's in-memory database, SAP HANA. In particular, the authors show the substantial changes introduced in S4/HANA by switching to SAP HANA. Using numerous examples and use cases from the authors' wealth of real-world experience, it illustrates the quantum leap in performance made possible by the new technology. The book is written by two of the most prominent actors in the area of business application systems: Hasso Plattner, co-founder of SAP and inaugurator of the Hasso Plattner Institute at the University of Potsdam, and Bernd Leukert, member of the Executive Board and the Global Managing Board of SAP. This clearly structured, highly illustrated book takes an exciting new technology and presents the practicality and success of first mover applications.}, language = {en} } @book{BieberEbnerLoesleretal.2002, author = {Bieber, G{\"o}tz and Ebner, Roland and L{\"o}sler, Thomas and Schwill, Andreas and Thomas, Marco and Vollmost, Manfred}, title = {Rahmenlehrplan Informatik : Wahlpflichtbereich ; Sekundarstufe I}, editor = {Ministerium f{\"u}r Bildung, Jugend und Sport Brandenburg}, publisher = {Wiss.-und-Technik-Verl.}, address = {Berlin}, isbn = {3-89685-840-8}, pages = {58 S.}, year = {2002}, language = {de} } @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{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 H.}, address = {Potsdam}, 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{Schaub1999, author = {Schaub, Torsten H.}, 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{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} }