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
Depke R, Heckel R, Küster J. Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design. In: Proceedings of the Workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany). Berlin, Germany; 2000.
LibreCat
 

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

2000 | Conference Paper | LibreCat-ID: 8342
Engels G, Zamperoni A. Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands). Vol 1779. LNCS. Berlin/Heidelberg: Springer; 2000:359-368. doi:http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat | DOI
 

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

2000 | Book Chapter | LibreCat-ID: 17524
Peckhaus V. Scientific Progress and Changes of Order Hierarchies of Scientific Disciplines. In: Grosholz E, Breger H, eds. The Nature of Growth of Mathematical Knowledge. Vol 289. Synthese Library. Dordrecht/Boston/London: Kluwer Academic Publishers; 2000:363-376.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 17529
Peckhaus V. El pragmatismo del programa de Hilbert. In: Cuadernos del Sur. Filosofía. Vol 30. ; 2000:181-194.
LibreCat
 

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

2000 | Journal Article | LibreCat-ID: 10606
Eisenring M, Platzner M. Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems. IEE Proceedings -- Computers & Digital Techniques. 2000;147:159-165. doi:10.1049/ip-cdt:20000496
LibreCat | DOI
 

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

2000 | Book Chapter | LibreCat-ID: 13763
Bernholc J, Briggs EL, Bungaro C, et al. Large-Scale Applications of Real-Space Multigrid Methods to Surfaces, Nanotubes and Quantum Transport. In: Computer Simulation of Materials at Atomic Level. Vol 1. 217. physica status solidi (b); 2000:685-701. doi:10.1002/3527603107.ch33
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13756
Pulci O, Lüdge K, Schmidt WG, Bechstedt F. First-principles study of (2×1) and (2×2) phosphorus-rich InP(001) surfaces. Surface Science. 2000;464:272-282. doi:10.1016/s0039-6028(00)00729-9
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 15389
Henning B, Daur P-C, Prange S, Dierks K, Hauptmann P. In-line concentration measurement in complex liquids using ultrasonic sensors. Ultrasonics. 2000:799-803. doi:10.1016/s0041-624x(99)00190-0
LibreCat | DOI
 

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

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

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

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

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

2000 | Conference Paper | LibreCat-ID: 2150
Czumaj A, Scheideler C. A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract). In: STOC. ACM; 2000:38--47.
LibreCat | Files available
 

2000 | Dissertation | LibreCat-ID: 2434
Simon J. Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern. Dr. Dirk Blunk Verlag; 2000.
LibreCat
 

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

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed