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
@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
1993 | Conference Paper | LibreCat-ID: 17479
@inproceedings{Kastens_Meyer auf der Heide_Wachsmann_Wichmann_1993, title={OCCAM-light: A Language Combining Shared Memory and Message Passing (A First Report)}, booktitle={Proc. 3rd PASA Workshop, PARS Mitteilungen}, author={Kastens, Uwe and Meyer auf der Heide, Friedhelm and Wachsmann, Alf and Wichmann, Friedrich}, year={1993}, pages={50–55} }
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
@inproceedings{Engels_Verrijn-Stuart_1993, series={Reihe 10: Informatik/Kommunikationstechnik}, title={Integrationsaspekte bei verteilter Software-Entwicklung}, number={251}, booktitle={Fortschritt-Berichte VDI}, publisher={VDI Verlag}, author={Engels, Gregor and Verrijn-Stuart, A.A.}, year={1993}, pages={45–53}, collection={Reihe 10: Informatik/Kommunikationstechnik} }
LibreCat
1993 | Report | LibreCat-ID: 8190
@book{Andries_Engels_1993, title={A Hybrid Query Language for the Extended Entity Relationship Model}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Andries, Marc and Engels, Gregor}, year={1993} }
LibreCat
1993 | Report | LibreCat-ID: 8191
@book{Ehrig_Engels_1993, title={Towards a Module Concept for Graph Transformation Systems}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ehrig, Hartmut and Engels, Gregor}, year={1993} }
LibreCat
1993 | Report | LibreCat-ID: 8192
@book{Engels_Rozenberg_1993, title={Abstracts COMPUGRAPH II Workshop}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Rozenberg, Grzegorz}, year={1993} }
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
@inproceedings{Engels_Groenewegen_1993, place={Washington, DC, USA}, title={Modular, Visual Specifications of Software Processes}, booktitle={Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Groenewegen, Luuk}, year={1993}, pages={66–68} }
LibreCat
1993 | Journal Article | LibreCat-ID: 16729
@article{Dietzfelbinger_Meyer auf der Heide_1993, title={An Optimal Parallel Dictionary}, DOI={10.1006/inco.1993.1007}, journal={Information and Computation}, author={Dietzfelbinger, M. and Meyer auf der Heide, Friedhelm}, year={1993}, pages={196–217} }
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16730
@inbook{Meyer auf der Heide_Oesterdiekhoff_Wanka_1993, place={Berlin, Heidelberg}, title={Strongly adaptive token distribution}, DOI={10.1007/3-540-56939-1_89}, booktitle={Automata, Languages and Programming}, author={Meyer auf der Heide, Friedhelm and Oesterdiekhoff, Brigitte and Wanka, Rolf}, year={1993} }
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16731
@inproceedings{Dietzfelbinger_Meyer auf der Heide_1993, title={Simple, efficient shared memory simulations}, DOI={10.1145/165231.165246}, booktitle={Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures - SPAA ’93}, author={Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm}, year={1993} }
LibreCat
| DOI
1993 | Book Chapter | LibreCat-ID: 16732
@inbook{Lürwer-Brüggemeier_Meyer auf der Heide_1993, place={Berlin, Heidelberg}, title={Capabilities and complexity of computations with integer division}, DOI={10.1007/3-540-56503-5_46}, booktitle={Lecture Notes in Computer Science}, author={Lürwer-Brüggemeier, Katharina and Meyer auf der Heide, Friedhelm}, year={1993} }
LibreCat
| DOI
1993 | Conference Paper | LibreCat-ID: 16828
@inproceedings{Domik_1993, series={{IFIP} Transactions}, title={Education in Scientific Visualization}, volume={{A-48}}, booktitle={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}, publisher={North-Holland}, author={Domik, Gitta}, editor={D. Franklin, Stephen and R. Stubberud, Allen and P. Wiedeman, LyleEditors}, year={1993}, pages={25–32}, collection={{IFIP} Transactions} }
LibreCat