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.

14317 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 Review | LibreCat-ID: 17948 LibreCat
 

1996 | Book Review | LibreCat-ID: 17937
Murawski, Roman, “Contributions of Polish Logicians to Decidability Theory”, Modern Logic 6 (1996), 37–66
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 844.01010] (1996).
LibreCat
 

1996 | Journal Article | LibreCat-ID: 22319
Neue Winkelgetriebebaureihen mit hoher Funktionalität
D. Zimmer, Antriebstechnik - Zeitschrift Für Konstruktion, Entwicklung Und Anwendung von Antrieben Und Steuerungen 35 (1996) 21–24.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 1664
Neuer Europäischer Datenschutz im Arbeitsrecht
D. Krimphove, Neue Zeitschrift Für Arbeitsrecht (NZA) (1996) 1121 ff.
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 | Journal Article | LibreCat-ID: 20736
Nichtrostende Stahlbleche kleben – Klebeigen-schaften durch Strahlbeschichten verbessern
O. Hahn, A. Chudaska, G. Meschut, Materialprüfung 38 (1996) 39–41.
LibreCat
 

1996 | Report | LibreCat-ID: 8199
Object-oriented Specification of Coordinated Collaboration
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 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 | Report | LibreCat-ID: 2446
On Accurate Performance Prediction for Massively Parallel Systems and its Applications
J. Simon, J.-M. Wierum, On Accurate Performance Prediction for Massively Parallel Systems and Its Applications, Paderborn Center for Parallel Computing, 1996.
LibreCat
 

1996 | Misc | LibreCat-ID: 17898
On the Origins of the Word ‘Logicism’ [ursprünglich Beitrag für russell-l], URL erstellt 22.3.1996
V. Peckhaus, On the Origins of the Word ‘Logicism’ [Ursprünglich Beitrag Für Russell-l], URL Erstellt 22.3.1996, 1996.
LibreCat | Download (ext.)
 

1996 | Book | LibreCat-ID: 2674
Operatives Erfolgscontrolling - Ein funktionaler Ansatz für industrielle Fertigungsprozesse
S. Betz, Operatives Erfolgscontrolling - Ein Funktionaler Ansatz Für Industrielle Fertigungsprozesse, Gabler-Verlag, Wiesbaden, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13784
Optical Properties of Ordered As Layers on InP(110) Surfaces
P.V. Santos, B. Koopmans, N. Esser, W.G. Schmidt, F. Bechstedt, Physical Review Letters 77 (1996) 759–762.
LibreCat | DOI
 

1996 | Book Review | LibreCat-ID: 17946 LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2444
Performance Prediction of Benchmark Programs for Massively Parallel Architectures
J. Simon, J.-M. Wierum, in: Proc. Annual Int. Conf. on High-Performance Computers (HPCS), 1996.
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 | Journal Article | LibreCat-ID: 13792
Phonons at III–V (110) surfaces
W.G. Schmidt, F. Bechstedt, G.P. Srivastava, Surface Science 352–354 (1996) 83–88.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 8272
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
LibreCat | Download (ext.)
 

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

1996 | Book Review | LibreCat-ID: 17921
Quesada, Daniel, “State of Affairs and the Evolution of Carnap’s Semantics”, Logique & Analyse Nouv. Sér. 36 (1993), 149–157
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 836.01018] (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 | Conference Paper | LibreCat-ID: 880
ReGTime - Rent Gigaflops someTimes
B. Dreier, A. Huber, H. Karl, T. Ungerer, M. Zahn, in: Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93.
LibreCat | DOI
 

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 | Book | LibreCat-ID: 3385
Repetitorium Mikroökonomik
T. Gries, G. Sieg, H. Strulik, Repetitorium Mikroökonomik, Springer-Verlag, Berlin Heidelberg, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17949 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 | Book Review | LibreCat-ID: 17925
Rheinwald, Rosemarie, „Die Achilles-Paradoxie in der modernen Diskussion“, in: Czermak (Hg.) 1993 [9.4], 383–392
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 838.03005] (1996).
LibreCat
 

1996 | Book | LibreCat-ID: 19135
Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition)
N.O. Eke, Richard Beer-Hofmann: Die Historie von König David und andere dramatische Entwürfe (Edition), Igel, Paderborn, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 11854
Robust Rejection Modeling for a Small-Vocabulary Application
D. Langmann, R. Haeb-Umbach, T. Eisele, in: ITG Fachtagung Sprachkommunikation, Frankfurt, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17927
Rodríguez-Consuegra, Francisco A., “Russell, Gödel and Logicism”, in: Czermak (Hg.) 1993 [9.4], 233–242
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 840.01023] (1996).
LibreCat
 

1996 | Journal Article | LibreCat-ID: 19958
Routing on Networks of Optical Crossbars (Extended Abstract).
F. Schwarze, F. Meyer auf der Heide, K. Schröder, Euro-Par 1996 I (1996) 299–306.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8896
Schwingungsverhalten eines Schaufelkranzes mit Reibelementen bei Frequenzverstimmung
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) - Lnformationstagung Turbinen, Frankfurt am Main, Germany, 1996, pp. 53–76.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13794
Se-induced 3d core-level shifts of GaAs(110)
P. Käckell, W.G. Schmidt, F. Bechstedt, Applied Surface Science 104–105 (1996) 141–146.
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 2443
Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition
J. Simon, J.-M. Wierum, in: Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe), Springer, Berlin / Heidelberg, 1996, pp. 627–632.
LibreCat | DOI
 

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 (Editor) | LibreCat-ID: 7796
Special Issue on Graph Transformations
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
LibreCat
 

1996 | Dissertation | LibreCat-ID: 3260
Specifying reactive systems with action dependencies: modelling and hierarchical design
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 10198
Star chromatic numbers of graphs
E. Steffen, X. Zhu, Combinatorica 16 (1996) 439–448.
LibreCat
 

1996 | Book Review | LibreCat-ID: 19554
Stefan Scherer: Richard Beer-Hofmann und die Wiener Moderne. Tübingen: Max Niemeyer Verlag, 1993
N.O. Eke, Zeitschrift für deutsche Philologie 115 (1996) 307–310.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 16699
Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, Algorithmica (1996) 413–427.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13789
Structure of the diamond (111) surface: Single-dangling-bond versus triple-dangling-bond face
A. Scholze, W.G. Schmidt, F. Bechstedt, Physical Review B 53 (1996) 13725–13733.
LibreCat | DOI
 

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 | Book (Editor) | LibreCat-ID: 18553
Texte – Konstitution, Verarbeitung, Typik
S. Michaelis, D. Tophinke, eds., Texte – Konstitution, Verarbeitung, Typik, Lincom, München, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 16533
The Computation of Unstable Manifolds Using Subdivision and Continuation
M. Dellnitz, A. Hohmann, in: Nonlinear Dynamical Systems and Chaos, Basel, 1996.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 9626 LibreCat
 

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
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed