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.

14279 Publications


2001 | Conference Paper | LibreCat-ID: 7880
Compositional Modeling of Reactive Systems Using Open Nets
P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7885
A methodology for specifying and analyzing consistency of object-oriented behavioral models
G. Engels, J. Küster, L. Groenewegen, R. Heckel, in: Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), ACM Press, New York, NY, USA, 2001, pp. 186–195.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7892
Towards Behavior Consistent Modeling in UML-RT
J. Küster, in: Proceedings of the Forum on Design Languages (FDL’01), Lyon, France, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8129
Development of an All-in-one Solar Home System
F. Ochs, S. Krauter, in: Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2595–2597, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8131
Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation
S. Krauter, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8357
Agent-oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 8922
Heat and Wear Generation for Rolling Contacts
W. Sextro, Zeitschrift Für Angewandte Mathematik Und Mechanik (ZAMM) 81 (2001) 225–226.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 8864
Players, Playthings and Patterns: Three Stages of Heteronomy in Beckett's Mature Drama
M. Tönnies, Samuel Beckett Today / Aujourd’hui: Endlessness in the Year 2000 / Fin sans Fin En l’an 2000 11 (2001) 194–201.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 996
Relative jitter packet scheduling for differentiated services
T. Quynh, H. Karl, A. Wolisz, K. Rebensburg, in: Proc. 9th IFIP Conf. Perf. Modeling and Eval. of ATM & IP Networks, 2001.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 17027
The numerical detection of connecting orbits
M. Dellnitz, O. Junge, B. Thiere, Discrete & Continuous Dynamical Systems - B 1 (2001) 125–135.
LibreCat | DOI
 

2001 | Book Chapter | LibreCat-ID: 16598
Extracting Dynamical Behavior via Markov Models
G. Froyland, in: Nonlinear Dynamics and Statistics, Boston, MA, 2001.
LibreCat | DOI
 

2001 | Journal Article | LibreCat-ID: 16601
Rigorous computation of topological entropy with respect to a finite partition
G. Froyland, O. Junge, G. Ochs, Physica D: Nonlinear Phenomena (2001) 68–84.
LibreCat | DOI
 

2001 | Book Chapter | LibreCat-ID: 16555
The Algorithms Behind GAIO — Set Oriented Numerical Methods for Dynamical Systems
M. Dellnitz, G. Froyland, O. Junge, in: Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems, Berlin, Heidelberg, 2001.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 18152
A Computable Spectral Theorem
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 16492
The randomized z-buffer algorithm
M. Wand, M. Fischer, I. Peter, F. Meyer auf der Heide, W. Straßer, in: Proceedings of the 28th Annual Conference on Computer Graphics and Interactive Techniques  - SIGGRAPH ’01, 2001.
LibreCat | DOI
 

2001 | Book Review | LibreCat-ID: 18378
Wehmeier, Kai F., “Consistent Fragments of Grundgesetze and the Existence of Non-logical Objects”, Synthese 121 (1999), 309–328
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 952.03068] (2001).
LibreCat
 

2001 | Book Review | LibreCat-ID: 18392
Pelletier, Francis Jeffry, “Did Frege Believe Frege’s Principle?”, Journal of Logic, Language, and Information 10 (2001), 87–114
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 970.03002] (2001).
LibreCat
 

2001 | Book Review | LibreCat-ID: 18380
Schirn, Matthias (Hg.), Frege: Importance and Legacy, Walter de Gruyter: Berlin 1996 (Perspectives in Analytical Philosophy; 13)
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 953.03005] (2001).
LibreCat
 

2001 | Book Review | LibreCat-ID: 18385
Casti, John L./DePauli, Werner, Gödel: A Life of Logic, Perseus Publishing: Cambridge, Mass. 2000
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 961.01021] (2001).
LibreCat
 

2001 | Book Chapter | LibreCat-ID: 18330
Sprachliches Handeln, Kommunikantenrollen, Beziehungsaspekte
D. Tophinke, in: M. Haspelmath, E. König, W. Oesterreicher, W. Raible (Eds.), Sprachtypologie und sprachliche Universalien. Ein Internationales Handbuch. 1. Halbband, New York: de Gruyter, Berlin, 2001, pp. 444–467.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed