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
E. Hüllermeier, “Hierarchical  propagation of uncertain constraints,” in in Proceedings EUFIT-97 5th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1997, pp. 953–957.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15291
E. Hüllermeier, “Approximation of fuzzy functions,” in in Proceedings 4.Internationaler Workshop Fuzzy-Neuro-Systeme. Soest Germany, 1997, pp. 374–381.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15811
E. Hüllermeier, “Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose,” in In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
LibreCat
 

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

1997 | Conference Paper | LibreCat-ID: 15034
S. Volbracht, G. Domik, K. Shahrbabaki, and G. Fels, “How effective are 3D display modes?,” in Proceedings of the ACM SIGCHI Conference on Human factors in computing systems, 1997, pp. 540–541.
LibreCat
 

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

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

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

1997 | Conference Paper | LibreCat-ID: 13604
T. Röwekamp, M. Platzner, and L. Peters, “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, pp. 829–833.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 39510
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual Programming Language for Qualitative Data,” 1997, doi: 10.1109/VL.1997.626593.
LibreCat | DOI
 

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

1997 | Conference Paper | LibreCat-ID: 39502
M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: 10.1109/ECBS.1997.581876.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 19816
H. Kleine Büning and T. Lettmann, “Learning a representation for optimizable formulas,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

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

1996 | Dissertation | LibreCat-ID: 3260
H. Wehrheim, Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 3261
U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in Branching Time Semantics,” Inf. Process. Lett., no. 4, pp. 179--184, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 3262
U. Goltz and H. Wehrheim, “Causal Testing,” in Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat | DOI
 

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

1996 | Conference Paper | LibreCat-ID: 17419
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, and R. Smolensky, “A lower bound for randomized algebraic decision trees,” in Proc. of 28th ACM-STOC, 1996, vol. 65453, pp. 612–621.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
M. Fischer, J. Rethmann, and A. Wachsmann, “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), 1996, pp. 13–27.
LibreCat | Files available
 

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

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

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

1996 | Dissertation | LibreCat-ID: 2181
C. Scheideler, Universal routing strategies. University of Paderborn, Germany, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2182
F. Meyer auf der Heide, C. Scheideler, and V. Stemann, “Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations,” Theor. Comput. Sci., no. 2, pp. 245--281, 1996.
LibreCat | DOI
 

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

1996 | Conference Paper | LibreCat-ID: 2184 | OA
F. Meyer auf der Heide and C. Scheideler, “Communication in Parallel Systems,” in SOFSEM, 1996, vol. 1175, pp. 16--33.
LibreCat | Files available
 

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

1996 | Conference (Editor) | LibreCat-ID: 7796
G. Engels, H. Ehrig, G. Rozenberg, and A. Skowron, Eds., Special Issue on Graph Transformations, vol. 26, no. 3–4. Amsterdam: IOS Press, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7834
H. Ehrig 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, 1996, no. 155, pp. 11–12.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
R. Heckel, “Behavioral Constraints for Loose Graph Transformation Systems,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 12–13.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7836
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, and M. Rijnbeek, “Industrial maintenance modelled in SOCCA: an experience report,” in Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 1996, pp. 13–26.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 7837
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, and A. Corradini, “A View-Based Approach to System Modelling,” in Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, vol. 155, p. 11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7838
G. Engels, L. Groenewegen, and G. Kappel, “Object-oriented specification of coordinated collaboration,” in Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), 1996, pp. 437–452.
LibreCat
 

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

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

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

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

1996 | Conference Paper | LibreCat-ID: 8271
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, and A. Matsinger, “Towards Measurable Process Models,” in Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), 1996, vol. 1149, pp. 183–187.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 8272
H. Ehrig and G. Engels, “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), 1996, vol. 1073, pp. 137–154.
LibreCat | Download (ext.)
 

1996 | Conference Paper | LibreCat-ID: 8273
G. Engels and A. Zamperoni, “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, pp. 42–44.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8274
L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse of Software, too,” in Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), 1996, p. 68.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8275
R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in Proceedings of the Workshop on Tools for System Development and Verifcation, 1996, vol. 1, pp. 70–83.
LibreCat | Download (ext.)
 

1996 | Journal Article | LibreCat-ID: 7404
A. Habel, R. Heckel, and G. Taentzer, “Graph Grammars with Negative Application Conditions,” Fundamenta Informaticae, vol. 26, no. 3,4, pp. 287–313, 1996.
LibreCat
 

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

1996 | Journal Article | LibreCat-ID: 7406
M. Andries and G. Engels, “A Hybrid Query Language for the Extended Entity Relationship Model,” Journal of Visual Languages and Computing, vol. 7, no. 3, pp. 321–352, 1996.
LibreCat | DOI
 

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

1996 | Conference Paper | LibreCat-ID: 880
B. Dreier, A. Huber, H. Karl, T. Ungerer, and M. Zahn, “ReGTime - Rent Gigaflops someTimes,” 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
 

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

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

1996 | Journal Article | LibreCat-ID: 16700
R. M. Karp, M. Luby, and F. Meyer auf der Heide, “Efficient PRAM simulation on a distributed memory machine,” Algorithmica, pp. 517–542, 1996.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 16701
J. Gil, F. Meyer auf der Heide, and A. Wigderson, “The Tree Model for Hashing: Lower and Upper Bounds,” SIAM Journal on Computing, pp. 936–955, 1996.
LibreCat | DOI
 

1996 | Book (Editor) | LibreCat-ID: 16702
F. Meyer auf der Heide and B. Monien, Eds., Automata, Languages and Programming, 23rd International Colloquium, ICALP96. Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 16703
P. Berenbrink, F. Meyer auf der Heide, and V. Stemann, “Fault-tolerant shared memory simulations,” in STACS 96, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 16816
G. Domik, “Computer Visualization - Concepts, Trends and Current Research,” in {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, 1996, vol. 1175, pp. 178–196.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 16895
B. Gutkauf and G. Domik, “Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme,” in Proceedings 4. GI Workshop Adaptivität  und Benutzermodellierung in interaktiven Softwaresystemen, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16896
S. Volbracht, G. Domik, K. Shahrbabaki, and G. Fels, “An Experimental Comparison of 3D Display Modes,” in Proceedings of IEEE Visualization , San Francisco, USA, 1996, pp. 8–11.
LibreCat
 

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

1996 | Conference Paper | LibreCat-ID: 15293
E. Hüllermeier, “A fuzzy simulation method,” in International Symposium on Soft Computing, Reading U.K., 1996, pp. B230–B236.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15304
E. Hüllermeier, “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, pp. 54–55.
LibreCat
 

1996 | Book | LibreCat-ID: 14894
L. D. Fosdick, E. R. Jessup, C. J. Schauble, and G. Domik, An introduction to high-performance scientific computing. MIT Press, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15056
S. Volbracht, K. Shahrbabaki, G. Domik, and G. Fels, “Perspective viewing, Anaglyph stereo or Shutter glass stereo?,” in Proceedings 1996 IEEE Symposium on Visual Languages, 1996, pp. 192–193.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 13602
E. Lind, M. Platzner, and B. Rinner, “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
H. Aisch, M. Joosten, W. Müller, and F. Buijs, “Interaktiver Produktdatenaustausch mit EDIFACT.” Kaiserslautern, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 39521
P. Griebel, G. Lehrenfeld, W. Müller, C. Tahedl, and H. Uhr, “Integrating a Constraint Solver into a Real-Time Animation Environment,” 1996, doi: 10.1109/VL.1996.545262.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 39517
M. Dücker, G. Lehrenfeld, and W. Müller, “Specification and Analysis of Concurrent Systems in a Complete Visual Environment,” 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 39526
C. Geiger et al., “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: 10.1109/VL.1996.545302.
LibreCat | DOI
 

1995 | Dissertation | LibreCat-ID: 19623
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, vol. 3. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19627
A. Czumaj, 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
A. Wachsmann, 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
F. Ameur, Space-Bounded Learning Algorithms, vol. 10. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 3037
H. Alt, B. Behrends, and J. Blömer, “Approximate matching of polygonal shapes,” Annals of Mathematics and Artificial Intelligence, vol. 13, no. 3, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 3038
J. Blömer, M. Kalfane, R. Karp, M. Karpinski, M. Luby, and D. Zuckerman, An XOR-based erasure-resilient coding scheme. Berkeley, USA, 1995.
LibreCat | Files available
 

1995 | Conference Paper | LibreCat-ID: 17482
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Simulating shared memory in real time: On the computation power of reconfigurable meshes,” in Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 21786
G. Kienegger-Domik, “Intelligent visualization systems in educational environments,” in Proceedings of ED-MEDIA `95, 1995, pp. 17–22.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2187 | OA
F. Meyer auf der Heide and C. Scheideler, “Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks,” in ESA, 1995, pp. 341--354.
LibreCat | Files available | DOI
 

1995 | Conference Paper | LibreCat-ID: 2207 | OA
F. Meyer auf der Heide and C. Scheideler, “Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract),” in SPAA, 1995, pp. 137--146.
LibreCat | Files available
 

1995 | Conference Paper | LibreCat-ID: 2208 | OA
F. Meyer auf der Heide, C. Scheideler, and V. Stemann, “Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations,” in STACS, 1995, pp. 267--278.
LibreCat | Files available
 

1995 | Conference Paper | LibreCat-ID: 7831
R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7832
W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data by Control Numbers,” in Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany), 1995, pp. 412–419.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7833
R. Heckel, “Embedding of Conditional Graph Transformations,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
 

1995 | Report | LibreCat-ID: 8194
M. Conrad et al., Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem. 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8195
J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8196
G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8266
L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913, pp. 189–192.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 8267
A. Corradini and R. Heckel, “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), 1995, vol. 2, pp. 46–55.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
B. Bardohl 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), 1995, vol. 26.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
G. Engels and A. Schürr, “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), 1995, pp. 101–109.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 8270
R. Heckel and A. Wagner, “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), 1995, vol. 2, pp. 118–126.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16566
D. Breslauer, A. Czumaj, D. P. Dubhashi, and F. Meyer auf der Heide, “Transforming comparison model lower bounds to the parallel-random-access-machine,” Information Processing Letters, pp. 103–110, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16704
F. Meyer auf der Heide and B. Vöcking, “A packet routing protocol for arbitrary networks,” in STACS 95, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16705
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Shared memory simulations with triple-logarithmic delay,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 16706
F. Meyer auf der Heide, M. Storch, and R. Wanka, “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.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 16707
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Improved optimal shared memory simulations, and the power of reconfiguration,” 1995, doi: 10.1109/istcs.1995.377051.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16717
F. Meyer auf der Heide and M. Westermann, “Hot-potato routing on multi-dimensional tori,” in Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16874
A. Bäumker, W. Dittrich, and F. Meyer auf der Heide, “Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 10610
M. Platzner, B. Rinner, and R. Weiss, “Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation,” J.UCS Journal of Universal Computer Science, vol. 12, pp. 811–820, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15294
E. Hüllermeier, “Towards modelling of fuzzy functions,” in in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15295
E. Hüllermeier, “Rule-based modelling in fuzzy simulation,” in in Proceedings ISFL-95 International Symposium on Logic, Zürich, 1995, pp. B49–B56.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15305
E. Hüllermeier, “Fuzzy polynomial and spline interpolation,” in in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, 1995, pp. 401–404.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed