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.

9991 Publications


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

1992 | Conference Paper | LibreCat-ID: 8086
Krauter S, Hanitsch R. Reflexionsverringerung an PV-Modulen durch partiell strukturierte Deckgläser. In: Tagungsband Des Achten Internationalen Sonnenforums, Berlin (Deutschland), 30. Juni – 3. Juli 1992, S. 736–741. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 10201
Steffen E. Complexity results for the default- and autoepistemic logic. In: Börger E, ed. Computer Science Logic . Vol 626. Springer Berlin Heidelberg; 1992:339-352.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 11792
Haeb-Umbach R, Lynch R. Trellis codes for partial-response magnetooptical direct overwrite recording. IEEE Journal on Selected Areas in Communications. 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 11797
Haeb-Umbach R, Ney H. Linear Discriminant Analysis for Improved Large Vocabulary Continuous Speech Recognition. In: ICASSP, San Francisco. ; 1992.
LibreCat | Download (ext.)
 

1992 | Conference Paper | LibreCat-ID: 15042
Domik G. Visualization of Multi-dimensional Arrays in Astronomy. In: European Southern Observatory Conference and Workshop Proceedings. Vol 43. ; 1992:249.
LibreCat
 

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

1992 | Journal Article | LibreCat-ID: 1651
Krimphove D. Die eingetragene Genossenschaft als Gesellschafts- und Unternehmensform. Recht der Landwirtschaft. 1992;(Oktober-Heft):255 ff.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16735
Meyer auf der Heide F, Pham HT. On the performance of networks with multiple busses. In: STACS 92. Berlin, Heidelberg; 1992. doi:10.1007/3-540-55210-3_176
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 2457
Diekmann R, Simon J. Leistungssteigerung paralleler Systeme durch virtuelle Topologien. In: Abstraktband Des 4. Bundesweiten Transputer-Anwender-Treffens (TAT 92). ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 7825
Koopman P, Groenewegen L, Engels G. Functional Description of Parallel Processes. In: Proceedings of the Conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands. ; 1992:156-167.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8087
Krauter S, Hanitsch R, Diwisch R, Diwisch N. Measuring the Heat–Transfer Coefficient of PV-Modules. In: ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8260
Engels G, Löhr-Richter P. CADDY: A Highly Integrated Environment to Support Conceptual Database Design. In: Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada). Washington, DC, USA: IEEE Computer Society; 1992:19-22.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 17012
Dellnitz M. Computational bifurcation of periodic solutions in systems with symmetry. IMA Journal of Numerical Analysis. 1992;12(3):429-455. doi:10.1093/imanum/12.3.429
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 13016
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial Linear Feedback Shift Registers. In: {IEEE International Test Conference (ITC’92)}. Baltimore, MD, USA: {IEEE}; 1992:120-129. doi:10.1109/test.1992.527812
LibreCat | DOI
 

1992 | Report | LibreCat-ID: 13023
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. Institut National Polytechnique de Grenoble, Grenoble, France; 1992.
LibreCat
 

1992 | Misc | LibreCat-ID: 13080
Hellebrand S, Tarnick S, Rajski J, Courtois B. Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs. Workshop on New Directions for Testing, Montreal, Canada; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 13465
Ginthör R, Platzner M, Weiss R. Experimental Results to Interprocessor Communication in Distributed Transputer-Systems. In: Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications. ; 1992:45-54.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 15252
Mickus-Miceli K, Domik G. An Enriched Framework for Multidisciplinary Data Analysis. In: Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October. ; 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 1652
Krimphove D. Arbeitsrechtliche Aspekte der Verschmelzung von Genossenschaften . Sächsisches Genossenschaftsblatt . 1992;(11):50 ff.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 16736
Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed memory machine. In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing  - STOC ’92. ; 1992. doi:10.1145/129712.129743
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 2458
Diekmann R, Lüling R, Simon J. A General Purpose Distributed Implementation of Simulated Annealing. In: Proc. 13th IMACS World Congress on Computation and Applied Mathematics. ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2460
Diekmann R, Lüling R, Monien B, Simon J. Implementierung von Simulated Annealing auf Transputer-Systemen. In: Parallele Datenverarbeitung Mit Dem Transputer. Informatik aktuell. Berlin / Heidelberg: Springer; 1992:361-368. doi:10.1007/978-3-642-77447-8_48
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7408
Hohenstein U, Engels G. SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language. Information Systems. 1992;17(3):209-242. doi:http://dx.doi.org/10.1016/0306-4379(92)90014-E
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7410
Engels G, Gogolla M, Hohenstein U, et al. Conceptual Modelling of Database Applications Using an Extended ER Model. Data & Knowledge Engineering. 1992;9(2):157-204. doi:http://dx.doi.org/10.1016/0169-023X(92)90008-Y
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 8083
Krauter S, Hanitsch R. Improvement of PV-Performance by Partly Structured Surfaces. In: 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 S, Hanitsch R. Performance of a Partly Structured Surface at a PV-Module. In: 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 G. Visual Specifications of Conceptual Database Schemata (Abstract). Leiden University; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8261
Engels G, Groenewegen L. Specification of Coordinated Behaviour in the Software Development Process. In: Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway. Vol 635. LNCS. Berlin/Heidelberg: Springer; 1992:58-60. doi:http://dx.doi.org/10.1007/BFb0017495
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 16907
Domik-Kienegger G. Design and Development of a Data Visualization System in a Workstation Environment. J Micorcomputer Applications. 1992;15:81-88.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16546
Dellnitz M, Golubitsky M, Melbourne I. Mechanisms of Symmetry Creation. In: Bifurcation and Symmetry. Basel; 1992. doi:10.1007/978-3-0348-7536-3_9
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 11782
Haeb-Umbach R. A modified trellis coding technique for partial response channels. IEEE Transactions on Communications. 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 13017
Wunderlich H-J, Hellebrand S. The Pseudoexhaustive Test of Sequential Circuits. {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)}. 1992;11(1):26-33. doi:10.1109/43.108616
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 1653
Krimphove D. 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. 1992;(12):357 ff.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16737
Dietzfelbinger M, Meyer auf der Heide F. Dynamic Hashing in Real Time. In: TEUBNER-TEXTE Zur Informatik. Wiesbaden; 1992. doi:10.1007/978-3-322-95233-2_7
LibreCat | DOI
 

1992 | Conference Paper | LibreCat-ID: 2459
Diekmann R, Lüling R, Simon J. A General Purpose Distributed Implementation of Simulated Annealing. In: Proc. IEEE Symp. on Parallel and Distributed Processing (SPDP). IEEE; 1992:94-101. doi:10.1109/SPDP.1992.242758
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 3046
Alt H, Blömer J. Resemblance and symmetries of geometric patterns. In: Data Structures and Efficient Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg; 1992:1-24. doi:10.1007/3-540-55488-2_19
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 7409
Engels G, Lewerentz C, Nagl M, Schäfer W, Schürr A. Building Integrated Software Development Environments, Part I: Tool Specification. ACM Transactions on Software Engineering and Methodology (TOSEM). 1992;1(2):135-167.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 8084
Krauter S. Hinweise zur Modellbildung und Simulation des Strahlungseinfalls in PV-Module. In: Solar Energy Simulation Workshop Der DGS, Oldenburg (Deutschland). ; 1992.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 16908
Domik-Kienegger G. Designing User-Centered Interfaces for Astrophysical Software on User Interfaces for Astrophysical Software. In: Proceedings on User Interfaces for Astrophysical Software. Greenbeld, MD; 1992.
LibreCat
 

1992 | Book Chapter | LibreCat-ID: 16547
Dellnitz M, Marsden JE, Melbourne I, Scheurle J. Generic Bifurcations of Pendula. In: Bifurcation and Symmetry. Basel; 1992. doi:10.1007/978-3-0348-7536-3_10
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 11788
Haeb-Umbach R, Geller D, Ney H. Improvements in Connected Digit Recognition Using Linear Discriminant Analysis and Mixture Densities. In: ICASSP, Minneapolis. ; 1993.
LibreCat | Download (ext.)
 

1993 | Conference Paper | LibreCat-ID: 11904
Steinbiss V, Ney H, Haeb-Umbach R, et al. The Philips Research System for Large-Vocabulary Continuous-Speech Recognition. In: EUROSPEECH, Berlin. ; 1993.
LibreCat | Download (ext.)
 

1993 | Misc | LibreCat-ID: 13082
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. ARCHIMEDES Open Workshop on “Synthesis - Architectural Testability Support”, Montpellier, France; 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 13467
Platzner M, Steger C, Weiss R. Performance Measurements on a Multi-DSP Architecture with TMS320C40. In: Proceedings of the 4th International Conference on Signal Processing Applications & Technology (ICSPAT). DSP Associates; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15273
Domik G. Guidelines for a curriculum in scientific visualization. Computers \& Graphics. 1993;17(2):185-191.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 15045
Domik G. An Agenda for Education in Scientific Visualization, Visualization’92 Workshop Report. COMPUTER GRAPHICS-NEW YORK-ASSOCIATION FOR COMPUTING MACHINERY-. 1993;27:6-6.
LibreCat
 

1993 | Report | LibreCat-ID: 2455
Diekmann R, Lüling R, Simon J. Problem Independent Distributed Simulated Annealing and Its Applications. Paderborn Center for Parallel Computing; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 8895
Sextro W, Schmalhorst B. Static Behaviour of Drill Strings in Curved Boreholes. Zeitschrift für angewandte Mathematik und Mechanik (ZAMM). 1993;73:255-257.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1655
Krimphove D. Anmerkungen zum Manteltarifvertrag der Banken - Eine Kommentierung des Manteltarifvertrages des Bankgewerbes 1993. Bankkalender 1994. 1993;(19. Lieferung):157 ff.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16828
Domik-Kienegger G. Education in Scientific Visualization. In: D. Franklin S, R. Stubberud A, P. Wiedeman L, eds. 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. Vol {A-48}. {IFIP} Transactions. North-Holland; 1993:25-32.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 2456
Diekmann R, Simon J. Problem Independent Distributed Simulated Annealing and its Applications. In: Applied Simulated Annealing. Vol 396. Lecture Notes in Economics and Mathematical Systems (LNE). Berlin / Heidelberg: Springer; 1993:17-44. doi:10.1007/978-3-642-46787-5_2
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16633
Melbourne I, Dellnitz M. Normal forms for linear Hamiltonian vector fields commuting with the action of a compact Lie group. Mathematical Proceedings of the Cambridge Philosophical Society. 1993:235-268. doi:10.1017/s0305004100071577
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16518
Barany E, Dellnitz M, Golubitsky M. Detecting the symmetry of attractors. Physica D: Nonlinear Phenomena. 1993:66-87. doi:10.1016/0167-2789(93)90198-a
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 13015
Venkataraman S, Rajski J, Hellebrand S, Tarnick S. An Efficient Bist Scheme Based On Reseeding Of Multiple Polynomial Linear Feedback Shift Registers. In: {ACM/IEEE International Conference on Computer Aided Design (ICCAD’93)}. {IEEE (Comput. Soc. Press)}; 1993. doi:10.1109/iccad.1993.580117
LibreCat | DOI
 

1993 | Conference Paper | LibreCat-ID: 15275
Domik G, Joslyn C, Segura T. Macroscopic and Microscopic Aspects of Glyphs. In: Proceedings of the Vienna Conference on Human Computer Interaction. ; 1993.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 16730
Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution. In: Automata, Languages and Programming. Berlin, Heidelberg; 1993. doi:10.1007/3-540-56939-1_89
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1656
Krimphove D. Erzeugergemeinschaften: Wettbewerbsrechtliche  Möglichkeiten zur Unternehmenskooperation in der Landwirtschaft. Recht der Landwirtschaft. 1993;(Januar-Heft):4 ff.
LibreCat
 

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

1993 | Conference Paper | LibreCat-ID: 16906
Domik-Kienegger G. Scientific Visualization. In: Maurer H, ed. Proceedings of ED Media ’93. ; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 16634
Melbourne I, Dellnitz M, Golubitsky M. The structure of symmetric attractors. Archive for Rational Mechanics and Analysis. 1993:75-98. doi:10.1007/bf00386369
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 13857
Schmidt WG, Srivastava GP. Chemisorption of aluminium on GaAs(110). Journal of Physics: Condensed Matter. 1993;5(49):9025-9036. doi:10.1088/0953-8984/5/49/005
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 1657
Krimphove D. Neuer europäischer Schutz von Marken- und Herkunftszeichen in der Landwirtschaft. Agrarrecht. 1993;(Heft 1):7 ff.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 16731
Dietzfelbinger M, Meyer auf der Heide F. Simple, efficient shared memory simulations. In: Proceedings of the Fifth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’93. ; 1993. doi:10.1145/165231.165246
LibreCat | DOI
 

1993 | Journal Article | LibreCat-ID: 16729
Dietzfelbinger M, Meyer auf der Heide F. An Optimal Parallel Dictionary. Information and Computation. 1993:196-217. doi:10.1006/inco.1993.1007
LibreCat | DOI
 

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

1993 | Report | LibreCat-ID: 3045
Blömer J. 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 T, Wigger B. The Dynamics of Upgrading or how to catch-up. Economia Internationale. 1993;46(4):3-13.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 7826
Engels G, Verrijn-Stuart AA. Integrationsaspekte bei verteilter Software-Entwicklung. In: Fortschritt-Berichte VDI. Reihe 10: Informatik/Kommunikationstechnik. VDI Verlag; 1993:45-53.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8090
Krauter S, Hanitsch R. Optical and Thermal Parameters of PV-Module Encapsulation Improving Output Power. In: 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 H, Engels G. Towards a Module Concept for Graph Transformation Systems. Vakgroep Informatica, Rijksuniversiteit Leiden; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 17013
Dellnitz M. The equivariant Darboux theorem. Lectures in Applied Mathematics. 1993;29:163-169.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 11718
Aubert XL, Haeb-Umbach R, Ney H. Continuous Mixture Densities and Linear Discriminant Analysis for Improved Context-Dependent Acoustic Models. In: ICASSP, Minneapolis. ; 1993.
LibreCat | Download (ext.)
 

1993 | Journal Article | LibreCat-ID: 11749
Dobler S, Geller D, Haeb-Umbach R, Meyer P, Ney H, Ruehl HW. Design and use of speech recognition algorithms for a mobile radio telephone. Speech Communication. 1993.
LibreCat
 

1993 | Misc | LibreCat-ID: 13081
Hellebrand S, Tarnick S, Rajski J, Courtois B. Effiziente Erzeugung Deterministischer Muster Im Selbsttest. 5th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Holzhau, Germany; 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13466
Platzner M, Steger C. Erfahrungen mit einer Multi-Signalprozessorarchitektur (TMS320C40). Mikroelektronik. 1993.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 13858
Schmidt WG, Wenzien B, Bechstedt F. AB initio calculation of the atomic and electronic structure for Sb adsorbed on GaAs(110). Czechoslovak Journal of Physics. 1993;43(9-10):1003-1007. doi:10.1007/bf01595293
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 15570
Hagengruber R. Punkt und Mathematik in der Metaphysik des Tommaso Campanella. In: Albertini T, ed. Verum et Factum. Beiträge zur Geistesgeschichte und Philosophie der Renaissance. Festschrift zum 60. Geburtstag von Stephan Otto. Frankfurt u.a.: Peter Lang; 1993:505-514.
LibreCat
 

1993 | Journal Article | LibreCat-ID: 1658
Krimphove D. Europäisches Arbeitsrecht. Europäische Zeitschrift für Wirtschaftsrecht (EuZW). 1993;(Mai):244 ff.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 16732
Lürwer-Brüggemeier K, Meyer auf der Heide F. Capabilities and complexity of computations with integer division. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1993. doi:10.1007/3-540-56503-5_46
LibreCat | DOI
 

1993 | Report | LibreCat-ID: 2454
Röttger M, Simon J, Schroeder U-P. Virtual Topology Library for PARIX. Paderborn Center for Parallel Computing; 1993.
LibreCat
 

1993 | Conference Paper | LibreCat-ID: 8089
Krauter S, Hanitsch R. Calculating the Influence of Skylight-Polarization on the Transmission of Encapsulations of PV-Modules. In: 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 S. Betriebsmodell Der Optischen, Thermischen Und Elektrischen Parameter von PV-Modulen. Berlin: Verlag Köster; 1993.
LibreCat
 

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

1993 | Conference Paper | LibreCat-ID: 8262
Engels G, Groenewegen L. Modular, Visual Specifications of Software Processes. In: Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany). Washington, DC, USA: IEEE Computer Society; 1993:66-68.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. In: {European Design and Test Conference (EDAC/ETC/EUROASIC)}. Paris, France: {IEEE (Comput. Soc. Press)}; 1994:580-585. doi:10.1109/edtc.1994.326815
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
Hellebrand S, Juergensen A, Stroele A, Wunderlich H-J. Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. University of Siegen, Germany; 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13854
Schmidt WG, Srivastava G. First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110). Solid State Communications. 1994;89(4):345-348. doi:10.1016/0038-1098(94)90597-5
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15608
Hagengruber R. Platons “Timaios”, eine Anleitung zur wissenschaftlichen Hypothesenbildung? In: Fritscher B, Brey G, eds. Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften. Vol 13. New York: Springer; 1994:75-96.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15610
Hagengruber R. Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella. In: Gómez Pin V, ed. Actas del primer Congreso Internacional de Ontología : categorías e inteligibilidad global : el proyecto ontológico a través de la reflexión contemporánea. Barcelona: Bellaterra; 1994:101-107.
LibreCat | Files available
 

1994 | Journal Article | LibreCat-ID: 1659
Krimphove D. Das zweite Finanzmarktförderungsgesetz - ein Beitrag zur “Europäisierung” des Wertpapierrechts . Juristenzeitung (JZ). 1994;(Heft 1):244 ff.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
Krimphove D. Europejskie prawo pracy. Monitor Prawniczy. 1994;(2):42 ff.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat | DOI
 

1994 | Book | LibreCat-ID: 3333
Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
Engels G, Groenewegen L. SOCCA: Specifications of Coordinated and Cooperative Activities. In: Software Process Modelling and Technology. Taunton: Research Studies Press; 1994:71-102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy). Vol 858. Berlin/Heidelberg: Springer; 1994:142-157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Engels G, Ehrig H. Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science. Vol B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci; 1994.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 8092
Krauter S, Hanitsch R, Campbell P, Wenham SR. Optical Modelling, Simulation and Improvement of PV Module Encapsulation. In: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201. ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: AMA

Export / Embed