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.
5792 Publications
1994 | Conference Paper | LibreCat-ID: 8264
Engels, G., & Groenewegen, L. (1994). Specification of coordinated behaviour by SOCCA. In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France) (pp. 128–151). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-57739-4_19
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8265
Engels, G., & Löhr, P. (1994). Visual Specification of Complex Database Actions. In Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany) (pp. 303–314). Berlin/Heidelberg: Springer.
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter, P., & Engels, G. (1994). Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen. GI-Datenbank Rundbrief, 13, 33–35.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
Ebert, J., & Engels, G. (1994). Design Representation. In Encyclopedia of Software Engineering (pp. 382–394). John Wiley & Sons, Inc.
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
Engels, G., & Groenewegen, L. (1994). SOCCA: Specifications of Coordinated and Cooperative Activities. In Software Process Modelling and Technology (pp. 71–102). Taunton: Research Studies Press.
LibreCat
1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger, M., Karlin, A., Mehlhorn, K., Meyer auf der Heide, F., Rohnert, H., & Tarjan, R. E. (1994). Dynamic Perfect Hashing: Upper and Lower Bounds. SIAM Journal on Computing, 738–761. https://doi.org/10.1137/s0097539791194094
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 16817
Domik, G. (1994). Visualization education. Comput. Graph., 18(3), 277–280. https://doi.org/10.1016/0097-8493(94)90026-4
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 16819
Domik, G., & Gutkauf, B. (1994). User Modeling for Adaptive Visualization Systems. In R. Daniel Bergeron & A. E. Kaufman (Eds.), Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994 (pp. 217–223). IEEE Computer Society. https://doi.org/10.1109/VISUAL.1994.346316
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier, E. (1994). Approximate solution of a linear programming problem using a modified perceptron-algorithm. In H. J. Zimmermann (Ed.), in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany (pp. 195–199).
LibreCat
1994 | Conference Paper | LibreCat-ID: 13468
Platzner, M., Steger, C., & Weiss, R. (1994). Experimental Evaluation of Multi-DSP Architectures in High Performance Applications. In Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., & Müller, W. (1994). EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, J., & Müller, W. (1994). FADE: A Layout Facility for Graph-Based Diagrams. Proceedings of the 17th Annual Computer Science Conference, 331–342.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., & Müller, W. (1994). Implementing Simultaneous Design: A Case Study. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, W., Lehrenfeld, G., & Wiechers, N. (1994). Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, E., Glässer, U., & Müller, W. (1994). The Semantics of Behavioral VHDL’93 Descriptions. Proceedings of EURO-DAC’94/EURO-VHDL’94.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, G., Müller, W., & Wiechers, N. (1994). Parallel Validation of STEP Files. Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94).
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, G., & Müller, W. (1994). Computational Model of a Logical Visual Programming Language.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, W., & Müller, W. (1994). EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. Proceedings of the 1994 ASME Computers in Engineering Conference, 145–154.
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
Flögel, A., Kleine Büning, H., & Lettmann, T. (1993). On the restricted equivalence for subclasses of propositional logic. RAIRO - Theoretical Informatics and Applications, 327–340. https://doi.org/10.1051/ita/1993270403271
LibreCat
| DOI