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


2000 | Dissertation | LibreCat-ID: 19621
Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat | Files available
 

2000 | Habilitation | LibreCat-ID: 19784
Probabilistic Methods for Coordination Problems
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 3251
Behavioural Subtyping and Property Preservation
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 20994
Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20995
Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
LibreCat
 

2000 | Report | LibreCat-ID: 21001
Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile
O. Hahn, G. Meschut, M. Eis, G. Kötting, Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 21003
Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, S. Schumann, in: Paderborn, 2000, pp. 199–210.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16345 LibreCat | Files available
 

2000 | Dissertation | LibreCat-ID: 30398
Online-Schätzung von mechanischen Parametern, Kennlinien und Zustandsgrößen geregelter elektrischer Antriebe
S. Beinecke, Online-Schätzung von mechanischen Parametern, Kennlinien und Zustandsgrößen geregelter elektrischer Antriebe , 2000.
LibreCat | Download (ext.)
 

2000 | Book (Editor) | LibreCat-ID: 31510
Gestik. Figuren des Körpers in Text und Bild
M. Egidi, O. Schneider, M. Schöning, I. Schütze, C. Torra-Mattenklott, eds., Gestik. Figuren des Körpers in Text und Bild, (Literatur und Anthropologie 8), Tübingen, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 31518
„Riskante Gesten. Einleitung“
M. Egidi, O. Schneider, M. Schöning, in: dies (Ed.), Gestik. Figuren des Körpers in Text und Bild (Literatur und Anthropologie 8), Tübingen, 2000, pp. 11–41.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 36301
Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion
P. Böhme, F. Kessl, R. Heil, T. Reinke, eds., Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion, Luchterhand Verlag, Neuwied/Kriftel, 2000.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3252
Partial order reductions for failures refinement
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 20953
Kleben dünnwandiger Fahrzeugkomponenten aus Stahl
M. Eis, O. Hahn, G. Meschut, in: Tagungsband Zur Werkstoffwoche 1998, Wiley-VCH Verlag, Weinheim, 1999, pp. 327–332.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 20954
Quasistationäre Meßmethode zur Ermittlung der Wärmeleitfähigkeit von Klebverbindungen
O. Hahn, G. Meschut, M. Koyro, in: Tagungsband Zur Werkstoffwoche 1998, Wiley-VCH Verlag, Weinheim, 1999, pp. 357–360.
LibreCat
 

1999 | Dissertation | LibreCat-ID: 18942
New Results on Geometric Spanners and Their Applications
T. Lukovszki, New Results on Geometric Spanners and Their Applications, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1999.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 11805 | OA
A study of broadcast news audio stream segmentation and segment clustering
M.J. Harris, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, in: Eurospeech, 1999.
LibreCat | Download (ext.)
 
 

1999 | Misc | LibreCat-ID: 52638
Entwicklung und Transfer von Entwicklungssystemen der Mechatronik
W. Demel, G. Schmitz, Entwicklung Und Transfer von Entwicklungssystemen Der Mechatronik, 1999.
LibreCat
 

1998 | Dissertation | LibreCat-ID: 19639
Static and Dynamic Data Management in Networks
B. Vöcking, Static and Dynamic Data Management in Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat | Files available
 

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
 

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
 

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
 

1997 | Dissertation | LibreCat-ID: 19631
Communication Efficient Parallel Searching
A. Bäumker, Communication Efficient Parallel Searching, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1997.
LibreCat
 

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
 

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
 

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
 

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

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
 

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 | 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
 

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
 

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
 

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
 

1995 | Dissertation | LibreCat-ID: 19634
Space-Bounded Learning Algorithms
F. Ameur, Space-Bounded Learning Algorithms, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16532
Admissible symmetry increasing bifurcations
M. Dellnitz, C. Heinrich, Nonlinearity (1995) 1039–1066.
LibreCat | DOI
 

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
 

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
 

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.)
 

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.)
 

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
 

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
 

1991 | Journal Article | LibreCat-ID: 19438 LibreCat
 

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
 

1990 | Conference Paper | LibreCat-ID: 11800 | OA
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.)
 

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
 

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.)
 

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
 

Filters and Search Terms

isbn%3D3-931466-07-8

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed