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.
5712 Publications
1994 | Conference Paper | LibreCat-ID: 39557
EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung
W. Felser, W. Müller, (1994).
LibreCat
W. Felser, W. Müller, (1994).
1994 | Conference Paper | LibreCat-ID: 39560
FADE: A Layout Facility for Graph-Based Diagrams
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
LibreCat
J. Eikerling, W. Müller, in: Proceedings of the 17th Annual Computer Science Conference, Christchurch, New Zealand, 1994, pp. 331–342.
1994 | Conference Paper | LibreCat-ID: 39565
Implementing Simultaneous Design: A Case Study
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.
LibreCat
D. Hyhuis, W. Müller, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), PoDTe, UK, 1994.
1994 | Conference Paper | LibreCat-ID: 39577
Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
LibreCat
W. Müller, G. Lehrenfeld, N. Wiechers, (1994).
1994 | Conference Paper | LibreCat-ID: 39575
The Semantics of Behavioral VHDL'93 Descriptions
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
LibreCat
E. Börger, U. Glässer, W. Müller, in: Proceedings of EURO-DAC’94/EURO-VHDL’94, Grenoble, France, 1994.
1994 | Conference Paper | LibreCat-ID: 39554
Ein paralleles Framework fuer die Validierung von STEP-Produktdaten
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
LibreCat
G. Lehrenfeld, W. Müller, N. Wiechers, (1994).
1994 | Conference Paper | LibreCat-ID: 39566
Parallel Validation of STEP Files
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), Poole, UK, 1994.
LibreCat
G. Lehrenfeld, W. Müller, N. Wiechers, in: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), Poole, UK, 1994.
1994 | Conference Paper | LibreCat-ID: 39569
Computational Model of a Logical Visual Programming Language
G. Lehrenfeld, W. Müller, (1994).
LibreCat
G. Lehrenfeld, W. Müller, (1994).
1994 | Conference Paper | LibreCat-ID: 39572
EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring
W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.
LibreCat
W. Felser, W. Müller, in: Proceedings of the 1994 ASME Computers in Engineering Conference, Minneapolis, MI, 1994, pp. 145–154.
1993 | Journal Article | LibreCat-ID: 19814
On the restricted equivalence for subclasses of propositional logic
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
LibreCat
| DOI
A. Flögel, H. Kleine Büning, T. Lettmann, RAIRO - Theoretical Informatics and Applications (1993) 327–340.
1993 | Report | LibreCat-ID: 3045
On Kummer theory and the number of roots of unity in radical extensions of Q
J. Blömer, 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
J. Blömer, 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.
1993 | Book (Editor) | LibreCat-ID: 17477
Parallel Architectures and Their Efficient Use
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
LibreCat
| DOI
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
1993 | Conference Paper | LibreCat-ID: 17479
OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report)
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, F. Wichmann, in: Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
LibreCat
U. Kastens, F. Meyer auf der Heide, A. Wachsmann, F. Wichmann, in: Proc. 3rd PASA Workshop, PARS Mitteilungen, 1993, pp. 50–55.
1993 | Conference Paper | LibreCat-ID: 7826
Integrationsaspekte bei verteilter Software-Entwicklung
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
LibreCat
G. Engels, A.A. Verrijn-Stuart, in: Fortschritt-Berichte VDI, VDI Verlag, 1993, pp. 45–53.
1993 | Report | LibreCat-ID: 8190
A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
M. Andries, G. Engels, A Hybrid Query Language for the Extended Entity Relationship Model, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
1993 | Report | LibreCat-ID: 8191
Towards a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
H. Ehrig, G. Engels, Towards a Module Concept for Graph Transformation Systems, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
1993 | Report | LibreCat-ID: 8192
Abstracts COMPUGRAPH II Workshop
G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
G. Engels, G. Rozenberg, Abstracts COMPUGRAPH II Workshop, Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
1993 | Conference Paper | LibreCat-ID: 8262
Modular, Visual Specifications of Software Processes
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.
LibreCat
G. Engels, L. Groenewegen, in: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, Washington, DC, USA, 1993, pp. 66–68.
1993 | Journal Article | LibreCat-ID: 16729
An Optimal Parallel Dictionary
M. Dietzfelbinger, F. Meyer auf der Heide, Information and Computation (1993) 196–217.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, Information and Computation (1993) 196–217.
1993 | Book Chapter | LibreCat-ID: 16730
Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat
| DOI
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.