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.
5719 Publications
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
1993 | Book (Editor) | LibreCat-ID: 17477
Meyer auf der Heide, Friedhelm, et al., editors. Parallel Architectures and Their Efficient Use. Springer, 1993, doi:10.1007/3-540-56731-3.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 17479
Kastens, Uwe, et al. “OCCAM-Light: A Language Combining Shared Memory and Message Passing (A First Report).” Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
Engels, Gregor, and A. A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” Fortschritt-Berichte VDI, no. 251, VDI Verlag, 1993, pp. 45–53.
LibreCat
1993 | Report | LibreCat-ID: 8190
Andries, Marc, and Gregor Engels. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Report | LibreCat-ID: 8191
Ehrig, Hartmut, and Gregor Engels. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Report | LibreCat-ID: 8192
Engels, Gregor, and Grzegorz Rozenberg. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
Engels, Gregor, and Luuk Groenewegen. “Modular, Visual Specifications of Software Processes.” Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, 1993, pp. 66–68.
LibreCat
1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger, M., and Friedhelm Meyer auf der Heide. “An Optimal Parallel Dictionary.” Information and Computation, 1993, pp. 196–217, doi:10.1006/inco.1993.1007.
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide, Friedhelm, et al. “Strongly Adaptive Token Distribution.” Automata, Languages and Programming, 1993, doi:10.1007/3-540-56939-1_89.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger, Martin, and Friedhelm Meyer auf der Heide. “Simple, Efficient Shared Memory Simulations.” Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’93, 1993, doi:10.1145/165231.165246.
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16732
Lürwer-Brüggemeier, Katharina, and Friedhelm Meyer auf der Heide. “Capabilities and Complexity of Computations with Integer Division.” Lecture Notes in Computer Science, 1993, doi:10.1007/3-540-56503-5_46.
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16828
Domik, Gitta. “Education in Scientific Visualization.” 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, edited by Stephen D. Franklin et al., vol. {A-48}, North-Holland, 1993, pp. 25–32.
LibreCat