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.
5950 Publications
1994 | Journal Article | LibreCat-ID: 7407
@article{Löhr-Richter_Engels_1994, title={Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen}, volume={13}, journal={GI-Datenbank Rundbrief}, author={Löhr-Richter, Perdita and Engels, Gregor}, year={1994}, pages={33–35} }
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
@inbook{Ebert_Engels_1994, title={Design Representation}, booktitle={Encyclopedia of Software Engineering}, publisher={John Wiley & Sons, Inc.}, author={Ebert, Jürgen and Engels, Gregor}, year={1994}, pages={382–394} }
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
@inbook{Engels_Groenewegen_1994, place={Taunton}, title={SOCCA: Specifications of Coordinated and Cooperative Activities}, booktitle={Software Process Modelling and Technology}, publisher={Research Studies Press}, author={Engels, Gregor and Groenewegen, Luuk}, year={1994}, pages={71–102} }
LibreCat
1994 | Journal Article | LibreCat-ID: 16728
@article{Dietzfelbinger_Karlin_Mehlhorn_Meyer auf der Heide_Rohnert_Tarjan_1994, title={Dynamic Perfect Hashing: Upper and Lower Bounds}, DOI={10.1137/s0097539791194094}, journal={SIAM Journal on Computing}, author={Dietzfelbinger, Martin and Karlin, Anna and Mehlhorn, Kurt and Meyer auf der Heide, Friedhelm and Rohnert, Hans and Tarjan, Robert E.}, year={1994}, pages={738–761} }
LibreCat
| DOI
1994 | Journal Article | LibreCat-ID: 16817
@article{Domik_1994, title={Visualization education}, volume={18}, DOI={10.1016/0097-8493(94)90026-4}, number={3}, journal={Comput. Graph.}, author={Domik, Gitta}, year={1994}, pages={277–280} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 16819
@inproceedings{Domik_Gutkauf_1994, title={User Modeling for Adaptive Visualization Systems}, DOI={10.1109/VISUAL.1994.346316}, booktitle={Proceedings IEEE Visualization ’94, Washington, DC, USA, October 17-21, 1994}, publisher={IEEE Computer Society}, author={Domik, Gitta and Gutkauf, Bernd}, editor={Daniel Bergeron, R. and E. Kaufman, ArieEditors}, year={1994}, pages={217–223} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 15296
@inproceedings{Hüllermeier_1994, title={Approximate solution of a linear programming problem using a modified perceptron-algorithm.}, booktitle={in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany}, author={Hüllermeier, Eyke}, editor={Zimmermann, H.J.Editor}, year={1994}, pages={195–199} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 13468
@inproceedings{Platzner_Steger_Weiss_1994, title={Experimental Evaluation of Multi-DSP Architectures in High Performance Applications}, booktitle={Proceedings of the 7th Mediterranean Electrotechnical Conference}, publisher={IEEE Press}, author={Platzner, Marco and Steger, Christian and Weiss, Reinhold}, year={1994} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
@article{Felser_Müller_1994, place={Paderborn, Germany}, series={CAD94}, title={EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung}, author={Felser, W. and Müller, Wolfgang}, year={1994}, collection={CAD94} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
@inproceedings{Eikerling_Müller_1994, place={Christchurch, New Zealand}, title={FADE: A Layout Facility for Graph-Based Diagrams}, booktitle={Proceedings of the 17th Annual Computer Science Conference}, author={Eikerling, Josef and Müller, Wolfgang}, year={1994}, pages={331–342} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
@inproceedings{Hyhuis_Müller_1994, place={PoDTe, UK}, title={Implementing Simultaneous Design: A Case Study}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}, author={Hyhuis, D. and Müller, Wolfgang}, year={1994} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
@article{Müller_Lehrenfeld_Wiechers_1994, place={Aachen}, series={TAT’94}, title={Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1994}, collection={TAT’94} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
@inproceedings{Börger_Glässer_Müller_1994, place={Grenoble, France}, title={The Semantics of Behavioral VHDL’93 Descriptions}, booktitle={Proceedings of EURO-DAC’94/EURO-VHDL’94}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, year={1994} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
@article{Lehrenfeld_Müller_Wiechers_1994, series={Tagungsband: CAD94}, title={Ein paralleles Framework fuer die Validierung von STEP-Produktdaten}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994}, collection={Tagungsband: CAD94} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
@inproceedings{Lehrenfeld_Müller_Wiechers_1994, place={Poole, UK}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94)}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1994} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
@article{Lehrenfeld_Müller_1994, place={Paderborn, Germany}, series={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6}, title={Computational Model of a Logical Visual Programming Language}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1994}, collection={Workshop Logik in der Informatik, Jahrestreffen der Fachgruppe 0.1.6} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
@inproceedings{Felser_Müller_1994, place={Minneapolis, MI}, title={EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring}, booktitle={Proceedings of the 1994 ASME Computers in Engineering Conference}, author={Felser, Winfried and Müller, Wolfgang}, year={1994}, pages={145–154} }
LibreCat
1993 | Journal Article | LibreCat-ID: 19814
@article{Flögel_Kleine Büning_Lettmann_1993, title={On the restricted equivalence for subclasses of propositional logic}, DOI={10.1051/ita/1993270403271}, journal={RAIRO - Theoretical Informatics and Applications}, author={Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}, year={1993}, pages={327–340} }
LibreCat
| DOI
1993 | Report | LibreCat-ID: 3045
@book{Blömer_1993, title={On Kummer theory and the number of roots of unity in radical extensions of Q}, publisher={Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik}, author={Blömer, Johannes}, year={1993} }
LibreCat
1993 | Book (Editor) | LibreCat-ID: 17477
@book{Meyer auf der Heide_Monien_Rosenberg_1993, place={Berlin, Heidelberg}, title={Parallel Architectures and Their Efficient Use}, DOI={10.1007/3-540-56731-3}, publisher={Springer}, year={1993} }
LibreCat
| DOI