> Detailanzeige

Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik

Bericht / Institut für Informatik und Praktische Mathematik

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Schriftenreihe; Monographische Schriftenreihe
Titel: Bericht / Institut für Informatik und Praktische Mathematik
Beteiligte: Christian-Albrechts-Universität zu Kiel Institut für Informatik und Praktische Mathematik
Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1974-2006
Erscheinungsverlauf: 1974 nachgewiesen; nachgewiesen 7902.1979 - 9909.1999; 2000.2000 - 2019.2001; 0201.2002 - 0602.2006[?]
Sprache: Deutsch
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen:

> Verlagsreihe

Küsters, Ralf [Verfasser:in]
On the decidability of cryptographic protocols with open ended Data structures Ralf Küsters
Kiel: Inst.f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002

Felsberg, Michael [Verfasser:in]
Low level image processing with the structure multivector Michael Felsberg
Kiel: Inst. f. Informatik u. Prakt. Mathematik der Christian-Albrechts-Univ., 2002

Küsters, Ralf [Verfasser:in]
On the decidability of cryptographic group protocols Ralf Küsters
Kiel: Inst. f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002

Perwass, Christian B. U. [Verfasser:in]; Sommer, Gerald [Verfasser:in]
Dense image point matching through propagation of local constraints Christian B. U. Perwass, Gerald Sommer
Kiel: Inst. f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2002

Goerigk, Wolfgang [Verfasser:in]; Langmaack, Hans [Verfasser:in]
Will informatics be able to justify the construction of large computer based systems? Wolfgang Goerigk, Hans Langmaack
Kiel: Inst. f. Informatik u. Prakt. Mathematik der Christian-Albrechts-Univ., 2001

Fritz, Carsten [Verfasser:in]; Wilke, Thomas [Verfasser:in]
Simulation relations for alternating Büchi automata Carsten Fritz, Thomas Wilke
Kiel: Inst. f. Informatik u. Prakt. Mathematik d. Christian-Albrechts-Univ. Kiel, 2001

Bülow, Thomas [Verfasser:in]; Sommer, Gerald [Verfasser:in]
Hypercomplex signals, a novel extension of the analytic signal to multidimensional signals Thomas Bülow; Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 2001

Felsberg, Michael [Verfasser:in]; Sommer, Gerald [Verfasser:in]
The monogenic signal Michael Felsberg and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 2001

Wolf, Andreas [Verfasser:in]
Weakest relative precondition semantics balancing approved theory and realistic translation verification Andreas Wolf
Kiel: Inst. für Informatik und Praktische Mathematik, 2001

Krüger, Volker [Verfasser:in]
Gabor wavelet networks for object representation Volker Krüger
Kiel: Inst. für Informatik und Praktische Mathematik, 2001

Goerigk, Wolfgang [Herausgeber:in]
Sprachen, Architekturen und neue objektorientierte Softwaretechniken Physikzentrum Bad Honnef, 7. - 9. Mai 2001; Zusammenstellung der Beiträge des gemeinsamen Workshops der GI-Fachgruppen 2.1.4 und 2.1.9 Wolfgang Goerigk ... (Hrsg.)
Kiel: Inst. für Informatik und Praktische Mathematik, 2001

Hanus, Michael [Herausgeber:in]
Functional and (constraint) logic programming (WFLP 2001) Michael Hanus (ed.)
Kiel: Inst. für Informatik und Praktische Mathematik, 2001

Felsberg, Michael [Verfasser:in]; Sommer, Gerald [Verfasser:in]
Structure multivector for local analysis of images Michael Felsberg and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Hanus, Michael [Verfasser:in]; Lucas, Salvador [Verfasser:in]
An evaluation semantics for narrowing-based functional logic languages Michael Hanus; Salvador Lucas
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Klein, Hans-Joachim [Herausgeber:in]
12. GI-Workshop "Grundlagen von Datenbanken" dieser Bericht enth. die Zsfassung der Vorträge, die beim 12. GI-Workshop vom 13. - 16. Juni in Plön gehalten wurden Hans-Joachim Klein (Hrg.)
Kiel: Inst. für Informatik und Praktische Mathematik, Univ., 2000

Goerigk, Wolfgang [Herausgeber:in]
Programmiersprachen und Rechenkonzepte Schwerpunkt Softwarekomponenten Bad Honnef, 8. - 10. Mai 2000; dieser Bericht enthält e. Zs-stellung d. Beiträge d. 17. Workshops ... Wolfgang Goerigk (Hrsg.)
Kiel: Inst. für Informatik und Praktische Mathematik, Univ., 2000

Sommer, Gerald [Verfasser:in]; Rosenhahn, Bodo [Verfasser:in]; Zhang, Yiwen [Verfasser:in]
Pose estimation using geometric constraints Gerald Sommer; Bodo Rosenhahn; Yiwen Zhang
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Noakes, Lyle [Verfasser:in]; Kozera, Ryszard [Verfasser:in]
Geometrical enforcement of integrability and 2-D Leap-Frog Lyle Noakes and Ryszard Kozera
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Felsberg, Michael [Verfasser:in]; Sommer, Gerald [Verfasser:in]
The monogenic signal Michael Felsberg and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Yu, Weichuan [Verfasser:in]
Local orientation analysis in images and image sequences using steerable filters Weichuan Yu
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Pauli, Josef [Verfasser:in]
Development of camera-equipped robot systems Josef Pauli
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Mikk, Erich [Verfasser:in]
Semantics and verification of statecharts Erich Mikk
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Yu, Weichuan [Verfasser:in]; Sommer, Gerald [Verfasser:in]; Daniilidis, Konstantinos [Verfasser:in]
Multiple motion analysis using 3D orientation steerable filters Weichuan Yu; Gerald Sommer; Kostas Daniilidis
Kiel: Inst. für Informatik und Praktische Mathematik, 2000

Hansen, Michael [Verfasser:in]
Stereosehen ein verhaltensbasierter Zugang unter Echtzeitbedingung Michael Hansen
Kiel: Inst. für Informatik und Praktische Mathematik, 1999

Yu, Weichuan [Verfasser:in]; Daniilidis, Konstantinos [Verfasser:in]; Sommer, Gerald [Verfasser:in]
Approximate orientation steerability based on angular Gaussians Weichuan Yu; Kostas Daniilidis; Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1999

Berghammer, Rudolf [Verfasser:in]; Tiedt, Markus [Verfasser:in]
Kiel interactive evaluation laboratory Rudolf Berghammer and Markus Tiedt
Kiel: Inst. für Informatik und Praktische Mathematik, 1999

Berghammer, Rudolf [Verfasser:in]; Hoffmann, Thorsten [Verfasser:in]; Leoniuk, Barbara [Verfasser:in]
Rechnergestützte Erstellung von Prototypen für Programme auf relationalen Strukturen Rudolf Berghammer; Thorsten Hoffmann; Barbara Leoniuk
Kiel: Inst. für Informatik und Praktische Mathematik, 1999

Hailu, Getachew [Verfasser:in]
Towards real learning robots Getachew Hailu
Kiel: Inst. für Informatik und Praktische Mathematik, 1999

Clemen, Thomas [Verfasser:in]
Zur Wavelet-gestützten Validierung von Simulationsmodellen in der Ökologie Thomas Clemen
Kiel: Inst. für Informatik und Praktische Mathematik, 1999

Bülow, Thomas [Verfasser:in]
Hypercomplex spectral signal representations for the processing and analysis of images Thomas Bülow
Kiel: Inst. für Informatik und Praktische Mathematik, 1999

Pauli, Josef [Herausgeber:in]
Learning manipulator behaviors using visual information Josef Pauli (ed.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1999

Schiering, Ina [Verfasser:in]
Hierarchical accepting systems and monadic second-order logic on graphs Ina Schiering
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Bruske, Jörg [Verfasser:in]
Dynamische Zellstrukturen Theorie und Anwendung eines KNN-Modells Jörg Bruske. Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Reinke, Claus [Verfasser:in]
Functions, frames, and interactions - completing a l-calculus-based lambda-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments Claus Reinke. Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Rasch, Jochen [Verfasser:in]
On value based identification in object oriented data models Jochen Rasch. Institut für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Maes, Arnaud [Verfasser:in]
Decidability of first order theory of (N;gößer als,P) for morphic predicates P Arnaud Maes
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Pauli, Josef [Verfasser:in]
Manipulator and head servoing for tool handling and object inspection Josef Pauli
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Goerigk, Wolfgang [Verfasser:in]; Hoffmann, Ulrich [Verfasser:in]
The compiling specification from COMLISP to executable machine code Wolfgang Goerigk; Ulrich Hoffmann
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Dickhöfer, Martin [Verfasser:in]; Wilke, Thomas [Verfasser:in]
The automata theoretic method works for TCTL model checking Martin Dickhöfer; Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Goerigk, Wolfgang [Verfasser:in]; Hoffmann, Ulrich [Verfasser:in]
Compiling ComLisp to executable machine code: compiler construction Wolfgang Goerigk; Ulrich Hoffmann
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Pauli, Josef [Verfasser:in]
Geometric photometric consensus and regular shape quasi-invariants for object localization and boundary extraction Josef Pauli
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Leoniuk, Barbara [Verfasser:in]; Lescow, Helmut [Verfasser:in]; Thomas, Wolfgang [Verfasser:in]
Singleton acceptance conditions in omega automata Barbara Leoniuk; Helmut Lescow; Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Matz, Oliver [Verfasser:in]
First order closure and the monadic second order alternation hierarchy Oliver Matz
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Berghammer, Rudolf [Herausgeber:in]
Tool support for system specification development and verification preliminary proceedings of a workshop held in Malente, June 2 - 4, 1998 Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel. Rudolf Berghammer ... (eds.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Hoffmann, Ulrich [Verfasser:in]
Compiler implementation verification through rigorous syntactical code inspection Ulrich Hoffmann
Kiel: Inst. für Informatik und Praktische Mathematik, 1998

Bruske, Jörg [Verfasser:in]; Sommer, Gerald [Verfasser:in]
Intrinsic dimensionality estimation with optimally topology preserving maps Jörg Bruske and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Ablamejko, Sergej Vladimirovič [Verfasser:in]; Bülow, T. [Verfasser:in]; Sommer, Gerald [Verfasser:in]
Line-drawing recognition Russian and German approaches S. Ablameyko; Th. Bülow; G. Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Ameskamp, Martin [Verfasser:in]
Three-dimensional rule based continuous soil modelling Martin Ameskamp
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Lescow, Helmut [Verfasser:in]
Modular construction of strategies winning infinite games Helmut Lescow
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Klein, Hans-Joachim [Verfasser:in]
Gesicherte und mögliche Antworten auf Anfragen an relationale Datenbanken mit partiellen Relationen Hans-Joachim Klein
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Berghammer, Rudolf [Herausgeber:in]
Programming languages and fundamentals of programming Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel. Rudolf Berghammer ... (eds.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Klein, Hans-Joachim [Verfasser:in]; Rasch, Jochen [Verfasser:in]
Functional dependencies for object databases motivation and axiomatization Hans-Joachim Klein; Jochen Rasch
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Michaelis, Markus [Verfasser:in]
Low level image processing using steerable filters Markus Michaelis
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Petersohn, Carsta [Verfasser:in]
Data and control flow diagrams, statecharts and Z their formalization, integration and real time extension Carsta Petersohn
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Herpers, Rainer [Verfasser:in]
GAZE a common attentive processing strategy for the detection and investigation of salient image regions Rainer Herpers
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Weber-Wulff, Debora [Verfasser:in]
Contributions to mechanical proofs of correctness for compiler front ends Debora Weber-Wulff
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Behnke, Ralf [Verfasser:in]; Berghammer, Rudolf [Verfasser:in]; Schneider, Peter [Verfasser:in]
Machine support of relational computations the Kiel RELVIEW system Ralf Behnke; Rudolf Berghammer; Peter Schneider
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Goerigk, Wolfgang [Herausgeber:in]
Alternative Konzepte für Sprachen und Rechner Bad Honnef, 28. - 30. April 1997 Wolfgang Goerigk (Hrsg.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Berghammer, Rudolf [Verfasser:in]
Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik Rudolf Berghammer
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Fränzle, Martin [Verfasser:in]
Controller design from temporal logic: undecidability need not matter Martin Fränzle
Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Siegel, Michael [Verfasser:in]
Phased design and verification of stabilizing systems Michael Siegel
Kiel: Inst. für Informatik und praktische Mathematik, 1996

Peleska, Jan [Verfasser:in]; Siegel, Michael [Verfasser:in]
Test automation of safety-critical reactive systems J. Peleska und M. Siegel
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Seibert, Sebastian [Verfasser:in]
Effektive Strategiekonstruktionen für Gale-Stewart-Spiele auf Transitionsgraphen Sebastian Seibert
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Meyer, Thies [Verfasser:in]
Anwendung von PVS zur Codegenerator-Verifikation Thies Meyer
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Ramanujam, R. [Verfasser:in]
Axiomatization of a partial order based temporal logic R. Ramanujam
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Knoop, Jens [Verfasser:in]; Rüthing, Oliver [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Towards a tool kit for the automatic generation of interprocedural data flow analyses Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Schiering, Ina [Verfasser:in]
Extensions of the class of star-free languages using regular prefix oracles Ina Schiering
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Bruske, Jörg [Verfasser:in]; Ahrns, Ingo [Verfasser:in]; Sommer, Gerald [Verfasser:in]
An integrated architecture for learning of reactive behaviors based on dynamic cell structures Jörg Bruske; Ingo Ahrns and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Siegel, Michael [Verfasser:in]
Combining refinement paradigms in stepwise refinement M. Siegel
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Knoop, Jens [Verfasser:in]; Rüthing, Oliver [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Syntactic versus semantic code motion analogies and essential differences Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Sommer, Gerald [Sonstige Person, Familie und Körperschaft]
Visuell basierte Robotik Stand und Perspektiven einer Technologie G. Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Ramanujam, R. [Verfasser:in]
Equivalence on runs and PTL R. Ramanujam
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Thomas, Wolfgang [Verfasser:in]
Languages, automata, and logic Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Bruske, Jörg [Sonstige Person, Familie und Körperschaft]
Dynamic cell structures for calibration-free adaptive saccade control of a four-degrees-of-freedom binocular head Jörg Bruske
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Lakhnech, Yassine [Verfasser:in]
Specification and verification of hybrid and real-time systems Yassine Lakhneck
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Cau, Antonio [Verfasser:in]
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic Antonio Cau
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Peleska, Jan [Verfasser:in]
Formal methods and the development of dependable systems Jan Peleska
Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Sauter, Stefan A. [Verfasser:in]; Krapp, A. [Verfasser:in]
On the effect of numerical integration in the Galerkin boundary element method S. A. Sauter and A. Krapp
Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Hackbusch, Wolfgang [Verfasser:in]
On the feedback vertex set problem for a planar graph Wolfgang Hackbusch
Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Langmaack, Hans [Verfasser:in]
The ProCoS-way towards correct systems Hans Langmaack
Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Xu, Qiwen [Verfasser:in]; Roever, Willem-Paul de [Verfasser:in]; Jifeng, He [Verfasser:in]
Rely-guarantee method for verifying shared variable concurrent programs Qiwen Xu; Willem-Paul de Roever, and Jifeng He
Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Hackbusch, Wolfgang [Verfasser:in]; Sauter, Stefan A. [Verfasser:in]
Composite finite elements for the approximation of PDEs on domains with complicated micro-structures W. Hackbusch and S. A. Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Matz, O. [Sonstige Person, Familie und Körperschaft]
Report on the program AMoRE O. Matz
Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Daniilidis, Konstantinos [Sonstige Person, Familie und Körperschaft]
Real time tracking of moving objects with an active camera K. Daniilidis
Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Buth, Bettina [Verfasser:in]
Operation refinement proofs for VDM-like specifications Bettina Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Wilke, Thomas [Verfasser:in]
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Potthoff, Andreas [Verfasser:in]
Logische Klassifizierung regulärer Baumsprachen Andreas Potthoff
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Buth, Karl-Heinz [Verfasser:in]
Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems Karl-Heinz Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Berghammer, Rudolf [Verfasser:in]
Graphdurchlauf mit Vererbung und Synthese eine Fallstudie über die Parameterisierung von Programmen mittels ML-Funktoren Rudolf Berghammer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Kosmol, Peter [Verfasser:in]; Nissen, Ivor [Verfasser:in]
Eine matrixfreie Löserklasse für nichtlineare Gleichungssysteme Peter Kosmol und Ivor Nissen
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflußanalysegeneratoren Berichterstatter: Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Kluge, Werner [Verfasser:in]
A user's guide for the reduction system pi-RED Werner E. Kluge
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Klein, Hans-Joachim [Verfasser:in]
How to modify SQL queries in order to guarantee sure answers Hans-Joachim Klein
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Bauer, Friedrich L. [Verfasser:in]
Die ALGOL-Verschwörung Vortrag aus Anlaß des 60. Geburtstags von Hans Langmaack am 20. Mai 1994 zu Kiel Friedrich L. Bauer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Buth, Bettina [Herausgeber:in]
Systems for computer-aided specification, development and verification Bettina Buth ... (eds.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Bruske, Jörg [Verfasser:in]; Sommer, Gerald [Verfasser:in]
Dynamic cell structures radial basis function networks with perfect topology preservation Jörg Bruske and Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Knoop, Jens [Verfasser:in]; Rüthing, Oliver [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Partial dead code elimination Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Michaelis, Markus [Verfasser:in]; Sommer, Gerald [Verfasser:in]
Basis functions for early vision Markus Michaelis und Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Michaelis, Markus [Verfasser:in]; Sommer, Gerald [Verfasser:in]
A Lie group approach to steerable filters Markus Michaelis und Gerald Sommer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Klein, Hans-Joachim [Verfasser:in]; Krämer, Dirk [Verfasser:in]
NQS, a graphical query system for data models with binary relationship types Hans-Joachim Klein; Dirk Krämer
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Reincke, Ruben-Benjamin [Verfasser:in]; Pechau, Jörg [Verfasser:in]
Ansätze zu Spezifikation und Verifikation mit VDM Fallstudie Analog-Ein/Ausgabe im Strahlungsmesssystem SINUPERM M Ruben-Benjamin Reincke; Jörg Pechau
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Petersohn, Carsta [Sonstige Person, Familie und Körperschaft]
Formal semantics for Ward & Mellor's Transformation Schema and its application to fault-tolerant systems Carsta Petersohn
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Simon, Friedemann [Herausgeber:in]
Alternative Konzepte für Sprachen und Rechner Bad Honnef 1994 F. Simon (Hrsg.)
Kiel: Inst. für Informatik und Praktische Mathematik, 1994

Oesterle, Kai [Verfasser:in]
FPS-AM eine abstrakte Maschine für funktionale Produktionssysteme; Speicherstrukturen, Maschinenbefehle und Übersetzung Kai Oesterle
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Cau, Antonio [Verfasser:in]; Roever, Willem-Paul de [Verfasser:in]
Specifying fault tolerance within Stark's formalism Antonio Cau; Willem-Paul de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Stomp, F. A. [Verfasser:in]
Structured design of self-stabilizing programs (extended abstract) F. A. Stomp
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Burmeister, Jens [Verfasser:in]; Paul, Rainer [Verfasser:in]
Schrittweitensteuerung für ein zeitparalleles Mehrgitterverfahren Jens Burmeister; Rainer Paul
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Wang, Songnian [Verfasser:in]; Simon, Friedemann [Verfasser:in]; Buth, Karl-Heinz [Verfasser:in]
Representation of temporal interval logic using term rewrite systems Songnian Wang; Friedemann Simon and Karl-Heinz Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Giammarresi, Dora [Sonstige Person, Familie und Körperschaft]
Monadic second-order logic over rectangular pictures and recognizability by tiling systems Dora Giammarresi
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Goetzke, Kai [Verfasser:in]
Boundedness of ring-lengths in periodic graphs K. Goetzke
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Goerigk, Wolfgang [Verfasser:in]
Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung Wolfgang Goerigk
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Stomp, F. A. [Verfasser:in]; Roever, Willem-Paul de [Verfasser:in]
A principle for sequential reasoning about distributed algorithms F. A. Stomp; W.-P. de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Klusch, Matthias [Verfasser:in]
HNS, a hybrid neural system and its use for the classification of stars Matthias Klusch
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Hackbusch, Wolfgang [Verfasser:in]; Sauter, Stefan A. [Verfasser:in]
On numerical cubatures of nearly singular surface integrals arising in BEM collocation W. Hackbusch and S. A. Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Knoop, Jens [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Efficient and optimal bit-vector data flow analyses a uniform interprocedural framework Jens Knoop; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Klein, Hans-Joachim [Verfasser:in]
Sure answers to queries for databases with incomplete information Hans-Joachim Klein
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Jurvanen, Eija [Verfasser:in]; Potthoff, Andreas [Verfasser:in]; Thomas, Wolfgang [Verfasser:in]
Tree languages recognizable by regular frontier check Eija Jurvanen; Andreas Potthoff; Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Kosmol, Peter [Verfasser:in] ; Nissen, Ivor [Sonstige Person, Familie und Körperschaft]
Eine das Residuum minimierende Algorithmenklasse für lineare Gleichungen Peter Kosmol und Ivor Nissen. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Wilke, Thomas [Verfasser:in]
Algebras for classifying regular tree languages and an application to frontier testability Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Crasemann, Christoph [Verfasser:in]
Pi-Lambda-Kalküle für Prozesse und Funktionen Christoph Crasemann
Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Aßmann, Claus [Verfasser:in]
Fast eine Prozessor-Architektur mit einem neuartigen Stacksystem Claus Assmann. Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Blödorn, Harald [Verfasser:in]
Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem H. Blödorn
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Goetzke, Kai [Verfasser:in]
Graphentheoretische und algebraische Verfahren für die Analyse von Kristallstrukturen Kai Goetzke
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Wilke, Thomas [Verfasser:in]
An algebraic theory for regular languages of finite and infinite words Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Wilke, Thomas [Verfasser:in]
Locally threshold testable languages of infinite words Thomas Wilke
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Seibert, Sebastian [Verfasser:in]
Quantifier hierarchies over word relations Sebastian Seibert
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Kosmol, Peter [Verfasser:in]
Sekantenverfahren für lineare Gleichungen Peter Kosmol
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Maaß, Rüdiger [Verfasser:in]
Testgenerierung für die Operandenauswahl über Multiplexer mit Voting-Verhalten Rüdiger Maaß
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Knoop, Jens [Verfasser:in]; Rüthing, Oliver [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Lazy code motion Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Buth, Karl-Heinz [Verfasser:in]
Simulation of transition systems with term rewriting systems Karl-Heinz Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Buth, Karl-Heinz [Verfasser:in]
Using SOS definitions in term rewriting proofs Karl-Heinz Buth
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Stomp, F. A. [Verfasser:in]; Roever, Willem-Paul de [Verfasser:in]
Principles for sequential reasoning about distributed algorithms F. A. Stomp; W.-P. de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Knoop, Jens [Verfasser:in]; Rüthing, Oliver [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Lazy strength reduction Jens Knoop; Oliver Rüthing; Bernhard Steffen
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Katzer, Edgar [Verfasser:in]
A subspace decomposition twogrid method for hyperbolic equations Edgar Katzer
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Hackbusch, Wolfgang [Verfasser:in]; Sauter, Stefan A. [Verfasser:in]
On the efficient use of the Galerkin method to solve Fredholm integral equations Wolfgang Hackbusch and Stefan A. Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Thomas, Wolfgang [Herausgeber:in]
2. Theorietag Automaten und Formale Sprachen Universität Kiel, 2./3. Oktober 1992 Hrsg.: Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Gärtner, Dietmar [Verfasser:in]
Pi-Red +: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls Dietmar Gärtner
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Maaß, Rüdiger [Verfasser:in]; Schimmler, Manfred [Verfasser:in]; Schmeck, Hartmut [Verfasser:in]
Abschlussbericht über das Forschungsvorhaben Fehlertoleranz und Testbarkeit von VLSI-Algorithmen Rüdiger Maass; Manfred Schimmler; Hartmut Schmeck
Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Schimmler, Manfred [Verfasser:in]
Graphenalgorithmen auf gitterverbundenen Prozessorfeldern Manfred Schimmler
Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Thomas, Wolfgang [Verfasser:in]
On logics, tilings, and automata Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Hooman, Jozef J. [Verfasser:in]; Roever, Willem-Paul de [Verfasser:in]
An introduction to compositional methods for concurrency and their application to real-time J. J. M. Hooman; Willem-Paul de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Thomas, Wolfgang [Verfasser:in]
Neue Aspekte in Rabins Theorie der Baumautomaten [Vortrag zum Fraenkel-Kolloquium, Kiel, 24./25.5.1991] Wolfgang Thomas
Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Hooman, Jozef J. [Verfasser:in]; Roever, Willem-Paul de [Verfasser:in]
Verification and specification of concurrent programs J. J. M. Hooman; Willem-Paul de Roever
Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Sauter, Stefan [Verfasser:in]
On the stability of the ILU method for a degenerate grid Stefan Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Schmidt, Thorsten [Verfasser:in]
Eine Analyse der Finite-Volumen-Element-Methode auf Vierecksgittern am Beispiel der Poissongleichung Thorsten Schmidt
Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Sauter, Stefan [Verfasser:in]
Der Aufwand der Panel-Clustering-Methode für Integralgleichungen Stefan Sauter
Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: