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.
5730 Publications
1994 | Journal Article | LibreCat-ID: 7407
Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen
P. Löhr-Richter, G. Engels, GI-Datenbank Rundbrief 13 (1994) 33–35.
LibreCat
P. Löhr-Richter, G. Engels, GI-Datenbank Rundbrief 13 (1994) 33–35.
1994 | Book Chapter | LibreCat-ID: 7512
Design Representation
J. Ebert, G. Engels, in: Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
J. Ebert, G. Engels, in: Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
1994 | Book Chapter | LibreCat-ID: 7513
SOCCA: Specifications of Coordinated and Cooperative Activities
G. Engels, L. Groenewegen, in: Software Process Modelling and Technology, Research Studies Press, Taunton, 1994, pp. 71–102.
LibreCat
G. Engels, L. Groenewegen, in: Software Process Modelling and Technology, Research Studies Press, Taunton, 1994, pp. 71–102.
1994 | Journal Article | LibreCat-ID: 16728
Dynamic Perfect Hashing: Upper and Lower Bounds
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, SIAM Journal on Computing (1994) 738–761.
LibreCat
| DOI
M. Dietzfelbinger, A. Karlin, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, R.E. Tarjan, SIAM Journal on Computing (1994) 738–761.
1994 | Journal Article | LibreCat-ID: 16817
Visualization education
G. Domik, Comput. Graph. 18 (1994) 277–280.
LibreCat
| DOI
G. Domik, Comput. Graph. 18 (1994) 277–280.
1994 | Conference Paper | LibreCat-ID: 16819
User Modeling for Adaptive Visualization Systems
G. Domik, B. Gutkauf, in: R. Daniel Bergeron, A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, IEEE Computer Society, 1994, pp. 217–223.
LibreCat
| DOI
G. Domik, B. Gutkauf, in: R. Daniel Bergeron, A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994, IEEE Computer Society, 1994, pp. 217–223.
1994 | Conference Paper | LibreCat-ID: 15296
Approximate solution of a linear programming problem using a modified perceptron-algorithm.
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.
LibreCat
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.
1994 | Conference Paper | LibreCat-ID: 13468
Experimental Evaluation of Multi-DSP Architectures in High Performance Applications
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
LibreCat
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
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.