Domik-Kienegger G, Owen G. Education for Visualization-Activities of the ACM-SIGGRAPH Education Committee. In: Proceedings of the Third Eurographics Workshop on Graphics and Visualization. ; 1995.
LibreCat: /record/15272

Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung. In: Flemmig J, ed. Moderne Makroökonomie-Eine Kritische Bestandsaufnahme. Metropolis; 1995:413-454.
LibreCat: /record/16236

Platzner M, Rinner B, Weiss R. A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs. In: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing . IEEE CS Press; 1995:311-318.
LibreCat: /record/13469

Brenner E, Ginthör-Kalcsics R, Hranitzky R, et al. High-Performance Simulators Based on Multi-TM0. In: Proceedings of the 5th Annual Texas Instruments TM0 Educators Conference. ; 1995.
LibreCat: /record/13470

Friedl G, Platzner M, Rinner B. A Special-Purpose Coprocessor for Qualitative Simulation. In: Proceedings of the EURO-PAR’95 International Conference on Parallel Processing. Springer International Publishing; 1995:695-698.
LibreCat: /record/13471

Platzner M, Rinner B, Weiss R. Parallel Qualitative Simulation. In: Proceedings of the EUROSIM Congress. Elsevier; 1995:231-236.
LibreCat: /record/13472

Platzner M, Rinner B. Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture. In: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems. ISCA; 1995:494-501.
LibreCat: /record/13473

Platzner M, Rinner B. High-Performance Qualitative Simulation on a Multi-DSP Architecture. In: Proceedings of the 6th International Conference on Signal Processing Applications &; Technology (ICSPAT). ; 1995.
LibreCat: /record/13474

Hranitzky R, Platzner M. Design and Implementation of Adaptive Digital Filters on a Multi-TM0 System. In: Proceedings of the 6th International Conference on Signal Processing Applications &; Technology (ICSPAT). ; 1995.
LibreCat: /record/13484

Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. Semantics of VHDL. Kluwer Academic Publishers; 1995:107-139. doi:10.1007/978-1-4615-2237-9_5
LibreCat: /record/34448
DOI: 10.1007/978-1-4615-2237-9_5

Lehrenfeld G, Müller W, Wiechers N. Conformance Tests of Very Large STEP Files. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat: /record/39532

Zhao R, Kaufmann HJ, Kern T, Müller W. Pen-based Interfaces for Engineering Environments. In: ; 1995.
LibreCat: /record/39535

Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: Proceedings of Symposium on Visual Languages. ; 1995. doi:10.1109/VL.1995.520803
LibreCat: /record/39541
DOI: 10.1109/VL.1995.520803

Müller W, Lehrenfeld G, Wiechers N. Validation of EXPRESS Models. Published online 1995.
LibreCat: /record/39546

Müller W, Felser W, Buijs F. Guide to EXPRESS-P. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat: /record/39531

Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. ; 1995. doi:10.1109/ASPDAC.1995.486383
LibreCat: /record/39538
DOI: 10.1109/ASPDAC.1995.486383

Zhao R, Müller W, Kaufmann HJ, Kern Th, Buijs F. An Editor for the Rapid Prototyping of EXPRESS-G Models. In: Proceedings of the 5th EXPRESS User’s Group. ; 1995.
LibreCat: /record/39543

Müller W, Felser W, Wiechers N. The Process Modeling Language EXPRESS-P. Published online 1995.
LibreCat: /record/39550

Wanka R. Paralleles Sortieren Auf Mehrdimensionalen Gittern. Universität Paderborn; 1994.
LibreCat: /record/19624

Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

Wehrheim H. Parametric Action Refinement. In: Olderog E-R\'22udiger, ed. Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994. IFIP Transactions. ; 1994:247--266.
LibreCat: /record/3264

Ehrich H-D, Engels G, Paredaens J, Wegner J, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol 95. Schloss Dagstuhl, Leibniz Center for Informatics; 1994.
LibreCat: /record/7797

Cuny J, Ehrig H, Engels G, Rozenberg G, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol 1073. Berlin/Heidelberg: Springer; 1994. doi:http://dx.doi.org/10.1007/3-540-61228-9
LibreCat: /record/7798
DOI: http://dx.doi.org/10.1007/3-540-61228-9

Thoben W, Appelrath H-J, Rettig J, Sauer S. 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). München: MMV Medizin Verlag; 1994:88-90.
LibreCat: /record/7827

Ebert J, Engels G. 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. Berlin/Heidelberg: Springer; 1994:142-157.
LibreCat: /record/7828

Engels G, Kappel G. 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. Elsevier; 1994:434-441.
LibreCat: /record/7829

Engels G, Ehrig H. 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. Technical Report . Universitat de les Illes Balears, Departament de Ci; 1994.
LibreCat: /record/7830

Ebert J, Engels G. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.
LibreCat: /record/8193

Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat: /record/8263
DOI: http://dx.doi.org/10.1007/3-540-57787-4_2

Engels G, Groenewegen L. Specification of coordinated behaviour by SOCCA. In: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France). LNCS. Berlin/Heidelberg: Springer; 1994:128-151. doi:http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat: /record/8264
DOI: http://dx.doi.org/10.1007/3-540-57739-4_19

Engels G, Löhr P. Visual Specification of Complex Database Actions. In: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany). Berlin/Heidelberg: Springer; 1994:303-314.
LibreCat: /record/8265

Löhr-Richter P, Engels G. Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen. GI-Datenbank Rundbrief. 1994;13:33-35.
LibreCat: /record/7407

Ebert J, Engels G. Design Representation. In: Encyclopedia of Software Engineering. John Wiley &; Sons, Inc.; 1994:382-394.
LibreCat: /record/7512

Engels G, Groenewegen L. SOCCA: Specifications of Coordinated and Cooperative Activities. In: Software Process Modelling and Technology. Taunton: Research Studies Press; 1994:71-102.
LibreCat: /record/7513

Dietzfelbinger M, Karlin A, Mehlhorn K, Meyer auf der Heide F, Rohnert H, Tarjan RE. Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing. 1994:738-761. doi:10.1137/s0097539791194094
LibreCat: /record/16728
DOI: 10.1137/s0097539791194094

Domik G. Visualization education. Comput Graph. 1994;18(3):277-280. doi:10.1016/0097-8493(94)90026-4
LibreCat: /record/16817
DOI: 10.1016/0097-8493(94)90026-4

Domik G, Gutkauf B. User Modeling for Adaptive Visualization Systems. In: Daniel Bergeron R, E. Kaufman A, eds. Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994. IEEE Computer Society; 1994:217-223. doi:10.1109/VISUAL.1994.346316
LibreCat: /record/16819
DOI: 10.1109/VISUAL.1994.346316

Hüllermeier E. Approximate solution of a linear programming problem using a modified perceptron-algorithm. In: Zimmermann HJ, ed. In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1994:195-199.
LibreCat: /record/15296

Platzner M, Steger C, Weiss R. Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In: Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press; 1994.
LibreCat: /record/13468

Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.
LibreCat: /record/39557

Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: Proceedings of the 17th Annual Computer Science Conference. ; 1994:331-342.
LibreCat: /record/39560

Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED). ; 1994.
LibreCat: /record/39565

Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.
LibreCat: /record/39577

Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: Proceedings of EURO-DAC’94/EURO-VHDL’94. ; 1994.
LibreCat: /record/39575

Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.
LibreCat: /record/39554

Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 2nd International Conference on Concurrent Engineering &; Electronic Design Automation (CEED). ; 1994.
LibreCat: /record/39566

Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.
LibreCat: /record/39569

Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: Proceedings of the 1994 ASME Computers in Engineering Conference. ; 1994:145-154.
LibreCat: /record/39572

Flögel A, Kleine Büning H, Lettmann T. On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications. 1993:327-340. doi:10.1051/ita/1993270403271
LibreCat: /record/19814
DOI: 10.1051/ita/1993270403271

Blömer J. 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; 1993.
LibreCat: /record/3045