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
1995 | Conference Paper | LibreCat-ID: 15272
Domik-Kienegger, Gitta, and GS Owen. “Education for Visualization-Activities of the ACM-SIGGRAPH Education Committee.” Proceedings of the Third Eurographics Workshop on Graphics and Visualization, 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 16236
Hüllermeier, Eyke. “Konjunkturzyklen Aufgrund von Investitionsinterdependenzen: Simulation Und Empirische Überprüfung.” Moderne Makroökonomie-Eine Kritische Bestandsaufnahme, edited by J. Flemmig, Metropolis, 1995, pp. 413–54.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13469
Platzner, Marco, et al. “A Distributed Computer Architecture for Qualitative Simulation Based on a Multi-DSP and FPGAs.” Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing , IEEE CS Press, 1995, pp. 311–18.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13470
Brenner, Eugen, et al. “High-Performance Simulators Based on Multi-TMS320C40.” Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13471
Friedl, Gerald, et al. “A Special-Purpose Coprocessor for Qualitative Simulation.” Proceedings of the EURO-PAR’95 International Conference on Parallel Processing, Springer International Publishing, 1995, pp. 695–98.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13472
Platzner, Marco, et al. “Parallel Qualitative Simulation.” Proceedings of the EUROSIM Congress, Elsevier, 1995, pp. 231–36.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13473
Platzner, Marco, and Bernhard Rinner. “Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture.” Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, ISCA, 1995, pp. 494–501.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13474
Platzner, Marco, and Bernhard Rinner. “High-Performance Qualitative Simulation on a Multi-DSP Architecture.” Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 13484
Hranitzky, Robert, and Marco Platzner. “Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System.” Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
1995 | Book Chapter | LibreCat-ID: 34448
Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:10.1007/978-1-4615-2237-9_5.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, Georg, et al. “Conformance Tests of Very Large STEP Files.” Proceedings of the 4th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., et al. Pen-Based Interfaces for Engineering Environments. 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” Proceedings of Symposium on Visual Languages, 1995, doi:10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller, Wolfgang, et al. Validation of EXPRESS Models. 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller, Wolfgang, et al. “Guide to EXPRESS-P.” Proceedings of the 4th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, 1995, doi:10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., et al. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” Proceedings of the 5th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller, Wolfgang, et al. The Process Modeling Language EXPRESS-P. 1995.
LibreCat
1994 | Dissertation | LibreCat-ID: 19624
Wanka, Rolf. Paralleles Sortieren Auf Mehrdimensionalen Gittern. 1994.
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 3263
Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:10.1007/978-3-540-48654-1_20.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, Heike. “Parametric Action Refinement.” 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, edited by Ernst{-}R{\"{u}}diger Olderog, 1994, pp. 247--266.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, Hans-Dietrich, et al., editors. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol. 95, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, Janice, et al., editors. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol. 1073, Springer, 1994, doi:http://dx.doi.org/10.1007/3-540-61228-9.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
Thoben, Wilfried, et al. “Berücksichtigung von Datenschutzaspekten in Einem Bevölkerungsbezogenen Krebsregister.” Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, 1994, pp. 88–90.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), vol. 858, Springer, 1994, pp. 142–57.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development: Will the New Approach Solve Old Problems?” Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), vol. 3, Elsevier, 1994, pp. 434–41.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, vol. B-19, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
1994 | Report | LibreCat-ID: 8193
Ebert, Jürgen, and Gregor Engels. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 8263
Andries, Marc, and Gregor Engels. “Syntax and Semantics of Hybrid Database Languages.” Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), vol. 776, Springer, 1994, pp. 19–36, doi:http://dx.doi.org/10.1007/3-540-57787-4_2.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8264
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour by SOCCA.” Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, 1994, pp. 128–51, doi:http://dx.doi.org/10.1007/3-540-57739-4_19.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8265
Engels, Gregor, and Perdita Löhr. “Visual Specification of Complex Database Actions.” Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), Springer, 1994, pp. 303–14.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter, Perdita, and Gregor Engels. “Visuelles Spezifizieren von Komplexen Aktionen Auf Datenbankstrukturen.” GI-Datenbank Rundbrief, vol. 13, 1994, pp. 33–35.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
Ebert, Jürgen, and Gregor Engels. “Design Representation.” Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–94.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
Engels, Gregor, and Luuk Groenewegen. “SOCCA: Specifications of Coordinated and Cooperative Activities.” Software Process Modelling and Technology, Research Studies Press, 1994, pp. 71–102.
LibreCat
1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger, Martin, et al. “Dynamic Perfect Hashing: Upper and Lower Bounds.” SIAM Journal on Computing, 1994, pp. 738–61, doi:10.1137/s0097539791194094.
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 16817
Domik, Gitta. “Visualization Education.” Comput. Graph., vol. 18, no. 3, 1994, pp. 277–80, doi:10.1016/0097-8493(94)90026-4.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 16819
Domik, Gitta, and Bernd Gutkauf. “User Modeling for Adaptive Visualization Systems.” Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, edited by R. Daniel Bergeron and Arie E. Kaufman, IEEE Computer Society, 1994, pp. 217–23, doi:10.1109/VISUAL.1994.346316.
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 1994, pp. 195–99.
LibreCat
1994 | Conference Paper | LibreCat-ID: 13468
Platzner, Marco, et al. “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications.” Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., and Wolfgang Müller. EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–42.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, et al. Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” Proceedings of EURO-DAC’94/EURO-VHDL’94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, et al. Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. Computational Model of a Logical Visual Programming Language. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–54.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., et al. “On the Restricted Equivalence for Subclasses of Propositional Logic.” RAIRO - Theoretical Informatics and Applications, 1993, pp. 327–40, doi:10.1051/ita/1993270403271.
LibreCat
| DOI
1993 | Report | LibreCat-ID: 3045
Blömer, Johannes. 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