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.

13651 Publications


1996 | Journal Article | LibreCat-ID: 3261
Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat | DOI
 

1996 | Book | LibreCat-ID: 6532
Windatlas für die Stadt Münster
J. Bendfeld, S.O. Gärtner, T. Winkelmann, E. Ortjohann, Windatlas für die Stadt Münster, Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7838
Object-oriented specification of coordinated collaboration
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–452.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 8103
Sonneneinstrahlung
S. Krauter, Solararchitektur Für Europa, Hrsg.: A. Schneider; Basel, Boston, New York (1996) 30–31.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8273
Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)
G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8418
Einführung für den Dozenten
D. Euler, H.-H. Kremer, in: H.-H. Kremer, E. Stickling (Eds.), Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing, Düsseldorf, 1996, pp. 1–30.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8420
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 2. veränderte Aufl., Düsseldorf, 1996, pp. 13–42.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17304
Graphics in the Computer Algebra System MuPAD
G. Oevel, T. Schulze, in: W. Borchers, G. Domik, D. Kröner, R. Rautmann, D. Saupe (Eds.), Visualization Methodes in High Performance Computing and Flow Simulation, VSP, 1996.
LibreCat
 

1996 | Encyclopedia Article | LibreCat-ID: 17640
Warschauer Schule
V. Peckhaus, C. Thiel, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 4: Sp–Z, J.B. Metzler, Stuttgart/Weimar, 1996, pp. 628–629.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17917
Segre, Michael, “Peano's Axioms in Their Historical Context”, Archive for History of Exact Sciences 48 (1994), 201–342
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 835.01006] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17929
Wagner-Döbler, Roland, „Perspektiven der Wissenschaftsforschung über die Mathematik“, in: Czermak (Hg.) 1993 [9.4], 417–427
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01027] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17931
Haugeland, John, “Remarks on Machines and Rule-Following”, in: Casati/Smith/ White (Hgg.) 1994 [9.39], 127–138
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 842.00008] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17936
Picardi, Eva, “Dummett on Analysis and Cognitive Synonymy”, in: Czermak (Hg.) 1993 [9.4], 77–85
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01009] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17924
Degen, J.W., “Two Formal Vindications of Logicism”, in: Czermak (Hg.) 1993 [9.4], 243–250
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03004] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17948 LibreCat
 

1996 | Book Review | LibreCat-ID: 17943 LibreCat
 

1996 | Book Review | LibreCat-ID: 17950
De Caro, Mario, “Galileo’s Mathematical Platonism”, in: Czermak (Hg.) 1993 [9.4], 13–22
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00015] (1996).
LibreCat
 

1996 | Book Review | LibreCat-ID: 17955
Wolenski, Jan, “Analyticity, Decidability and Incompleteness”, in: Czermak (Hg.) 1993 [9.4], 379–382
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 849.00019] (1996).
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17493
The Influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic
V. Peckhaus, in: G. Schubring (Ed.), Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-Humanist Scholar. Papers from a Sesquicentennial Conference, Kluwer, Dordrecht/Boston/London, 1996, pp. 217–227.
LibreCat
 

1996 | Report | LibreCat-ID: 18352
A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware
M. Fischer, J. Rethmann, A. Wachsmann, A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware, Universität Paderborn, 1996.
LibreCat | Files available
 

1996 | Book Chapter | LibreCat-ID: 19312
Die Dresdner Frauenkirche in der evangelischen Kirchenbaudiskussion des19. Jahrhunderts
E.-M. Seng, in: Die Dresdner Frauenkirche. Jahrbuch zu ihrer Geschichte und zu ihrem archäologischen Wiederaufbau. Bd. 2, Weimar, 1996, pp. 147–164.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 19413
„Wandle – schaue – höre Jisro-El!“ Richard Beer-Hofmanns „Historie von König David“
N.O. Eke, in: N.O. Eke (Ed.), Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe, Igel, Paderborn, 1996, pp. 537–566.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2186
Universal Algorithms for Store-and-Forward and Wormhole Routing
R. Cypher, F. Meyer auf der Heide, C. Scheideler, B. Vöcking, in: STOC, ACM, 1996, pp. 356--365.
LibreCat | Files available
 

1996 | Dissertation | LibreCat-ID: 2181
Universal routing strategies
C. Scheideler, Universal Routing Strategies, University of Paderborn, Germany, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 20737
Increasing the thermal conductivity of bonded joints
O. Hahn, G. Meschut, in: Tagungsband Zur EURADH’ 96, 1996, pp. 727–732.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13783
Geometry and electronic structure of GaAs(001)(2×4) reconstructions
W.G. Schmidt, F. Bechstedt, Physical Review B 54 (1996) 16742–16748.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13788
Annihilation of delocalized positrons: a comparison of diamond and silicon
W.G. Schmidt, W.. Verwoerd, Physics Letters A 222 (1996) 275–280.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13790
3d core-level shifts at
W.G. Schmidt, P. Käckell, F. Bechstedt, Surface Science 357–358 (1996) 545–549.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13795
Diamond (111) and (100) surface: ab initio study of the atomic and electronic structure
A. Scholze, W.G. Schmidt, P. Käckell, F. Bechstedt, Materials Science and Engineering: B 37 (1996) 158–161.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 15304
Hierarchical constraint propagation based on interval arithmetic
E. Hüllermeier, in: In Proceedings Interval-96 International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg, 1996, pp. 54–55.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15056
Perspective viewing, Anaglyph stereo or Shutter glass stereo?
S. Volbracht, K. Shahrbabaki, G. Domik, G. Fels, in: Proceedings 1996 IEEE Symposium on Visual Languages, 1996, pp. 192–193.
LibreCat
 

1996 | Book | LibreCat-ID: 14894
An introduction to high-performance scientific computing
L.D. Fosdick, E.R. Jessup, C.J. Schauble, G. Domik-Kienegger, An Introduction to High-Performance Scientific Computing, MIT Press, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 1918
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, M. Zahn, H. Karl, T. Ungerer, in: Proceedings Trends in Distributed Systems, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 16698
Trial and error. A new approach to space-bounded learning
F. Ameur, P. Fischer, K.-U. Höffgen, F. Meyer auf der Heide, Acta Informatica (1996) 621–630.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 16701
The Tree Model for Hashing: Lower and Upper Bounds
J. Gil, F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1996) 936–955.
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
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Export / Embed