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.

185 Publications


2000 | Conference Paper | LibreCat-ID: 8330
Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany), Berlin, Germany, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8335
Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML
R. Depke, R. Heckel, J. Küster, in: Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (Satellite Event of the ICSE 2000), Limerick (Ireland), University of Limerick, Limerick, Ireland, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8342
Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!
G. Engels, A. Zamperoni, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), Springer, Berlin/Heidelberg, 2000, pp. 359–368.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8347
Visualisierung der Synchronisation von Java-Threads mit UML
K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 17524
Scientific Progress and Changes of Order Hierarchies of Scientific Disciplines
V. Peckhaus, in: E. Grosholz, H. Breger (Eds.), The Nature of Growth of Mathematical Knowledge, Kluwer Academic Publishers, Dordrecht/Boston/London, 2000, pp. 363–376.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 17529
El pragmatismo del programa de Hilbert
V. Peckhaus, in: Cuadernos del Sur. Filosofía, 2000, pp. 181–194.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10182
Bounds for the independence number of critical graphs
G. Brinkmann, S.A. Choudum, S. Grünewald, E. Steffen, Bull. London Math. Soc. 32 (2000) 137–140.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10606
Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems
M. Eisenring, M. Platzner, IEE Proceedings -- Computers & Digital Techniques 147 (2000) 159–165.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 11779
Data-driven Phonetic Regression Class Tree Estimation for MLLR Adaptation
R. Haeb-Umbach, in: International Conference on Spoken Language Processing (ICSLP 2000), 2000.
LibreCat | Download (ext.)
 

2000 | Book Chapter | LibreCat-ID: 13763
Large-Scale Applications of Real-Space Multigrid Methods to Surfaces, Nanotubes and Quantum Transport
J. Bernholc, E.L. Briggs, C. Bungaro, M. Buongiorno Nardelli, J.-L. Fattebert, K. Rapcewicz, C. Roland, W.G. Schmidt, Q. Zhao, in: Computer Simulation of Materials at Atomic Level, physica status solidi (b), 2000, pp. 685–701.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13756
First-principles study of (2×1) and (2×2) phosphorus-rich InP(001) surfaces
O. Pulci, K. Lüdge, W.G. Schmidt, F. Bechstedt, Surface Science 464 (2000) 272–282.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 15389
In-line concentration measurement in complex liquids using ultrasonic sensors
B. Henning, P.-C. Daur, S. Prange, K. Dierks, P. Hauptmann, Ultrasonics (2000) 799–803.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 14999
Developing effective navigation techniques in virtual 3d environments
S. Volbracht, G. Domik, in: Virtual Environments 2000, Springer, 2000, pp. 55–64.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15808
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France, 2000, pp. 7–16.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16495
Data management in hierarchical bus networks
F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2143
Efficient Communication Strategies for Ad Hoc Wireless Networks
M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2148
Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma
A. Czumaj, C. Scheideler, Random Struct. Algorithms 17 (2000) 213--237.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2150 LibreCat | Files available
 

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
 

2000 | Journal Article | LibreCat-ID: 2585
Funktionales Qualitätscontrolling bei mehrstufiger Fertigung
S. Betz, Zeitschrift für Planung 11 (2000) 169–193.
LibreCat
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed