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.

9502 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: 8455
Lernfeldkonzept - Erste Umsetzungserfahrungen und Konsequenzen für die Implementation
H.-H. Kremer, P.F.E. Sloane, in: R. Bader, P.F.E. Sloane (Eds.), Lernen in Lernfeldern - Theoretische Analysen und Gestaltungsansätze zum Lernfeldkonzept, Markt Schwaben, 2000, pp. 71–84.
LibreCat
 

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

2000 | Journal Article | LibreCat-ID: 10725
Toward embedded qualitative simulation: a specialized computer architecture for QSim
M. Platzner, B. Rinner, R. Weiss, IEEE Intelligent Systems 15 (2000) 62–68.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8917 LibreCat
 

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

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

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

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

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

2000 | Journal Article | LibreCat-ID: 16196
Fuzzy dynamics and applications in biological systems modelling
E. Hüllermeier, C. Giersch, Systems Analysis,  Modelling, Simulation 38 (2000) 29–50.
LibreCat
 

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

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
 

Search

Filter Publications

Display / Sort

Export / Embed