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.
5714 Publications
1997 | Conference Paper | LibreCat-ID: 16894
Gutkauf, B., et al. “User Adaptive Presentation of Information .” Proceedings 2nd International Symposium on Global Engineering Networking, 1997, pp. 115–27.
LibreCat
1997 | Journal Article | LibreCat-ID: 10609
Platzner, Marco, et al. “A Computer Architecture to Support Qualitative Simulation in Industrial Applications.” E & i Elektrotechnik Und Informationstechnik, vol. 114, Springer, 1997, pp. 13–18.
LibreCat
1997 | Journal Article | LibreCat-ID: 10724
Platzner, Marco, et al. “Parallel Qualitative Simulation.” Simulation Practice and Theory, vol. 5, no. 7–8, Elsevier, 1997, pp. 623–38, doi:10.1016/s0928-4869(97)00008-6.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 15290
Hüllermeier, Eyke. “Hierarchical Propagation of Uncertain Constraints.” In Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 1997, pp. 953–57.
LibreCat
1997 | Conference Paper | LibreCat-ID: 15291
Hüllermeier, Eyke. “Approximation of Fuzzy Functions.” In Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, edited by A. Grauel et al., 1997, pp. 374–81.
LibreCat
1997 | Conference Paper | LibreCat-ID: 15811
Hüllermeier, Eyke. “Modellierung Und Simulation Unsicherer Dynamischer Systeme Und Anwendungen in Der Diagnose.” In Proceedings ASIM Fachgruppentagung Soft Computing, edited by D.P.F. Möller and O. Richter, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 14991
Gutkauf, Bernd, et al. “A User-Adaptive Chart Editing System Based on User Modeling and Critiquing.” User Modeling, 1997, pp. 159–70.
LibreCat
1997 | Conference Paper | LibreCat-ID: 15034
Volbracht, Sabine, et al. “How Effective Are 3D Display Modes?” Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems, 1997, pp. 540–41.
LibreCat
1997 | Journal Article | LibreCat-ID: 16201
Hüllermeier, Eyke. “A New Approach to Modelling and Simulation of Uncertain Dynamical Systems.” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 5, no. 2, 1997, pp. 117–37.
LibreCat
1997 | Journal Article | LibreCat-ID: 1445
Baratloo, A., et al. “KnittingFactory: An Infrastructure for Distributed Web Applications.” Technical Report, 1997.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 13603
Platzner, Marco, and Liliane Peters. “Fast Signature Segmentation on a Multi-DSP Architecture.” 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, Thomas, et al. “Specialized Architectures for Optical Flow Computation: A Performance Comparison of ASIC, DSP, and Multi-DSP.” Proceedings of the 8th International Conference on Signal Processing Applications & Technology (ICSPAT), 1997, pp. 829–33.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., et al. “A Visual Programming Language for Qualitative Data.” 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., et al. “Visual-Textual Prototyping of 4D Scenes.” 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., et al. “A Generic System for Interactive Real--Time Animation.” 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, Hans, and Theodor Lettmann. “Learning a Representation for Optimizable Formulas.” Lecture Notes in Computer Science, 1996, doi:10.1007/3-540-61863-5_33.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 19958
Schwarze, Frank, et al. “Routing on Networks of Optical Crossbars (Extended Abstract).” Euro-Par 1996, vol. I, 1996, pp. 299–306.
LibreCat
1996 | Dissertation | LibreCat-ID: 3260
Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.
LibreCat
1996 | Journal Article | LibreCat-ID: 3261
Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” Inf. Process. Lett., no. 4, 1996, pp. 179--184, doi:10.1016/0020-0190(96)00111-1.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 3262
Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.
LibreCat
| DOI
1996 | Report | LibreCat-ID: 17418
Czumaj, Artur, et al. Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, Dima, et al. “A Lower Bound for Randomized Algebraic Decision Trees.” Proc. of 28th ACM-STOC, vol. 65453, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–21.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17483
Fischer, Matthias, et al. “A Realistic Cost Model for the Communication Time in Parallel Programs.” 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, 1996, pp. 13–27.
LibreCat
| Files available
1996 | Book Chapter | LibreCat-ID: 17564
Bäumker, Armin, et al. “Realistic Parallel Algorithms: Priority Queue Operations and Selection for the BSP* Model.” Lecture Notes in Computer Science, 1996, pp. 369–76, doi:10.1007/bfb0024725.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 1918
Dreier, Bernd, et al. “ReGTime - Rent Gigaflops SomeTimes.” Proceedings Trends in Distributed Systems, 1996.
LibreCat
1996 | Report | LibreCat-ID: 18352
Fischer, Matthias, et al. A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware. 1996.
LibreCat
| Files available
1996 | Dissertation | LibreCat-ID: 2181
Scheideler, Christian. Universal Routing Strategies. University of Paderborn, Germany, 1996.
LibreCat
1996 | Journal Article | LibreCat-ID: 2182
Meyer auf der Heide, Friedhelm, et al. “Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations.” Theor. Comput. Sci., no. 2, 1996, pp. 245--281, doi:10.1016/0304-3975(96)00032-1.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 2183 | 
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols.” FOCS, 1996, pp. 370--379.
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 2184 |
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Communication in Parallel Systems.” SOFSEM, vol. 1175, Springer, 1996, pp. 16--33.
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 2186 |
Cypher, Robert, et al. “Universal Algorithms for Store-and-Forward and Wormhole Routing.” STOC, ACM, 1996, pp. 356--365.
LibreCat
| Files available
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, Gregor, et al., editors. Special Issue on Graph Transformations. Vol. 26, no. 3–4, IOS Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, Hartmut, et al. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, no. 155, Technical University of Berlin, 1996, pp. 11–12.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, no. 155, Technical University of Berlin, 1996, pp. 12–13.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
de Bunje, Tineke, et al. “Industrial Maintenance Modelled in SOCCA: An Experience Report.” Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, 1996, pp. 13–26, doi:http://dx.doi.org/10.1109/ICSP.1996.565021.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels, Gregor, et al. “A View-Based Approach to System Modelling.” Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, vol. 155, Technical University of Berlin, 1996, p. 11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels, Gregor, et al. “Object-Oriented Specification of Coordinated Collaboration.” Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–52.
LibreCat
1996 | Report | LibreCat-ID: 8197
Andries, Marc, 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, Giorgio, and Gregor Engels. Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8199
Engels, Gregor, et al. Object-Oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
1996 | Report | LibreCat-ID: 8200
Heckel, Reiko, et al. Horizontal and Vertical Structuring of Typed Graph Transformation Systems. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8271
de Bunje, Tineke, et al. “Towards Measurable Process Models.” Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), vol. 1149, Springer, 1996, pp. 183–87, doi:http://dx.doi.org/10.1007/BFb0017743.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 8272
Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems.” Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), vol. 1073, Springer, 1996, pp. 137–54.
LibreCat
| Download (ext.)
1996 | Conference Paper | LibreCat-ID: 8273
Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change: Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).” 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
1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments Is Reuse of Software, Too.” Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, 1996, p. 68.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.” Proceedings of the Workshop on Tools for System Development and Verifcation, vol. 1, Shaker Verlag, 1996, pp. 70–83.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
Habel, Annegret, et al. “Graph Grammars with Negative Application Conditions.” Fundamenta Informaticae, vol. 26, no. 3,4, 1996, pp. 287–313.
LibreCat
1996 | Journal Article | LibreCat-ID: 7405
Heckel, Reiko, et al. “Horizontal and Vertical Structuring of Typed Graph Transformation Systems.” Mathematical Structures in Computer Science, vol. 6, no. 6, 1996, pp. 613–48.
LibreCat
1996 | Journal Article | LibreCat-ID: 7406
Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended Entity Relationship Model.” Journal of Visual Languages and Computing, vol. 7, no. 3, 1996, pp. 321–52, doi:http://dx.doi.org/10.1006/jvlc.1996.0017.
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
Engels, Gregor, et al. “Tight Integration on One Document: The Programming Environment.” Building Tightly Integrated Software Development Environments: The IPSEN Approach, vol. 1170, Springer, 1996, pp. 170–77.
LibreCat
1996 | Conference Paper | LibreCat-ID: 880
Dreier, Bernd, et al. “ReGTime - Rent Gigaflops SomeTimes.” Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93, doi:10.1007/3-540-61842-2_28.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16698
Ameur, Foued, et al. “Trial and Error. A New Approach to Space-Bounded Learning.” Acta Informatica, 1996, pp. 621–30, doi:10.1007/bf03036467.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16699
Meyer auf der Heide, Friedhelm, et al. “Strongly Adaptive Token Distribution.” Algorithmica, 1996, pp. 413–27, doi:10.1007/bf01955042.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16700
Karp, R. M., et al. “Efficient PRAM Simulation on a Distributed Memory Machine.” Algorithmica, 1996, pp. 517–42, doi:10.1007/bf01940878.
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16701
Gil, Joseph, et al. “The Tree Model for Hashing: Lower and Upper Bounds.” SIAM Journal on Computing, 1996, pp. 936–55, doi:10.1137/s0097539793255722.
LibreCat
| DOI
1996 | Book (Editor) | LibreCat-ID: 16702
Meyer auf der Heide, Friedhelm, and Burkhard Monien, editors. Automata, Languages and Programming, 23rd International Colloquium, ICALP96. 1996, doi:10.1007/3-540-61440-0.
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 16703
Berenbrink, Petra, et al. “Fault-Tolerant Shared Memory Simulations.” STACS 96, 1996, doi:10.1007/3-540-60922-9_16.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16816
Domik, Gitta. “Computer Visualization - Concepts, Trends and Current Research.” {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, edited by Keith G. Jeffery et al., vol. 1175, Springer, 1996, pp. 178–96, doi:10.1007/BFb0037404.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf, B., and Gitta Domik. “Benutzermodellierung Als Basis Für Adaptive Multimediale Präsentations- Und Interaktionssysteme.” Proceedings 4. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 16896
Volbracht, S., et al. “An Experimental Comparison of 3D Display Modes.” Proceedings of IEEE Visualization , 1996, pp. 8–11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15292
Hüllermeier, Eyke. “Approminate Probabilistic Reasoning with Fuzzy Constraints.” In Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15293
Hüllermeier, Eyke. “A Fuzzy Simulation Method.” International Symposium on Soft Computing, Reading U.K., edited by P.G. Anderson and K. Warwick, ICSC Academic Press, 1996, pp. B230–36.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15304
Hüllermeier, Eyke. “Hierarchical Constraint Propagation Based on Interval Arithmetic.” In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.
LibreCat
1996 | Book | LibreCat-ID: 14894
Fosdick, Lloyd Dudley, et al. An Introduction to High-Performance Scientific Computing. MIT Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15056
Volbracht, Sabine, et al. “Perspective Viewing, Anaglyph Stereo or Shutter Glass Stereo?” Proceedings 1996 IEEE Symposium on Visual Languages, 1996, pp. 192–93.
LibreCat
1996 | Conference Paper | LibreCat-ID: 13602
Lind, Erich, et al. “A Multi-DSP System with Dynamically Reconfigurable Processors.” Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT), 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., et al. Interaktiver Produktdatenaustausch Mit EDIFACT. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., et al. “Integrating a Constraint Solver into a Real-Time Animation Environment.” 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, Marita, et al. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” Proceedings of the 10th European Simulation Multiconference (ESM’96), 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996, doi:10.1109/VL.1996.545302.
LibreCat
| DOI
1995 | Dissertation | LibreCat-ID: 19623
Stemann, Volker. Contention Resolution in Hashing Based Shared Memory Simulations. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
1995 | Dissertation | LibreCat-ID: 19627
Czumaj, Artur. Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
| Files available
1995 | Dissertation | LibreCat-ID: 19630
Wachsmann, Alf. Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
1995 | Dissertation | LibreCat-ID: 19634
Ameur, Foued. Space-Bounded Learning Algorithms. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
1995 | Journal Article | LibreCat-ID: 3037
Alt, Helmut, et al. “Approximate Matching of Polygonal Shapes.” Annals of Mathematics and Artificial Intelligence, vol. 13, no. 3, 1995.
LibreCat
1995 | Report | LibreCat-ID: 3038
Blömer, Johannes, et al. An XOR-Based Erasure-Resilient Coding Scheme. 1995.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 17482
Czumaj, Artur, et al. “Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Meshes.” Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
LibreCat
1995 | Conference Paper | LibreCat-ID: 21786
Kienegger-Domik, Gitta. “Intelligent Visualization Systems in Educational Environments.” Proceedings of ED-MEDIA `95, edited by H. Maurer, AACE, 1995, pp. 17–22.
LibreCat
1995 | Conference Paper | LibreCat-ID: 2187 |
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks.” ESA, 1995, pp. 341--354, doi:10.1007/3-540-60313-1_154.
LibreCat
| Files available
| DOI
1995 | Conference Paper | LibreCat-ID: 2207 |
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract).” SPAA, 1995, pp. 137--146.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 2208 |
Meyer auf der Heide, Friedhelm, et al. “Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations.” STACS, 1995, pp. 267--278.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 7831
Heckel, Reiko, et al. “Attributed Graph Transformations with Controlled Application of Rules.” Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
Thoben, Wilfried, et al. “Record Linkage of Anonymous Data by Control Numbers.” Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, 1995, pp. 412–19.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
Heckel, Reiko. “Embedding of Conditional Graph Transformations.” Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, no. B-19, Universitat de les Illes Balears, 1995.
LibreCat
1995 | Report | LibreCat-ID: 8194
Conrad, Mirko, et al. Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem. 1995.
LibreCat
1995 | Report | LibreCat-ID: 8195
Ebert, Jürgen, and Gregor Engels. Specialization of Object Life Cycle Definitions. University of Koblenz-Landau, 1995.
LibreCat
1995 | Report | LibreCat-ID: 8196
Engels, Gregor, and Andy Schürr. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and Communication Patterns.” Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), vol. 913, Springer, 1995, pp. 189–92, doi:http://dx.doi.org/10.1007/3-540-59205-9_56.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8267
Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), vol. 2, Elsevier, 1995, pp. 46–55.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
Bardohl, Bernhard, et al. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), vol. 26, Forschungszentrum Jülich GmbH, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8269
Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 101–09, doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8270
Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach.” Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), vol. 2, Elsevier, 1995, pp. 118–26, doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4.
LibreCat
| DOI
1995 | Journal Article | LibreCat-ID: 16566
Breslauer, Dany, et al. “Transforming Comparison Model Lower Bounds to the Parallel-Random-Access-Machine.” Information Processing Letters, 1995, pp. 103–10, doi:10.1016/s0020-0190(97)00032-x.
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16704
Meyer auf der Heide, Friedhelm, and Berthold Vöcking. “A Packet Routing Protocol for Arbitrary Networks.” STACS 95, 1995, doi:10.1007/3-540-59042-0_81.
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16705
Czumaj, Artur, et al. “Shared Memory Simulations with Triple-Logarithmic Delay.” Lecture Notes in Computer Science, 1995, doi:10.1007/3-540-60313-1_133.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 16706
Meyer auf der Heide, Friedhelm, et al. “Optimal Trade-Offs between Size and Slowdown for Universal Parallel Networks.” 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, Artur, et al. “Improved Optimal Shared Memory Simulations, and the Power of Reconfiguration.” 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, Friedhelm, and Matthias Westermann. “Hot-Potato Routing on Multi-Dimensional Tori.” Graph-Theoretic Concepts in Computer Science, 1995, doi:10.1007/3-540-60618-1_77.
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16874
Bäumker, Armin, et al. “Truly Efficient Parallel Algorithms: C-Optimal Multisearch for an Extension of the BSP Model.” Lecture Notes in Computer Science, 1995, doi:10.1007/3-540-60313-1_131.
LibreCat
| DOI
1995 | Journal Article | LibreCat-ID: 10610
Platzner, Marco, et al. “Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation.” J.UCS Journal of Universal Computer Science, vol. 12, Springer, 1995, pp. 811–20.
LibreCat