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.
8593 Publications
2001 | Conference Paper | LibreCat-ID: 39406
Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie
S. Flake, W. Müller, (2001).
LibreCat
S. Flake, W. Müller, (2001).
2001 | Book Chapter | LibreCat-ID: 40550
Theologische Musik? Neue Musik? Messiaen, die evangelische Kirchenmusik und die Moderne
R. Grotjahn, in: H. Bergmeier (Ed.), Le Sacre. Musik – Ritus – Religiosität; Biennale Neue Musik Hannover 2001, Pfau, Saarbrücken, 2001, pp. 143–156.
LibreCat
R. Grotjahn, in: H. Bergmeier (Ed.), Le Sacre. Musik – Ritus – Religiosität; Biennale Neue Musik Hannover 2001, Pfau, Saarbrücken, 2001, pp. 143–156.
2001 | Conference Paper | LibreCat-ID: 40907
Low-rank approximation of improper complex random vectors
P.J. Schreier, L.L. Scharf, in: Proc. 35th\ Asilomar Conf.\ Signals Syst.\ Computers, 2001, pp. 597–601.
LibreCat
| DOI
P.J. Schreier, L.L. Scharf, in: Proc. 35th\ Asilomar Conf.\ Signals Syst.\ Computers, 2001, pp. 597–601.
2001 | Journal Article | LibreCat-ID: 26003
Mesoporous Aluminophosphate Molecular Sieves Synthesized under Nonaqueous Conditions
M. Tiemann, M. Schulz, C. Jäger, M. Fröba, Chemistry of Materials (2001) 2885–2891.
LibreCat
| DOI
M. Tiemann, M. Schulz, C. Jäger, M. Fröba, Chemistry of Materials (2001) 2885–2891.
2001 | Book Chapter | LibreCat-ID: 43303
Coulomb correlation signatures in the excitonic optical nonlinearities of semiconductors
T. Meier, S.W. Koch, in: K.T. Tsen (Ed.), Ultrafast Physical Processes in Semiconductors, Elsevier, 2001, pp. 231–313.
LibreCat
| DOI
| Download (ext.)
T. Meier, S.W. Koch, in: K.T. Tsen (Ed.), Ultrafast Physical Processes in Semiconductors, Elsevier, 2001, pp. 231–313.
2001 | Journal Article | LibreCat-ID: 43308
Correlation effects in the excitonic optical properties of semiconductors
T. Meier, M. Kira, S.W. Koch, Journal of Optics B: Quantum and Semiclassical Optics 3 (2001).
LibreCat
| DOI
| Download (ext.)
T. Meier, M. Kira, S.W. Koch, Journal of Optics B: Quantum and Semiclassical Optics 3 (2001).
2001 | Book Chapter | LibreCat-ID: 43564
Kasualgottesdienst und Kausalmusik. Gemeindekulturpädagogisches Thema mit 6 Variationen
H. Schroeter-Wittke, in: G. Fermor, G. Ruddat, H. Schroeter-Wittke (Eds.), Gemeindekulturpädagogik, 2001, pp. 193–212.
LibreCat
H. Schroeter-Wittke, in: G. Fermor, G. Ruddat, H. Schroeter-Wittke (Eds.), Gemeindekulturpädagogik, 2001, pp. 193–212.
2001 | Journal Article | LibreCat-ID: 44618 | 
body natural / body video / body politic
R. Adelmann, https://nachdemfilm.de/issues/no-3-video-und-ueberwachung (2001).
LibreCat
| Download (ext.)
R. Adelmann, https://nachdemfilm.de/issues/no-3-video-und-ueberwachung (2001).
2001 | Conference Paper | LibreCat-ID: 56571
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.
LibreCat
| DOI
V. Haarslev, R. Möller, A.-Y. Turhan, in: R. Goré, A. Leitsch, T. Nipkow (Eds.), Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, Springer, 2001, pp. 61–75.
2001 | Conference Paper | LibreCat-ID: 56572
TBoxes do not Yield a Compact Representation of Least Common Subsumers
F. Baader, A.-Y. Turhan, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
LibreCat
F. Baader, A.-Y. Turhan, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
2001 | Conference Paper | LibreCat-ID: 56573
Using Lazy Unfolding for the Computation of Least Common Subsumers
A.-Y. Turhan, R. Molitor, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
LibreCat
A.-Y. Turhan, R. Molitor, in: C.A. Goble, D.L. McGuinness, R. Möller, P.F. Patel-Schneider (Eds.), Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, CEUR-WS.org, 2001.
2001 | Book Review | LibreCat-ID: 31426
[Rezension zu:] SPOLIA VETVSTATIS. Die Verwandlung der heidnisch-antiken Tradition in Jakob Baldes marianischen Wallfahrten: Parthenia, Silvae II 3 (1643), eingel., hg., übers. u. erl. v. Andreas Heider, München 1999 (Münchner Balde-Studien 1), zugl. München, Univ. Diss. 1992
S. Elit, Journal of Neo-Latin Language and Literature, NlatJb 3 (2001) 231–235.
LibreCat
S. Elit, Journal of Neo-Latin Language and Literature, NlatJb 3 (2001) 231–235.
2000 | Dissertation | LibreCat-ID: 19620
Communication in Parallel Systems-Models, Algorithms and Implementations
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
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
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
2000 | Dissertation | LibreCat-ID: 2434
Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern
J. Simon, Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern, Dr. Dirk Blunk Verlag, 2000.
LibreCat
J. Simon, Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern, Dr. Dirk Blunk Verlag, 2000.
2000 | Conference Paper | LibreCat-ID: 3249
Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat
| DOI
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
2000 | Conference Paper | LibreCat-ID: 3250
Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods
H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.
LibreCat
| DOI
H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.
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
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.
2000 | Book Chapter | LibreCat-ID: 3023
Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
LibreCat
| DOI
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
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
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.