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.
5712 Publications
1997 | Journal Article | LibreCat-ID: 10724
Parallel qualitative simulation
M. Platzner, B. Rinner, R. Weiss, Simulation Practice and Theory 5 (1997) 623–638.
LibreCat
| DOI
M. Platzner, B. Rinner, R. Weiss, Simulation Practice and Theory 5 (1997) 623–638.
1997 | Conference Paper | LibreCat-ID: 15290
Hierarchical propagation of uncertain constraints
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.
LibreCat
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.
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
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.
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
E. Hüllermeier, in: D.P.F. Möller, O. Richter (Eds.), In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
1997 | Conference Paper | LibreCat-ID: 14991
A user-adaptive chart editing system based on user modeling and critiquing
B. Gutkauf, S. Thies, G. Domik, in: User Modeling, 1997, pp. 159–170.
LibreCat
B. Gutkauf, S. Thies, G. Domik, in: User Modeling, 1997, pp. 159–170.
1997 | Conference Paper | LibreCat-ID: 15034
How effective are 3D display modes?
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems, 1997, pp. 540–541.
LibreCat
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems, 1997, pp. 540–541.
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
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 117–137.
1997 | Journal Article | LibreCat-ID: 1445
KnittingFactory: An Infrastructure for Distributed Web Applications
A. Baratloo, M. Karaul, H. Karl, Z.M. Kedem, Technical Report (1997).
LibreCat
| Files available
A. Baratloo, M. Karaul, H. Karl, Z.M. Kedem, Technical Report (1997).
1997 | Conference Paper | LibreCat-ID: 13603
Fast Signature Segmentation on a Multi-DSP Architecture
M. Platzner, L. Peters, in: Proceedings of the SPIE: Conference on Parallel and Distributed Methods for Image Processing, 1997.
LibreCat
M. Platzner, L. Peters, in: Proceedings of the SPIE: Conference on Parallel and Distributed Methods for Image Processing, 1997.
1997 | Conference Paper | LibreCat-ID: 13604
Specialized Architectures for Optical Flow Computation: A Performance Comparison of ASIC, DSP, and Multi-DSP
T. Röwekamp, M. Platzner, L. Peters, in: Proceedings of the 8th International Conference on Signal Processing Applications & Technology (ICSPAT), 1997, pp. 829–833.
LibreCat
T. Röwekamp, M. Platzner, L. Peters, in: Proceedings of the 8th International Conference on Signal Processing Applications & Technology (ICSPAT), 1997, pp. 829–833.
1997 | Conference Paper | LibreCat-ID: 39510
A Visual Programming Language for Qualitative Data
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39505
Visual-Textual Prototyping of 4D Scenes
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1997 | Conference Paper | LibreCat-ID: 39502
A Generic System for Interactive Real--Time Animation
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
LibreCat
| DOI
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
1996 | Book Chapter | LibreCat-ID: 19816
Learning a representation for optimizable formulas
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
1996 | Journal Article | LibreCat-ID: 19958
Routing on Networks of Optical Crossbars (Extended Abstract).
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
LibreCat
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
1996 | Dissertation | LibreCat-ID: 3260
Specifying reactive systems with action dependencies: modelling and hierarchical design
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
LibreCat
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
1996 | Journal Article | LibreCat-ID: 3261
Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat
| DOI
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
1996 | Conference Paper | LibreCat-ID: 3262
Causal Testing
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat
| DOI
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
LibreCat
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
1996 | Conference Paper | LibreCat-ID: 17419
A lower bound for randomized algebraic decision trees
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, in: Proc. of 28th ACM-STOC, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–621.
LibreCat
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, in: Proc. of 28th ACM-STOC, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–621.
1996 | Conference Paper | LibreCat-ID: 17483
A Realistic Cost Model for the Communication Time in Parallel Programs
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
LibreCat
| Files available
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
1996 | Book Chapter | LibreCat-ID: 17564
Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat
| DOI
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
1996 | Conference Paper | LibreCat-ID: 1918
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, M. Zahn, H. Karl, T. Ungerer, in: Proceedings Trends in Distributed Systems, 1996.
LibreCat
B. Dreier, A. Huber, M. Zahn, H. Karl, T. Ungerer, in: Proceedings Trends in Distributed Systems, 1996.
1996 | Report | LibreCat-ID: 18352
A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware
M. Fischer, J. Rethmann, A. Wachsmann, A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware, Universität Paderborn, 1996.
LibreCat
| Files available
M. Fischer, J. Rethmann, A. Wachsmann, A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware, Universität Paderborn, 1996.
1996 | Dissertation | LibreCat-ID: 2181
Universal routing strategies
C. Scheideler, Universal Routing Strategies, University of Paderborn, Germany, 1996.
LibreCat
C. Scheideler, Universal Routing Strategies, University of Paderborn, Germany, 1996.
1996 | Journal Article | LibreCat-ID: 2182
Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, Theor. Comput. Sci. (1996) 245--281.
LibreCat
| DOI
F. Meyer auf der Heide, C. Scheideler, V. Stemann, Theor. Comput. Sci. (1996) 245--281.
1996 | Conference Paper | LibreCat-ID: 2183 | 
Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols
F. Meyer auf der Heide, C. Scheideler, in: FOCS, 1996, pp. 370--379.
LibreCat
| Files available
F. Meyer auf der Heide, C. Scheideler, in: FOCS, 1996, pp. 370--379.
1996 | Conference Paper | LibreCat-ID: 2184 |
Communication in Parallel Systems
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
LibreCat
| Files available
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
1996 | Conference Paper | LibreCat-ID: 2186 |
Universal Algorithms for Store-and-Forward and Wormhole Routing
R. Cypher, F. Meyer auf der Heide, C. Scheideler, B. Vöcking, in: STOC, ACM, 1996, pp. 356--365.
LibreCat
| Files available
R. Cypher, F. Meyer auf der Heide, C. Scheideler, B. Vöcking, in: STOC, ACM, 1996, pp. 356--365.
1996 | Conference (Editor) | LibreCat-ID: 7796
Special Issue on Graph Transformations
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
LibreCat
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
1996 | Conference Paper | LibreCat-ID: 7834
Synchronization of Views and Loose Semantics of Typed Graph Productions
H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.
LibreCat
H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.
1996 | Conference Paper | LibreCat-ID: 7835
Behavioral Constraints for Loose Graph Transformation Systems
R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 12–13.
LibreCat
R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 12–13.
1996 | Conference Paper | LibreCat-ID: 7836
Industrial maintenance modelled in SOCCA: an experience report
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.
LibreCat
| DOI
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.
1996 | Conference Paper | LibreCat-ID: 7837
A View-Based Approach to System Modelling
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, p. 11.
LibreCat
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, p. 11.
1996 | Conference Paper | LibreCat-ID: 7838
Object-oriented specification of coordinated collaboration
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–452.
LibreCat
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–452.
1996 | Report | LibreCat-ID: 8197
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
1996 | Report | LibreCat-ID: 8198
Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.
G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
1996 | Report | LibreCat-ID: 8199
Object-oriented Specification of Coordinated Collaboration
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
1996 | Report | LibreCat-ID: 8200
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
1996 | Conference Paper | LibreCat-ID: 8271
Towards Measurable Process Models
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer, Berlin/Heidelberg, 1996, pp. 183–187.
LibreCat
| DOI
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer, Berlin/Heidelberg, 1996, pp. 183–187.
1996 | Conference Paper | LibreCat-ID: 8272
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
LibreCat
| Download (ext.)
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
1996 | Conference Paper | LibreCat-ID: 8273
Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)
G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
1996 | Conference Paper | LibreCat-ID: 8274
Reuse of Software Process Fragments is Reuse of Software, too
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
LibreCat
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
1996 | Conference Paper | LibreCat-ID: 8275
Automatic Integration of Safety Invariants into Z Specifications
R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.
LibreCat
| Download (ext.)
R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.
1996 | Journal Article | LibreCat-ID: 7404
Graph Grammars with Negative Application Conditions
A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
LibreCat
A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
1996 | Journal Article | LibreCat-ID: 7405
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.
LibreCat
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.
1996 | Journal Article | LibreCat-ID: 7406
A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.
LibreCat
| DOI
M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.
1996 | Book Chapter | LibreCat-ID: 7514
Tight Integration on One Document: The Programming Environment
G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg, 1996, pp. 170–177.
LibreCat
G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg, 1996, pp. 170–177.
1996 | Conference Paper | LibreCat-ID: 880
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, H. Karl, T. Ungerer, M. Zahn, in: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93.
LibreCat
| DOI
B. Dreier, A. Huber, H. Karl, T. Ungerer, M. Zahn, in: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93.
1996 | Journal Article | LibreCat-ID: 16698
Trial and error. A new approach to space-bounded learning
F. Ameur, P. Fischer, K.-U. Höffgen, F. Meyer auf der Heide, Acta Informatica (1996) 621–630.
LibreCat
| DOI
F. Ameur, P. Fischer, K.-U. Höffgen, F. Meyer auf der Heide, Acta Informatica (1996) 621–630.
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
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, Algorithmica (1996) 413–427.
1996 | Journal Article | LibreCat-ID: 16700
Efficient PRAM simulation on a distributed memory machine
R.M. Karp, M. Luby, F. Meyer auf der Heide, Algorithmica (1996) 517–542.
LibreCat
| DOI
R.M. Karp, M. Luby, F. Meyer auf der Heide, Algorithmica (1996) 517–542.
1996 | Journal Article | LibreCat-ID: 16701
The Tree Model for Hashing: Lower and Upper Bounds
J. Gil, F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1996) 936–955.
LibreCat
| DOI
J. Gil, F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1996) 936–955.
1996 | Book (Editor) | LibreCat-ID: 16702
Automata, Languages and Programming, 23rd International Colloquium, ICALP96
F. Meyer auf der Heide, B. Monien, eds., Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Berlin, Heidelberg, 1996.
LibreCat
| DOI
F. Meyer auf der Heide, B. Monien, eds., Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Berlin, Heidelberg, 1996.
1996 | Book Chapter | LibreCat-ID: 16703
Fault-tolerant shared memory simulations
P. Berenbrink, F. Meyer auf der Heide, V. Stemann, in: STACS 96, Berlin, Heidelberg, 1996.
LibreCat
| DOI
P. Berenbrink, F. Meyer auf der Heide, V. Stemann, in: STACS 96, Berlin, Heidelberg, 1996.
1996 | Conference Paper | LibreCat-ID: 16816
Computer Visualization - Concepts, Trends and Current Research
G. Domik, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, Springer, 1996, pp. 178–196.
LibreCat
| DOI
G. Domik, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, Springer, 1996, pp. 178–196.
1996 | Conference Paper | LibreCat-ID: 16895
Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme
B. Gutkauf, G. Domik, in: Proceedings 4. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, Dortmund, Germany, 1996.
LibreCat
B. Gutkauf, G. Domik, in: Proceedings 4. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, Dortmund, Germany, 1996.
1996 | Conference Paper | LibreCat-ID: 16896
An Experimental Comparison of 3D Display Modes
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: Proceedings of IEEE Visualization , 1996, pp. 8–11.
LibreCat
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: Proceedings of IEEE Visualization , 1996, pp. 8–11.
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
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.
1996 | Conference Paper | LibreCat-ID: 15293
A fuzzy simulation method
E. Hüllermeier, in: P.G. Anderson, K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K., ICSC Academic Press, 1996, pp. B230–B236.
LibreCat
E. Hüllermeier, in: P.G. Anderson, K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K., ICSC Academic Press, 1996, pp. B230–B236.
1996 | Conference Paper | LibreCat-ID: 15304
Hierarchical constraint propagation based on interval arithmetic
E. Hüllermeier, in: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.
LibreCat
E. Hüllermeier, in: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.
1996 | Book | LibreCat-ID: 14894
An introduction to high-performance scientific computing
L.D. Fosdick, E.R. Jessup, C.J. Schauble, G. Domik, An Introduction to High-Performance Scientific Computing, MIT Press, 1996.
LibreCat
L.D. Fosdick, E.R. Jessup, C.J. Schauble, G. Domik, An Introduction to High-Performance Scientific Computing, MIT Press, 1996.
1996 | Conference Paper | LibreCat-ID: 15056
Perspective viewing, Anaglyph stereo or Shutter glass stereo?
S. Volbracht, K. Shahrbabaki, G. Domik, G. Fels, in: Proceedings 1996 IEEE Symposium on Visual Languages, 1996, pp. 192–193.
LibreCat
S. Volbracht, K. Shahrbabaki, G. Domik, G. Fels, in: Proceedings 1996 IEEE Symposium on Visual Languages, 1996, pp. 192–193.
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
E. Lind, M. Platzner, B. Rinner, in: Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT), 1996.
1996 | Conference Paper | LibreCat-ID: 39513
Interaktiver Produktdatenaustausch mit EDIFACT
H. Aisch, M. Joosten, W. Müller, F. Buijs, (1996).
LibreCat
H. Aisch, M. Joosten, W. Müller, F. Buijs, (1996).
1996 | Conference Paper | LibreCat-ID: 39521
Integrating a Constraint Solver into a Real-Time Animation Environment
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996.
LibreCat
| DOI
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, H. Uhr, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder CO, 1996.
1996 | Conference Paper | LibreCat-ID: 39517
Specification and Analysis of Concurrent Systems in a Complete Visual Environment
M. Dücker, G. Lehrenfeld, W. Müller, in: Proceedings of the 10th European Simulation Multiconference (ESM’96), Budapest, Hungary, 1996.
LibreCat
M. Dücker, G. Lehrenfeld, W. Müller, in: Proceedings of the 10th European Simulation Multiconference (ESM’96), Budapest, Hungary, 1996.
1996 | Conference Paper | LibreCat-ID: 39526
Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing
C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.
LibreCat
| DOI
C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl, A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, CO, USA, 1996.
1995 | Dissertation | LibreCat-ID: 19623
Contention Resolution in Hashing Based Shared Memory Simulations
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
1995 | Dissertation | LibreCat-ID: 19627
Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations
A. Czumaj, Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
| Files available
A. Czumaj, Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
1995 | Dissertation | LibreCat-ID: 19630
Eine Bibliothek von Basisdiensten für Parallelrechner: Routing, Synchronisation, gemeinsamer Speicher
A. Wachsmann, Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
A. Wachsmann, Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
1995 | Dissertation | LibreCat-ID: 19634
Space-Bounded Learning Algorithms
F. Ameur, Space-Bounded Learning Algorithms, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
F. Ameur, Space-Bounded Learning Algorithms, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
1995 | Journal Article | LibreCat-ID: 3037
Approximate matching of polygonal shapes
H. Alt, B. Behrends, J. Blömer, Annals of Mathematics and Artificial Intelligence 13 (1995).
LibreCat
H. Alt, B. Behrends, J. Blömer, Annals of Mathematics and Artificial Intelligence 13 (1995).
1995 | Report | LibreCat-ID: 3038
An XOR-based erasure-resilient coding scheme
J. Blömer, M. Kalfane, R. Karp, M. Karpinski, M. Luby, D. Zuckerman, An XOR-Based Erasure-Resilient Coding Scheme, Berkeley, USA, 1995.
LibreCat
| Files available
J. Blömer, M. Kalfane, R. Karp, M. Karpinski, M. Luby, D. Zuckerman, An XOR-Based Erasure-Resilient Coding Scheme, Berkeley, USA, 1995.
1995 | Conference Paper | LibreCat-ID: 17482
Simulating shared memory in real time: On the computation power of reconfigurable meshes
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
LibreCat
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
1995 | Conference Paper | LibreCat-ID: 21786
Intelligent visualization systems in educational environments
G. Kienegger-Domik, in: H. Maurer (Ed.), Proceedings of ED-MEDIA `95, AACE, Graz, Austria, 1995, pp. 17–22.
LibreCat
G. Kienegger-Domik, in: H. Maurer (Ed.), Proceedings of ED-MEDIA `95, AACE, Graz, Austria, 1995, pp. 17–22.
1995 | Conference Paper | LibreCat-ID: 2187 |
Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks
F. Meyer auf der Heide, C. Scheideler, in: ESA, 1995, pp. 341--354.
LibreCat
| Files available
| DOI
F. Meyer auf der Heide, C. Scheideler, in: ESA, 1995, pp. 341--354.
1995 | Conference Paper | LibreCat-ID: 2207 |
Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract)
F. Meyer auf der Heide, C. Scheideler, in: SPAA, 1995, pp. 137--146.
LibreCat
| Files available
F. Meyer auf der Heide, C. Scheideler, in: SPAA, 1995, pp. 137--146.
1995 | Conference Paper | LibreCat-ID: 2208 |
Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, in: STACS, 1995, pp. 267--278.
LibreCat
| Files available
F. Meyer auf der Heide, C. Scheideler, V. Stemann, in: STACS, 1995, pp. 267--278.
1995 | Conference Paper | LibreCat-ID: 7831
Attributed Graph Transformations with Controlled Application of Rules
R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
1995 | Conference Paper | LibreCat-ID: 7832
Record Linkage of Anonymous Data by Control Numbers
W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, Berlin/Heidelberg, 1995, pp. 412–419.
LibreCat
W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, Berlin/Heidelberg, 1995, pp. 412–419.
1995 | Conference Paper | LibreCat-ID: 7833
Embedding of Conditional Graph Transformations
R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
1995 | Report | LibreCat-ID: 8194
Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem
M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
LibreCat
M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
1995 | Report | LibreCat-ID: 8195
Specialization of Object Life Cycle Definitions
J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University of Koblenz-Landau, Koblenz, 1995.
LibreCat
J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University of Koblenz-Landau, Koblenz, 1995.
1995 | Report | LibreCat-ID: 8196
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
1995 | Conference Paper | LibreCat-ID: 8266
Coordination by Behavioural Views and Communication Patterns
L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), Springer, Berlin/Heidelberg, 1995, pp. 189–192.
LibreCat
| DOI
L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), Springer, Berlin/Heidelberg, 1995, pp. 189–192.
1995 | Conference Paper | LibreCat-ID: 8267
A Compositional Approach to Structuring and Refinement of Typed Graph Grammars
A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 46–55.
LibreCat
A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 46–55.
1995 | Conference Paper | LibreCat-ID: 8268
GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
LibreCat
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
1995 | Conference Paper | LibreCat-ID: 8269
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.
LibreCat
| DOI
G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.
1995 | Conference Paper | LibreCat-ID: 8270
Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.
LibreCat
| DOI
R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.
1995 | Journal Article | LibreCat-ID: 16566
Transforming comparison model lower bounds to the parallel-random-access-machine
D. Breslauer, A. Czumaj, D.P. Dubhashi, F. Meyer auf der Heide, Information Processing Letters (1995) 103–110.
LibreCat
| DOI
D. Breslauer, A. Czumaj, D.P. Dubhashi, F. Meyer auf der Heide, Information Processing Letters (1995) 103–110.
1995 | Book Chapter | LibreCat-ID: 16704
A packet routing protocol for arbitrary networks
F. Meyer auf der Heide, B. Vöcking, in: STACS 95, Berlin, Heidelberg, 1995.
LibreCat
| DOI
F. Meyer auf der Heide, B. Vöcking, in: STACS 95, Berlin, Heidelberg, 1995.
1995 | Book Chapter | LibreCat-ID: 16705
Shared memory simulations with triple-logarithmic delay
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat
| DOI
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
1995 | Conference Paper | LibreCat-ID: 16706
Optimal trade-offs between size and slowdown for universal parallel networks
F. Meyer auf der Heide, M. Storch, R. Wanka, in: Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’95, 1995.
LibreCat
| DOI
F. Meyer auf der Heide, M. Storch, R. Wanka, in: Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’95, 1995.
1995 | Conference Paper | LibreCat-ID: 16707
Improved optimal shared memory simulations, and the power of reconfiguration
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings Third Israel Symposium on the Theory of Computing and Systems, 1995.
LibreCat
| DOI
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings Third Israel Symposium on the Theory of Computing and Systems, 1995.
1995 | Book Chapter | LibreCat-ID: 16717
Hot-potato routing on multi-dimensional tori
F. Meyer auf der Heide, M. Westermann, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 1995.
LibreCat
| DOI
F. Meyer auf der Heide, M. Westermann, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 1995.
1995 | Book Chapter | LibreCat-ID: 16874
Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat
| DOI
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
1995 | Journal Article | LibreCat-ID: 10610
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, J.UCS Journal of Universal Computer Science 12 (1995) 811–820.
LibreCat
M. Platzner, B. Rinner, R. Weiss, J.UCS Journal of Universal Computer Science 12 (1995) 811–820.
1995 | Conference Paper | LibreCat-ID: 15294
Towards modelling of fuzzy functions
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
LibreCat
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
1995 | Conference Paper | LibreCat-ID: 15295
Rule-based modelling in fuzzy simulation
E. Hüllermeier, in: In Proceedings ISFL-95 International Symposium on Logic, Zürich, ICSC Academic Press, 1995, pp. B49–B56.
LibreCat
E. Hüllermeier, in: In Proceedings ISFL-95 International Symposium on Logic, Zürich, ICSC Academic Press, 1995, pp. B49–B56.