Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel

Medientyp: Elektronische Schriftenreihe; Monographische Schriftenreihe
Titel: Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel
Weitere Titel: Abweichender Titel auf der Homepage: Technische Berichte des Instituts für Informatik
Beteiligte: Christian-Albrechts-Universität zu Kiel Institut für Informatik
Erschienen: Kiel: Inst. für Informatik, 1992-
Erscheinungsverlauf: Nachgewiesen 1992 -
Sprache: Englisch
ISSN: 2192-6247
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen: Orig.-Zählung z.B.: TR 1302.2013
Zugangsstatus: Freier Zugang

> Verlagsreihe

Domrös, Sören [VerfasserIn]; Hanxleden, Reinhard von [VerfasserIn]
Bericht Nr. 21, 03 (Nov 2021): Preserving order during crossing minimization in Sugiyama layouts Sören Domrös, Reinhard von Hanxleden
Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, Nov 2021

Jansen, Klaus [VerfasserIn]; Klein, Kim-Manuel [VerfasserIn]; Reuter, Janina [VerfasserIn]
Bericht Nr. 21, 01 (June 2021): Complexity bounds for Block-IPs Klaus Jansen, Kim-Manuel Klein, Janina Reuter
Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, June 2021

Smyth, Steven [VerfasserIn] ; Domrös, Sören [Sonstige Person, Familie und Körperschaft]; Hanxleden, Reinhard von [Sonstige Person, Familie und Körperschaft]
Bericht Nr. 1905: A Case-study on manual verification of state-based source code generated by KIELER SCCharts Steven Smyth, Sören Domrös, Reinhard von Hanxleden
Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, December 2019

Goerigk, Wolfgang [HerausgeberIn]
Bericht Nr. 0410 (Januar 2005): Programmiersprachen und Rechenkonzepte Wolfgang Goerigk (Hrsg.)
Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2005

Schewe, Klaus-Dieter [VerfasserIn]; Thalheim, Bernhard [VerfasserIn]
Bericht Nr. 0405 (April 2004): Web Information Systems Usage, Content, and Functionally Modelling Klaus-Dieter Schewe, Bernhard Thalheim
Kiel: Inst. für Informatik, April 2004

Prochnow, Steffen [VerfasserIn]; Hanxleden, Reinhard von [VerfasserIn]
Bericht Nr. 0406 (Juli 2004): Visualisierung komplexer reaktiver Systeme Annotierte Bibliographie Steffen Prochnow, Reinhard von Hanxleden
Kiel: Inst. für Informatik, 2004

Sommer, Gerald [VerfasserIn]; Rosenhahn, Bodo [VerfasserIn]; Perwass, Christian [VerfasserIn]
Bericht Nr. 0407 (Juli 2004): The Twist Representation of Shape Gerald Sommer, Bodo Rosenhahn and Christian Perwass
Kiel: Inst. für Informatik, 2004

Kähler, Detlef [VerfasserIn]; Kuesters, Ralf [VerfasserIn]; Wilke, Thomas [VerfasserIn]
Bericht Nr. 0409 (Juli 2004): Deciding Properties of Contract-Signing Protocols Detlef Kähler and Ralf Küsters and Thomas Wilke
Kiel: Inst. für Informatik, 2004

Ábrahám, Erika [VerfasserIn]; Roever, Willem-Paul de [VerfasserIn]; de Boer, Frank S. [VerfasserIn]; Steffen, Martin [VerfasserIn]
Bericht Nr. 0313 (December 2003): A Deductive Proof System for Multithreaded Java with Exceptions Erika Ábrahám, Willem-Paul de Roever, Frank S. de Boer, Martin Steffen
Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2003

Bericht Nr. 2018 (Mai 2001): Sprachen, Architekturen und neue objektorientierte Softwaretechniken
Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2001

Goerigk, Wolfgang [VerfasserIn]; Langmaack, Hans [VerfasserIn]
Bericht Nr. 2015 (Mai 2001): Will Informatics be able to Justify the Construction of Large Computer Based Systems? Wolfgang Goerigk, Hans Langmaack
Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2001

Fritzsch, Carsten [VerfasserIn]; Wilke, Thomas [VerfasserIn]
Bericht Nr. 2019 (Mai 2001): Simulation Relations for Alternating Büchi Automata Carsten Fritz, Thomas Wilke
Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2001

Felsberg, Michael [VerfasserIn]; Sommer, Gerald [VerfasserIn]
Bericht Nr. 2016 (Mai 2001): The Monogenic Signal Michael Felsberg and Gerald Sommer
Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 2001

Bruske, Jörg [VerfasserIn]; Sommer, Gerald [VerfasserIn]; Ahrns, Ingo [VerfasserIn]
Bericht Nr. 9604 (Mai 1996): An Integrated Architecture for Learning of Reactive Behaviors based on Dynamic Cell Structures Jörg Bruske, Ingo Ahrns and Gerald Sommer
Kiel: Institut für Informatik, Christian-Albrechts-Universität zu Kiel, 1996

Bruske, Jörg [VerfasserIn]; Sommer, Gerald [VerfasserIn]
Bericht Nr. 9403 (Oktober 2001): Dynamic Cell Structures Radial Basis Function Networks with Perfect Topology Preservation Jörg Bruske and Gerald Sommer
Kiel: Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, 1994