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.

10394 Publications


1996 | Journal Article | LibreCat-ID: 2182
Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, Theor. Comput. Sci. (1996) 245--281.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 2579
Produktionsabfallrecycling als operatives Entscheidungsproblem
S. Betz, UmweltWirtschaftsForum 4 (1996) 44–51.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 3262
Causal Testing
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 5612
How Do Lean Management Organizations Behave Regarding Training and Development?
R. Kabst, H.H. Larsen, P. Bramming, The International Journal of Human Resource Management 7 (1996) 618–639.
LibreCat
 

1996 | Book | LibreCat-ID: 6146
Working Time and Contract Flexibility in the E.U.
C. Brewster, W. Weber, R. Kabst, Working Time and Contract Flexibility in the E.U., Bedford, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7404
Graph Grammars with Negative Application Conditions
A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8104
New Optical and Thermal Enhanced PV Modules Performing 12% better under True Module Rating Conditions
S. Krauter, R. Hanitsch, L. Moreira, in: Proceedings of the 25th IEEE–PV–Specialists Conference, Washington D.C. (USA), 13.–19. Mai 1996, Band 1, S. 1323–1326., 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7834
Synchronization of Views and Loose Semantics of Typed Graph Productions
H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.
LibreCat
 

1996 | Report | LibreCat-ID: 8197
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8200
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8419
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 2nd ed., Düsseldorf, 1996, pp. 19–94.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8274
Reuse of Software Process Fragments is Reuse of Software, too
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 9626 LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16895
Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme
B. Gutkauf, G. Domik-Kienegger, in: Proceedigns 4. GI Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 17418
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17564
Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, I. Rieping, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat | DOI
 

1996 | Habilitation | LibreCat-ID: 17444
Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995
V. Peckhaus, Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995, 1996.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17641
Weierstraß
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 535–536.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17639
Verknüpfung
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 515–516.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 10610
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, J.UCS Journal of Universal Computer Science 12 (1995) 811–820.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11757
Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition
C. Dugast, P. Beyerlein, R. Haeb-Umbach, in: ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Journal Article | LibreCat-ID: 11764
User interface design of voice controlled consumer electronics
S. Gamm, R. Haeb-Umbach, Philips Journal of Research (1995).
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13474
High-Performance Qualitative Simulation on a Multi-DSP Architecture
M. Platzner, B. Rinner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13796
Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces
P.V. Santos, N. Esser, J. Groenen, M. Cardona, W.G. Schmidt, F. Bechstedt, Physical Review B 52 (1995) 17379–17385.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15305
Fuzzy polynomial and spline interpolation
E. Hüllermeier, in: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, Gordon and Breach Publishers, 1995, pp. 401–404.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16707
Improved optimal shared memory simulations, and the power of reconfiguration
A. Czumaj, F. Meyer auf der Heide, V. Stemann, in: Proceedings Third Israel Symposium on the Theory of Computing and Systems, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2448
An Efficient Mapping Library for Parix
T. Römke, M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. ZEUS Workshop on Par. Programming and Computation, IOS Press, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 2450
SparcStation SCI-Interface
J. Gehring, J. Simon, SparcStation SCI-Interface, Paderborn Center for Parallel Computing, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2208
Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, in: STACS, 1995, pp. 267--278.
LibreCat | Files available
 

1995 | Journal Article | LibreCat-ID: 2563 LibreCat
 

1995 | Book Chapter | LibreCat-ID: 3530
Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor
T. Gries, in: B. Gahlen, H. Hesse (Eds.), Standort Und Region, Neue Ansätze Zur Regionalökonomik, Mohr (Siebeck), Tübingen, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8078
Existenzgründung
H.-H. Kremer, in: U. Braukmann, A. Diettrich, H.-H. Kremer, P.F.E. Sloane, E. Stickling (Eds.), Meisterprüfung - Lernen Für Die Praxis - Unternehmensführung 1, 1st ed., Düsseldorf, 1995, pp. 19–94.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8097
Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules
S. Krauter, in: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8100
Thermal and Optical Enhanced PV-Modules
S. Krauter, in: Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8270
Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 16904
Intelligent visualization systems in educational environments
G. Kienegger-domik, in: H. Maurer (Ed.), Proceedings of ED-MEDIA `95, AACE, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16550
Cycling Chaos
M. Dellnitz, M. Field, M. Golubitsky, J. Ma, A. Hohmann, International Journal of Bifurcation and Chaos (1995) 1243–1247.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 17306
MuPAD in der Ausbildung
F. Postel, G. Oevel, F. Schwarz, in: Beiträge zum Mathematikunterricht, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17490
Hilberts Logik. Von der Axiomatik zur Beweistheorie
V. Peckhaus, NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F. 3 (1995) 65–86.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11765
Human Factors of a Voice-Controlled Car Stereo
S. Gamm, R. Haeb-Umbach, in: Eurospeech, Madrid, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11905
The Philips Research system for continuous-speech dictation
V. Steinbiss, H.J. Ney, X.L. Aubert, S. Besling, C. Dugast, U. Essen, D. Geller, R. Haeb-Umbach, R. Kneser, H.G. Meier, M. Oerder, B.H. Tran, Philips Journal of Research (1995).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11948
Continuous speech dictation - From theory to practice
V. Steinbiss, H.J. Ney, U. Essen, B.H. Tran, X.L. Aubert, C. Dugast, R. Kneser, H.G. Meier, M. Oerder, R. Haeb-Umbach, D. Geller, W. Hoellerbauer, H. Bartosik, Speech Communication (1995).
LibreCat
 

1995 | Report | LibreCat-ID: 13026
Synthesis Procedures for Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, Synthesis Procedures for Self-Testable Controllers, University of Siegen, Germany, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13470
High-Performance Simulators Based on Multi-TMS320C40
E. Brenner, R. Ginthör-Kalcsics, R. Hranitzky, M. Platzner, B. Rinner, C. Steger, R. Weiss, in: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13797
Optical properties of Sb-terminated GaAs and InP (110) surfaces
P.V. Santos, N. Esser, M. Cardona, W.G. Schmidt, F. Bechstedt, Physical Review B 52 (1995) 12158–12167.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13800
Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces
C. Kress, M. Fiedler, W.G. Schmidt, F. Bechstedt, Surface Science 331–333 (1995) 1152–1156.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13850
Geometrical and electronic structure of the reconstructed diamond (100) surface
C. Kress, M. Fiedler, W.G. Schmidt, F. Bechstedt, Physical Review B 50 (1995) 17697–17700.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2449
On Efficient Embeddings of Grids into Grids in PARIX
T. Römke, M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. European Conf. on Parallel Processing (Euro-Par), Springer, Berlin / Heidelberg, 1995, pp. 179–192.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 2451
Parallel CG Poisson Solver for PowerPC 601
S. Blazy, U. Dralle, J. Simon, in: PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer, Heinrich-Heine-Universität, Düsseldorf, 1995.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: Default

Export / Embed