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.

331 Publications

2000 | Journal Article | LibreCat-ID: 7691
@article{Diaconescu_Hoch_Heidtkamp_Meier_Reuter_Wieck_2000, title={A new peak in the bend resistance of a four-terminal device written by FIB implantation}, volume={284–288}, DOI={10.1016/s0921-4526(99)03002-1}, journal={Physica B: Condensed Matter}, publisher={Elsevier BV}, author={Diaconescu, Dorina and Hoch, Sascha and Heidtkamp, Christian and Meier, Cedrik and Reuter, Dirk and Wieck, Andreas D}, year={2000}, pages={1906–1907} }
LibreCat | DOI

2000 | Conference Paper | LibreCat-ID: 7692
@inproceedings{Reuter_Meier_Alvarez_Koch_Wieck_2000, title={Laterally resolved doping by focused ion beam implantation}, booktitle={IECON Proc. }, author={Reuter, D. and Meier, Cedrik and Alvarez, M. A. and Koch, J. and Wieck, A. D.}, year={2000}, pages={1878} }

2000 | Conference Paper | LibreCat-ID: 8341
@inproceedings{Gadducci_Heckel_Koch_2000, place={London, UK}, series={LNCS}, title={A Fully Abstract Model for Graph-Interpreted Temporal Logic}, volume={1764}, DOI={}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={2000}, pages={310–322}, collection={LNCS} }
LibreCat | DOI

2000 | Conference Paper | LibreCat-ID: 8342
@inproceedings{Engels_Zamperoni_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}, volume={1779}, DOI={}, booktitle={Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}, publisher={Springer}, author={Engels, Gregor and Zamperoni, Andreas}, year={2000}, pages={359–368}, collection={LNCS} }
LibreCat | DOI

2000 | Conference Paper | LibreCat-ID: 8343
@inproceedings{Heckel_Sauer_2000, title={Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}, volume={20}, number={2}, booktitle={Proceedings of the 7th GI-Workshop GROOM}, publisher={University of Koblenz-Landau}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={43–44} }

2000 | Conference Paper | LibreCat-ID: 8344
@inproceedings{Heckel_Sauer_2000, place={Munich (Germany)}, title={Strengthening the Semantics of UML Collaboration Diagrams}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={63–69} }

2000 | Conference Paper | LibreCat-ID: 8345
@inproceedings{Küster_Stroop_2000, place={York, UK}, title={Towards Consistency of Dynamic Models and Analysis of Timing Constraints}, booktitle={Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)}, publisher={University of York}, author={Küster, Jochen and Stroop, Joachim}, year={2000} }

2000 | Conference Paper | LibreCat-ID: 8346
@inproceedings{Mehner_Schattkowsky_2000, title={Methodische Aspekte von Modellierungssprachen für nebenläufige Software}, volume={24}, booktitle={Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)}, publisher={Universität Münster}, author={Mehner, Katharina and Schattkowsky, Tim}, year={2000}, pages={14–18} }

2000 | Conference Paper | LibreCat-ID: 8347
@inproceedings{Mehner_Wagner_2000, series={Koblenzer Schriften zur Informatik}, title={Visualisierung der Synchronisation von Java-Threads mit UML}, volume={15}, booktitle={Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)}, publisher={Fölbach}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, collection={Koblenzer Schriften zur Informatik} }

2000 | Book Chapter | LibreCat-ID: 8422
@inbook{Kremer_Sloane_2000, place={Seelze-Velber}, title={Existenzgründung: Kapitalbedarfsermittlung und -beschaffung}, booktitle={Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe}, author={Kremer, H.-Hugo and Sloane, Peter F. E.}, editor={Pahl, J.-P. and Rach, G.Editors}, year={2000}, pages={191–225} }

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed