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 | 
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 |
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 |
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
1996 | Journal Article | LibreCat-ID: 16700
Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. Algorithmica. 1996:517-542. doi:10.1007/bf01940878
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16701
Gil J, Meyer auf der Heide F, Wigderson A. The Tree Model for Hashing: Lower and Upper Bounds. SIAM Journal on Computing. 1996:936-955. doi:10.1137/s0097539793255722
LibreCat
| DOI
1996 | Book (Editor) | LibreCat-ID: 16702
Meyer auf der Heide F, Monien B, eds. Automata, Languages and Programming, 23rd International Colloquium, ICALP96. Berlin, Heidelberg; 1996. doi:10.1007/3-540-61440-0
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 16703
Berenbrink P, Meyer auf der Heide F, Stemann V. Fault-tolerant shared memory simulations. In: STACS 96. Berlin, Heidelberg; 1996. doi:10.1007/3-540-60922-9_16
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16816
Domik G. Computer Visualization - Concepts, Trends and Current Research. In: G. Jeffery K, Kr{\’{a}}l J, Bartosek M, 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. Vol 1175. Lecture Notes in Computer Science. Springer; 1996:178-196. doi:10.1007/BFb0037404
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf B, Domik G. Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme. In: Proceedings 4. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen. Dortmund, Germany; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 16896
Volbracht S, Domik G, Shahrbabaki K, Fels G. An Experimental Comparison of 3D Display Modes. In: Proceedings of IEEE Visualization . IEEE Computer Society Press. ; 1996:8-11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15292
Hüllermeier E. Approminate probabilistic reasoning with fuzzy constraints. In: Zimmermann HJ, ed. In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15293
Hüllermeier E. A fuzzy simulation method. In: Anderson PG, Warwick K, eds. International Symposium on Soft Computing, Reading U.K. ICSC Academic Press; 1996:B230-B236.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15304
Hüllermeier E. Hierarchical constraint propagation based on interval arithmetic. In: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg. ; 1996:54-55.
LibreCat
1996 | Book | LibreCat-ID: 14894
Fosdick LD, Jessup ER, Schauble CJ, Domik G. An Introduction to High-Performance Scientific Computing. MIT Press; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15056
Volbracht S, Shahrbabaki K, Domik G, Fels G. Perspective viewing, Anaglyph stereo or Shutter glass stereo? In: Proceedings 1996 IEEE Symposium on Visual Languages. ; 1996:192-193.
LibreCat
1996 | Conference Paper | LibreCat-ID: 13602
Lind E, Platzner M, Rinner B. A Multi-DSP System with Dynamically Reconfigurable Processors. In: Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT). ; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39513
Aisch H, Joosten M, Müller W, Buijs F. Interaktiver Produktdatenaustausch mit EDIFACT. Published online 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel P, Lehrenfeld G, Müller W, Tahedl C, Uhr H. Integrating a Constraint Solver into a Real-Time Animation Environment. In: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996. doi:10.1109/VL.1996.545262
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39517
Dücker M, Lehrenfeld G, Müller W. Specification and Analysis of Concurrent Systems in a Complete Visual Environment. In: Proceedings of the 10th European Simulation Multiconference (ESM’96). ; 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. In: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996. doi:10.1109/VL.1996.545302
LibreCat
| DOI
1995 | Dissertation | LibreCat-ID: 19623
Stemann V. Contention Resolution in Hashing Based Shared Memory Simulations. Vol 3. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1995.
LibreCat
1995 | Dissertation | LibreCat-ID: 19627
Czumaj A. Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations. Vol 8. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1995.
LibreCat
| Files available
1995 | Dissertation | LibreCat-ID: 19630
Wachsmann A. Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher. Vol 6. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1995.
LibreCat
1995 | Dissertation | LibreCat-ID: 19634
Ameur F. Space-Bounded Learning Algorithms. Vol 10. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 3037
Alt H, Behrends B, Blömer J. Approximate matching of polygonal shapes. Annals of Mathematics and Artificial Intelligence. 1995;13(3).
LibreCat
1995 | Report | LibreCat-ID: 3038
Blömer J, Kalfane M, Karp R, Karpinski M, Luby M, Zuckerman D. An XOR-Based Erasure-Resilient Coding Scheme. Berkeley, USA; 1995.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 17482
Czumaj A, Meyer auf der Heide F, Stemann V. Simulating shared memory in real time: On the computation power of reconfigurable meshes. In: Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures. ; 1995:46--59.
LibreCat
1995 | Conference Paper | LibreCat-ID: 21786
Kienegger-Domik G. Intelligent visualization systems in educational environments. In: Maurer H, ed. Proceedings of ED-MEDIA `95. Graz, Austria: AACE; 1995:17-22.
LibreCat
1995 | Conference Paper | LibreCat-ID: 2187 |
Meyer auf der Heide F, Scheideler C. Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks. In: ESA. Lecture Notes in Computer Science. ; 1995:341--354. doi:10.1007/3-540-60313-1_154
LibreCat
| Files available
| DOI
1995 | Conference Paper | LibreCat-ID: 2207 |
Meyer auf der Heide F, Scheideler C. Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract). In: SPAA. ; 1995:137--146.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 2208 |
Meyer auf der Heide F, Scheideler C, Stemann V. Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations. In: STACS. ; 1995:267--278.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 7831
Heckel R, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations with Controlled Application of Rules. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
Thoben W, Appelrath H-J, Sauer S. Record Linkage of Anonymous Data by Control Numbers. In: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany). Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer; 1995:412-419.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
Heckel R. Embedding of Conditional Graph Transformations. In: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science. Technical Report. Universitat de les Illes Balears; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8194
Conrad M, Gajewsky M, Holl-Biniasz R, et al. Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem.; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8195
Ebert J, Engels G. Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau; 1995.
LibreCat
1995 | Report | LibreCat-ID: 8196
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen L, Engels G. Coordination by Behavioural Views and Communication Patterns. In: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands). Vol 913. LNCS. Berlin/Heidelberg: Springer; 1995:189-192. doi:http://dx.doi.org/10.1007/3-540-59205-9_56
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8267
Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany). Vol 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH; 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8269
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109. doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8270
Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4
LibreCat
| DOI
1995 | Journal Article | LibreCat-ID: 16566
Breslauer D, Czumaj A, Dubhashi DP, Meyer auf der Heide F. Transforming comparison model lower bounds to the parallel-random-access-machine. Information Processing Letters. 1995:103-110. doi:10.1016/s0020-0190(97)00032-x
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16704
Meyer auf der Heide F, Vöcking B. A packet routing protocol for arbitrary networks. In: STACS 95. Berlin, Heidelberg; 1995. doi:10.1007/3-540-59042-0_81
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16705
Czumaj A, Meyer auf der Heide F, Stemann V. Shared memory simulations with triple-logarithmic delay. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60313-1_133
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 16706
Meyer auf der Heide F, Storch M, Wanka R. Optimal trade-offs between size and slowdown for universal parallel networks. In: Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’95. ; 1995. doi:10.1145/215399.215430
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 16707
Czumaj A, Meyer auf der Heide F, Stemann V. Improved optimal shared memory simulations, and the power of reconfiguration. In: Proceedings Third Israel Symposium on the Theory of Computing and Systems. ; 1995. doi:10.1109/istcs.1995.377051
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16717
Meyer auf der Heide F, Westermann M. Hot-potato routing on multi-dimensional tori. In: Graph-Theoretic Concepts in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60618-1_77
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16874
Bäumker A, Dittrich W, Meyer auf der Heide F. Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60313-1_131
LibreCat
| DOI
1995 | Journal Article | LibreCat-ID: 10610
Platzner M, Rinner B, Weiss R. Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation. JUCS Journal of Universal Computer Science. 1995;12:811-820.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15294
Hüllermeier E. Towards modelling of fuzzy functions. In: Zimmermann HJ, ed. In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1995:150-154.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15295
Hüllermeier E. Rule-based modelling in fuzzy simulation. In: In Proceedings ISFL-95 International Symposium on Logic, Zürich. ICSC Academic Press; 1995:B49-B56.
LibreCat
1995 | Conference Paper | LibreCat-ID: 15305
Hüllermeier E. Fuzzy polynomial and spline interpolation. In: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin. Gordon and Breach Publishers; 1995:401-404.
LibreCat