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.

9276 Publications


2000 | Conference Paper | LibreCat-ID: 8330
R. Depke, R. Heckel, and J. Küster, “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), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8335
R. Depke, R. Heckel, and J. Küster, “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), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8342
G. Engels and A. Zamperoni, “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), 2000, vol. 1779, pp. 359–368.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8347
K. Mehner and A. Wagner, “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), 2000, vol. 15.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8455
H.-H. Kremer and P. F. E. Sloane, “Lernfeldkonzept - Erste Umsetzungserfahrungen und Konsequenzen für die Implementation,” in Lernen in Lernfeldern - Theoretische Analysen und Gestaltungsansätze zum Lernfeldkonzept, R. Bader and P. F. E. Sloane, Eds. Markt Schwaben, 2000, pp. 71–84.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10186
H. G. Carstens, T. Dinski, and E. Steffen, “Reductions of Symmetry configurations n3,” Discrete Applied Mathematics, vol. 99, pp. 401–411, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10725
M. Platzner, B. Rinner, and R. Weiss, “Toward embedded qualitative simulation: a specialized computer architecture for QSim,” IEEE Intelligent Systems, vol. 15, no. 2, pp. 62–68, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8917
T. Hemsel and J. Wallaschek, “Stand der Technik und Entwicklungsperspektiven linearer piezoelektrischer Schwingungsantriebe,” vol. 1533. D{\"u}sseldorf, pp. 147–166, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 13609
M. H. Eisenring and M. Platzner, “An Implementation Framework for Run-time Reconfigurable Systems,” in Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE), 2000, pp. 151–157.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13762
W. G. Schmidt and J. Bernholc, “Step-induced optical anisotropy of Si(111):H surfaces,” Physical Review B, vol. 61, no. 11, pp. 7604–7608, 2000.
LibreCat | DOI
 

2000 | Working Paper | LibreCat-ID: 14979
C. Sureth-Sloane, The Influence of Taxation on Partially Irreversible Investment Decisions – A Real Option Approach, vol. 462. 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15302
I. Gueroguieva, I. Nestorov, M. Rowland, and E. Hüllermeier, “In vitro-in vivo hepatic clearance prediction using fuzzy sets,” in in Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 , 2000, vol. 11, p. S22.
LibreCat
 

2000 | Habilitation | LibreCat-ID: 15496
R. Hagengruber, Nutzen und Allgemeinheit. Zu einigen grundlegenden Prinzipien der Praktischen Philosophie. Sankt Augustin: Academia, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 3247
C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS}, pp. 92--101, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2143
M. Adler and C. Scheideler, “Efficient Communication Strategies for Ad Hoc Wireless Networks,” Theory Comput. Syst., vol. 33, no. 5/6, pp. 337--391, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2148
A. Czumaj and C. Scheideler, “Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma,” Random Struct. Algorithms, vol. 17, no. 3–4, pp. 213--237, 2000.
LibreCat
 

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

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

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

2000 | Book | LibreCat-ID: 7509
E.-E. Doberkat, Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster, 2000.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed