> Detailanzeige

Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik

Aachener Informatik-Berichte

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: Aachener Informatik-Berichte : AIB ; technical report
Körperschaft: Rheinisch-Westfälische Technische Hochschule Aachen, Fachgruppe Informatik
Erschienen: Aachen: Shaker, 1987-
Aachen: RWTH, 1987-2012
Aachen: Mainz, 2005,10
Erscheinungsverlauf: 1987 -
Sprache: Deutsch
ISSN: 0935-3232
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen: Ersch. unregelmäßig

Zugang

Dies ist der bibliografische Nachweis für eine Überordnung. Bestand der SLUB siehe "Mehrbändiges Werk" oder "Verlagsreihe"

Verweise

Erscheint auch als (Online-Ausgabe):
Aachener Informatik-Berichte (SLUB)

1987,1=1986; 1988,16=1987; 1989,1=1988; 1990,1=1989; 1991,1=1990; 1992,1=1991; 1993,1=1992; 1994,1=1993; 1995,1=1994; 1997,1=1996; 1998,1=1997; 1999,1=1998; 2000,1=1999 von:
Rheinisch-Westfälische Technische Hochschule Aachen. Fachgruppe Informatik: Jahresbericht ... der Fachgruppe Informatik in der... (SLUB)

1999,6=9,1 von:
Kulturlandschaft (SLUB)

1 zugl. alle Bd. von:
Rheinisch-Westfälische Technische Hochschule Aachen. Fachgruppe Informatik: Annual report (SLUB)

> Verlagsreihe

Bollig, Benedikt [Verfasser:in]
Automata and logics for message sequence charts vorgelegt von Benedikt Bollig
Aachen: Mainz, 2005

Leucker, Martin [Verfasser:in]
Logics for Mazurkiewicz traces Martin Leucker
Aachen: RWTH, Department of Computer Science, 2002

Schoop, Mareike [Verfasser:in]
Cooperative document management Mareike Schoop
Aachen: RWTH, Fachgruppe Informatik, 2000

Vöge, Jens [Verfasser:in]; Jurdziński, Marcin [Verfasser:in]
A discrete strategy improvement algorithm for solving parity games Jens Vöge; Marcin Jurdziński
Aachen: RWTH, Fachgruppe Informatik, 2000

Schoop, Mareike [Sonstige Person, Familie und Körperschaft]
20 years of language action perspective time to look back, time to move forward; 14-16 September 2000, Aachen, Germany Mareike Schoop ... (eds.) Proceedings of the Fifth International Workshop on the Language-Action Perspective on Communication Modelling (LAP 2000)
Aachen: RWTH Aachen, 2000

Mohnen, Markus [Sonstige Person, Familie und Körperschaft]
Proceedings of the 12th International Workshop on Implementation of Functional Languages [IFL 2000] ; Aachen, Germany, September 4th - 7th 2000 eds.: Markus Mohnen
Aachen: RWTH, Fachgruppe Informatik, 2000

Nicola, Matthias Michael [Verfasser:in]
Performance evaluation of distributed, replicated, and wireless information systems vorgelegt von Matthias Michael Nicola
Aachen: RWTH, 1999

Matz, Oliver [Verfasser:in]
Dot-depth and monadic quantifier alternation over pictures vorgelegt von Oliver Matz
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Alpuente, Maria [Sonstige Person, Familie und Körperschaft]
Specialization of funtional logic programs based on needed narrowing Maria Alpuente
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Dömges, Ralf [Verfasser:in]
Projektspezifische Methoden zur Nachvollziehbarkeit von Anforderungsspezifikationen vorgelegt von Ralf Dömges
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Gallersdörfer, Rainer [Verfasser:in] ; Jarke, Matthias [Sonstige Person, Familie und Körperschaft]; Nicola, Matthias Michael [Sonstige Person, Familie und Körperschaft]
The ADR replication manager Rainer Gallersdörfer; Matthias Jarke; Matthias Nicola
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Jakobs, Kai [Herausgeber:in]
Informationssysteme für die angewandte historische Geographie Beiträge des Symposiums vom 20. März 1999 am Lehrstuhl für Informatik IV der RWTH Aachen; eine Veranstaltung der Arbeitsgruppe für Angewandte Historische Geographie im Arbeitskreis für Genetische Siedlungsforschung in Mitteleuropa [RWTH Aachen, Fachgruppe Informatik]. Hrsg. von Kai Jakobs und Klaus-Dieter Kleefeld
Aachen: RWTH, Fachgruppe Informatik, 1999

Thomas, Wolfgang [Herausgeber:in]
Developments in language theory Fourth International Conference; preproceedings; [abstracts and extended abstrcts of the papers presented at the Fourth International Conference "Developments in Language Theory" (DLT), held in Aachen, Germany, July 6 - 9, 1999] DLT 99. W. Thomas (ed.)
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1999

Botorog, George Horaţiu [Verfasser:in]
High level parallel programming and the efficient implementation of numerical algorithms vorgelegt von George Horaţiu Botorog
Aachen: RWTH, Fachgruppe Informatik, 1998

Berger, Matthias Oliver [Verfasser:in]
DECT in the factory of the future vorgelegt von Matthias Oliver Berger
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Kubitz, Olaf [Verfasser:in]
Mobile robots in dynamic environments vorgelegt von Olaf Kubitz
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Appelt, Wolfgang [Verfasser:in]; Jarke, Matthias [Verfasser:in]
Interoperable tools for cooperation support using the World Wide Web Wolfgang Appelt; Matthias Jarke
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Indermark, Klaus [Verfasser:in]
Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation Klaus Indermark
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Nicola, Matthias Michael [Verfasser:in]; Jarke, Matthias [Verfasser:in]
Performance modeling of distributed and replicated databases Matthias Nicola / Matthias Jarke
Aachen: RWTH, Fachgruppe Informatik, 1998

Arnold, M. [Sonstige Person, Familie und Körperschaft]
Survey on the scenario use in twelve selected industrial projects M. Arnold
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Leucker, Martin [Verfasser:in]; Tobies, Stephan [Verfasser:in]
Truth - a platform for verification of distributed systems Martin Leucker; Stephan Tobies
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Schleicher, Ansgar [Verfasser:in] ; Westfechtel, Bernhard [Sonstige Person, Familie und Körperschaft]; Jäger, Dirk [Sonstige Person, Familie und Körperschaft]
Modeling dynamic software processes in UML Ansgar Schleicher; Bernhard Westfechtel; Dirk Jäger
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Gruner, Stefan [Verfasser:in]
Einige Anmerkungen zur graphgrammatischen Spezifikation von Integrationswerkzeugen nach Westfechtel, Janning, Lefering und Schürr Stefan Gruner
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Deserno, Thomas M. [Verfasser:in] ; Oberschelp, W. [Sonstige Person, Familie und Körperschaft]; Spitzer, K. [Sonstige Person, Familie und Körperschaft]
Geometrische Ausrichtung medizinischer Bilder am Beispiel intraoraler Radiographien vorgelegt von Thomas Lehmann
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1998

Aust, Harald [Verfasser:in]
Sprachverstehen und Dialogmodellierung in natürlichsprachlichen Informationssystemen von Harald Aust
Aachen: RWTH, Fachgruppe Informatik, 1998

Faassen, Johannes [Verfasser:in]
Using full parallel Boltzmann machines for optimization J. Faassen
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Mohnen, Markus [Verfasser:in]
Optimising the memory management of higher-order functional programs Markus Mohnen
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Gruner, Stefan [Verfasser:in]
Schemakorrespondenzaxiome unterstützen die paargrammatische Spezifikation inkrementeller Integrationswerkzeuge Stefan Gruner
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Winter, Andreas J. [Verfasser:in] ; Schürr, Andy [Sonstige Person, Familie und Körperschaft]; Schürr, Andreas [Sonstige Person, Familie und Körperschaft]
Modules and updatable graph views for PROgrammed Graph REwriting Systems A. Winter; A. Schürr
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Baumann, Roland [Verfasser:in]
Client/server distribution in a structure-oriented database management system Roland Baumann
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Nicola, Matthias Michael [Verfasser:in] ; Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Design and evaluation of wireless health care information-systems in developing countries M. Nicola; M. Jarke
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Hofstedt, Petra [Verfasser:in]
Taskparallele Skelette für irregulär strukturierte Probleme in deklarativen Sprachen P. Hofstedt
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Krapp, Carl-Arndt [Verfasser:in]; Westfechtel, Bernhard [Verfasser:in]
Feedback handling in dynamic task nets C.-A. Krapp; B. Westfechtel
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Nicola, Matthias Michael [Verfasser:in] ; Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Integrating replication and communication in performance models of distributed databases M. Nicola; M. Jarke
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Klamma, Ralf [Verfasser:in]; Peters, Peter [Verfasser:in]; Jarke, Matthias [Verfasser:in]
Workflow support for failure management in federated organizations R. Klamma; P. Peters; M. Jarke
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Gruner, Stefan [Verfasser:in]; Nagl, Manfred [Verfasser:in]; Schürr, Andreas [Verfasser:in]
Fine-grained and structure-oriented document integration tools are needed for development processes S. Gruner; M. Nagl; A. Schürr
Aachen: RWTH, Fachgruppe Informatik, 1997

Mohnen, Markus [Verfasser:in]; Tobies, Stephan [Verfasser:in]
Implementing context patterns in the Glasgow Haskell Compiler M. Mohnen; S. Tobies
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1997

Gallersdörfer, Rainer [Sonstige Person, Familie und Körperschaft]
INDIA intelligent networks as a data intensive application ; final project report, june 1996 Rainer Gallersdörfer
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Schimpe, Heribert [Verfasser:in]; Staudt, Martin [Verfasser:in]
VAREX - an environment for validating and refining rule bases Heribert Schimpe and Martin Staudt
Aachen: RWTH, Fachgruppe Informatik, 1996

Jeusfeld, Manfred A. [Verfasser:in] ; Bui, Tung X. [Sonstige Person, Familie und Körperschaft]
Decision support components on the Internet M. Jeusfeld; T. X. Bui
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

De Michelis, Giorgio [Sonstige Person, Familie und Körperschaft]
Cooperative information systems: a manifesto Giorgio De Michelis
Aachen: RWTH, Fachgruppe Informatik, 1996

Conradi, Reidar [Verfasser:in]; Westfechtel, Bernhard [Verfasser:in]
Version models for software configuration management Reidar Conradi; Bernhard Westfechtel
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Peters, Peter [Verfasser:in]; Jarke, Matthias [Verfasser:in]
Simulating the impact of information flows in networked organizations Peter Peters; Matthias Jarke
Aachen: RWTH, Fachgruppe Informatik, 1996

Hanus, Michael [Verfasser:in]; Prehofer, Christian [Verfasser:in]
Higher-order narrowing with definitional trees Michael Hanus; Christian Prehofer
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Jeusfeld, Manfred A. [Verfasser:in] ; Papazoglou, Mike [Sonstige Person, Familie und Körperschaft]; Papazoglou, Michael P. [Sonstige Person, Familie und Körperschaft]
Information brokering design, search and transformation M. Jeusfeld; M. Papazoglou
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Jarke, Matthias [Verfasser:in] ; Peters, Peter [Sonstige Person, Familie und Körperschaft]; Jeusfeld, Manfred A. [Sonstige Person, Familie und Körperschaft]
Model-driven planning and design of cooperative information systems M. Jarke; P. Peters; M. Jeusfeld
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Conflict analysis across heterogeneous viewpoints formalization and visualization Matthias Jarke
Aachen: RWTH, Fachgruppe Informatik, 1996

Dömges, Ralf [Sonstige Person, Familie und Körperschaft]
PRO-ART/CE an environment for managing the evolution of chemical process simulation models Ralf Dömges
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Pohl, Klaus [Verfasser:in]
PRO-ART enabling requirements pre-traceability K. Pohl
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Pohl, Klaus [Sonstige Person, Familie und Körperschaft]
A framework for process-integrated tools K. Pohl
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Hanus, Michael [Herausgeber:in]
Proceedings of the poster session of ALP '96 - Fifth International Conference on Algebraic and Logic Programming RWTH Aachen, Fachgruppe Informatik. Michael Hanus (ed.)
Aachen: Techn. Hochsch., Fachgruppe Informatik, c 1996

Scheufele, Wolfgang [Verfasser:in] ; Moerkotte, Guido [Sonstige Person, Familie und Körperschaft]
Optimal ordering of selections and joins in acyclic queries with expensive predicates W. Scheufele; G. Moerkotte
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Pohl, Klaus [Verfasser:in]
Requirements engineering an overview K. Pohl
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Jarke, Matthias [Verfasser:in]; Marquardt, Wolfgang [Verfasser:in]
Design and evaluation of computer-aided process modeling tools M. Jarke; W. Marquardt
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1996

Chitil, Olaf [Verfasser:in]
The s-semantics: a comprehensive semantics for functional programs Olaf Chitil
Aachen: RWTH, Fachgruppe Informatik, 1996

Staudt, Martin [Verfasser:in]; Jarke, Matthias [Verfasser:in]
Incremental maintenance of externally materialized views Martin Staudt; Matthias Jarke
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Cluet, Sophie [Verfasser:in] ; Moerkotte, Guido [Sonstige Person, Familie und Körperschaft]
Query optimization techniques exploiting class hierarchies S. Cluet; G. Moerkotte
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Mohnen, Markus [Verfasser:in]
Functional specification of imperative programs an alternative point of view of funtional languages Markus Mohnen
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Gallersdörfer, Rainer [Verfasser:in] ; Nicola, Matthias Michael [Sonstige Person, Familie und Körperschaft]
Improving performance in replicated databases through relaxed coherency Rainer Gallersdörfer; Matthias Nicola
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Staiger, Ludwig [Verfasser:in]
A tight upper bound on Kolomogorov complexity by Hausdorff dimension and uniformly optimal prediction Ludwig Staiger
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

König-Ries, Birgitta [Verfasser:in] ; Helmer, Sven [Sonstige Person, Familie und Körperschaft]; Moerkotte, Guido [Sonstige Person, Familie und Körperschaft]
An experimental study on the complexity of left-deep join ordering problems for cyclic queries Birgitta König-Ries; Sven Helmer; Guido Moerkotte
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Mohnen, Markus [Verfasser:in]
Efficient compile-time garbage collection for arbitrary data structures Markus Mohnen
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Cluet, Sophie [Verfasser:in] ; Moerkotte, Guido [Sonstige Person, Familie und Körperschaft]
Efficient evaluation of aggregates on bulk types Sophie Cluet; Guido Moerkotte
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Cluet, Sophie [Verfasser:in] ; Moerkotte, Guido [Sonstige Person, Familie und Körperschaft]
Nested queries in object bases S. Cluet; G. Moerkotte
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Zemanek, Georg V. [Sonstige Person, Familie und Körperschaft]
Requirements analysis from multiple perspectives experiences with conceptual modeling technology Georg V. Zemanek
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Peters, Peter [Sonstige Person, Familie und Körperschaft]
Business process oriented information management conceptual models at work P. Peters
Aachen: RWTH, Fachgruppe Informatik, 1995

Schürr, Andy [Verfasser:in] ; Winter, Andreas J. [Sonstige Person, Familie und Körperschaft]; Zündorf, Albert [Sonstige Person, Familie und Körperschaft]; Schürr, Andreas [Sonstige Person, Familie und Körperschaft]
Graph grammar engineering with PROGRES Andy Schürr, Andreas J. Winter, and Albert Zündorf
Aachen: Techn. Hochsch., Fachgruppe Informatik, 1995

Staudt, Martin [Verfasser:in]; Thadden, Kai von [Verfasser:in]
Subsumption checking in knowledge bases Martin Staudt; Kai von Thadden
Aachen: Techn. Univ., Fachgruppe Informatik, 1995

Jacobs, Stephan [Verfasser:in]; Kethers, Stefanie [Verfasser:in]
Improving communication and decision making within quality function deployment St. Jacobs; St. Kethers. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, [1994]

Burkart, Olaf [Verfasser:in]; Caucal, Didier [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
An elementary bisimulation decision procedure for arbitrary context free processes Olaf Burkart; Didier Caucal; Bernhard Steffen
Aachen: RWTH, Fachgruppe Informatik, [1994]

Mohnen, Markus [Verfasser:in]
Proving the correctness of the static link technique using evolving algebras Markus Mohnen
Aachen: RWTH, Fachgruppe Informatik, [1994]

Lefering, Martin [Verfasser:in]
Development of incremental integration tools using formal specifications Martin Lefering
Aachen: RWTH, Fachgruppe Informatik, 1994

Westfechtel, Bernhard [Verfasser:in]
A graph-based system for managing configurations of engineering design documents Bernhard Westfechtel
Aachen: RWTH, Fachgruppe Informatik, 1994

Staiger, Ludwig [Verfasser:in]
Codes, simplifying words, and open set condition Ludwig Staiger
Aachen: RWTH, Fachgruppe Informatik, 1994

Linnhoff-Popien, Claudia [Verfasser:in]; Meyer, Bernd [Verfasser:in]; Kuepper, Axel [Verfasser:in] ; Popien, Claudia [Sonstige Person, Familie und Körperschaft]
A formal approach to service import in ODP trader federations Claudia Popien; Bernd Meyer; Axel Kuepper
Aachen: RWTH, Fachgruppe Informatik, 1994

Gallersdörfer, Rainer [Verfasser:in]; Jarke, Matthias [Verfasser:in]; Klabunde, Karin [Verfasser:in]
Intelligent networks as a data intensive application (INDIA) R. Gallersdörfer; M. Jarke; K. Klabunde
Aachen: RWTH, Fachgruppe Informatik, [1994]

Hogen, Guido [Verfasser:in]; Loogen, Rita [Verfasser:in]
Parallel functional implementations graphbased vs. stackbased reduction G. Hogen; R. Loogen
Aachen: RWTH, Fachgruppe Informatik, [1994]

Horster, Patrick [Verfasser:in]; Petersen, Holger [Verfasser:in]
Signatur- und Authentifikationsverfahren auf der Basis des diskreten Logarithmusproblems Patrick Horster; Holger Petersen
Aachen: RWTH, Fachgruppe Informatik, [1994]

Jeusfeld, Manfred A. [Verfasser:in]; Johnen, Uwe A. [Verfasser:in]
An executable meta model for re-engineering of database schemas M. A. Jeusfeld; U. A. Johnen
Aachen: RWTH, Fachgruppe Informatik, [1994]

Litovsky, Igor [Verfasser:in]; Staiger, Ludwig [Verfasser:in]
Finite acceptance of infinite words Igor Litovsky; L. Staiger
Aachen: RWTH, Fachgruppe Informatik, [1994]

Fernau, Henning [Verfasser:in]; Staiger, Ludwig [Verfasser:in]
Valuations and unambiguity of languages, with applications to fractal geometry Henning Fernau; Ludwig Staiger
Aachen: RWTH, Fachgruppe Informatik, [1994]

Jarke, Matthias [Verfasser:in]; Nissen, Hans W. [Verfasser:in]; Pohl, Klaus [Verfasser:in]
Tool integration in evolving information systems environments M. Jarke; H. W. Nissen; K. Pohl. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, [1994]

Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Experience-based method evaluation and improvement a process modeling approach RWTH Aachen, Fachgruppe Informatik. M. Jarke
Aachen: RWTH, Fachgruppe Informatik, [1994]

Klein, Peter [Verfasser:in]
Designing software with Modula-3 Peter Klein
Aachen: RWTH, Fachgruppe Informatik, 1994

Nagl, Manfred [Verfasser:in]; Westfechtel, Bernhard [Verfasser:in]
A universal component for the administration in distributed and integrated development environments Manfred Nagl; Bernhard Westfechtel
Aachen: RWTH, Fachgruppe Informatik, 1994

Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Requirements information management the NATURE approach RWTH Aachen, Fachgruppe Informatik. M. Jarke
Aachen: RWTH, Fachgruppe Informatik, 1994

Schürr, Andreas [Verfasser:in]
Logic based programmed structure rewriting systems Andy Schürr
Aachen: RWTH, Fachgruppe Informatik, 1994

Peters, Peter [Verfasser:in]; Szczurko, Peter [Verfasser:in]
Integrating models of quality management methods by an object-oriented repository Peter Peters; Peter Szczurko
Aachen: RWTH, Fachgruppe Informatik, 1994

Schürr, Andreas [Verfasser:in]
PROGRES, a visual language and environment for PROgramming with Graph REwriting Systems Andy Schürr
Aachen: RWTH, Fachgruppe Informatik, 1994

Schürr, Andreas [Verfasser:in]
Specification of graph translators with triple graph grammars Andy Schürr
Aachen: RWTH, Fachgruppe Informatik, 1994

Constantopoulos, Panos [Sonstige Person, Familie und Körperschaft]
The software information base a server for reuse RWTH Aachen, Fachgruppe Informatik. P. Constantopoulos
Aachen: RWTH, Fachgruppe Informatik, 1994

Hager, Rolf [Verfasser:in]; Hermesmann, Peter [Verfasser:in]; Portz, Michael [Verfasser:in]
Feasibility of authentication procedures within advanced transport telematics Rolf Hager; Peter Hermesmann; Michael Portz
Aachen: RWTH, Fachgruppe Informatik, 1994

Hager, Rolf [Verfasser:in]; Mathar, Rudolf [Verfasser:in]; Mattfeldt, Jürgen [Verfasser:in]
Intelligent cruise control and reliable communication of mobile stations Rolf Hager; Rudolf Mathar; Jürgen Mattfeldt
Aachen: RWTH, Fachgruppe Informatik, 1994

Jarke, Matthias [Verfasser:in] ; Pohl, Klaus [Sonstige Person, Familie und Körperschaft]
Establishing vision in context towards a model of requirements processes Matthias Jarke; Klaus Pohl
Aachen: RWTH, Fachgruppe Informatik, 1993

Große-Wienker, Reinhard [Sonstige Person, Familie und Körperschaft]
Das SUKITS-Projekt A-posteriori-Integration heterogener CIM-Anwendungssysteme RWTH Aachen, Fachgruppe Informatik. R. Große-Wienker
Aachen: RWTH, Fachgruppe Informatik, 1993

Zündorf, Albert [Verfasser:in]
A heuristic for the subgraph isomorphism problem in executing PROGRES Albert Zündorf
Aachen: RWTH, Fachgruppe Informatik, 1993

Finke, Kai [Sonstige Person, Familie und Körperschaft]
Quality management for expert systems in process control RWTH Aachen, Fachgruppe Informatik. K. Finke
Aachen: RWTH, Fachgruppe Informatik, 1993

Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Requirements engineering an integrated view of representation, process, and domain RWTH Aachen, Fachgruppe Informatik. M. Jarke
Aachen: RWTH, Fachgruppe Informatik, 1993

Staudt, Martin [Verfasser:in] ; Nissen, Hans W. [Sonstige Person, Familie und Körperschaft]; Jeusfeld, Manfred A. [Sonstige Person, Familie und Körperschaft]
Query by class, rule and concept Martin Staudt; Hans W. Nissen; Manfred A. Jeusfeld
Aachen: RWTH, Fachgruppe Informatik, 1993

Burkart, Olaf [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Pushdown processes parallel composition and model checking Olaf Burkart; Bernhard Steffen. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, [1993]

Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
ConceptBase - a deductive object base manager RWTH Aachen, Fachgruppe Informatik. M. Jarke
Aachen: RWTH, Fachgruppe Informatik, [1993]

Maler, Oded [Verfasser:in]; Staiger, Ludwig [Verfasser:in]
On syntactic congruences for [omega]-languages Oded Maler; Ludwig Staiger
Aachen: RWTH, Fachgruppe Informatik, [1993]

Hoeppermanns, Gabriele [Bearbeiter:in]
Graduiertenkolleg Informatik und Technik RWTH Aachen, Fachgruppe Informatik. [Hrsg.: Graduiertenkolleg "Informatik und Technik"]
Aachen: RWTH, Fachgruppe Informatik, 1993

Mathar, Rudolf [Verfasser:in] ; Mattfeldt, Jürgen [Sonstige Person, Familie und Körperschaft]; Hager, Rolf [Sonstige Person, Familie und Körperschaft]
Analysis of mobile packet radio networks in Rayleigh fading environments Rudolf Mathar; Jürgen Mattfeldt; Rolf Hager
Aachen: RWTH, Fachgruppe Informatik, 1993

Jarke, Matthias [Verfasser:in] ; Jeusfeld, Manfred A. [Sonstige Person, Familie und Körperschaft]; Szczurko, Peter [Sonstige Person, Familie und Körperschaft]
Three aspects of intelligent cooperation in the quality cycle Matthias Jarke; Manfred A. Jeusfeld; Peter Szczurko
Aachen: RWTH, Fachgruppe Informatik, 1993

Mathar, Rudolf [Verfasser:in]; Mattfeldt, Jürgen [Verfasser:in]
On the distribution of cumulated interference power in Rayleigh fading channels Rudolf Mathar; Jürgen Mattfeldt
Aachen: RWTH, Fachgruppe Informatik, 1993

Berger, Matthias Oliver [Verfasser:in]
k-coloring vertices using a neural network with convergence to valid solutions Matthias Berger
Aachen: RWTH, Fachgruppe Informatik, [1993]

Hans, Werner [Verfasser:in] ; Kuchen, Herbert [Sonstige Person, Familie und Körperschaft]; Winkler, Stephan [Sonstige Person, Familie und Körperschaft]
Full indexing for lazy narrowing Werner Hans; Herbert Kuchen; Stephan Winkler
Aachen: Techn. Univ., Fachgruppe Informatik, 1993

Hans, Werner [Sonstige Person, Familie und Körperschaft]
A VHDL specification of a shared memory parallel machine for Babel W. Hans
Aachen: Techn. Univ., Fachgruppe Informatik, 1993

Hans, Werner [Verfasser:in]; Winkler, Stephan [Verfasser:in]
Abstract interpretation of functional logic languages Werner Hans; Stephan Winkler
Aachen: RWTH, Fachgruppe Informatik, 1993

Hogen, Guido [Verfasser:in]; Loogen, Rita [Verfasser:in]
A new stack technique for the management of runtime structures in distributed implementations G. Hogen; R. Loogen
Aachen: RWTH, Fachgruppe Informatik, [1993]

Kemper, Alfons [Verfasser:in]; Kossmann, Donald [Verfasser:in]
Adaptable pointer swizzling strategies in object bases design, realization, and quantitative analysis Alfons Kemper; Donald Kossmann
Aachen: RWTH, Fachgruppe Informatik, 1993

Chen, Patrick S. [Verfasser:in] ; Chen, Patrick Shicheng [Sonstige Person, Familie und Körperschaft]
On inference rules of logic-based information retrieval systems Patrick Shicheng Chen
Aachen: RWTH, Fachgruppe Informatik, 1993

Buchheit, Martin [Sonstige Person, Familie und Körperschaft]
Subsumption between queries to object-oriented databases RWTH Aachen, Fachgruppe Informatik. M. Buchheit
Aachen: RWTH, Fachgruppe Informatik, [1993]

Kemper, Alfons [Verfasser:in]; Moerkotte, Guido [Verfasser:in]
Grundlagen objektorientierter Datenbanksysteme Alfons Kemper; Guido Moerkotte
Aachen: Fachgruppe Informatik, RWTH Aache, 1992

Beeck, Michael von der [Verfasser:in]
Integration of structured analysis and timed statecharts for real-time and concurrency specification Michael von der Beeck
Aachen: RWTH, Fachgruppe Informatik, [1992]

Smolka, Scott A. [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Priority as extremal probability Scott A. Smolka; Bernhard Steffen
Aachen: RWTH, Fachgruppe Informatik, 1992

Westfechtel, Bernhard [Verfasser:in]
Basismechanismen zur Datenverwaltung in strukturbezogenen Hypertextsystemen Bernhard Westfechtel
Aachen: Fachgruppe Informatik, RWTH Aachen, 1992

Mathar, Rudolf [Verfasser:in]; Mattfeldt, Jürgen [Verfasser:in]
Analyzing routing strategy NFP in multihop packet radio networks on a line Rudolf Mathar and Jürgen Mattfeldt
Aachen: Fachgruppe Informatik, RWTH Aachen, 1992

Burkart, Olaf [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Model checking for context free processes Olaf Burkart and Bernhard Steffen
Aachen: RWTH, Fachgruppe Informatik, 1992

Jarke, Matthias [Verfasser:in]; Pohl, Klaus [Verfasser:in]
Information systems quality and quality information systems Matthias Jarke; Klaus Pohl
Aachen: Fachgruppe Informatik, RWTH Aachen, 1992

Jarke, Matthias [Verfasser:in]; Maltzahn, Carlos [Verfasser:in]; Rose, Thomas [Verfasser:in]
Sharing processes, team coordination in design repositories Matthias Jarke; Carlos Maltzahn; Thomas Rose
Aachen: Fachgruppe Informatik, RWTH Aachen, 1992

Jarke, Matthias [Verfasser:in]; Rose, Thomas [Verfasser:in]
Specification management with CAD 0 Matthias Jarke; Thomas Rose
Aachen: RWTH, Fachgruppe Informatik, 1992

Margaria-Steffen, Tiziana [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Distinguishing formulas for free T. Margaria; B. Steffen
Aachen: RWTH, Fachgruppe Informatik, 1992

Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Towards a logic based reconstruction of software configuration management Matthias Jarke
Aachen: Fachgruppe Informatik, RWTH Aachen, 1992

Hans, Werner [Verfasser:in]
A complete indexing scheme for WAM-based abstract machines Werner Hans
Aachen: Fachgruppe Informatik der RWTH, 1992

Noll, Thomas [Verfasser:in]; Vogler, Heiko [Verfasser:in]
Top-down parsing with simultaneous evaluation of noncircular attribute grammars Thomas Noll; Heiko Vogler
Aachen: RWTH, Fachgruppe Informatik, 1992

Börstler, Jürgen [Verfasser:in]
Feature-oriented classification and reuse in IPSEN Jürgen Börstler
Aachen: Fachgruppe Informatik der RWTH, 1992

Pohl, Klaus [Verfasser:in] ; Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Quality information systems repository support for evolving process models Klaus Pohl and Matthias Jarke. [RWTH Aachen, Fachgruppe Informatik]
Aachen: RWTH, Fachgruppe Informatik, [19]92

Zündorf, Albert [Verfasser:in]
Implementation of the imperative/rule based language PROGRES Albert Zündorf
Aachen: Fachgruppe Informatik der RWTH, 1992

Koch, Patrik [Verfasser:in]
Intelligentes Backtracking bei der Auswertung funktional-logischer Programme Patrik Koch
Aachen: Fachgruppe Informatik der RWTH, 1992

Hans, Werner [Verfasser:in] ; Loogen, Rita [Sonstige Person, Familie und Körperschaft]; Winkler, Stephan [Sonstige Person, Familie und Körperschaft]
On the interaction of lazy evaluation and backtracking Werner Hans; Rita Loogen; Stephan Winkler
Aachen: Fachgruppe Informatik der RWTH, 1992

Pohl, Klaus [Verfasser:in]
The three dimensions of requirements engineering Klaus Pohl
Aachen: Fachgruppe Informatik der RWTH, 1992

Chen, Patrick S. [Verfasser:in]; Hennicker, Rolf [Verfasser:in]; Jarke, Matthias [Verfasser:in] ; Chen, Patrick Shicheng [Sonstige Person, Familie und Körperschaft]
On the retrieval of reusable software components P. S. Chen; R. Hennicker; M. Jarke
Aachen: RWTH, Fachgruppe Informatik, [1992]

Hans, Werner [Verfasser:in]; Winkler, Stephan [Verfasser:in]
Aliasing and groundness analysis of logic programs through abstract interpretation and its safety Werner Hans; Stephan Winkler
Aachen: RWTH, Fachgruppe Informatik, [1992]

Gerlhof, Carsten [Sonstige Person, Familie und Körperschaft]
Partition-based clustering in object bases from theory to practice RWTH Aachen, Fachgruppe Informatik. C. Gerlhof
Aachen: RWTH, Fachgruppe Informatik, [1992]

Schinzel, Britta [Verfasser:in]
Warum Frauenforschung in Naturwissenschaft und Technik Abschiedsvorlesung ; gehalten am 19.12.1991 ... von Britta Schinzel
Aachen: Fachgruppe Informatik der RWTH, 1992

Kemper, Alfons [Verfasser:in] ; Moerkotte, Guido [Sonstige Person, Familie und Körperschaft]; Peithner, Klaus [Sonstige Person, Familie und Körperschaft]
Object-orientation axiomatised by dynamic logic Alfons Kemper; Guido Moerkotte; Klaus Peithner
Aachen: Fachgruppe Informatik der RWTH, 1992

Heinrichs, Bernd [Sonstige Person, Familie und Körperschaft]
Euro-Bridge communication services for multimedia applications RWTH Aachen, Fachgruppe Informatik. B. Heinrichs
Aachen: RWTH, Fachgruppe Informatik, 1992

Friedrich, Gerhard [Sonstige Person, Familie und Körperschaft]; Nejdl, Wolfgang [Sonstige Person, Familie und Körperschaft]
Constructive utility in model-based diagnosis/repair systems Gerhard Friedrich; Wolfgang Nejdl
Aachen: Fachgruppe Informatik der RWTH, 1992

Kiesel, Norbert [Verfasser:in] ; Schürr, Andreas [Sonstige Person, Familie und Körperschaft]; Westfechtel, Bernhard [Sonstige Person, Familie und Körperschaft]
Design and evaluation of GRAS a graph oriented database system for engineering applications N. Kiesel; A. Schürr; B. Westfechtel. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1992

Kuchen, Herbert [Verfasser:in]; Moreno-Navarro, Juan J. [Verfasser:in]; Hermenegildo, Manuel V. [Verfasser:in]
Independent AND parallel narrowing H. Kuchen; J. J. Moreno-Navarro; M. V. Hermenegildo
Aachen: RWTH, Fachgruppe Informatik, 1992

Schürr, Andreas [Verfasser:in]; Westfechtel, Bernhard [Verfasser:in]
Graphgrammatiken und Graphersetzungssysteme Andreas Schürr; Bernhard Westfechtel
Aachen: RWTH, Fachgruppe Informatik, 1992

Hoeppermanns, Gabriele [Bearbeiter:in]
Forschungsprojekte des Graduiertenkollegs "Informatik und Technik" der RWTH Aachen [Hrsg.: Graduiertenkolleg Informatik und Technik. Red.: G. Hoeppermanns]
Aachen: RWTH, Fachgruppe Informatik, 1992

Stainov, Rumen [Verfasser:in]
A dynamic configuration facility for multimedia communications R. Stainov
Aachen: RWTH, Fachgruppe Informatik, 1992

Steinke, Gerhard [Verfasser:in]; Jarke, Matthias [Verfasser:in]
Support for security modeling in information systems design Gerhard Steinke; Matthias Jarke
Aachen: Fachgruppe Informatik der RWTH, 1992

Heinrichs, Bernd [Verfasser:in]; Jakobs, Kai [Verfasser:in]
Timer handling in high-performance transport systems Bernd Heinrichs; Kai Jakobs
Aachen: Fachgruppe Informatik der RWTH, 1992

Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
Theories underlying requirements engineering an overview of NATURE at genesis RWTH Aachen, Fachgruppe Informatik. Matthias Jarke
Aachen: Fachgruppe Informatik der RWTH, 1992

Mathar, Rudolf [Verfasser:in] ; Mattfeldt, Jürgen [Sonstige Person, Familie und Körperschaft]
Channel assignment in cellular radio networks Rudolf Mathar; Jürgen Mattfeldt
Aachen: Fachgruppe Informatik der RWTH, 1992

Kuchen, Herbert [Verfasser:in]; López-Fraguas, Francisco J. [Verfasser:in]
Result directed computing in a functional logic language H. Kuchen; F. J. López-Fraguas
Aachen: RWTH, Fachgruppe Informatik, 1992

Kuchen, Herbert [Sonstige Person, Familie und Körperschaft]
Implementing disequality in the lazy functional logic language babel Herbert Kuchen
Aachen: RWTH, Fachgruppe Informatik, 1992

Jarke, Matthias [Herausgeber:in]; Ellis, Clarence A. [Sonstige Person, Familie und Körperschaft]
Distributed cooperation in integrated information systems proceedings of the Third International Workshop on Intelligent and Cooperative Information Systems, Schloß Dagstuhl, Saarland, April 6 - 8, 1992 workshop co-chairs: Matthias Jarke
Aachen: Fachgruppe Informatik, RWTH Aachen, 1992

Kremer, Wolfgang [Verfasser:in]; Fasbender, Andreas [Verfasser:in]
A new approximation algorithm for tandem networks with priority nodes Wolfgang Kremer; Andreas Fasbender
Aachen: RWTH, Fachgruppe Informatik, 1991

Staiger, Ludwig [Verfasser:in]
Syntactic congruences for omega-languages Ludwig Staiger
Aachen: RWTH, Fachgruppe Informatik, 1991

Hogen, Guido [Verfasser:in]; Kindler, Andrea [Verfasser:in]; Loogen, Rita [Verfasser:in]
Automatic parallelization of lazy functional programs Guido Hogen; Andrea Kindler; Rita Loogen
Aachen: RWTH, Fachgruppe Informatik, 1991

Steffen, Bernhard [Verfasser:in]; Ingólfsdóttir, Anna [Verfasser:in]
Characteristic formulae for processes with divergence Bernhard Steffen; Anna Ingólfsdóttir
Aachen: RWTH, Fachgruppe Informatik, 1991

Portz, Michael [Verfasser:in]
A new class of cryptosystems based on interconnection networks Michael Portz
Aachen: RWTH, Fachgruppe Informatik, 1991

Hager, Rolf [Verfasser:in]; Kremer, Wolfgang [Verfasser:in]
The adaptive priority scheduler: a more fair priority service discipline Rolf Hager; Wolfgang Kremer
Aachen: RWTH, Fachgruppe Informatik, 1991

Gladitz, Katia [Verfasser:in]; Faßbender, Heinz [Verfasser:in]; Vogler, Heiko [Verfasser:in]
Compiler based implementation of syntax directed functional programming Katia Gladitz, Heinz Faßbender and Heiko Vogler
Aachen: RWTH, Fachgruppe Informatik, 1991

Steffen, Bernhard [Verfasser:in]
Generating data flow analysis algorithms from model specifications Bernhard Steffen
Aachen: Fachgruppe Informatik, RWTH Aachen, 1991

Börstler, Jürgen [Verfasser:in]; Zündorf, Albert [Verfasser:in]
Revisiting extensions to Modula-2 to improve reusability J. Börstler; A. Zündorf
Aachen: RWTH, Fachgruppe Informatik, 1991

Börstler, Jürgen [Verfasser:in] ; Janning, Thorsten [Sonstige Person, Familie und Körperschaft]; Janning, Thomas [Sonstige Person, Familie und Körperschaft]
Bridging the gap between requirements analysis and design J. Börstler and T. Janning
Aachen: RWTH, Fachgruppe Informatik, 1991

Zündorf, Albert [Verfasser:in] ; Schürr, Andreas [Sonstige Person, Familie und Körperschaft]
Nondeterministic control structures for graph rewriting systems Albert Zündorf; Andy Schürr
Aachen: RWTH, Fachgruppe Informatik, 1991

Jeusfeld, Manfred A. [Verfasser:in]; Jarke, Matthias [Verfasser:in]
From relational to object-oriented integrity simplification Manfred Jeusfeld; Matthias Jarke
Aachen: RWTH, Fachgruppe Informatik, 1991

Spaniol, Otto [Verfasser:in]
ODP (Open Distributed Processing): yet another viewpoint Otto Spaniol
Aachen: RWTH, Fachgruppe Informatik, 1991

Kuchen, Herbert [Verfasser:in]; Stoltze, Holger [Verfasser:in]; Lücking, Friedrich [Verfasser:in]
The Topology Description Language TDL H. Kuchen; H. Stoltze; F. Lücking
Aachen: RWTH, Fachgruppe Informatik, 1991

Graf, Susanne [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Compositional minimization of finite state systems S. Graf; B. Steffen
Aachen: RWTH, Fachgruppe Informatik, 1991

Cleaveland, Rance [Verfasser:in]; Parrow, Joachim [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
The concurrency workbench: a semantics based tool for the verification of concurrent systems R. Cleaveland; J. Parrow; B. Steffen
Aachen: RWTH, Fachgruppe Informatik, 1991

Mathar, Rudolf [Verfasser:in]; Mattfeldt, Jürgen [Verfasser:in]
Optimal transmission ranges for mobile communication in linear multihop packet radio networks Rudolf Mathar; Jürgen Mattfeldt
Aachen: RWTH, Fachgruppe Informatik, 1991

Indermark, Klaus [Herausgeber:in]; Rodríguez Artalejo, M. [Sonstige Person, Familie und Körperschaft]
Granada Workshop on the Integration of Functional and Logic Programming K. Indermark ... (eds.)
Aachen: RWTH, Fachgruppe Informatik, 1991

Jarke, Matthias [Sonstige Person, Familie und Körperschaft]
DAIDA, an environment for evolving information systems Matthias Jarke
Aachen: RWTH, Fachgruppe Informatik, 1991

Kuikka, Eila [Verfasser:in]
A proposal for a syntax directed text processing system Eila Kuikka
Aachen: RWTH, Fachgruppe Informatik, 1991

Loogen, Rita [Verfasser:in]; Winkler, Stephan [Verfasser:in]
Dynamic detection of determinism in functional logic languages Rita Loogen; Stephan Winkler
Aachen: RWTH, Fachgruppe Informatik, [1991]

Kuchen, Herbert [Verfasser:in]; Geiler, Günther [Verfasser:in]
Distributed applicative arrays Herbert Kuchen; Günther Geiler
Aachen: RWTH, Fachgruppe Informatik, 1991

Staiger, Ludwig [Verfasser:in]
Kolmogorov complexity and Hausdorff dimension Ludwig Staiger
Aachen: RWTH, Fachgruppe Informatik, 1991

Jeusfeld, Manfred A. [Verfasser:in]; Staudt, Martin [Verfasser:in]
Query optimization in deductive object bases Manfred Jeusfeld; Martin Staudt
Aachen: RWTH, Fachgruppe Informatik, 1991

Knoop, Jens [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
The interprocedural coincidence theorem Jens Knoop; Bernhard Steffen
Aachen: RWTH, Fachgruppe Informatik, 1991

Knoop, Jens [Verfasser:in]; Steffen, Bernhard [Verfasser:in]
Unifying strength reduction and semantic code motion Jens Knoop; Bernhard Steffen
Aachen: RWTH, Fachgruppe Informatik, 1991

Margaria-Steffen, Tiziana [Verfasser:in]
First order theories for the verification of complex FSMs Tiziana Margaria
Aachen: RWTH, Fachgruppe Informatik, 1991

Loogen, Rita [Verfasser:in]
Stack based implementation of narrowing Rita Loogen
Aachen: Fachgruppe Informatik, RWTH, [1990]

Skurczyński, Jerzy [Verfasser:in]
On three hierarchies of weak SkS formulas Jerzy Skurczyński
Aachen: Fachgruppe Informatik, RWTH, 1990

Kowalewski, Eric [Verfasser:in]
Entwurf und Interpretation einer Sprache zur Beschreibung von Konsultationsphasen in Expertensystemen Eric Kowalewski
Aachen: Fachgruppe Informatik, Rheinisch-Westfälische Technische Hochschule RWTH, 1990

Bachmann, Peter [Sonstige Person, Familie und Körperschaft]
The design of RAD towards an interactive toolbox for database design Peter Bachmann
Aachen: RWTH, Fachgruppe Informatik, 1990

Moreno-Navarro, Juan J. [Sonstige Person, Familie und Körperschaft]
Lazy narrowing in a graph machine Juan José Moreno-Navarro
Aachen: Fachgruppe Informatik, RWTH,, 1990

Möller, Marita [Verfasser:in]
Ein Ebenenmodell wissensbasierter Konsultationen Unterstützung für Wissensakquisition u. Erklärungsfähigkeit Marita Möller
Aachen: RWTH, Fachgruppe Informatik, 1990

Janning, Thorsten [Verfasser:in]; Lefering, Martin [Verfasser:in]
A transformation from requirements engineering into design the method and the tool Thorsten Janning; Martin Lefering
Aachen: RWTH, Fachgruppe Informatik, 1990

Noack, Jörg [Verfasser:in]
Natürlichsprachliche Interaktion mit Datenbanken Jörg Noack
Aachen: RWTH, Fachgruppe Informatik, 1990

Mathar, Rudolf [Verfasser:in]
Concurrence probabilities for a locally slotted packet radio network by combinatorial methods Rudolf Mathar
Aachen: RWTH, Fachgruppe Informatik, 1990

Fülöp, Zoltán [Sonstige Person, Familie und Körperschaft]
Tree transducers with external functions Zoltán Fülöp
Aachen: RWTH, Fachgruppe Informatik, 1990

Jansen, Vera [Sonstige Person, Familie und Körperschaft]
A short guide to the AMORE system (computing automata, monoids, and regular expressions) Vera Jansen
Aachen: RWTH, Fachgruppe Informatik, 1990

Jakobs, Kai [Verfasser:in]
Directory names and schema an evaluation Kai Jakobs
Aachen: RWTH, Fachgruppe Informatik, 1990

Ortega-Mallén, Yolunda [Verfasser:in] ; Frutos-Escrig, David de [Sonstige Person, Familie und Körperschaft]; Ortega-Mallén, Yolanda [Sonstige Person, Familie und Körperschaft]
A complete proof system for timed observations Yolunda Ortega-Mallén; David de Frutos-Escrig
Aachen: RWTH, Fachgruppe Informatik, 1990

Nagl, Manfred [Verfasser:in]
Modelling of software architectures importance, notions, experiences Manfred Nagl
Aachen: RWTH, Fachgruppe Informatik, 1990

Jakobs, Kai [Verfasser:in]; Reichert, Frank [Verfasser:in]
Directory services for mobile communication Kai Jakobs; Frank Reichert
Aachen: RWTH, Fachgruppe Informatik, 1990

Quernheim, Ulrich [Verfasser:in]; Kreuer, Dieter [Verfasser:in]
Das CCITT-Signalisierungssystem Nr. 7 auf Satellitenstrecken Simulation der Zeichengabestrecke Ulrich Quernheim; Dieter Kreuer
Aachen: RWTH, Fachgruppe Informatik, 1990

Maaßen, Andreas [Verfasser:in]
Compilerentwicklung in Miranda e. Praktikum in funktionaler Programmierung Andreas Maaßen
Aachen: RWTH, Fachgruppe Informatik, 1990

Nagl, Manfred [Verfasser:in]; Schürr, Andreas [Verfasser:in]
A specification environment for graph grammars Manfred Nagl; Andreas Schürr
Aachen: RWTH, Fachgruppe Informatik, 1990

Jakobs, Kai [Verfasser:in]
What's beyond the interface OSI networks to support cooperative work Kai Jakobs
Aachen: RWTH, Fachgruppe Informatik, 1990

Jakobs, Kai [Sonstige Person, Familie und Körperschaft]
Der Computer fährt mit [ein System für erhöhte Sicherheit im Straßenverkehr] Kai Jakobs
Aachen: RWTH, Fachgruppe Informatik, 1990

Schürr, Andreas [Verfasser:in]
PROGRESS a VHL-language based on graph grammars Andreas Schürr
Aachen: RWTH, Fachgruppe Informatik, 1990

Mathar, Rudolf [Verfasser:in]; Mann, Andreas [Verfasser:in]
Analyzing a distributed slot assignment protocol by Markov chains Rudolf Mathar; Andreas Mann
Aachen: RWTH, Fachgruppe Informatik, 1990

Faßbender, Heinz [Verfasser:in] ; Leopold, Ludwig [Sonstige Person, Familie und Körperschaft]; Vogler, Heiko [Sonstige Person, Familie und Körperschaft]
A call-by-need implementation of syntax directed functional programming Heinz Faßbender; Heiko Vogler
Aachen: RWTH, Fachgruppe Informatik, 1990

Kuchen, Herbert [Verfasser:in]; Wagener, Andreas [Verfasser:in]
Comparison of dynamic load balancing strategies Herbert Kuchen; Andreas Wagener
Aachen: Fachgruppe Informatik, RWTH, [1990]

Maaßen, Andreas [Verfasser:in]
Programming with higher order functions Andreas Maaßen
Aachen: Fachgruppe Informatik, RWTH, 1989

Spaniol, Otto [Verfasser:in]
Natürliche Intelligenz oder: Der Parallel-Igel Otto Spaniol
Aachen: RWTH, Fachgruppe Informatik, 1989

Herpers, Martine [Verfasser:in] ; Welzel, Thomas [Sonstige Person, Familie und Körperschaft]; Martini, Peter [Sonstige Person, Familie und Körperschaft]; Schümmer, Martine [Sonstige Person, Familie und Körperschaft]
Integration of field bus and MAP networks hierarchical communication systems in production environments M. Schümmer; Th. Welzel; P. Martini
Aachen: RWTH, Fachgruppe Informatik, 1989

Westfechtel, Bernhard [Verfasser:in]
Extension of a graph storage for software documents with primitives for undo, redo and revision control Bernhard Westfechtel
Aachen: RWTH, Fachgruppe Informatik, 1989

Martini, Peter [Verfasser:in]
High speed local area networks a tutorial Peter Martini
Aachen: RWTH, Fachgruppe Informatik, 1989

Schürr, Andreas [Verfasser:in] ; Schürr, Andy [Sonstige Person, Familie und Körperschaft]
Introduction to PROGRESS, an attribute graph grammar based specification language Andy Schürr
Aachen: RWTH, Fachgruppe Informatik, 1989

Börstler, Jürgen [Verfasser:in]
Wiederverwendbarkeit und Softwareentwicklung Probleme, Lösungsansätze und Bibliographie Jürgen Börstler
Aachen: RWTH, Fachgruppe Informatik, 1989

Jakobs, Kai [Verfasser:in]
OSI - an appropriate basis for group communication? Kai Jakobs
Aachen: RWTH, Fachgruppe Informatik, 1989

Herpers, Martine [Verfasser:in]
CNC DNC communication with MAP Martine Schümmer
Aachen: RWTH, Fachgruppe Informatik, 1989

Davids, P. [Verfasser:in]; Welzel, Thomas [Verfasser:in]
Performance analysis of DQDB based on simulation [presented at: 3. IEEE Workshop on Metropolitan Area Networks San Diego (California), March 28 - 30, 1989] P. Davids; Th. Welzel
Aachen: RWTH, Fachgruppe Informatik, 1989

Vogler, Heiko [Verfasser:in]
Bottom-up computation of primitive recursive tree functions Heiko Vogler
Aachen: RWTH, Fachgruppe Informatik, 1989

Nagl, Manfred [Herausgeber:in]
Abstracts of talks presented at the WG '89, 15th International Workshop on Graphtheoretic Concepts in Computer Science, Rolduc (NL) near Aachen (D), June 14 - 16, 1989 RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1989

Derissen, J. [Sonstige Person, Familie und Körperschaft]
Integrating structured analysis and information modelling J. Derissen
Aachen: RWTH, Fachgruppe Informatik, 1989

Vossen, Gottfried [Verfasser:in]; Witt, Kurt-Ulrich [Verfasser:in]
SUXESS: towards a sound unification of extensions of the relational data model G. Vossen : K.-U. Witt
Aachen: RWTH, Fachgruppe Informatik, 1989

Esser, Gabriele [Herausgeber:in]; Rückert, Johannes [Herausgeber:in]
Gesellschaftliche Aspekte der Informatik Vorträge im Rahmen einer Veranstaltungsreihe im Sommersemester 1988; in Zs.arbeit mit d. Fortbildungsprogramm zur "Sozialverträglichen Technikgestaltung" am HDZ der RWTH Aachen Gabriele Esser... (Hrsg.)
Aachen: RWTH, Fachgruppe Informatik, 1989

Jakobs, Kai [Verfasser:in]
ISO's directory proposal evolution, current status and future problems Kai Jakobs
Aachen: RWTH, Fachgruppe Informatik, 1989

Kuchen, Herbert [Sonstige Person, Familie und Körperschaft]
Graph based implementation of a functional logic language Herbert Kuchen
Aachen: RWTH, Fachgruppe Informatik, 1989

Vossen, Gottfried [Verfasser:in]; Schwarz, Roger [Verfasser:in]
Dynamic scheduling of transactions in design databases based on version consistency Gottfried Vossen; Roger Schwarz
Aachen: Fachgruppe Informatik, RWTH, 1989

Vossen, Gottfried [Verfasser:in]; Wang, S. Shouhan [Verfasser:in]; Wang, S. S. [Verfasser:in]
Correct and efficient deadlock detection and resolution in distributed database systems Gottfried Vossen; S. Shouhan Wang
Aachen: Fachgruppe Informatik, RWTH, 1989

Rodriguez-Artalejo, Mario [Verfasser:in]; Vogler, Heiko [Verfasser:in]
Note on a narrowing machine for syntax directed BABEL Mario Rodriguez-Artalejo; Heiko Vogler
Aachen: RWTH, Fachgruppe Informatik, 1989

Herpers, Martine [Verfasser:in]
Local area networks for manufactoring environments with hard real-time requirements Martine Schümmer
Aachen: RWTH, Fachgruppe Informatik, 1989

Janning, Thorsten [Verfasser:in]; Lewerentz, Claus [Verfasser:in]
Integrated project team management in a software development environment Thorsten Janning; Claus Lewerentz. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Mann, Andreas [Verfasser:in]; Rückert, Johannes [Verfasser:in]
Concurrent slot assignment protocol for packet radio networks Andreas Mann; Johannes Rückert. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Kremer, Wolgang [Sonstige Person, Familie und Körperschaft]
Entwurf einer Netzwerktopologie für ein Mobilfunknetz zur Unterstützung des öffentlichen Strassenverkehrs RWTH Aachen, Fachgruppe Informatik. W. Kremer
Aachen: RWTH, Fachgruppe Informatik, 1988

Jakobs, Kai [Verfasser:in]
The directory - evolution of a standard Kai Jakobs. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Jakobs, Kai [Verfasser:in]
Directory services in distributed systems a survey Kai Jakobs. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Quernheim, Ulrich [Verfasser:in]
Satellite communication protocols a performance comparison considering on-board processing U. Quernheim. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Martini, Peter [Verfasser:in]; Spaniol, Otto [Verfasser:in]; Welzel, Thomas [Verfasser:in]
File transfer in high speed token ring networks performance evaluation by approximate analysis and simulation Peter Martini; Otto Spaniol; Thomas Welzel
Aachen: RWTH, Fachgruppe Informatik, 1988

Thomas, Wolfgang [Verfasser:in]
Automata on infinite objects Wolfgang Thomas
Aachen: RWTH, Fachgruppe Informatik, 1988

Martini, Peter [Verfasser:in]; Spaniol, Otto [Verfasser:in]
Token-passing in high-speed backbone networks for campus-wide environments Peter Martini; Otto Spaniol
Aachen: RWTH, Fachgruppe Informatik, 1988

Welzel, Thomas [Verfasser:in]
Simulation of a multiple token ring backbone Thomas Welzel. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Martini, Peter [Verfasser:in]
Performance comparison for HSLAN media access protocols Peter Martini. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Martini, Peter [Verfasser:in]
Performance analysis of multiple token rings Peter Martini. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Mann, Andreas [Verfasser:in]; Rückert, Johannes [Verfasser:in]
Packet radio networks for data exchange Andreas Mann; Johannes Rückert. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1988

Sonnenschein, Michael [Verfasser:in]
On Petri nets and data flow graphs Michael Sonnenschein
Aachen: RWTH, Fachgruppe Informatik, 1988

Herpers, Martine [Verfasser:in]
RS-511, a protocol for the plant floor Martine Schümmer
Aachen: RWTH, Fachgruppe Informatik, 1988

Mann, Andreas [Verfasser:in]; Rückert, Johannes [Verfasser:in]; Spaniol, Otto [Verfasser:in]
Datenfunknetze Andreas Mann; Johannes Rückert; Otto Spaniol
Aachen: RWTH, Fachgruppe Informatik, 1988

Welzel, Thomas [Verfasser:in]
Einsatz des Simulationswerkzeuges QNAP2 zur Leistungsbewertung von Kommunikationsprotokollen Thomas Welzel
Aachen: RWTH, Fachgruppe Informatik, 1988

Engelfriet, Joost [Verfasser:in]; Vogler, Heiko [Verfasser:in]
Modular tree transducers Joost Engelfriet; Heiko Vogler
Aachen: RWTH, Fachgruppe Informatik, 1988

Thomas, Wolfgang [Verfasser:in]
Automata and quantifier hierarchies Wolfgang Thomas
Aachen: RWTH, Fachgruppe Informatik, 1988

Jakobs, Kai [Verfasser:in]
Towards user-friendly networking Kai Jakobs
Aachen: RWTH, Fachgruppe Informatik, 1988

Vogler, Heiko [Verfasser:in]
Functional description of the contextual analysis in block-structured programming languages a case study of tree transducers Heiko Vogler
Aachen: RWTH, Fachgruppe Informatik, 1988

Heuter, Uschi [Verfasser:in]
Generalized definite tree languages Uschi Heuter
Aachen: RWTH, Fachgruppe Informatik, 1988

Damm, Werner [Verfasser:in]; Döhmen, Gert [Verfasser:in]
Specifying distributed computer architectures in AADL W. Damm and G. Doehmen. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Engels, Gregor [Verfasser:in]; Janning, Thorsten [Verfasser:in]; Schäfer, Wilhelm [Verfasser:in]
A highly integrated tool set for program development support Gregor Engels; Thorsten Janning; Wilhelm Schäfer. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Hafer, Thilo [Verfasser:in]
On the Boolean closure of Büchi tree automaton definable sets of omega-trees Thilo Hafer. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Börstler, Jürgen [Verfasser:in]; Möncke, Ulrich [Verfasser:in]; Wilhelm, Reinhard [Verfasser:in]
Table compression for tree automata Jürgen Börstler; Ulrich Möncke; Reinhard Wilhelm. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Klaeren, Herbert [Verfasser:in]; Indermark, Klaus [Verfasser:in]
A new implementation technique for recursive function definitions Herbert Klaeren; Klaus Indermark. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Lewerentz, Claus [Verfasser:in]; Schürr, Andreas [Verfasser:in]
Experiences with a database system for software documents Claus Lewerentz; Andreas Schürr
Aachen: RWTH, Fachgruppe Informatik, [19]87

Engels, Gregor [Verfasser:in]; Lewerentz, Claus [Verfasser:in]; Schäfer, Wilhelm [Verfasser:in]
Graph grammar engineering: a software specification method Gregor Engels; Claus Lewerentz; Wilhelm Schäfer. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Heuter, Uschi [Verfasser:in]
First order properties of trees, star free expressions, and aperiodicity Uschi Heuter. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Nagl, Manfred [Verfasser:in]
A software development environment based on graph technology Manfred Nagl
Aachen: RWTH, Fachgruppe Informatik, 1987

Frutos-Escrig, David de [Verfasser:in]; Indermark, Klaus [Verfasser:in]
Equivalence relations of non-deterministic Ianov-schemes David de Frutos Escrig and Klaus Indermark
Aachen: RWTH Aachen, Fachgruppe Informatik, 1987

Nagl, Manfred [Verfasser:in]
Set theoretic approaches to graph grammars [tutorial] Manfred Nagl. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Lewerentz, Claus [Verfasser:in]; Nagl, Manfred [Verfasser:in]; Westfechtel, Bernhard [Verfasser:in]
On integration mechanisms within a graph based software development environment Claus Lewerentz; Manfred Nagl; Bernhard Westfechtel. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Lewerentz, Claus [Verfasser:in]
Extended programming in the large in a software development environment Claus Lewerentz. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Loogen, Rita [Verfasser:in]
Designing a parallel programmable graph reduction machine with distributed memory Rita Loogen. RWTH Aachen, Fachgruppe Informatik
Aachen: RWTH, Fachgruppe Informatik, 1987

Rinn, Reinhard [Verfasser:in]
Über Eingabeanomalien bei verschiedenen Inferenzmodellen Reinhard Rinn
Aachen: Fachgruppe Informatik der RWTH, 1987

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: