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
1994 | Dissertation | LibreCat-ID: 19624
@book{Wanka_1994, place={Universität Paderborn}, title={Paralleles Sortieren auf mehrdimensionalen Gittern}, author={Wanka, Rolf}, year={1994} }
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 3263
@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer Science}, title={Weak Sequential Composition in Process Algebras}, DOI={10.1007/978-3-540-48654-1_20}, booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
@inproceedings{Wehrheim_1994, series={{IFIP} Transactions}, title={Parametric Action Refinement}, booktitle={Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994}, author={Wehrheim, Heike}, editor={Olderog, Ernst{-}R{\"{u}}digerEditor}, year={1994}, pages={247--266}, collection={{IFIP} Transactions} }
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7797
@book{Ehrich_Engels_Paredaens_Wegner_1994, series={Dagstuhl-Seminar-Report}, title={Fundamentals of Object-Oriented Languages, Systems, and Methods}, volume={95}, publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1994}, collection={Dagstuhl-Seminar-Report} }
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
@book{Cuny_Ehrig_Engels_Rozenberg_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers}, volume={1073}, DOI={http://dx.doi.org/10.1007/3-540-61228-9}, publisher={Springer}, year={1994}, collection={LNCS} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
@inproceedings{Thoben_Appelrath_Rettig_Sauer_1994, place={München}, title={Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister}, booktitle={Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany)}, publisher={MMV Medizin Verlag}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen and Rettig, Jens and Sauer, Stefan}, year={1994}, pages={88–90} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
@inproceedings{Ebert_Engels_1994, place={Berlin/Heidelberg}, title={Structural and Behavioural Views on OMT-Classes}, volume={858}, booktitle={Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1994}, pages={142–157} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
@inproceedings{Engels_Kappel_1994, title={Object-Oriented System Development: Will the New Approach Solve Old Problems?}, volume={3}, booktitle={Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)}, publisher={Elsevier}, author={Engels, Gregor and Kappel, Gerti}, year={1994}, pages={434–441} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
@inproceedings{Engels_Ehrig_1994, series={Technical Report }, title={Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective}, volume={B-19}, booktitle={Proceedings Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears, Departament de Ci}, author={Engels, Gregor and Ehrig, Hartmut}, year={1994}, collection={Technical Report } }
LibreCat
1994 | Report | LibreCat-ID: 8193
@book{Ebert_Engels_1994, title={Observable or Invocable Behaviour - You Have to Choose}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ebert, Jürgen and Engels, Gregor}, year={1994} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 8263
@inproceedings{Andries_Engels_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Syntax and Semantics of Hybrid Database Languages}, volume={776}, DOI={http://dx.doi.org/10.1007/3-540-57787-4_2}, booktitle={Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany)}, publisher={Springer}, author={Andries, Marc and Engels, Gregor}, year={1994}, pages={19–36}, collection={LNCS} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8264
@inproceedings{Engels_Groenewegen_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Specification of coordinated behaviour by SOCCA}, DOI={http://dx.doi.org/10.1007/3-540-57739-4_19}, booktitle={Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France)}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={1994}, pages={128–151}, collection={LNCS} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8265
@inproceedings{Engels_Löhr_1994, place={Berlin/Heidelberg}, title={Visual Specification of Complex Database Actions}, booktitle={Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany)}, publisher={Springer}, author={Engels, Gregor and Löhr, Perdita}, year={1994}, pages={303–314} }
LibreCat
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
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