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.

12447 Publications


1995 | Report | LibreCat-ID: 8196
Engels, Gregor, and Andy Schürr. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and Communication Patterns.” In Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 913:189–92. LNCS. Berlin/Heidelberg: Springer, 1995. http://dx.doi.org/10.1007/3-540-59205-9_56.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16611
Golubitsky, Martin, Jerrold Marsden, Ian Stewart, and Michael Dellnitz. “The Constrained Liapunov-Schmidt Procedure and Periodic Orbits.” In Normal Forms and Homoclinic Chaos. Providence, Rhode Island, 1995. https://doi.org/10.1090/fic/004/05.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16510
Aston, Philip J., and Michael Dellnitz. “Symmetry Breaking Bifurcations of Chaotic Attractors.” International Journal of Bifurcation and Chaos, 1995, 1643–76. https://doi.org/10.1142/s021812749500123x.
LibreCat | DOI
 

1995 | Book Review | LibreCat-ID: 17777
Peckhaus, Volker. “‘Russell y las “Paradojas”’ [Rez. v. Alejandro R. Garciadiego, Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’, Birkhäuser Verlag: Basel/Boston/Berlin 1992].” Mathesis (México), 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 17842
Peckhaus, Volker. “Kurt Grelling.” In Modern Logic Calendar 1995, März, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 18701
Seng, Eva- Maria. Kirchenbau zwischen Politik, Kunst und Liturgie. Theorie und Wirklichkeiten im Evangelischen Kirchenbau des 19. Jahrhunderts. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995. Tübingen: Wasmuth, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16243
Dohmeier-Fischer, Silvia, Nicolai Krämer, and Hans- Friedrich Grützmacher. “Rearrangement by Intermediate Ion/Neutral Complexes during the McLafferty Fragmentation of Unsaturated Ketones.” European Journal of Mass Spectrometry, 1995. https://doi.org/10.1255/ejms.154.
LibreCat | DOI
 

1995 | Dissertation | LibreCat-ID: 19627
Czumaj, Artur. Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations. Universität Paderborn, 1995.
LibreCat | Files available
 

1995 | Dissertation | LibreCat-ID: 19634
Ameur, Foued. Space-Bounded Learning Algorithms. Universität Paderborn, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11768
Gamm, Stephan, Reinhold Haeb-Umbach, and Det Langmann. “The Usability Engineering of a Voice-Controlled Answering Machine.” In International Symposium on Human Factors in Telecommunications, Melbourne, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11787
Haeb-Umbach, Reinhold, P. Beyerlein, and E. Thelen. “Automatic Transcription of Unknown Words in a Speech Recognition System.” In ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Conference Paper | LibreCat-ID: 13012
Hellebrand, Sybille, Birgit Reeb, Steffen Tarnick, and Hans-Joachim Wunderlich. “Pattern Generation for a Deterministic BIST Scheme.” In {ACM/IEEE International Conference on Computer Aided Design (ICCAD’95)}, 88–94. San Jose, CA, USA: {IEEE (Comput. Soc. Press)}, 1995. https://doi.org/10.1109/iccad.1995.479997.
LibreCat | DOI
 

1995 | Misc | LibreCat-ID: 13086
Hellebrand, Sybille, Birgit Reeb, Steffen Tarnick, and Hans-Joachim Wunderlich. Pattern Generation for a Deterministic BIST Scheme. 2nd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13473
Platzner, Marco, and Bernhard Rinner. “Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture.” In Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, 494–501. ISCA, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15272
Domik-Kienegger, Gitta, and GS Owen. “Education for Visualization-Activities of the Acm-Siggraph Education Committee.” In Proceedings of the Third Eurographics Workshop on Graphics and Visualization, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 1603
Krimphove, Dieter. Rechtliche Rahmenbedingungen Des Deutschen Und Internationalen Börsentermingeschäftes Ein Leitfaden Für Banken, Sparkassen, Kreditinstitute, Anlagevermittler Und Kunden Mit Checklisten Und Hinweisen Zur Durchführung Einer Ordnungsgemäßen Anlageberatung  . Vol. Nr. 14. FHTW Schriftenreihe. Berlin: FHTW Schriftenreihe, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16706
Meyer auf der Heide, Friedhelm, Martin Storch, and Rolf Wanka. “Optimal Trade-Offs between Size and Slowdown for Universal Parallel Networks.” In Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’95, 1995. https://doi.org/10.1145/215399.215430.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2447
Röttger, Markus, Ulf-Peter Schroeder, and Jens Simon. “Implementation of a Parallel and Distributed Mapping Kernel for PARIX.” In Proc. Int. Conf. on High-Performance Computing and Networking, 919:781–86. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer, 1995. https://doi.org/10.1007/BFb0046714.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2207
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract).” In SPAA, 137--146, 1995.
LibreCat | Files available
 

1995 | Book | LibreCat-ID: 2675
Betz, Stefan. Erfolgscontrolling Unter Besonderer Berücksichtigung Produktionswirtschaftlicher Aspekte. Paderborn, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8077
Euler, D., H.-Hugo Kremer, and M. Theis. “Grundfragen der Berufsbildung.” In Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, edited by D. Euler, H.-Hugo Kremer, and M. Theis, 1st ed., 13–42, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8267
Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 2:46–55. Electronic Notes in Theoretical Computer Science . Elsevier, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16542
Dellnitz, M, and I Melbourne. “A Note on the Shadowing Lemma and Symmetric Periodic Points.” Nonlinearity, 1995, 1067–75. https://doi.org/10.1088/0951-7715/8/6/010.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17482
Czumaj, Artur, Friedhelm Meyer auf der Heide, and Volker Stemann. “Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Meshes.” In Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 46--59, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16566
Breslauer, Dany, Artur Czumaj, Devdatt P. Dubhashi, and Friedhelm Meyer auf der Heide. “Transforming Comparison Model Lower Bounds to the Parallel-Random-Access-Machine.” Information Processing Letters, 1995, 103–10. https://doi.org/10.1016/s0020-0190(97)00032-x.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 19414
Eke, Norbert Otto. “Zeit/Räume – Aspekte der Zeiterfahrung bei Heiner Müller.” In Heiner Müller – Rückblicke, Perspektiven. Vorträge des Pariser Kolloquiums 1993, edited by Theo Buck, Jean-Marie Valentin, Norbert Kenfgens, and Doris Vogel, 131–52. Frankfurt a. M.: Lang, 1995.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19630
Wachsmann, Alf. Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher. Universität Paderborn, 1995.
LibreCat
 

1995 | Dissertation | LibreCat-ID: 19623
Stemann, Volker. Contention Resolution in Hashing Based Shared Memory Simulations. Universität Paderborn, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2187
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks.” In ESA, 341--354. Lecture Notes in Computer Science, 1995. https://doi.org/10.1007/3-540-60313-1_154.
LibreCat | Files available | DOI
 

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand, Sybille, and Hans-Joachim Wunderlich. “Synthesis of Self-Testable Controllers.” In {European Design and Test Conference (EDAC/ETC/EUROASIC)}, 580–85. Paris, France: {IEEE (Comput. Soc. Press)}, 1994. https://doi.org/10.1109/edtc.1994.326815.
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
Hellebrand, Sybille, Arne Juergensen, Albrecht Stroele, and Hans-Joachim Wunderlich. 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, Wolf Gero, and GP Srivastava. “First Principles Calculations of Interface Phonons of an Epitaxial Sb Monolayer on GaAs(110) and InP(110).” Solid State Communications 89, no. 4 (1994): 345–48. https://doi.org/10.1016/0038-1098(94)90597-5.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15608
Hagengruber, Ruth. “Platons ‘Timaios’, eine Anleitung zur wissenschaftlichen Hypothesenbildung?” In Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, edited by Bernhard Fritscher and Gerhard Brey, 13:75–96. New York: Springer, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15610
Hagengruber, Ruth. “Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella.” In 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, edited by Victor Gómez Pin, 101–7. Barcelona: Bellaterra, 1994.
LibreCat | Files available
 

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): 244 ff.
LibreCat
 

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

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

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

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

1994 | Conference Paper | LibreCat-ID: 7830
Engels, Gregor, and Hartmut Ehrig. “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ürgen, and Gregor Engels. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Krauter, Stefan, Rolf Hanitsch, P. Campbell, and S.R. Wenham. “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, Marc, and Gregor Engels. “Syntax and Semantics of Hybrid Database Languages.” In Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), 776:19–36. LNCS. Berlin/Heidelberg: Springer, 1994. http://dx.doi.org/10.1007/3-540-57787-4_2.
LibreCat | DOI
 

1994 | Book Review | LibreCat-ID: 17774
Peckhaus, Volker. “Erik Heijerman/H. Walter Schmitz (Eds.), Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International Conference Bonn 19–21 November 1986, Nodus Publicationen: Münster 1991 (= Materialien Zur Geschichte Der Sprachwissenschaft Und Der Semiotik; 5).” Modern Logic, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
Peckhaus, Volker. “The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract].” In Abstract of Papers Presented to the American Mathematical Society, 15, Nr. 5 (August 1994):447, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17488
Peckhaus, Volker. “Hilbert’s Axiomatic Programme and Philosophy.” In The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, edited by Eberhard Knobloch and David E. Rowe, 91–112. Boston u. a.: Academic Press, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
Eke, Norbert Otto. “Heiner Müller.” In Deutsche Dichter des 20. Jahrhunderts, edited by Hartmut Steinecke, 726–41. Berlin: Erich Schmidt, 1994.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
Wanka, Rolf. Paralleles Sortieren Auf Mehrdimensionalen Gittern. Universität Paderborn, 1994.
LibreCat | Files available
 

1994 | Book | LibreCat-ID: 3333
Kleine Büning, Hans, and Theodor Lettmann. Aussagenlogik - Deduktion und Algorithmen. Leitfäden und Monographien der Informatik. Teubner, 1994. https://doi.org/10.1007/978-3-322-84809-3.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 11796
Haeb-Umbach, Reinhold, and Hermann Ney. “Improvements in Beam Search for 10000-Word Continuous-Speech Recognition.” IEEE Transactions on Speech and Audio Processing, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
Ney, Hermann, Volker Steinbeiss, Xavier L. Aubert, and Reinhold Haeb-Umbach. “Progress in Large-Vocabulary, Continuous Speech Recognition.” In Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
Hellebrand, Sybille, and Hans-Joachim Wunderlich. “An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures.” In {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}, 110–16. San Jose, CA, USA: {IEEE}, 1994. https://doi.org/10.1109/iccad.1994.629752.
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
Venkataraman, Srikanth, Janusz Rajski, Sybille Hellebrand, and Steffen Tarnick. Effiziente Testsatzkodierung Für Prüfpfad-Basierte Selbsttestarchitekturen. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
Platzner, Marco, Christian Steger, and Reinhold Weiss. “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications.” In Proceedings of the 7th Mediterranean Electrotechnical Conference. IEEE Press, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
Schmidt, Wolf Gero, Bernd Wenzien, and Friedhelm Bechstedt. “Coverage-Dependent Bonding of Sb on GaAs (110).” Surface Science 307–309, no. Part A (1994): 235–40. https://doi.org/10.1016/0039-6028(94)90400-6.
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 3264
Wehrheim, Heike. “Parametric Action Refinement.” In 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, 247--266. {IFIP} Transactions, 1994.
LibreCat
 

1994 | Book | LibreCat-ID: 6528
Bendfeld, Jörg, Achim Ernst, and Egon Ortjohann. Windatlas für das PESAG-Versorgungsgebiet. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 6530
Bendfeld, Jörg, Achim Ernst, Egon Ortjohann, Beate Langrock, and Norbert Scholz. “Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie.” In Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland. Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, 1994.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, Hans-Dietrich, Gregor Engels, J. Paredaens, and Jan Wegner, eds. Fundamentals of Object-Oriented Languages, Systems, and Methods. Vol. 95. Dagstuhl-Seminar-Report. 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?” In Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), 3:434–41. Elsevier, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8093
Strauss, Philipp, K. Onneken, Stefan Krauter, and Rolf Hanitsch. “Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation.” In 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.” In Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), 128–51. LNCS. Berlin/Heidelberg: Springer, 1994. http://dx.doi.org/10.1007/3-540-57739-4_19.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 16549
Dellnitz, Michael, Martin Golubitsky, and Matthew Nicol. “Symmetry of Attractors and the Karhunen-Loève Decomposition.” In Trends and Perspectives in Applied Mathematics. New York, NY, 1994. https://doi.org/10.1007/978-1-4612-0859-4_4.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 16544
Dellnitz, Michael, and Jürgen Scheurle. “Eigenvalue Movement for a Class of Reversible Hamiltonian Systems with Three Degrees of Freedom.” In Dynamics, Bifurcation and Symmetry. Dordrecht, 1994. https://doi.org/10.1007/978-94-011-0956-7_9.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 17489
Peckhaus, Volker. “Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen.” Modern Logic 4 (1994): 357–81.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 19416
Eke, Norbert Otto. “„Lieber Niembsch“ oder: Der Dichter im Gehäus. Anmerkungen zu Manfred Karges Spiel mit Biographie und Geschichte um den Autor im „Stadium der Verrücktheit“.” Lenau-Forum 20, no. Folge 1-4 (1994): 109–29.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 11879
Ney, Hermann, Volker Steinbeiss, Reinhold Haeb-Umbach, and Bach Hiep Tran. “An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition.” International Journal on Pattern Recognition and Artificial Intelligence, 1994.
LibreCat
 

1994 | Misc | LibreCat-ID: 13084
Hellebrand, Sybille, and Hans-Joachim Wunderlich. Ein Verfahren Zur Testfreundlichen Steuerwerkssynthese. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13856
Schmidt, Wolf Gero, B. Wenzien, and F. Bechstedt. “Chemisorption of Antimony on GaAs(110).” Physical Review B 49, no. 7 (1994): 4731–44. https://doi.org/10.1103/physrevb.49.4731.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15509
Hagengruber, Ruth. “Parallelen um den Punkt zwischen Campanella und Leibniz.” In Leibniz und Europa, edited by Albert Heinekamp, Isolde Hein, and Stiftung Niedersachsen, 1:309–15. VI. Internationaler Leibniz-Kongress, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16728
Dietzfelbinger, Martin, Anna Karlin, Kurt Mehlhorn, Friedhelm Meyer auf der Heide, Hans Rohnert, and Robert E. Tarjan. “Dynamic Perfect Hashing: Upper and Lower Bounds.” SIAM Journal on Computing, 1994, 738–61. https://doi.org/10.1137/s0097539791194094.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 16817
Domik-Kienegger, Gitta. “Visualization Education.” Comput. Graph. 18, no. 3 (1994): 277–80. https://doi.org/10.1016/0097-8493(94)90026-4.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 2452
Simon, Jens. “Leistung Eines Parallelrechners Auf Basis Des PowerPC-Prozessors.” In Parallele Datenverarbeitung Aktuell: TAT ’94, 38–45. Transputer and Occam Engineering Series. Amsterdam: IOS Press, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 3068
Gries, Thomas, C. Hentschel, and B. Wigger. “Endogenous Growth and R&D Models - A Critical Appraisal of Recent Developments.” Jahrbücher Für Nationalökonomie Und Statistik 213/1 (1994): 64–84.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 7407
Löhr-Richter, Perdita, and Gregor Engels. “Visuelles Spezifizieren von Komplexen Aktionen Auf Datenbankstrukturen.” GI-Datenbank Rundbrief 13 (1994): 33–35.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, Janice, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, eds. Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers. Vol. 1073. LNCS. Berlin/Heidelberg: Springer, 1994. http://dx.doi.org/10.1007/3-540-61228-9.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8094
Krauter, Stefan, and Rolf Hanitsch. “Einfluß Optischer Und Thermischer Parameter Auf Den Tageswirkungsgrad von Photovoltaischen Modulen.” In Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8265
Engels, Gregor, and Perdita Löhr. “Visual Specification of Complex Database Actions.” In Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), 303–14. Berlin/Heidelberg: Springer, 1994.
LibreCat
 

1994 | Book | LibreCat-ID: 17303
Fuchssteiner, Benno, K. Gottheil, A. Kemper, O. Kluge, K. Morisse, H. Naundorf, Gudrun Oevel, T. Schulze, and W. Wiwianka. MuPAD: Multi Processing Algebra Data Tool; Tutorial. Basel-Boston-Berlin: Birkhäuser, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17485
Peckhaus, Volker. “Bibliographie der Werke Kurt Grellings.” In Hans Reichenbach und die Berliner Gruppe, edited by Lutz Danneberg, Andreas Kamlah, and Lothar Schäfer, 74–86. Braunschweig: Friedr. Vieweg & Sohn, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17834
Peckhaus, Volker. “Ernst Schröder.” In Modern Logic Calendar 1994, November, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17841
Peckhaus, Volker. “Rüstow’s Thesis on Russell’s Paradox (Abdruck von ‘Alexander Rüstow’s Thesis’, Beitrag Für  Russell-L@mcmail.Cis.Mcmaster Am 17. Juni 1994).” History of Logic Newsletter 13, no. September-Oktober 1994 (1994): 2–3.
LibreCat
 

1994 | Misc | LibreCat-ID: 17896
Peckhaus, Volker. Alexander Rüstow’s Thesis, Beitrag Für  Russell-L@mcmail.Cis.Mcmaster Am 17. Juni 1994 [Abdruck: Rüstow’s Thesis on Russell’s Paradox, History of Logic Newsletter, Nr. 13 (September–Oktober 1994), 2–3] [Revidierte Fassung: Rüstow’s Thesis on Russell’s Paradox”, Modern Logic 5 (1995), 167–169], 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 17480
Peckhaus, Volker. “Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908).” In Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, edited by Dag Prawitz and Dag Westerståhl, 236:311–23. Synthese Library. Dordrecht/Boston/London: Kluwer, 1994.
LibreCat
 

1994 | Book (Editor) | LibreCat-ID: 18433
Tophinke, Doris, ed. Sprachbiographie und Sprachstörung. Fallstudien zur Textproduktion bei hirnorganischen Erkrankungen. Wiesbaden: DUV (zugleich Dissertation Osnabrück 1991), 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19417
Eke, Norbert Otto. “Vergangene Zeiten. Anmerkungen zur Semantik des Umbruchs und zu den Bedeutungsstrukturen im historischen Erzählen der frühen Restaurationszeit (1815-1830).” In Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, edited by Norbert Otto Eke and Hartmut Steinecke, 17–58. München: Fink, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13059
Hellebrand, Sybille, and Hans-Joachim Wunderlich. “Synthese Schneller Selbsttestbarer Steuerwerke.” In {Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme}, 3–11. Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany, 1994.
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
Hellebrand, Sybille, Joao Paulo Teixeira, and Hans-Joachim Wunderlich. Synthesis for Testability - the ARCHIMEDES Approach. 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 15497
Hagengruber, Ruth. Tommaso Campanella. Eine Philosophie der Ähnlichkeit. Sankt Augustin: Academia, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8095
Krauter, Stefan, Rolf Hanitsch, and S. R. Wenham. “Simulation of Thermal and Optical Performance of PV Modules.” In Proceedings of the 3rd World Renewable Energy Congress, Reading (UK), 11.–16. September 1994, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 16541
Dellnitz, Michael, and Ian Melbourne. “Generic Movement of Eigenvalues for Equivariant Self-Adjoint Matrices.” Journal of Computational and Applied Mathematics, 1994, 249–59. https://doi.org/10.1016/0377-0427(94)90032-9.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 17481
Peckhaus, Volker. “Von Nelson zu Reichenbach. Kurt Grelling in Göttingen und Berlin.” In Hans Reichenbach und die Berliner Gruppe, edited by Lutz Danneberg, Andreas Kamlah, and Lothar Schäfer, 53–73. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 17486
Peckhaus, Volker. “Benno Kerry. Beiträge zu seiner Biographie.” History and Philosophy of Logic 15 (1994): 1–8.
LibreCat
 

1994 | Book (Editor) | LibreCat-ID: 19088
Eke, Norbert Otto, and Hartmut Steinecke, eds. Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit. München: Fink, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19418
Eke, Norbert Otto, and Hartmut Steinecke. “Der historische Roman der frühen Restaurationszeit. Zur Einführung.” In Geschichten aus (der) Geschichte. Zum Stand des historischen Erzählens im Deutschland der frühen Restaurationszeit, edited by Norbert Otto Eke and Hartmut Steinecke, 7–16. München: Fink, 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 13024
Hellebrand, Sybille, Arne Juergensen, and Hans-Joachim Wunderlich. Synthesis for Off-Line Testability. University of Siegen, Germany, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13853
Bechstedt, F, Wolf Gero Schmidt, and B Wenzien. “Energetics and Structure of Ordered Sb Overlayers and Sb Clusters on GaAs(110) Probed by Ab Initio Calculations.” Europhysics Letters (EPL) 25, no. 5 (1994): 357–62. https://doi.org/10.1209/0295-5075/25/5/008.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 15296
Hüllermeier, Eyke. “Approximate Solution of a Linear Programming Problem Using a Modified Perceptron-Algorithm.” In In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 195–99, 1994.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed