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.

5309 Publications


2000 | Conference Paper | LibreCat-ID: 7872
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
G. Engels, R. Heckel, in: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), Springer, Berlin/Heidelberg, 2000, pp. 127–150.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7873
UML - A Universal Modeling Language?
G. Engels, R. Heckel, S. Sauer, in: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), Springer, Berlin/Heidelberg, 2000, pp. 24–38.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7875
Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), Springer, Berlin/Heidelberg, 2000, pp. 323–337.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 4894 LibreCat
 

2000 | Journal Article | LibreCat-ID: 7396
Graph Transformation and Visual Modeling Techniques
G. Engels, R. Heckel, Bulletin of the EATCS (2000) 186–202.
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 | Journal Article | LibreCat-ID: 8914
Survey of the present state of the art of piezoelectric linear motors
T. Hemsel, J. Wallaschek, Ultrasonics 38 (2000) 37–40.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8915
State of the art and development trends of ultrasonic linear motors
T. Hemsel, J. Wallaschek, in: Ultrasonics Symposium, 2000 IEEE, 2000, pp. 663–666 vol.1.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 8918
On some regularities in dynamic response of cyclic periodic structures
T. Krzyzynski, K. Popp, W. Sextro, Chaos, Solitons \& Fractals 11 (2000) 1597–1609.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8919
Optimization of Interblade Friction Damper
L. Panning, W. Sextro, K. Popp, in: International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, Munich, Germany, 2000, pp. 1–8.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 16496
Caching in networks
F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14844
Similarity-based inference as evidential reasoning
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 50–54.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 18617 | OA
Decay properties of the one-particle Green function in real space and imaginary time
A. Schindlmayr, Physical Review B 62 (2000) 12573–12576.
LibreCat | Files available | DOI | WoS | arXiv
 

2000 | Journal Article | LibreCat-ID: 27935 LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39444
Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39461
Structured English for Model Checking Specification
S. Flake, W. Müller, J. Ruf, (2000).
LibreCat
 

2000 | Journal Article | LibreCat-ID: 34899
Explicit Galois Realization of Transitive Groups of Degree up to 15
J. Klüners, G. Malle, Journal of Symbolic Computation 30 (2000) 675–716.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 26005
Nonaqueous Synthesis of Mesostructured Aluminophosphate/Surfactant Composites:  Synthesis, Characterization, and In-Situ SAXS Studies
M. Tiemann, M. Fröba, G. Rapp, S.S. Funari, Chemistry of Materials (2000) 1342–1348.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 26004
NMR Characterization of Mesostructured Aluminophosphates
M. Schulz, M. Tiemann, M. Fröba, C. Jäger, The Journal of Physical Chemistry B (2000) 10473–10481.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 43315
Coherent dynamics of photoexcited semiconductor superlattices in homogeneous electric fields
T. Meier, H.J. Kolbe, A. Thränhardt, G. Weiser, P. Thomas, S.W. Koch, Physica E: Low-Dimensional Systems and Nanostructures 7 (2000) 267–273.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

keyword%3D%22computers-as-social-actors%22

Search

Filter Publications

Display / Sort

Export / Embed