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.

5711 Publications


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
 

1993 | Conference Paper | LibreCat-ID: 16906
@inproceedings{Domik_1993, place={Florida, USA}, series={World Conference on Educational Multimedia and Hypermedia}, title={Scientific Visualization}, booktitle={Proceedings of ED Media ’93}, author={Domik, Gitta}, editor={Maurer, H.Editor}, year={1993}, collection={World Conference on Educational Multimedia and Hypermedia} }
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15045
@article{Domik_1993, title={An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report}, volume={27}, journal={COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-}, publisher={ACM ASSOCIATION FOR COMPUTING MACHINERY}, author={Domik, Gitta}, year={1993}, pages={6–6} }
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15273
@article{Domik_1993, title={Guidelines for a curriculum in scientific visualization}, volume={17}, DOI={10.1016/0097-8493(93)90103-G}, number={2}, journal={Computers & Graphics}, publisher={Elsevier}, author={Domik, Gitta}, year={1993}, pages={185–191} }
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 15275
@inproceedings{Domik_Joslyn_Segura_1993, title={Macroscopic and Microscopic Aspects of Glyphs}, booktitle={Proceedings of the Vienna Conference on Human Computer Interaction}, author={Domik, Gitta and Joslyn, C and Segura, T}, year={1993} }
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13466
@article{Platzner_Steger_1993, title={Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40)}, journal={Mikroelektronik}, author={Platzner, Marco and Steger, Christian}, year={1993} }
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 13467
@inproceedings{Platzner_Steger_Weiss_1993, title={Performance Measurements on a Multi-DSP Architecture with TMS320C40}, booktitle={Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT)}, publisher={DSP Associates}, author={Platzner, Marco and Steger, Christian and Weiss, Reinhold }, year={1993} }
LibreCat
 

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
 

1989 | Conference Paper | LibreCat-ID: 7822
@inproceedings{Engels_1989, title={CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata}, volume={18}, booktitle={Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme}, author={Engels, Gregor}, year={1989}, pages={1–16} }
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7823
@inproceedings{Engels_Hohenstein_Hülsmann_Löhr-Richter_Ehrich_1989, place={Berlin}, title={CADDY: Computer-Aided Design of Non-Standard Databases}, booktitle={Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany}, publisher={Pitman Publishing}, author={Engels, Gregor and Hohenstein, Uwe and Hülsmann, Klaus and Löhr-Richter, Perdita and Ehrich, Hans-Dietrich}, year={1989} }
LibreCat
 

1989 | Report | LibreCat-ID: 8187
@book{Engels_1989, title={Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung)}, publisher={TU Braunschweig}, author={Engels, Gregor}, year={1989} }
LibreCat
 

1989 | Book | LibreCat-ID: 7511
@book{Engels_Schäfer_1989, place={Stuttgart}, title={Programmentwicklungsumgebungen: Konzepte und Realisierung}, publisher={Teubner}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1989} }
LibreCat
 

1989 | Journal Article | LibreCat-ID: 16743
@article{Just_Meyer auf der Heide_Wigderson_1989, title={On computations with integer division}, DOI={10.1051/ita/1989230101011}, journal={RAIRO - Theoretical Informatics and Applications}, author={Just, Bettina and Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1989}, pages={101–111} }
LibreCat | DOI
 

1989 | Conference Paper | LibreCat-ID: 16744
@inproceedings{Dietzfelbinger_Meyer auf der Heide_1989, title={An optimal parallel dictionary}, DOI={10.1145/72935.72974}, booktitle={Proceedings of the first annual ACM symposium on Parallel algorithms and architectures  - SPAA ’89}, author={Dietzfelbinger, M. and Meyer auf der Heide, Friedhelm}, year={1989} }
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16745
@inbook{Meyer auf der Heide_1989, place={Berlin/Heidelberg}, title={On genuinely time bounded computations}, DOI={10.1007/bfb0028969}, booktitle={STACS 89}, author={Meyer auf der Heide, Friedhelm}, year={1989} }
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16746
@inbook{Meyer auf der Heide_Wanka_1989, place={Berlin/Heidelberg}, title={Time-optimal simulations of networks by universal parallel computers}, DOI={10.1007/bfb0028978}, booktitle={STACS 89}, author={Meyer auf der Heide, Friedhelm and Wanka, Rolf}, year={1989} }
LibreCat | DOI
 

1989 | Book Chapter | LibreCat-ID: 16789
@inbook{Meyer auf der Heide_1989, place={Berlin, Heidelberg}, title={Computing minimum spanning forests on 1- and 2-dimensional processor arrays}, DOI={10.1007/bfb0028983}, booktitle={STACS 89}, author={Meyer auf der Heide, Friedhelm}, year={1989} }
LibreCat | DOI
 

1989 | Conference Paper | LibreCat-ID: 39585
@inproceedings{Rammig_Müller_1989, place={Washington DC}, title={ODICE: Object-Oriented Hardware Description in CAD Environment}, booktitle={Proc. of the Ninth IFIP Symposium on CHDLs and their Application}, author={Rammig, Franz Josef and Müller, Wolfgang}, year={1989} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 19820
@inproceedings{Kleine Büning_Lettmann_1988, place={Berlin, Heidelberg}, title={Perspektiven für die Logikprogrammierung}, booktitle={Workshop Wissensrepräsentation in Expertensystemen}, author={Kleine Büning, Hans and Lettmann, Theodor}, editor={Rahmstorf, G.Editor}, year={1988}, pages={56–78} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 7818
@inproceedings{Engels_Janning_Schäfer_1988, place={New York, NY, USA}, title={A Highly Integrated Tool Set for Program Development Support}, DOI={http://dx.doi.org/10.1145/62453.62454}, booktitle={Proceedings of the conference on ACM SIGSMALL/PC symposium on ACTES (SIGSMALL 1988), Cannes (France)}, publisher={ACM Press}, author={Engels, Gregor and Janning, Thorsten and Schäfer, Wilhelm}, year={1988}, pages={1–10} }
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7819
@inproceedings{Engels_Hohenstein_Neugebauer_Saake_Ehrich_1988, title={Konzeption einer integrierten Datenbank-Entwurfsumgebung}, booktitle={Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland}, publisher={Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken}, author={Engels, Gregor and Hohenstein, Uwe and Neugebauer, Leonore and Saake, Gunter and Ehrich, Hans-Dietrich}, year={1988}, pages={151–157} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 7820
@inproceedings{Engels_Hohenstein_Saake_Ehrich_1988, place={Darmstadt (Germany)}, title={Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung}, booktitle={Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen”}, publisher={G. Snelting}, author={Engels, Gregor and Hohenstein, Uwe and Saake, Gunter and Ehrich, Hans-Dietrich}, editor={Engels, Gregor and Hohenstein, Uwe and Saake, Gunter and Ehrich, Hans-D.Editors}, year={1988}, pages={38–51} }
LibreCat
 

1988 | Report | LibreCat-ID: 8186
@book{Ebert_Engels_1988, title={Ein Konzept zur Beschreibung von Software-Architekturen}, publisher={EWH Koblenz}, author={Ebert, Jürgen and Engels, Gregor}, year={1988} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 8258
@inproceedings{Engels_Janning_Schäfer_1988, title={Die Benutzerschnittstelle einer integrierten Modula-2 Programmentwicklungsumgebung}, booktitle={Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany}, author={Engels, Gregor and Janning, Thorsten and Schäfer, Wilhelm}, year={1988} }
LibreCat
 

1988 | Journal Article | LibreCat-ID: 16763
@article{Babai_Just_Meyer auf der Heide_1988, title={On the limits of computations with the floor function}, DOI={10.1016/0890-5401(88)90031-4}, journal={Information and Computation}, author={Babai, László and Just, Bettina and Meyer auf der Heide, Friedhelm}, year={1988}, pages={99–107} }
LibreCat | DOI
 

1988 | Journal Article | LibreCat-ID: 16764
@article{Meyer auf der Heide_1988, title={Fast algorithms for N-dimensional restrictions of hard problems}, DOI={10.1145/44483.44490}, journal={Journal of the ACM (JACM)}, author={Meyer auf der Heide, Friedhelm}, year={1988}, pages={740–747} }
LibreCat | DOI
 

1988 | Journal Article | LibreCat-ID: 16765
@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1988, title={A tradeoff between search and update time for the implicit dictionary problem}, DOI={10.1016/0304-3975(88)90018-7}, journal={Theoretical Computer Science}, author={Borodin, Allan and Fich, Faith E. and Meyer auf der Heide, Friedhelm and Upfal, Eli and Wigderson, Avi}, year={1988}, pages={57–68} }
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 16766
@inproceedings{Dietzfelbinger_Karlin_Mehlhorn_Meyer auf der Heide_Rohnert_Tarjan_1988, title={Dynamic perfect hashing: upper and lower bounds}, DOI={10.1109/sfcs.1988.21968}, booktitle={[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science}, author={Dietzfelbinger, M. and Karlin, A. and Mehlhorn, K. and Meyer auf der Heide, Friedhelm and Rohnert, H. and Tarjan, R.E.}, year={1988} }
LibreCat | DOI
 

1988 | Book Chapter | LibreCat-ID: 16767
@inbook{Just_Mathematik_Meyer auf der Heide_Informatik_Wigderson_1988, place={Berlin, Heidelberg}, title={On computations with integer division}, DOI={10.1007/bfb0035829}, booktitle={STACS 88}, author={Just, Bettina and Mathematik, Fb and Meyer auf der Heide, Friedhelm and Informatik, Fb and Wigderson, Avi}, year={1988} }
LibreCat | DOI
 

1988 | Book Chapter | LibreCat-ID: 16768
@inbook{Dietzfelbinger_Mehlhorn_Meyer auf der Heide_Rohnert_1988, place={Berlin, Heidelberg}, title={Upper and lower bounds for the dictionary problem}, DOI={10.1007/3-540-19487-8_24}, booktitle={SWAT 88}, author={Dietzfelbinger, M. and Mehlhorn, K. and Meyer auf der Heide, Friedhelm and Rohnert, H.}, year={1988} }
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 16915
@inproceedings{Domik_1988, place={Graz, Austria}, title={Enhancement Techniques in Digital Image Processing}, booktitle={Proceedings of the Computer Science Symposium}, author={Domik, Gitta}, year={1988}, pages={211–217} }
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 15320
@inproceedings{Brugel_Domik_Voels_1988, title={A multi-spectral analysis system using large databases.}, volume={28}, booktitle={European Southern Observatory Conference and Workshop Proceedings}, author={Brugel, Edward W and Domik, Gitta and Voels, Stephen A}, year={1988}, pages={3–8} }
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15321
@article{Domik_Leberl_Cimino_1988, title={Dependence of image grey values on topography in SIR-B images}, volume={9}, number={5}, journal={International Journal of Remote Sensing}, publisher={Taylor \& Francis}, author={Domik, Gitta and Leberl, Franz and Cimino, J}, year={1988}, pages={1013–1022} }
LibreCat
 

1988 | Journal Article | LibreCat-ID: 15322
@article{Leberl_Mayr_Domik_Kobrick_1988, title={SIR-B stereo-radargrammetry of Australia}, volume={9}, number={5}, journal={International journal of remote sensing}, publisher={Taylor \& Francis}, author={Leberl, Franz and Mayr, W and Domik, Gitta and Kobrick, M}, year={1988}, pages={997–1011} }
LibreCat
 

1987 | Book Chapter | LibreCat-ID: 19821
@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={10.1007/3-540-18170-9_167}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }
LibreCat | DOI
 

1987 | Conference Paper | LibreCat-ID: 21791
@inproceedings{Domik_Leberl_1987, title={Image based SAR product simulation for analysis}, booktitle={ASPRS-ACSM}, author={Domik, Gitta and Leberl, Franz}, year={1987} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7816
@inproceedings{Engels_Schürr_1987, place={Berlin/Heidelberg}, title={A Hybrid Interpreter in a Software Development Environment}, volume={289}, booktitle={Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)}, publisher={Springer}, author={Engels, Gregor and Schürr, Andy}, year={1987}, pages={80–88} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7817
@inproceedings{Engels_Nagl_Schäfer_1987, title={On the Structure of Structure-Oriented Editors for Different Applications}, volume={22}, number={1}, booktitle={Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}, publisher={ACM SIGPLAN Notices}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}, year={1987}, pages={190–198} }
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
@inproceedings{Engels_Lewerentz_Schäfer_1987, place={Berlin/Heidelberg}, title={Graph Grammar Engineering: A Software Specification Method}, volume={291}, DOI={dx.doi.org/10.1007/3-540-18771-5}, booktitle={Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}, publisher={Springer}, author={Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}, year={1987}, pages={186–201} }
LibreCat | DOI
 

1987 | Journal Article | LibreCat-ID: 16772
@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1987, title={A Time-Space Tradeoff for Element Distinctness}, DOI={10.1137/0216007}, journal={SIAM Journal on Computing}, author={Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}, year={1987}, pages={97–99} }
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed