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.

5711 Publications


1997 | Conference Paper | LibreCat-ID: 15290
Hüllermeier E. Hierarchical  propagation of uncertain constraints. In: Zimmermann HJ, ed. In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1997:953-957.
LibreCat
 

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

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

1997 | Conference Paper | LibreCat-ID: 14991
Gutkauf B, Thies S, Domik G. A user-adaptive chart editing system based on user modeling and critiquing. In: User Modeling. ; 1997:159-170.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15034
Volbracht S, Domik G, Shahrbabaki K, Fels G. How effective are 3D display modes? In: Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems. ; 1997:540-541.
LibreCat
 

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

1997 | Journal Article | LibreCat-ID: 1445
Baratloo A, Karaul M, Karl H, Kedem ZM. KnittingFactory: An Infrastructure for Distributed Web Applications. Technical Report. 1997.
LibreCat | Files available
 

1997 | Conference Paper | LibreCat-ID: 13603
Platzner M, Peters L. Fast Signature Segmentation on a Multi-DSP Architecture. In: Proceedings of the SPIE: Conference on Parallel and Distributed Methods for Image Processing. Vol 3166. ; 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 13604
Röwekamp T, Platzner M, Peters L. Specialized Architectures for Optical Flow Computation: A Performance Comparison of ASIC, DSP, and Multi-DSP. In: Proceedings of the 8th International Conference on Signal Processing Applications & Technology (ICSPAT). ; 1997:829-833.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 39510
Dücker M, Geiger C, Lehrenfeld G, Müller W, Tahedl C. A Visual Programming Language for Qualitative Data. In: Proceedings of the 1997 IEEE Symposium on Visual Languages. ; 1997. doi:10.1109/VL.1997.626593
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 39505
Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping of 4D Scenes. In: Proceedings of the 1997 IEEE Symposium on Visual Languages. ; 1997. doi:10.1109/VL.1997.626601
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 39502
Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive Real--Time Animation. In: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. ; 1997. doi:10.1109/ECBS.1997.581876
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 19816
Kleine Büning H, Lettmann T. Learning a representation for optimizable formulas. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1996. doi:10.1007/3-540-61863-5_33
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 19958
Schwarze F, Meyer auf der Heide F, Schröder K. Routing on Networks of Optical Crossbars (Extended Abstract). Euro-Par 1996. 1996;I:299-306.
LibreCat
 

1996 | Dissertation | LibreCat-ID: 3260
Wehrheim H. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany; 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 3261
Goltz U, Wehrheim H. Modelling Causality via Action Dependencies in Branching Time Semantics. Inf Process Lett. 1996;(4):179--184. doi:10.1016/0020-0190(96)00111-1
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 3262
Goltz U, Wehrheim H. Causal Testing. In: Penczek W, Szalas A, eds. Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings. Lecture Notes in Computer Science. ; 1996:394--406. doi:10.1007/3-540-61550-4_165
LibreCat | DOI
 

1996 | Report | LibreCat-ID: 17418
Czumaj A, Meyer auf der Heide F, Stemann V. Contention Resolution in Hashing Based Shared Memory Simulations.; 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev D, Karpinski M, Meyer auf der Heide F, Smolensky R. A lower bound for randomized algebraic decision trees. In: Proc. of 28th ACM-STOC. Vol 65453. Lecture Notes in Computer Science. Eurographics Symposium on Parallel Graphics and Visualization; 1996:612-621.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
Fischer M, Rethmann J, Wachsmann A. A Realistic Cost Model for the Communication Time in Parallel Programs. In: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96). Amsterdam: IOS Press; 1996:13–27.
LibreCat | Files available
 

1996 | Book Chapter | LibreCat-ID: 17564
Bäumker A, Dittrich W, Meyer auf der Heide F, Rieping I. Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1996:369-376. doi:10.1007/bfb0024725
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 1918
Dreier B, Huber A, Zahn M, Karl H, Ungerer T. ReGTime - Rent Gigaflops someTimes. In: Proceedings Trends in Distributed Systems. ; 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 18352
Fischer M, Rethmann J, Wachsmann A. 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
 

1996 | Dissertation | LibreCat-ID: 2181
Scheideler C. Universal Routing Strategies. University of Paderborn, Germany; 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2182
Meyer auf der Heide F, Scheideler C, Stemann V. Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations. Theor Comput Sci. 1996;(2):245--281. doi:10.1016/0304-3975(96)00032-1
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 2183 | OA
Meyer auf der Heide F, Scheideler C. Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols. In: FOCS. ; 1996:370--379.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 2184 | OA
Meyer auf der Heide F, Scheideler C. Communication in Parallel Systems. In: SOFSEM. Vol 1175. Lecture Notes in Computer Science. Springer; 1996:16--33.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 2186 | OA
Cypher R, Meyer auf der Heide F, Scheideler C, Vöcking B. Universal Algorithms for Store-and-Forward and Wormhole Routing. In: STOC. ACM; 1996:356--365.
LibreCat | Files available
 

1996 | Conference (Editor) | LibreCat-ID: 7796
Engels G, Ehrig H, Rozenberg G, Skowron A, eds. Special Issue on Graph Transformations. Vol 26. Amsterdam: IOS Press; 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7834
Ehrig H, Heckel R, Padberg J, et al. Synchronization of Views and Loose Semantics of Typed Graph Productions. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Technical University of Berlin; 1996:11-12.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
Heckel R. Behavioral Constraints for Loose Graph Transformation Systems. In: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:12-13.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7836
de Bunje T, Engels G, Groenewegen L, Matsinger A, Rijnbeek M. Industrial maintenance modelled in SOCCA: an experience report. In: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK). Washington, DC, USA: IEEE Computer Society; 1996:13-26. doi:http://dx.doi.org/10.1109/ICSP.1996.565021
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 7837
Engels G, Ehrig H, Heckel R, Taentzer G, Corradini A. A View-Based Approach to System Modelling. In: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science. Vol 155. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7838
Engels G, Groenewegen L, Kappel G. Object-oriented specification of coordinated collaboration. In: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia). Chapman & Hall; 1996:437-452.
LibreCat
 

1996 | Report | LibreCat-ID: 8197
Andries M, Engels G, Habel A, et al. Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science; 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8198
Busatto G, Engels G. Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8199
Engels G, Groenewegen L, Kappel G. Object-Oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8200
Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring of Typed Graph Transformation Systems.; 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8271
de Bunje T, Engels G, Groenewegen L, Heus M, Matsinger A. Towards Measurable Process Models. In: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France). Vol 1149. Berlin/Heidelberg: Springer; 1996:183-187. doi:http://dx.doi.org/10.1007/BFb0017743
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 8272
Ehrig H, Engels G. Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. In: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA). Vol 1073. Berlin/Heidelberg: Springer; 1996:137-154.
LibreCat | Download (ext.)
 

1996 | Conference Paper | LibreCat-ID: 8273
Engels G, Zamperoni A. Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper). 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:42-44.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen L, Engels G. Reuse of Software Process Fragments is Reuse of Software, too. In: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France). Washington, DC, USA: IEEE Computer Society; 1996:68.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants into Z Specifications. In: Proceedings of the Workshop on Tools for System Development and Verifcation. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.
LibreCat | Download (ext.)
 

1996 | Journal Article | LibreCat-ID: 7404
Habel A, Heckel R, Taentzer G. Graph Grammars with Negative Application Conditions. Fundamenta Informaticae. 1996;26(3,4):287-313.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7405
Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science. 1996;6(6):613-648.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7406
Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. Journal of Visual Languages and Computing. 1996;7(3):321-352. doi:http://dx.doi.org/10.1006/jvlc.1996.0017
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 7514
Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document: The Programming Environment. In: Building Tightly Integrated Software Development Environments: The IPSEN Approach. Vol 1170. LNCS. Berlin/Heidelberg: Springer; 1996:170-177.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 880
Dreier B, Huber A, Karl H, Ungerer T, Zahn M. ReGTime - Rent Gigaflops someTimes. In: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings. ; 1996:84--93. doi:10.1007/3-540-61842-2_28
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 16698
Ameur F, Fischer P, Höffgen K-U, Meyer auf der Heide F. Trial and error. A new approach to space-bounded learning. Acta Informatica. 1996:621-630. doi:10.1007/bf03036467
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 16699
Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution. Algorithmica. Published online 1996:413-427. doi:10.1007/bf01955042
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed