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.

230 Publications


2000 | Report | LibreCat-ID: 8209
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, On the Concurrent Semantics of Open Graph Transformation Systems and Views. 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7864
R. Depke, M. Langham, B. Lütkemeier, and S. Thöne, “Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen,” in Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7876
J. Hendrik Hausmann, “Graphtransitionsregeln zur Beschreibung der Semantik von UML,” in Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), 2000, pp. 103–107.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8456
H.-H. Kremer and P. F. E. Sloane, “Lern- und Maßnahmeerfolg ‘Fächer- und Lernortübergreifender Lehr- Lernarrangements’ - Erste Projektergebnisse,” in Berufliche Bildung in Deutschland für das 21. Jahrhundert, F. J. Kaiser, Ed. Nürnberg, 2000, pp. 135–144.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8329
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung,” in Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8331
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency of Double-Pullback Graph Transitions,” in Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8336
R. Depke, R. Heckel, and J. Küster, “Deploying Agents in an Electronic Banking Environment,” in Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8343
R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML,” in Proceedings of the 7th GI-Workshop GROOM, 2000, vol. 20, no. 2, pp. 43–44.
LibreCat
 

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

2000 | Conference Paper | LibreCat-ID: 8920
W. Sextro, “The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification,” in International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, 2000, pp. 1–8.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16553
M. Dellnitz, G. Froyland, and S. Sertl, “A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator,” in Equadiff 99, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16616
O. Junge, “Rigorous discretization of subdivision techniques,” in Equadiff 99, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17018
M. Dellnitz, O. Junge, M. Rumpf, and R. Strzodka, “The computation of an unstable invariant set inside a cylinder containing a knotted flow,” in Equadiff 99, 2000, pp. 1053--1059.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17525
V. Peckhaus, “Kantianer oder Neukantianer? Über die Schwierigkeiten, Frege der Philosophie seiner Zeit zuzuordnen,” in Gottlob Frege — Werk und Wirkung. Mit den unveröffentlichten Vorschlägen für ein Wahlgesetz von Gottlob Frege, G. Gabriel and U. Dathe, Eds. Paderborn: mentis, 2000, pp. 191--209.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 18150
M. Ziegler and C. Sohler, “Computing Cut Numbers,” in Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18345
V. Peckhaus, “Boolos, George; Heck, Richard G. jun., ‘Die Grundlagen der Arithmetik, §§ 82–3’, in: Matthias Schirn (Hg.), The Philosophy of Mathematics Today. Papers from a Conference, Munich, Germany, June 28–July 4, 1993, Clarendon Press: Oxford 1998, 407–428,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 935.03008]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18338
V. Peckhaus, “Arsac, Jacques, «Les langages de programmation: une moderne Babel», C.R. Académie des Sciences (Paris). La vie des Sciences 13, Nr. 1 (1996), 25–37,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 927.68015]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18340
V. Peckhaus, “Landini, Gregory, Russell’s Hidden Substitutional Theory, Oxford University Press: Oxford 1998,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 933.03002]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18357
V. Peckhaus, “Mancosu, Paolo, ‘Between Russell and Hilbert: Behmann on the Foundations of Mathematics’, Bulletin of Symbolic Logic 5 (1999), 303–330,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 942.030029]. 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 18446
K. Lorys, R. Wanka, B. Oesterdiekhoff, and M. Kutylowski, “Periodification Scheme: Constructing Sorting Networks with Constant Period,” Journal of the ACM, vol. 45, pp. 944–967, 2000.
LibreCat
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed