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.
5693 Publications
1993 | Conference Paper | LibreCat-ID: 39578
@inproceedings{Müller_Kleinjohann_1993, place={San Diego, USA}, title={Tight Integration and Synchronization of Distributed Graphical Applications}, booktitle={Proceedings of the Seventh Annual Database Symposium}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1993} }
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
@inproceedings{Müller_1993, place={Brisbane, Australia}, title={Approaching the Denotational Semantics of Behavioral VHDL Descriptions}, booktitle={Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications}, author={Müller, Wolfgang}, year={1993} }
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
@inproceedings{Müller_Lehrenfeld_Wiechers_1993, place={Berlin}, title={Parallel Validation of STEP Files}, booktitle={Proceedings of the 3nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1993} }
LibreCat
1992 | Dissertation | LibreCat-ID: 3043
@book{Blömer_1992, title={Simplifying Expressions Involving Radicals}, publisher={PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik}, author={Blömer, Johannes}, year={1992} }
LibreCat
| Files available
1992 | Book Chapter | LibreCat-ID: 3046
@inbook{Alt_Blömer_1992, place={Berlin, Heidelberg}, title={Resemblance and symmetries of geometric patterns}, DOI={10.1007/3-540-55488-2_19}, booktitle={Data structures and efficient algorithms}, publisher={Springer Berlin Heidelberg}, author={Alt, Helmut and Blömer, Johannes}, year={1992}, pages={1–24} }
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 3047
@inproceedings{Blömer_1992, title={How to denest Ramanujan’s nested radicals}, DOI={10.1109/sfcs.1992.267807}, booktitle={Proceedings., 33rd Annual Symposium on Foundations of Computer Science}, publisher={IEEE}, author={Blömer, Johannes}, year={1992} }
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 18936
@article{Kutylowski_Wanka_1992, title={Periodic Sorting on Two-Dimensional Meshes}, DOI={10.1142/s0129626492000349}, journal={Parallel Processing Letters 2}, author={Kutylowski, Miroslaw and Wanka, Rolf}, year={1992}, pages={213–220} }
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 21787
@article{Domik_Mickus-Miceli_1992, title={Design and development of data visualization systems in a workstation environment}, volume={15}, DOI={10.1016/0745-7138(92)90051-6}, number={2}, journal={Journal of Microcomputer Applications}, author={Domik, Gitta and Mickus-Miceli, Kristina D.}, year={1992}, pages={81–88} }
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 21789
@inproceedings{Domik_1992, title={Designing User-Centered Interfaces for Astrophysical Software}, booktitle={Proceedings on User Interfaces for Astrophysical Software}, author={Domik, Gitta}, year={1992} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 7825
@inproceedings{Koopman_Groenewegen_Engels_1992, title={Functional Description of Parallel Processes}, booktitle={Proceedings of the conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands}, author={Koopman, Pieter and Groenewegen, Luuk and Engels, Gregor}, year={1992}, pages={156–167} }
LibreCat
1992 | Report | LibreCat-ID: 8189
@book{Engels_1992, title={Visual Specifications of Conceptual Database Schemata (Abstract)}, publisher={Leiden University}, author={Engels, Gregor}, year={1992} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 8260
@inproceedings{Engels_Löhr-Richter_1992, place={Washington, DC, USA}, title={CADDY: A Highly Integrated Environment to Support Conceptual Database Design}, booktitle={Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Löhr-Richter, Perdita}, year={1992}, pages={19–22} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 8261
@inproceedings{Engels_Groenewegen_1992, place={Berlin/Heidelberg}, series={LNCS}, title={Specification of Coordinated Behaviour in the Software Development Process}, volume={635}, DOI={http://dx.doi.org/10.1007/BFb0017495}, booktitle={Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={1992}, pages={58–60}, collection={LNCS} }
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7408
@article{Hohenstein_Engels_1992, title={SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language}, volume={17}, DOI={http://dx.doi.org/10.1016/0306-4379(92)90014-E}, number={3}, journal={Information Systems}, author={Hohenstein, Uwe and Engels, Gregor}, year={1992}, pages={209–242} }
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7409
@article{Engels_Lewerentz_Nagl_Schäfer_Schürr_1992, title={Building Integrated Software Development Environments, Part I: Tool Specification}, volume={1}, number={2}, journal={ACM Transactions on Software Engineering and Methodology (TOSEM)}, author={Engels, Gregor and Lewerentz, Claus and Nagl, Manfred and Schäfer, Wilhelm and Schürr, Andy}, year={1992}, pages={135–167} }
LibreCat
1992 | Journal Article | LibreCat-ID: 7410
@article{Engels_Gogolla_Hohenstein_Hülsmann_Löhr-Richter_Saake_Ehrich_1992, title={Conceptual Modelling of Database Applications Using an Extended ER Model}, volume={9}, DOI={http://dx.doi.org/10.1016/0169-023X(92)90008-Y}, number={2}, journal={Data & Knowledge Engineering}, author={Engels, Gregor and Gogolla, Martin and Hohenstein, Uwe and Hülsmann, Klaus and Löhr-Richter, Perdita and Saake, Gunter and Ehrich, Hans-Dietrich}, year={1992}, pages={157–204} }
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16733
@inbook{Dietzfelbinger_Meyer auf der Heide_1992, place={Berlin, Heidelberg}, title={High performance universal hashing, with applications to shared memory simulations}, DOI={10.1007/3-540-55488-2_31}, booktitle={Data structures and efficient algorithms}, author={Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm}, year={1992} }
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16734
@inbook{Meyer auf der Heide_1992, place={Berlin, Heidelberg}, title={Hashing strategies for simulating shared memory on distributed memory machines}, DOI={10.1007/3-540-56731-3_3}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1992} }
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16735
@inbook{Meyer auf der Heide_Pham_1992, place={Berlin, Heidelberg}, title={On the performance of networks with multiple busses}, DOI={10.1007/3-540-55210-3_176}, booktitle={STACS 92}, author={Meyer auf der Heide, Friedhelm and Pham, Hieu Thien}, year={1992} }
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 16736
@inproceedings{Karp_Luby_Meyer auf der Heide_1992, title={Efficient PRAM simulation on a distributed memory machine}, DOI={10.1145/129712.129743}, booktitle={Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC ’92}, author={Karp, Richard M. and Luby, Michael and Meyer auf der Heide, Friedhelm}, year={1992} }
LibreCat
| DOI
1992 | Book Chapter | LibreCat-ID: 16737
@inbook{Dietzfelbinger_Meyer auf der Heide_1992, place={Wiesbaden}, title={Dynamic Hashing in Real Time}, DOI={10.1007/978-3-322-95233-2_7}, booktitle={TEUBNER-TEXTE zur Informatik}, author={Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm}, year={1992} }
LibreCat
| DOI
1992 | Conference Paper | LibreCat-ID: 14997
@inproceedings{Domik_Mickus-Miceli_1992, series={Astronomical Society of the Pacific Conference Series}, title={Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package}, volume={25}, booktitle={Astronomical Data Analysis Software and Systems I}, author={Domik, Gitta O and Mickus-Miceli, Kristina D}, editor={Worrall, D.M. and Biemesderfer, Ch.Editors}, year={1992}, pages={95}, collection={Astronomical Society of the Pacific Conference Series} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 15042
@inproceedings{Domik_1992, title={Visualization of Multi-dimensional Arrays in Astronomy}, volume={43}, booktitle={European Southern Observatory Conference and Workshop Proceedings}, author={Domik, Gitta}, year={1992}, pages={249} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 15252
@inproceedings{Mickus-Miceli_Domik_1992, title={An Enriched Framework for Multidisciplinary Data Analysis}, booktitle={Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October}, author={Mickus-Miceli, KD and Domik, G}, year={1992} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 13465
@inproceedings{Ginthör_Platzner_Weiss_1992, title={Experimental Results to Interprocessor Communication in Distributed Transputer-Systems}, booktitle={Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications}, author={Ginthör, Robert and Platzner, Marco and Weiss, Reinhold}, year={1992}, pages={45–54} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
@inproceedings{Müller_Kleinjohann_1992, place={Dallas TX}, title={The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments}, booktitle={Proceedings of the 2nd EXPRESS User’s Group Conference}, author={Müller, Wolfgang and Kleinjohann, Bernd}, year={1992} }
LibreCat
1991 | Report | LibreCat-ID: 19822
@book{Dahn_Lettmann_Schönfeld_1991, place={´Heidelberg}, series={IWBS Report}, title={ILFA Interface Concept}, volume={193}, publisher={Wissenschaftliche Zentrum der IBM Deutschland }, author={Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang}, year={1991}, collection={IWBS Report} }
LibreCat
1991 | Conference Paper | LibreCat-ID: 3048
@inproceedings{Alt_Behrends_Blömer_1991, title={Approximate matching of polygonal shapes (extended abstract)}, DOI={10.1145/109648.109669}, booktitle={Proceedings of the seventh annual symposium on Computational geometry - SCG ’91}, publisher={ACM Press}, author={Alt, Helmut and Behrends, Bernd and Blömer, Johannes}, year={1991} }
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 3049
@inproceedings{Blömer_1991, title={Computing sums of radicals in polynomial time}, DOI={10.1109/sfcs.1991.185434}, booktitle={Proceedings 32nd Annual Symposium of Foundations of Computer Science}, publisher={IEEE Comput. Soc. Press}, author={Blömer, Johannes}, year={1991} }
LibreCat
| DOI
1991 | Conference Paper | LibreCat-ID: 21790
@inproceedings{Domik_1991, place={Berlin, Heidelberg}, title={The role of visualization in understanding data}, booktitle={New Results and New Trends in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Domik, Gitta}, editor={Maurer, HermannEditor}, year={1991}, pages={91–107} }
LibreCat
1991 | Report | LibreCat-ID: 8188
@book{Löhr-Richter_Engels_1991, place={Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands}, title={Incremental Design of Conceptual Database Schemata with CADDY}, publisher={Leiden University}, author={Löhr-Richter, Perdita and Engels, Gregor}, year={1991} }
LibreCat
1991 | Conference Paper | LibreCat-ID: 16912
@inproceedings{Domik_Mickus_1991, title={Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge}, booktitle={Proceedings of the 15th Annual Conference of the “Gesellschaft für Klassifikation e.V.” University of Salzburg}, author={Domik, Gitta and Mickus, KD }, editor={Schader, M.Editor}, year={1991}, pages={267–276} }
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
@inproceedings{Müller_1991, place={Grassau Germany}, title={Contract-Oriented System Design and Specification}, booktitle={Proceedings of the Workshop on Practical Computer Based Systems Engineering - its Scope and Methods}, author={Müller, Wolfgang}, year={1991} }
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
@inproceedings{Lehrenfeld_Müller_1991, place={Houston TX, USA}, title={Validation of EXPRESS Models Using Prolog}, booktitle={Proceedings of the 1st EXPRESS User’s Group Conference}, author={Lehrenfeld, Georg and Müller, Wolfgang}, year={1991} }
LibreCat
1990 | Book Chapter | LibreCat-ID: 3050
@inbook{Alt_Blömer_Wagener_1990, place={Berlin/Heidelberg}, title={Approximation of convex polygons}, DOI={10.1007/bfb0032068}, booktitle={Automata, Languages and Programming}, publisher={Springer-Verlag}, author={Alt, Helmut and Blömer, Johannes and Wagener, Hubert}, year={1990}, pages={703–716} }
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 7824
@inproceedings{Hohenstein_Engels_1990, title={Formal Semantics of an Entity-Relationship Query Language}, booktitle={Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland}, publisher={ER Institute}, author={Hohenstein, Uwe and Engels, Gregor}, year={1990}, pages={177–188} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 8259
@inproceedings{Engels_1990, place={Berlin/Heidelberg}, title={Elementary Actions on an Extended Entity-Relationship Database}, volume={532}, DOI={http://dx.doi.org/10.1007/BFb0017372}, booktitle={Proceedings of the workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany)}, publisher={Springer}, author={Engels, Gregor}, year={1990}, pages={344–362} }
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16738
@inbook{Dietzfelbinger_Meyer auf der Heide_1990, place={Berlin/Heidelberg}, title={A new universal class of hash functions and dynamic hashing in real time}, DOI={10.1007/bfb0032018}, booktitle={Automata, Languages and Programming}, author={Dietzfelbinger, Martin and Meyer auf der Heide, Friedhelm}, year={1990} }
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16739
@inbook{Meyer auf der Heide_1990, place={Berlin/Heidelberg}, title={Dynamic hashing strategies}, DOI={10.1007/bfb0029597}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1990} }
LibreCat
| DOI
1990 | Book Chapter | LibreCat-ID: 16740
@inbook{Karpinski_Meyer auf der Heide_1990, place={Berlin/Heidelberg}, title={On the complexity of genuinely polynomial computation}, DOI={10.1007/bfb0029630}, booktitle={Lecture Notes in Computer Science}, author={Karpinski, Marek and Meyer auf der Heide, Friedhelm}, year={1990} }
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16741
@inproceedings{Dietzfelbinger_Meyer auf der Heide_1990, title={How to distribute a dictionary in a complete network}, DOI={10.1145/100216.100229}, booktitle={Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC ’90}, author={Dietzfelbinger, M. and Meyer auf der Heide, Friedhelm}, year={1990} }
LibreCat
| DOI
1990 | Conference Paper | LibreCat-ID: 16742
@inproceedings{Gil_Meyer auf der Heide_Wigderson_1990, title={Not all keys can be hashed in constant time}, DOI={10.1145/100216.100247}, booktitle={Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC ’90}, author={Gil, J. and Meyer auf der Heide, Friedhelm and Wigderson, A.}, year={1990} }
LibreCat
| DOI
1990 | Journal Article | LibreCat-ID: 16824
@article{Meyer auf der Heide_1990, title={Das Heinz Nixdorf-Institut der Universität-GH Paderborn}, volume={13}, number={4}, journal={Informatik Spektrum}, author={Meyer auf der Heide, Friedhelm}, year={1990}, pages={231–232} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 16913
@inproceedings{Domik_Brugel_Stencel_1990, series={BAAS}, title={IRAS On-Line Catalogs at CASA}, volume={Vol. 22}, number={No. 2}, booktitle={Proceedings of the 176th meeting of the American Astronomical Society}, author={Domik, Gitta and Brugel, E.W. and Stencel, R.E.}, year={1990}, collection={BAAS} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 15393
@inproceedings{Domik_Brugel_Stencel_Vasudevan_Pang_1990, title={Applications of IRAS Preprocessing at the Workstation}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Domik, Gitta and Brugel, EW and Stencel, RE and Vasudevan, S and Pang, J}, year={1990}, pages={828} }
LibreCat
1990 | Journal Article | LibreCat-ID: 15394
@article{Domik_Brugel_Stencel_Pang_Vasudevan_1990, title={Workstation-based preprocessing of IRAS sky-flux images}, volume={102}, number={656}, journal={Publications of the Astronomical Society of the Pacific}, publisher={IOP Publishing}, author={Domik, Gitta and Brugel, Edward W and Stencel, Robert E and Pang, Jinzhong and Vasudevan, Subramanian}, year={1990}, pages={1167} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 15395
@inproceedings{Mickus_Brugel_Domik_Ayres_1990, title={A case study: Multi-sensor data analysis of hh objects via star: A scientific toolkit for astrophysical research}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Mickus, KD and Brugel, EW and Domik, Gitta and Ayres, TR}, year={1990}, pages={1259} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 15051
@inproceedings{Mickus_Domik_Brugel_Ayres_1990, title={Star-a scientific toolkit for astrophysical research}, volume={22}, booktitle={Bulletin of the American Astronomical Society}, author={Mickus, KD and Domik, Gitta and Brugel, EW and Ayres, TR}, year={1990}, pages={828} }
LibreCat
1989 | Journal Article | LibreCat-ID: 19818
@article{Kleine Büning_Lettmann_Mayr_1989, title={Projections of vector addition system reachability sets are semilinear}, DOI={10.1016/0304-3975(89)90055-8}, journal={Theoretical Computer Science}, author={Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}, year={1989}, pages={343–350} }
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 7821
@inproceedings{Ebert_Engels_1989, place={Berlin/Heidelberg}, series={Informatik-Fachberichte}, title={Konzepte einer Software-Architektur-Beschreibungssprache}, volume={212}, booktitle={Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1989}, pages={238–250}, collection={Informatik-Fachberichte} }
LibreCat