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.

9157 Publications


1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 8092
Optical Modelling, Simulation and Improvement of PV Module Encapsulation
S. Krauter, R. Hanitsch, P. Campbell, S.R. Wenham, in: 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
Observable or Invocable Behaviour - You Have to Choose
J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Syntax and Semantics of Hybrid Database Languages
M. Andries, G. Engels, in: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), Springer, Berlin/Heidelberg, 1994, pp. 19–36.
LibreCat | DOI
 

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

1994 | Report | LibreCat-ID: 13025
Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time
S. Hellebrand, A. Juergensen, A. Stroele, H.-J. 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
First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110)
W.G. Schmidt, G. Srivastava, Solid State Communications 89 (1994) 345–348.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15610
Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella
R. Hagengruber, in: V. Gómez Pin (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, Bellaterra, Barcelona, 1994, pp. 101–107.
LibreCat | Files available
 

1994 | Book Chapter | LibreCat-ID: 15608
Platons "Timaios", eine Anleitung zur wissenschaftlichen Hypothesenbildung?
R. Hagengruber, in: B. Fritscher, G. Brey (Eds.), Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, Springer, New York, 1994, pp. 75–96.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3264
Parametric Action Refinement
H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (Ed.), 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, 1994, pp. 247--266.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1662
Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung
D. Krimphove, Arbeit Und Recht (1994) 215 ff.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Fundamentals of Object-Oriented Languages, Systems, and Methods
H.-D. Ehrich, G. Engels, J. Paredaens, J. Wegner, eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 8093
Simulation Tool for Prediction and Optimization of Output Power Considering Thermal and Optical Parameters of PV Module Encapsulation
P. Strauss, K. Onneken, S. Krauter, R. Hanitsch, 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
Specification of coordinated behaviour by SOCCA
G. Engels, L. Groenewegen, in: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, Berlin/Heidelberg, 1994, pp. 128–151.
LibreCat | DOI
 

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

1994 | Conference Paper | LibreCat-ID: 6530
Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie
J. Bendfeld, A. Ernst, E. Ortjohann, B. Langrock, N. Scholz, in: Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 11796
Improvements in beam search for 10000-word continuous-speech recognition
R. Haeb-Umbach, H. Ney, IEEE Transactions on Speech and Audio Processing (1994).
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
Progress in Large-Vocabulary, Continuous Speech Recognition
H. Ney, V. Steinbeiss, X.L. Aubert, R. Haeb-Umbach, in: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures
S. Hellebrand, H.-J. Wunderlich, in: {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}, {IEEE}, San Jose, CA, USA, 1994, pp. 110–116.
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen
S. Venkataraman, J. Rajski, S. Hellebrand, S. 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
Experimental Evaluation of Multi-DSP Architectures in High Performance Applications
M. Platzner, C. Steger, R. Weiss, in: Proceedings of the 7th Mediterranean Electrotechnical Conference, IEEE Press, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13855
Coverage-dependent bonding of Sb on GaAs (110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 2452
Leistung eines Parallelrechners auf Basis des PowerPC-Prozessors
J. Simon, in: Parallele Datenverarbeitung Aktuell: TAT ’94, IOS Press, Amsterdam, 1994, pp. 38–45.
LibreCat
 

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

1994 | Journal Article | LibreCat-ID: 7407
Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen
P. Löhr-Richter, G. Engels, GI-Datenbank Rundbrief 13 (1994) 33–35.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7798
Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers
J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, Springer, Berlin/Heidelberg, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8094
Einfluß optischer und thermischer Parameter auf den Tageswirkungsgrad von photovoltaischen Modulen
S. Krauter, R. Hanitsch, in: Neuntes Internationales Sonnenforum, Berlin (Deutschland), 28. Juni – 1. Juli 1994, S. 495–502, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8265
Visual Specification of Complex Database Actions
G. Engels, P. Löhr, in: Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany), Springer, Berlin/Heidelberg, 1994, pp. 303–314.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 11879
An Overview of the Philips Research System for Large Vocabulary Continuous Speech Recognition
H. Ney, V. Steinbeiss, R. Haeb-Umbach, B.H. Tran, International Journal on Pattern Recognition and Artificial Intelligence (1994).
LibreCat
 

1994 | Misc | LibreCat-ID: 13084
Ein Verfahren zur testfreundlichen Steuerwerkssynthese
S. Hellebrand, H.-J. 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
Chemisorption of antimony on GaAs(110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Physical Review B 49 (1994) 4731–4744.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15509
Parallelen um den Punkt zwischen Campanella und Leibniz
R. Hagengruber, in: A. Heinekamp, I. Hein, Stiftung Niedersachsen (Eds.), Leibniz und Europa, 1994, pp. 309–315.
LibreCat
 

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

1994 | Conference Paper | LibreCat-ID: 13059
Synthese schneller selbsttestbarer Steuerwerke
S. Hellebrand, H.-J. Wunderlich, in: {Tagungsband Der GI/GME/ITG-Fachtagung \& Rechnergestützter Entwurf Und Architektur Mikroelektronischer Systeme}, Oberwiesenthal, Informatik Xpress 4, TU Chemnitz Zwickau, Germany, 1994, pp. 3–11.
LibreCat
 

1994 | Misc | LibreCat-ID: 13085
Synthesis for Testability - the ARCHIMEDES Approach
S. Hellebrand, J. Paulo Teixeira, H.-J. Wunderlich, Synthesis for Testability - the ARCHIMEDES Approach, 1st IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1994.
LibreCat
 

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

1994 | Journal Article | LibreCat-ID: 1660
Die Mitwirkungsrechte gemäß Betriebsverfassung
D. Krimphove, Arbeit Und Arbeitsrecht (AuA) (1994) 215 ff.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7512
Design Representation
J. Ebert, G. Engels, in: Encyclopedia of Software Engineering, John Wiley & Sons, Inc., 1994, pp. 382–394.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7827
Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister
W. Thoben, H.-J. Appelrath, J. Rettig, S. Sauer, in: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, München, 1994, pp. 88–90.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8096
Actual Optical and Thermal Performance of PV-Modules
S. Krauter, in: Proceedings of the 1st World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Waikoloa, Hawaii (USA), 5.–9. Dezember 1994, S. 734–737., 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 13024
Synthesis for Off-line Testability
S. Hellebrand, A. Juergensen, H.-J. Wunderlich, Synthesis for Off-Line Testability, University of Siegen, Germany, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13853
Energetics and Structure of Ordered Sb Overlayers and Sb Clusters on GaAs(110) Probed by Ab Initio Calculations
F. Bechstedt, W.G. Schmidt, B. Wenzien, Europhysics Letters (EPL) 25 (1994) 357–362.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 15296
Approximate solution of a linear programming problem using a modified perceptron-algorithm.
E. Hüllermeier, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1994, pp. 195–199.
LibreCat
 

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

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

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

1993 | Conference Paper | LibreCat-ID: 11904
The Philips Research System for Large-Vocabulary Continuous-Speech Recognition
V. Steinbiss, H. Ney, R. Haeb-Umbach, B.-H. Train, U. Essen, R. Kneser, M. Oerder, H.G. Meier, X. Aubert, C. Dugast, D. Geller, W. Hoellerbauer, H. Bartosik, in: EUROSPEECH, Berlin, 1993.
LibreCat | Download (ext.)
 

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

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author

Export / Embed