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.

6683 Publications


1981 | Report | LibreCat-ID: 8184
Engels, Gregor, et al. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
 

1981 | Report | LibreCat-ID: 8185
Pletat, Udo, et al. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), Hanser, 1982, pp. 47–62.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.” Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), vol. 82, 1982, pp. 254–70.
LibreCat
 

1983 | Journal Article | LibreCat-ID: 7412
Engels, Gregor, et al. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica, vol. 9, no. 3, 1983, pp. 235–54, doi:http://dx.doi.org/10.1007/BF00265557.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
Engels, Gregor, et al. “Software Specification Using Graph Grammars.” Computing, vol. 31, no. 4, 1983, pp. 317–46, doi:http://dx.doi.org/10.1007/BF02251236.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
Nagl, Manfred, et al. “Software Specification by Graph Grammars.” Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), vol. 153, Springer, 1983, pp. 267–87, doi:dx.doi.org/10.1007/BFb0000113.
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 7813
Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment.” Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany), vol. 186, Springer, 1985, pp. 179–93.
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7814
Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable Programming Support Environment.” Proceedings of the International Computing Symposium, Amsterdam (The Netherlands), 1985.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 8256
Engels, Gregor, and Andrea Sandbrink. “Experiences with a Hybrid-Interpreter Based on Incremental Compilation Techniques.” Proceedings of the Workshop on Compiler Compilers and Incremental Compilation Techniques, Bautzen, vol. 12, Berlin(Ost): Akademie der Wissenschaften der DDR, 1986, pp. 172–84.
LibreCat
 

1986 | Dissertation | LibreCat-ID: 7588
Engels, Gregor. Graphen Als Zentrale Datenstrukturen in Einer Software-Entwicklungsumgebung. 1986.
LibreCat
 

1986 | Book | LibreCat-ID: 2092
Krimphove, Dieter. Belgium in a Nutshell Investitionsmöglichkeiten Ausländischer Unternehmen in Belgien. 1986.
LibreCat
 

1986 | Conference Paper | LibreCat-ID: 7815
Engels, Gregor, et al. “On the Structure of an Incremental and Integrated Software Development Environment.” Proceedings of the 19th Hawaii International Conference on System Sciences, Hawaii, USA, vol. 2a, 1986, pp. 585–97.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7816
Engels, Gregor, and Andy Schürr. “A Hybrid Interpreter in a Software Development Environment.” Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), vol. 289, Springer, 1987, pp. 80–88.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 7817
Engels, Gregor, et al. “On the Structure of Structure-Oriented Editors for Different Applications.” Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, vol. 22, no. 1, ACM SIGPLAN Notices, 1987, pp. 190–98.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
Engels, Gregor, et al. “Graph Grammar Engineering: A Software Specification Method.” Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), vol. 291, Springer, 1987, pp. 186–201, doi:dx.doi.org/10.1007/3-540-18771-5.
LibreCat | DOI
 

1988 | Report | LibreCat-ID: 8186
Ebert, Jürgen, and Gregor Engels. Ein Konzept Zur Beschreibung von Software-Architekturen. EWH Koblenz, 1988.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 7818
Engels, Gregor, et al. “A Highly Integrated Tool Set for Program Development Support.” Proceedings of the Conference on ACM SIGSMALL/PC Symposium on ACTES (SIGSMALL 1988), Cannes (France), ACM Press, 1988, pp. 1–10, doi:http://dx.doi.org/10.1145/62453.62454.
LibreCat | DOI
 

1988 | Conference Paper | LibreCat-ID: 7820
Engels, Gregor, et al. “Auf Dem Weg Zu Einer Integrierten Datenbank-Entwurfsumgebung.” Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen,” edited by Gregor Engels et al., G. Snelting, 1988, pp. 38–51.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 8258
Engels, Gregor, et al. “Die Benutzerschnittstelle Einer Integrierten Modula-2 Programmentwicklungsumgebung.” Proceedings of GI-Workshop Sprachspezifische Programmierumgebungen, Darmstadt, Germany, 1988.
LibreCat
 

1988 | Conference Paper | LibreCat-ID: 7819
Engels, Gregor, et al. “Konzeption Einer Integrierten Datenbank-Entwurfsumgebung.” Proceedings of DBTA/SI Data Dictionaries Und Entwicklungswerkzeuge Für Datenbank-Anwendungen, Zürich, Switzerland, Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken, 1988, pp. 151–57.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7823
Engels, Gregor, et al. “CADDY: Computer-Aided Design of Non-Standard Databases.” Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany, Pitman Publishing, 1989.
LibreCat
 

1989 | Report | LibreCat-ID: 8187
Engels, Gregor. Benutzerschnittstelle Und Architektur Der Integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung). TU Braunschweig, 1989.
LibreCat
 

1989 | Book | LibreCat-ID: 3532
Gries, Thomas. Chaos in the Market of Foreign Exchange, in: Rieder, Gessner, Peyer, Immhoff, Radermacher (Eds). 1989.
LibreCat
 

1989 | Book | LibreCat-ID: 7511
Engels, Gregor, and Wilhelm Schäfer. Programmentwicklungsumgebungen: Konzepte Und Realisierung. Teubner, 1989.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7821
Ebert, Jürgen, and Gregor Engels. “Konzepte Einer Software-Architektur-Beschreibungssprache.” Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany), vol. 212, Springer, 1989, pp. 238–50.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 7822
Engels, Gregor. “CADDY-O: Syntaxgestütztes, Graphisches Entwerfen Konzeptioneller Datenbankschemata.” Tagungsband GI-Fachtagung “Interaktive Schnittstellen Für Informationssysteme”, TU Clausthal, Notizen Zu Interaktive Systeme, vol. 18, 1989, pp. 1–16.
LibreCat
 

1990 | Dissertation | LibreCat-ID: 2621
Betz, Stefan. Investitionstheoretische Bestimmung der Abschreibungen für eine entscheidungsorientierte Kostenrechnung. 1990.
LibreCat
 

1990 | Book Chapter | LibreCat-ID: 3050
Alt, Helmut, et al. “Approximation of Convex Polygons.” Automata, Languages and Programming, Springer-Verlag, 1990, pp. 703–16, doi:10.1007/bfb0032068.
LibreCat | DOI
 

1990 | Conference Paper | LibreCat-ID: 7824
Hohenstein, Uwe, and Gregor Engels. “Formal Semantics of an Entity-Relationship Query Language.” Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, ER Institute, 1990, pp. 177–88.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 8081
Krauter, Stefan, and Rolf Hanitsch. “The Influence of the Capsulation on the Efficiency of PV-Modules.” Proceedings of the 1st World Renewable Energy Congress, Reading (UK), 23.–28. September 1990, Band 1, S. 141–144., 1990, doi:10.1016/B978-0-08-037539-7.50062-4.
LibreCat | DOI
 

1990 | Journal Article | LibreCat-ID: 3531
Gries, Thomas. “Wechselkurstheorie Und Internationale Monetäre Transmissionen .” Jahrbuch Für Sozialwissenschaften, vol. 41, no. 1, 1990, pp. 3–41.
LibreCat
 

1990 | Conference Paper | LibreCat-ID: 8259
Engels, Gregor. “Elementary Actions on an Extended Entity-Relationship Database.” Proceedings of the Workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany), vol. 532, Springer, 1990, pp. 344–62, doi:http://dx.doi.org/10.1007/BFb0017372.
LibreCat | DOI
 

1991 | Conference Paper | LibreCat-ID: 3048
Alt, Helmut, et al. “Approximate Matching of Polygonal Shapes (Extended Abstract).” Proceedings of the Seventh Annual Symposium on Computational Geometry  - SCG ’91, ACM Press, 1991, doi:10.1145/109648.109669.
LibreCat | DOI
 

1991 | Conference Paper | LibreCat-ID: 3049
Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 1991, doi:10.1109/sfcs.1991.185434.
LibreCat | DOI
 

1991 | Conference Paper | LibreCat-ID: 8082
Krauter, Stefan, et al. “Simulation-Program for Selecting Efficiency Improving Strategies of PV-Module-Encapsulations under Operating Conditions.” Proceedings of “Renewable Energy Sources '91”, Prag (CFSR), 1.–4. Juli 1991, Band 3, S. 48–53., 1991.
LibreCat
 

1991 | Report | LibreCat-ID: 8188
Löhr-Richter, Perdita, and Gregor Engels. Incremental Design of Conceptual Database Schemata with CADDY. Leiden University, 1991.
LibreCat
 

1991 | Book Chapter | LibreCat-ID: 8894
Stelter, Peter, and Walter Sextro. “Bifurcations in Dynamic Systems with Dry Friction.” Bifurcation and Chaos: Analysis, Algorithms, Applications, edited by R. Seydel et al., vol. 97, Birkhäuser Basel, 1991, pp. 343–47, doi:10.1007/978-3-0348-7004-7_44.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 3047
Blömer, Johannes. “How to Denest Ramanujan’s Nested Radicals.” Proceedings., 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992, doi:10.1109/sfcs.1992.267807.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 1717
Krimphove, Dieter. “Die Auswirkungen Des Betriebsüberganges Nach § 613 a BGB Auf Die Rechte Der Arbeitnehmer.” Die Verschmelzung von Genossenschaften - Insbesondere von Kreditgenossenschaften, edited by Dietrich Ohlmeyer and Rüdiger Philipowski, 5th ed., DG-Verlag, 1992, pp. 163–68.
LibreCat
 

1992 | Dissertation | LibreCat-ID: 3043
Blömer, Johannes. Simplifying Expressions Involving Radicals. PhD thesis, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1992.
LibreCat | Files available
 

1992 | Book | LibreCat-ID: 1600
Krimphove, Dieter. Europäische Fusionskontrolle  . Carl Heymanns Verlag KG, 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 1650
Krimphove, Dieter. “Die Bedeutung Des Produkthaftungsrechtes Für Die Landwirtschaft .” Recht Der Landwirtschaft, no. Juni-Heft, 1992, p. 143 ff.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8086
Krauter, Stefan, and Rolf Hanitsch. “Reflexionsverringerung an PV-Modulen Durch Partiell Strukturierte Deckgläser.” Tagungsband Des Achten Internationalen Sonnenforums, Berlin (Deutschland), 30. Juni – 3. Juli 1992, S. 736–741, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2457
Diekmann, Ralf, and Jens Simon. “Leistungssteigerung Paralleler Systeme Durch Virtuelle Topologien.” Abstraktband Des 4. Bundesweiten Transputer-Anwender-Treffens (TAT 92), 1992.
LibreCat
 

1992 | Book | LibreCat-ID: 1601
Krimphove, Dieter. Anlageberatung Das System Der Zivilrechtlichen Haftung von Kreditinstituten. Peter Lang, 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 1651
Krimphove, Dieter. “Die Eingetragene Genossenschaft Als Gesellschafts- Und Unternehmensform.” Recht Der Landwirtschaft, no. Oktober-Heft, 1992, p. 255 ff.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 7825
Koopman, Pieter, et al. “Functional Description of Parallel Processes.” Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands, 1992, pp. 156–67.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8087
Krauter, Stefan, et al. Measuring the Heat–Transfer Coefficient of PV-Modules. 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8260
Engels, Gregor, and Perdita Löhr-Richter. “CADDY: A Highly Integrated Environment to Support Conceptual Database Design.” Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada), IEEE Computer Society, 1992, pp. 19–22.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 10201
Steffen, Eckhard. “Complexity Results for the Default- and Autoepistemic Logic.” Computer Science Logic , edited by E. Börger, vol. 626, Springer Berlin Heidelberg, 1992, pp. 339–52.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2458
Diekmann, Ralf, et al. “A General Purpose Distributed Implementation of Simulated Annealing.” Proc. 13th IMACS World Congress on Computation and Applied Mathematics, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2460
Diekmann, Ralf, et al. “Implementierung von Simulated Annealing Auf Transputer-Systemen.” Parallele Datenverarbeitung Mit Dem Transputer, Springer, 1992, pp. 361–68, doi:10.1007/978-3-642-77447-8_48.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 1652
Krimphove, Dieter. “Arbeitsrechtliche Aspekte Der Verschmelzung von Genossenschaften .” Sächsisches Genossenschaftsblatt , no. 11, 1992, p. 50 ff.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7408
Hohenstein, Uwe, and Gregor Engels. “SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language.” Information Systems, vol. 17, no. 3, 1992, pp. 209–42, doi:http://dx.doi.org/10.1016/0306-4379(92)90014-E.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7410
Engels, Gregor, et al. “Conceptual Modelling of Database Applications Using an Extended ER Model.” Data & Knowledge Engineering, vol. 9, no. 2, 1992, pp. 157–204, doi:http://dx.doi.org/10.1016/0169-023X(92)90008-Y.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 8083
Krauter, Stefan, and Rolf Hanitsch. “Improvement of PV-Performance by Partly Structured Surfaces.” Proceedings of the 6th Photovoltaic Science and Engineering Conference, New Delhi (Indien), 10.–14. Februar 1992, Vol 1, S. 1110., 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8088
Krauter, Stefan, and Rolf Hanitsch. “Performance of a Partly Structured Surface at a PV-Module.” Proceedings of the 11th European Photovoltaic Solar Energy Conference and Exhibition, Montreux (Schweiz), 12.–16. Oktober 1992, S. 1351–1354, 1992.
LibreCat
 

1992 | Report | LibreCat-ID: 8189
Engels, Gregor. Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University, 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour in the Software Development Process.” Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway, vol. 635, Springer, 1992, pp. 58–60, doi:http://dx.doi.org/10.1007/BFb0017495.
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 2459
Diekmann, Ralf, et al. “A General Purpose Distributed Implementation of Simulated Annealing.” Proc. IEEE Symp. on Parallel and Distributed Processing (SPDP), IEEE, 1992, pp. 94–101, doi:10.1109/SPDP.1992.242758.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 3046
Alt, Helmut, and Johannes Blömer. “Resemblance and Symmetries of Geometric Patterns.” Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, 1992, pp. 1–24, doi:10.1007/3-540-55488-2_19.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 1653
Krimphove, Dieter. “Der Begriff Des ‘Europäischen Marktes’ Im Lichte Der Rechtssprechung Des Europäischen Gerichtshofes Und Der Entscheidungspraxis  Der Kommission Der Europäischen Gemeinschaft.” Europäisches Wirtschafts- & Steuerrrecht, no. 12, 1992, p. 357 ff.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 7409
Engels, Gregor, et al. “Building Integrated Software Development Environments, Part I: Tool Specification.” ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 1, no. 2, 1992, pp. 135–67.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8084
Krauter, Stefan. “Hinweise Zur Modellbildung Und Simulation Des Strahlungseinfalls in PV-Module.” Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland), 1992.
LibreCat
 

1993 | Report | LibreCat-ID: 2455
Diekmann, Ralf, et al. Problem Independent Distributed Simulated Annealing and Its Applications. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 8895
Sextro, Walter, and B. Schmalhorst. “Static Behaviour of Drill Strings in Curved Boreholes.” Zeitschrift Für Angewandte Mathematik Und Mechanik (ZAMM), vol. 73, 1993, pp. 255–57.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 2456
Diekmann, Ralf, and Jens Simon. “Problem Independent Distributed Simulated Annealing and Its Applications.” Applied Simulated Annealing, vol. 396, Springer, 1993, pp. 17–44, doi:10.1007/978-3-642-46787-5_2.
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1655
Krimphove, Dieter. “Anmerkungen Zum Manteltarifvertrag Der Banken - Eine Kommentierung Des Manteltarifvertrages Des Bankgewerbes 1993.” Bankkalender 1994, no. 19. Lieferung, DG-Verlag, 1993, p. 157 ff.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1656
Krimphove, Dieter. “Erzeugergemeinschaften: Wettbewerbsrechtliche  Möglichkeiten Zur Unternehmenskooperation in Der Landwirtschaft.” Recht Der Landwirtschaft, no. Januar-Heft, 1993, p. 4 ff.
LibreCat
 

1993 | Report | LibreCat-ID: 8190
Andries, Marc, and Gregor Engels. A Hybrid Query Language for the Extended Entity Relationship Model. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 2453
Simon, Jens. Benutzung Virtueller Topologien Unter PARIX. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 3045
Blömer, Johannes. On Kummer Theory and the Number of Roots of Unity in Radical Extensions of Q. Technical Report, Freie Universität Berlin, Fachbereich Mathematik und Informatik, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 3069
Gries, Thomas, and B. Wigger. “The Dynamics of Upgrading or How to Catch-Up.” Economia Internationale, vol. 46, no. 4, 1993, pp. 3–13.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1657
Krimphove, Dieter. “Neuer Europäischer Schutz von Marken- Und Herkunftszeichen in Der Landwirtschaft.” Agrarrecht, no. Heft 1, 1993, p. 7 ff.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
Engels, Gregor, and A. A. Verrijn-Stuart. “Integrationsaspekte Bei Verteilter Software-Entwicklung.” Fortschritt-Berichte VDI, no. 251, VDI Verlag, 1993, pp. 45–53.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8090
Krauter, Stefan, and Rolf Hanitsch. “Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power.” Proceedings of the ISES Solar World Congress 1993, Budapest (Ungarn), 23.–27. August 1993, Band 3, S. 249–254, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8191
Ehrig, Hartmut, and Gregor Engels. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 2454
Röttger, Markus, et al. Virtual Topology Library for PARIX. Paderborn Center for Parallel Computing, 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1658
Krimphove, Dieter. “Europäisches Arbeitsrecht.” Europäische Zeitschrift Für Wirtschaftsrecht (EuZW), no. Mai, 1993, p. 244 ff.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8089
Krauter, Stefan, and Rolf Hanitsch. “Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules.” Proceedings of the Cairo International Conference of Renewable Energy Sources, Kairo (Ägypten), 30. Dezember 1992 – 2. Januar 1993, 1993.
LibreCat
 

1993 | Book | LibreCat-ID: 8091
Krauter, Stefan. Betriebsmodell Der Optischen, Thermischen Und Elektrischen Parameter von PV-Modulen. Verlag Köster, 1993.
LibreCat
 

1993 | Report | LibreCat-ID: 8192
Engels, Gregor, and Grzegorz Rozenberg. Abstracts COMPUGRAPH II Workshop. Vakgroep Informatica, Rijksuniversiteit Leiden, 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8262
Engels, Gregor, and Luuk Groenewegen. “Modular, Visual Specifications of Software Processes.” Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany), IEEE Computer Society, 1993, pp. 66–68.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1659
Krimphove, Dieter. “Das Zweite Finanzmarktförderungsgesetz - Ein Beitrag Zur ‘Europäisierung’ Des Wertpapierrechts .” Juristenzeitung (JZ), no. Heft 1, 1994, p. 244 ff.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
Krimphove, Dieter. “Europejskie Prawo Pracy.” Monitor Prawniczy, no. 2, 1994, p. 42 ff.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
Engels, Gregor, and Luuk Groenewegen. “SOCCA: Specifications of Coordinated and Cooperative Activities.” Software Process Modelling and Technology, Research Studies Press, 1994, pp. 71–102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), vol. 858, Springer, 1994, pp. 142–57.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, vol. B-19, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:10.1007/978-3-540-48654-1_20.
LibreCat | DOI
 

1994 | Book | LibreCat-ID: 3333
Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Krauter, Stefan, et al. “Optical Modelling, Simulation and Improvement of PV Module Encapsulation.” Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
Ebert, Jürgen, and Gregor Engels. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries, Marc, and Gregor Engels. “Syntax and Semantics of Hybrid Database Languages.” Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), vol. 776, Springer, 1994, pp. 19–36, doi:http://dx.doi.org/10.1007/3-540-57787-4_2.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, Heike. “Parametric Action Refinement.” 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, edited by Ernst{-}R{\"{u}}diger Olderog, 1994, pp. 247--266.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1662
Krimphove, Dieter. “Die Mitwirkungsrechte Des Betriebsrates in Der Betriebsverfassung.” Arbeit Und Recht , no. Heft 4, 1994, p. 215 ff.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, Hans-Dietrich, et al., editors. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol. 95, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development: Will the New Approach Solve Old Problems?” Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), vol. 3, Elsevier, 1994, pp. 434–41.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
Strauss, Philipp, et al. “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation.” Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1194–1197., 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8264
Engels, Gregor, and Luuk Groenewegen. “Specification of Coordinated Behaviour by SOCCA.” Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, 1994, pp. 128–51, doi:http://dx.doi.org/10.1007/3-540-57739-4_19.
LibreCat | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: MLA

Export / Embed