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.
5693 Publications
1994 | Dissertation | LibreCat-ID: 19624
Wanka, R. (1994). Paralleles Sortieren auf mehrdimensionalen Gittern. Universität Paderborn.
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 3263
Rensink, A., & Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson & J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241). https://doi.org/10.1007/978-3-540-48654-1_20
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, H. (1994). Parametric Action Refinement. In E.-}R{\"{u}}diger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994 (pp. 247--266).
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, H.-D., Engels, G., Paredaens, J., & Wegner, J. (Eds.). (1994). Fundamentals of Object-Oriented Languages, Systems, and Methods (Vol. 95). Schloss Dagstuhl, Leibniz Center for Informatics.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, J., Ehrig, H., Engels, G., & Rozenberg, G. (Eds.). (1994). Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers (Vol. 1073). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-61228-9
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
Thoben, W., Appelrath, H.-J., Rettig, J., & Sauer, S. (1994). Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany) (pp. 88–90). München: MMV Medizin Verlag.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
Ebert, J., & Engels, G. (1994). Structural and Behavioural Views on OMT-Classes. In Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy) (Vol. 858, pp. 142–157). Berlin/Heidelberg: Springer.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
Engels, G., & Kappel, G. (1994). Object-Oriented System Development: Will the New Approach Solve Old Problems? In Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany) (Vol. 3, pp. 434–441). Elsevier.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
Engels, G., & Ehrig, H. (1994). Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In Proceedings Colloquium on Graph Transformation and its Application in Computer Science (Vol. B-19). Universitat de les Illes Balears, Departament de Ci.
LibreCat
1994 | Report | LibreCat-ID: 8193
Ebert, J., & Engels, G. (1994). Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1994 | Conference Paper | LibreCat-ID: 8263
Andries, M., & Engels, G. (1994). Syntax and Semantics of Hybrid Database Languages. In Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany) (Vol. 776, pp. 19–36). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8264
Engels, G., & Groenewegen, L. (1994). Specification of coordinated behaviour by SOCCA. In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France) (pp. 128–151). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8265
Engels, G., & Löhr, P. (1994). Visual Specification of Complex Database Actions. In Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany) (pp. 303–314). Berlin/Heidelberg: Springer.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter, P., & Engels, G. (1994). Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen. GI-Datenbank Rundbrief, 13, 33–35.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
Ebert, J., & Engels, G. (1994). Design Representation. In Encyclopedia of Software Engineering (pp. 382–394). John Wiley & Sons, Inc.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
Engels, G., & Groenewegen, L. (1994). SOCCA: Specifications of Coordinated and Cooperative Activities. In Software Process Modelling and Technology (pp. 71–102). Taunton: Research Studies Press.
LibreCat
1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger, M., Karlin, A., Mehlhorn, K., Meyer auf der Heide, F., Rohnert, H., & Tarjan, R. E. (1994). Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing, 738–761. https://doi.org/10.1137/s0097539791194094
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 16817
Domik, G. (1994). Visualization education. Comput. Graph., 18(3), 277–280. https://doi.org/10.1016/0097-8493(94)90026-4
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 16819
Domik, G., & Gutkauf, B. (1994). User Modeling for Adaptive Visualization Systems. In R. Daniel Bergeron & A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994 (pp. 217–223). IEEE Computer Society. https://doi.org/10.1109/VISUAL.1994.346316
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier, E. (1994). Approximate solution of a linear programming problem using a modified perceptron-algorithm. In H. J. Zimmermann (Ed.), in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany (pp. 195–199).
LibreCat
1994 | Conference Paper | LibreCat-ID: 13468
Platzner, M., Steger, C., & Weiss, R. (1994). Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., & Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, J., & Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., & Müller, W. (1994). Implementing Simultaneous Design: A Case Study. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, W., Lehrenfeld, G., & Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, E., Glässer, U., & Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Parallel Validation of STEP Files. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, G., & Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, W., & Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., Kleine Büning, H., & Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications, 327–340. https://doi.org/10.1051/ita/1993270403271
LibreCat
| DOI
1993 | Report | LibreCat-ID: 3045
Blömer, J. (1993). On Kummer theory and the number of roots of unity in radical extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik.
LibreCat
1993 | Book (Editor) | LibreCat-ID: 17477
Meyer auf der Heide, F., Monien, B., & Rosenberg, A. L. (Eds.). (1993). Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer. https://doi.org/10.1007/3-540-56731-3
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 17479
Kastens, U., Meyer auf der Heide, F., Wachsmann, A., & Wichmann, F. (1993). OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report). In Proc. 3rd PASA Workshop, PARS Mitteilungen (pp. 50–55).
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
Engels, G., & Verrijn-Stuart, A. A. (1993). Integrationsaspekte bei verteilter Software-Entwicklung. In Fortschritt-Berichte VDI (pp. 45–53). VDI Verlag.
LibreCat
1993 | Report | LibreCat-ID: 8190
Andries, M., & Engels, G. (1993). A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Report | LibreCat-ID: 8191
Ehrig, H., & Engels, G. (1993). Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Report | LibreCat-ID: 8192
Engels, G., & Rozenberg, G. (1993). Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
Engels, G., & Groenewegen, L. (1993). Modular, Visual Specifications of Software Processes. In Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany) (pp. 66–68). Washington, DC, USA: IEEE Computer Society.
LibreCat
1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger, M., & Meyer auf der Heide, F. (1993). An Optimal Parallel Dictionary. Information and Computation, 196–217. https://doi.org/10.1006/inco.1993.1007
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide, F., Oesterdiekhoff, B., & Wanka, R. (1993). Strongly adaptive token distribution. In Automata, Languages and Programming. Berlin, Heidelberg. https://doi.org/10.1007/3-540-56939-1_89
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger, M., & Meyer auf der Heide, F. (1993). Simple, efficient shared memory simulations. In Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures - SPAA ’93. https://doi.org/10.1145/165231.165246
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16732
Lürwer-Brüggemeier, K., & Meyer auf der Heide, F. (1993). Capabilities and complexity of computations with integer division. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-56503-5_46
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16828
Domik, G. (1993). Education in Scientific Visualization. In S. D. Franklin, A. R. Stubberud, & L. P. Wiedeman (Eds.), University Education Uses of Visualization in Scientific Computing, Proceedings of the {IFIP} {WG3.2} Working Conference on Visualization in Scientific Computing: Uses in University Education, Irvine, CA, USA, 28-30 July, 1993 (Vol. {A-48}, pp. 25–32). North-Holland.
LibreCat
1993 | Conference Paper | LibreCat-ID: 16906
Domik, G. (1993). Scientific Visualization. In H. Maurer (Ed.), Proceedings of ED Media ’93. Florida, USA.
LibreCat
1993 | Journal Article | LibreCat-ID: 15045
Domik, G. (1993). An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report. COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-, 27, 6–6.
LibreCat
1993 | Journal Article | LibreCat-ID: 15273
Domik, G. (1993). Guidelines for a curriculum in scientific visualization. Computers & Graphics, 17(2), 185–191. https://doi.org/10.1016/0097-8493(93)90103-G
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 15275
Domik, G., Joslyn, C., & Segura, T. (1993). Macroscopic and Microscopic Aspects of Glyphs. In Proceedings of the Vienna Conference on Human Computer Interaction.
LibreCat
1993 | Journal Article | LibreCat-ID: 13466
Platzner, M., & Steger, C. (1993). Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40). Mikroelektronik.
LibreCat
1993 | Conference Paper | LibreCat-ID: 13467
Platzner, M., Steger, C., & Weiss, R. (1993). Performance Measurements on a Multi-DSP Architecture with TMS320C40. In Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT). DSP Associates.
LibreCat