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.
1049 Publications
1998 | Conference Paper | LibreCat-ID: 3255
A Process Algebra Semantics for {MSC} Including Conditions
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig, P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
LibreCat
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig, P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
1998 | Conference Paper | LibreCat-ID: 20746
Kleben abzeichnungsfreier Leichtbaustrukturen durch Prozeß-, Gestalt- und Klebstoffoptimierung
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zum 6. Paderborner Symposium Fügetechnik, 1998, pp. 210–218.
LibreCat
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zum 6. Paderborner Symposium Fügetechnik, 1998, pp. 210–218.
1998 | Book (Editor) | LibreCat-ID: 53587
Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
W. Müller, F.J. Rammig, eds., Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen, Paderborn, Germany, 1998.
LibreCat
W. Müller, F.J. Rammig, eds., Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen, Paderborn, Germany, 1998.
1997 | Dissertation | LibreCat-ID: 19631
Communication Efficient Parallel Searching
A. Bäumker, Communication Efficient Parallel Searching, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
A. Bäumker, Communication Efficient Parallel Searching, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
1997 | Dissertation | LibreCat-ID: 19636
Communication and I/O Efficient Parallel Data Structures
W. Dittrich, Communication and I/O Efficient Parallel Data Structures, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
W. Dittrich, Communication and I/O Efficient Parallel Data Structures, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
1997 | Dissertation | LibreCat-ID: 19637
Bounded Degree Spanning Trees
W.-B. Strothmann, Bounded Degree Spanning Trees, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
| Files available
W.-B. Strothmann, Bounded Degree Spanning Trees, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
1997 | Book | LibreCat-ID: 17447
Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
LibreCat
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
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
J. Simon, J.-M. Wierum, in: Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe), Springer, Berlin / Heidelberg, 1996, pp. 627–632.
1996 | Book | LibreCat-ID: 3385
Repetitorium Mikroökonomik
T. Gries, G. Sieg, H. Strulik, Repetitorium Mikroökonomik, Springer-Verlag, Berlin Heidelberg, 1996.
LibreCat
T. Gries, G. Sieg, H. Strulik, Repetitorium Mikroökonomik, Springer-Verlag, Berlin Heidelberg, 1996.
1996 | Journal Article | LibreCat-ID: 19314
Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde
E.-M. Seng, R. Saage, Zeitschrift für Geschichtswissenschaft, Heft 8, (1996) 677–602.
LibreCat
E.-M. Seng, R. Saage, Zeitschrift für Geschichtswissenschaft, Heft 8, (1996) 677–602.
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
W.G. Schmidt, P. Käckell, F. Bechstedt, Surface Science 357–358 (1996) 545–549.
1996 | Book Chapter | LibreCat-ID: 19412
Die Revolution, der Schrecken und das Neue. Konzepte von Legitimität und historischer Gewalt in deutschen Revolutionsdramen um 1800
N.O. Eke, in: R. Schöwerling, H. Steinecke, G. Tiggesbäumker (Eds.), Literatur und Erfahrungswandel 1789-1830. Beiträge des 2. Internationalen Corvey-Symposions 8.-12. Juni 1993 in Paderborn, Fink, München, 1996, pp. 121–156.
LibreCat
N.O. Eke, in: R. Schöwerling, H. Steinecke, G. Tiggesbäumker (Eds.), Literatur und Erfahrungswandel 1789-1830. Beiträge des 2. Internationalen Corvey-Symposions 8.-12. Juni 1993 in Paderborn, Fink, München, 1996, pp. 121–156.
1995 | Dissertation | LibreCat-ID: 19623
Contention Resolution in Hashing Based Shared Memory Simulations
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
1995 | Dissertation | LibreCat-ID: 19627
Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations
A. Czumaj, Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
| Files available
A. Czumaj, Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
1995 | Dissertation | LibreCat-ID: 19630
Eine Bibliothek von Basisdiensten für Parallelrechner: Routing, Synchronisation, gemeinsamer Speicher
A. Wachsmann, Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
A. Wachsmann, Eine Bibliothek von Basisdiensten Für Parallelrechner: Routing, Synchronisation, Gemeinsamer Speicher, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
1995 | Dissertation | LibreCat-ID: 19634
Space-Bounded Learning Algorithms
F. Ameur, Space-Bounded Learning Algorithms, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
F. Ameur, Space-Bounded Learning Algorithms, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
1995 | Journal Article | LibreCat-ID: 16532
Admissible symmetry increasing bifurcations
M. Dellnitz, C. Heinrich, Nonlinearity (1995) 1039–1066.
LibreCat
| DOI
M. Dellnitz, C. Heinrich, Nonlinearity (1995) 1039–1066.
1995 | Journal Article | LibreCat-ID: 16542
A note on the shadowing lemma and symmetric periodic points
M. Dellnitz, I. Melbourne, Nonlinearity (1995) 1067–1075.
LibreCat
| DOI
M. Dellnitz, I. Melbourne, Nonlinearity (1995) 1067–1075.
1995 | Book | LibreCat-ID: 17446
Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften
V. Peckhaus, Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften, Hallescher Verlag, Halle/Saale, 1995.
LibreCat
V. Peckhaus, Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften, Hallescher Verlag, Halle/Saale, 1995.
1994 | Conference Paper | LibreCat-ID: 43450
Coherent Dynamics of Exciton Wavepackets in Semiconductor Heterostructures
T. Meier, M. Koch, J. Feldmann, E.O. Göbel, F. Jahnke, W. Schäfer, P. Thomas, S.W. Koch, H. Nickel, S. Luttgen, W. Stolz, in: Proceedings Der 8. International Winterschool on New Developments in Physics, IOP Publishing, 1994, pp. 1965–1971.
LibreCat
| DOI
| Download (ext.)
T. Meier, M. Koch, J. Feldmann, E.O. Göbel, F. Jahnke, W. Schäfer, P. Thomas, S.W. Koch, H. Nickel, S. Luttgen, W. Stolz, in: Proceedings Der 8. International Winterschool on New Developments in Physics, IOP Publishing, 1994, pp. 1965–1971.
1994 | Conference Paper | LibreCat-ID: 44280
Field-induced dynamics of a wave packet in a wide superlattice miniband
T. Meier, G. von Plessen, J. Feldmann, E.O. Göbel, P. Thomas, K.W. Goossen, J.M. Kuo, R.F. Kopf, in: International Quantum Electronics Conference, 1994.
LibreCat
| Download (ext.)
T. Meier, G. von Plessen, J. Feldmann, E.O. Göbel, P. Thomas, K.W. Goossen, J.M. Kuo, R.F. Kopf, in: International Quantum Electronics Conference, 1994.
1992 | Conference Paper | LibreCat-ID: 2460
Implementierung von Simulated Annealing auf Transputer-Systemen
R. Diekmann, R. Lüling, B. Monien, J. Simon, in: Parallele Datenverarbeitung Mit Dem Transputer, Springer, Berlin / Heidelberg, 1992, pp. 361–368.
LibreCat
| DOI
R. Diekmann, R. Lüling, B. Monien, J. Simon, in: Parallele Datenverarbeitung Mit Dem Transputer, Springer, Berlin / Heidelberg, 1992, pp. 361–368.
1992 | Conference Abstract | LibreCat-ID: 17828
Wozu Algebra der Logik? Zum Lebenswerk von Ernst Schröder [Abstract]
V. Peckhaus, in: C. Binder (Ed.), III. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 8. bis 14. November 1992. Umwege, Abschneider und Sackgassen ... über Abweichungen vom „normalen“ Gang der Entwicklung. Kurzfassungen der Vorträge, Wien, 1992, pp. 55–59.
LibreCat
V. Peckhaus, in: C. Binder (Ed.), III. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 8. bis 14. November 1992. Umwege, Abschneider und Sackgassen ... über Abweichungen vom „normalen“ Gang der Entwicklung. Kurzfassungen der Vorträge, Wien, 1992, pp. 55–59.
1991 | Journal Article | LibreCat-ID: 19438
Die deutschsprachige Literatur Osteuropas und ihre Rezeption in der Bundesrepublik. Probleme und Chancen einer 'kleinen Literatur'
N.O. Eke, Deutsche Studien 29 29 (1991) 30–50.
LibreCat
N.O. Eke, Deutsche Studien 29 29 (1991) 30–50.
1991 | Conference Paper | LibreCat-ID: 16912
Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge
G. Domik, K. Mickus, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
LibreCat
G. Domik, K. Mickus, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
1990 | Conference Paper | LibreCat-ID: 11800 |
Coding and Signal Processing for a Magneto-optic Resonant Bias Coil Overwrite Experiment
R. Haeb-Umbach, D. Rugar, T. Howell, G.P. Coleman, in: International Conference on Communication, Atlanta, 1990.
LibreCat
| Download (ext.)
R. Haeb-Umbach, D. Rugar, T. Howell, G.P. Coleman, in: International Conference on Communication, Atlanta, 1990.
1989 | Journal Article | LibreCat-ID: 19818
Projections of vector addition system reachability sets are semilinear
H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, E.W. Mayr, Theoretical Computer Science (1989) 343–350.
1988 | Dissertation | LibreCat-ID: 29882
Modellierung der dissipativen Eigenschaften linearer passiver Systeme unter Verwendung der Distributionentheorie
J. Böcker, Modellierung der dissipativen Eigenschaften linearer passiver Systeme unter Verwendung der Distributionentheorie, VDI-Verlag, 1988.
LibreCat
| Files available
| Download (ext.)
J. Böcker, Modellierung der dissipativen Eigenschaften linearer passiver Systeme unter Verwendung der Distributionentheorie, VDI-Verlag, 1988.
1985 | Journal Article | LibreCat-ID: 16823
Lower time bounds for solving linear diophantine equations on several parallel computational models
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
LibreCat
| DOI
F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.