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.
5937 Publications
1995 | Conference Paper | LibreCat-ID: 39531
@inproceedings{Müller_Felser_Buijs_1995, place={Greenville, South Carolina}, title={Guide to EXPRESS-P}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Müller, Wolfgang and Felser, W. and Buijs, F.}, year={1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={10.1109/ASPDAC.1995.486383}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
@inproceedings{Zhao_Müller_Kaufmann_Kern_Buijs_1995, place={Grenoble}, title={An Editor for the Rapid Prototyping of EXPRESS-G Models}, booktitle={Proceedings of the 5th EXPRESS User’s Group}, author={Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}, year={1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
@article{Müller_Felser_Wiechers_1995, place={Paderborn, Germany}, series={ISO TC184/SC4/WG5, N230, Cadlab}, title={The Process Modeling Language EXPRESS-P}, author={Müller, Wolfgang and Felser, W. and Wiechers, N.}, year={1995}, collection={ISO TC184/SC4/WG5, N230, Cadlab} }
LibreCat
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