Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3683 Publications


1997 | Conference Paper | LibreCat-ID: 3259
Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 7403
A Combined Reference Model- and View-Based Approach to System Specification
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7516
How to represent a visual specification
G. Engels, J. Rekers, M. Andries, in: Visual Language Theory, Springer, Berlin/Heidelberg, 1997, pp. 241–255.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7840
Thermooptische Effekte in Nd:YAG-Slablasern
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8278
An Inductive View of Graph Transformation
F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 16894
User Adaptive Presentation of Information
B. Gutkauf, S. Thies, G. Domik-Kienegger, in: Proceedings 2nd International Symposium on Global Engineering Networking, 1997, pp. 115–127.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15291
Approximation of fuzzy functions
E. Hüllermeier, in: A. Grauel, W. Becker, F. Belli (Eds.), In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15811
Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose
E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 16201
A new approach to modelling and simulation of uncertain dynamical systems
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 16605
Communication efficient parallel searching
A. Bäumker, F. Meyer auf der Heide, in: Solving Irregularly Structured Problems in Parallel, Berlin, Heidelberg, 1997.
LibreCat | DOI
 

1997 | Book Chapter | LibreCat-ID: 16693
Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications”
F. Meyer auf der Heide, T. Decker, in: Informatik ’97 Informatik Als Innovationsmotor, Berlin, Heidelberg, 1997.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 2175
Optimal Wormhole Routing in the (n, d)-Torus
S. Bock, F. Meyer auf der Heide, C. Scheideler, in: IPPS, IEEE Computer Society, 1997, pp. 326--332.
LibreCat | Files available
 

1997 | Book Chapter | LibreCat-ID: 7517
Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 163–245.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7841
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
LibreCat | DOI
 

1997 | Conference (Editor) | LibreCat-ID: 7795
Themenheft: Softwaretechnik
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7839
A View-Oriented Approach to System Modelling Using Graph Transformations
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 8279
Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 13602
A Multi-DSP System with Dynamically Reconfigurable Processors
E. Lind, M. Platzner, B. Rinner, in: Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT), 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15292
Approminate probabilistic reasoning with fuzzy constraints
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 16699
Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, Algorithmica (1996) 413–427.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed