en
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.
14017 Publications
2000 | Book Chapter | LibreCat-ID: 7522
Coordinated Collaboration of Objects
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
LibreCat
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
2000 | Book Chapter | LibreCat-ID: 7560
Lernfeldkonzeption als curricularer Rahmen
H.-H. Kremer, P.F.E. Sloane, in: P.F.E. Sloane (Ed.), Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” Markt Schwaben, 2000, pp. 71–80.
LibreCat
H.-H. Kremer, P.F.E. Sloane, in: P.F.E. Sloane (Ed.), Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” Markt Schwaben, 2000, pp. 71–80.
2000 | Book Chapter | LibreCat-ID: 7565
Zur Fortführung des Forschungsprogramms
H.-H. Kremer, P.F.E. Sloane, in: P.F.E. Sloane (Ed.), Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” Markt Schwaben, 2000, pp. 130–134.
LibreCat
H.-H. Kremer, P.F.E. Sloane, in: P.F.E. Sloane (Ed.), Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” Markt Schwaben, 2000, pp. 130–134.
2000 | Conference Paper | LibreCat-ID: 8126
Sistemas híbridos termo-solares/fotovoltaicos.
S. Krauter, in: Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000., 2000.
LibreCat
S. Krauter, in: Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000., 2000.
2000 | Report | LibreCat-ID: 8208
Modeling Agent-Based Systems with Graph Transformation
R. Depke, R. Heckel, J. Küster, Modeling Agent-Based Systems with Graph Transformation, University of Paderborn, Department of Computer Science, 2000.
LibreCat
R. Depke, R. Heckel, J. Küster, Modeling Agent-Based Systems with Graph Transformation, University of Paderborn, Department of Computer Science, 2000.
2000 | Report | LibreCat-ID: 8210
Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen
K. Mehner, A. Wagner, Ablaufvisualisierung Für Nebenläufige Java-Programme Mit UML Interaktionsdiagrammen, University of Saarbrücken, 2000.
LibreCat
K. Mehner, A. Wagner, Ablaufvisualisierung Für Nebenläufige Java-Programme Mit UML Interaktionsdiagrammen, University of Saarbrücken, 2000.
2000 | Conference Paper | LibreCat-ID: 7863
A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics
A. Cherchago, N. Alexandrova, in: Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia), 2000.
LibreCat
A. Cherchago, N. Alexandrova, in: Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia), 2000.
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
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.
2000 | Conference Paper | LibreCat-ID: 7692
Laterally resolved doping by focused ion beam implantation
D. Reuter, C. Meier, M.A. Alvarez, J. Koch, A.D. Wieck, in: IECON Proc. , 2000, p. 1878.
LibreCat
D. Reuter, C. Meier, M.A. Alvarez, J. Koch, A.D. Wieck, in: IECON Proc. , 2000, p. 1878.
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
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.
2000 | Conference Paper | LibreCat-ID: 8917
Stand der Technik und Entwicklungsperspektiven linearer piezoelektrischer Schwingungsantriebe
T. Hemsel, J. Wallaschek, 1533 (2000) 147–166.
LibreCat
T. Hemsel, J. Wallaschek, 1533 (2000) 147–166.
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
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany), Berlin, Germany, 2000.
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
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.
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
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.
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
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.
2000 | Book Chapter | LibreCat-ID: 17524
Scientific Progress and Changes of Order Hierarchies of Scientific Disciplines
V. Peckhaus, in: E. Grosholz, H. Breger (Eds.), The Nature of Growth of Mathematical Knowledge, Kluwer Academic Publishers, Dordrecht/Boston/London, 2000, pp. 363–376.
LibreCat
V. Peckhaus, in: E. Grosholz, H. Breger (Eds.), The Nature of Growth of Mathematical Knowledge, Kluwer Academic Publishers, Dordrecht/Boston/London, 2000, pp. 363–376.
2000 | Book Chapter | LibreCat-ID: 17529
El pragmatismo del programa de Hilbert
V. Peckhaus, in: Cuadernos del Sur. Filosofía, 2000, pp. 181–194.
LibreCat
V. Peckhaus, in: Cuadernos del Sur. Filosofía, 2000, pp. 181–194.
2000 | Report | LibreCat-ID: 17865
Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes
M. Wand, M. Fischer, F. Meyer auf der Heide, Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes, Universität Paderborn, 2000.
LibreCat
| Files available
M. Wand, M. Fischer, F. Meyer auf der Heide, Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes, Universität Paderborn, 2000.
2000 | Book Review | LibreCat-ID: 18337
da Silva, Jairo José, “Husserl’s Phenomenology and Weyl’s Predicativism”, Synthese 110 (1997), 277–296
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 927.01014] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 927.01014] (2000).
2000 | Book Review | LibreCat-ID: 18356
Rivadulla, Andrés, “The Popperian Revolution in the Methodology of Science”, In: Jesús Padilla Gálvez et al. (eds.), Wittgenstein and the Vienna Circle. Proceedings of the International Congress, Toledo, Spain, November 2–5, 1994, Cuenca: Ediciones de la Universidad de Castilla-La Mancha: Cuenca 1998 (Estudios; 49), 305–316
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 940.01006] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 940.01006] (2000).
2000 | Journal Article | LibreCat-ID: 18344
Autonome Aspekte gesprochener und geschriebener Sprache: Theoretische Überlegungen und empirische Befunde
D. Tophinke, Sprache und Literatur in Wissenschaft und Unterricht (SUL) 85 (2000) 3–22.
LibreCat
D. Tophinke, Sprache und Literatur in Wissenschaft und Unterricht (SUL) 85 (2000) 3–22.
2000 | Book Chapter | LibreCat-ID: 19397
Das Schreckliche und das Komische. George Tabori und die Shoah
N.O. Eke, in: P. O’ Dochartaigh (Ed.), Jews in German Literature since 1945: German-Jewish Literature?, Rodopi, Amsterdam-Atlanta, GA, 2000, pp. 567–586.
LibreCat
N.O. Eke, in: P. O’ Dochartaigh (Ed.), Jews in German Literature since 1945: German-Jewish Literature?, Rodopi, Amsterdam-Atlanta, GA, 2000, pp. 567–586.
2000 | Book Chapter | LibreCat-ID: 19400
George Tabori
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 382–402.
LibreCat
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 382–402.
2000 | Encyclopedia Article | LibreCat-ID: 19479
Herta Müller: Niederungen; Der Fuchs war damals schon der Jäger; Herztier
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 505–510.
LibreCat
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 505–510.
2000 | Book Review | LibreCat-ID: 19549
Wolfgang Struck: Konfigurationen der Vergangenheit. Deutsche Geschichtsdramen im Zeitalter der Restauration. Tübingen: Max Niemeyer Verlag, 1997
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 1/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 6 Seiten.
LibreCat
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 1/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 6 Seiten.
2000 | Dissertation | LibreCat-ID: 19621
Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Universität Paderborn, 2000.
LibreCat
| Files available
M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Universität Paderborn, 2000.
2000 | Book Chapter | LibreCat-ID: 19710
Europaoffenes Lernen mit Grundschulkindern oder: Europa beginnt in der Primarstufe
P. Büker, in: U. Kurth (Ed.), Bildungsprojekt Europa in der universitären Lehrerausbildung. Standortvergewisserung - Perspektivenentwicklung - Erfahrungspräsentation, Medien-Verlag, Bielefeld, 2000, pp. 63–78.
LibreCat
P. Büker, in: U. Kurth (Ed.), Bildungsprojekt Europa in der universitären Lehrerausbildung. Standortvergewisserung - Perspektivenentwicklung - Erfahrungspräsentation, Medien-Verlag, Bielefeld, 2000, pp. 63–78.
2000 | Habilitation | LibreCat-ID: 19784
Probabilistic Methods for Coordination Problems
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
LibreCat
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
2000 | Conference Paper | LibreCat-ID: 2147
Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma
A. Czumaj, C. Scheideler, in: SODA, 2000, pp. 30--39.
LibreCat
| Files available
A. Czumaj, C. Scheideler, in: SODA, 2000, pp. 30--39.
2000 | Conference Paper | LibreCat-ID: 20995
Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
LibreCat
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
2000 | Report | LibreCat-ID: 21001
Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile
O. Hahn, G. Meschut, M. Eis, G. Kötting, Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2000.
LibreCat
O. Hahn, G. Meschut, M. Eis, G. Kötting, Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2000.
2000 | Journal Article | LibreCat-ID: 21006
Eigenschaftsoptimierte Verbindungen durch wärmearmes Hybridfügen
G. Meschut, Adhäsion 44 (2000) 14–21.
LibreCat
G. Meschut, Adhäsion 44 (2000) 14–21.
2000 | Journal Article | LibreCat-ID: 10182
Bounds for the independence number of critical graphs
G. Brinkmann, S.A. Choudum, S. Grünewald, E. Steffen, Bull. London Math. Soc. 32 (2000) 137–140.
LibreCat
G. Brinkmann, S.A. Choudum, S. Grünewald, E. Steffen, Bull. London Math. Soc. 32 (2000) 137–140.
2000 | Journal Article | LibreCat-ID: 10606
Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems
M. Eisenring, M. Platzner, IEE Proceedings -- Computers & Digital Techniques 147 (2000) 159–165.
LibreCat
| DOI
M. Eisenring, M. Platzner, IEE Proceedings -- Computers & Digital Techniques 147 (2000) 159–165.
2000 | Conference Paper | LibreCat-ID: 11779
Data-driven Phonetic Regression Class Tree Estimation for MLLR Adaptation
R. Haeb-Umbach, in: International Conference on Spoken Language Processing (ICSLP 2000), 2000.
LibreCat
| Download (ext.)
R. Haeb-Umbach, in: International Conference on Spoken Language Processing (ICSLP 2000), 2000.
2000 | Book Chapter | LibreCat-ID: 13763
Large-Scale Applications of Real-Space Multigrid Methods to Surfaces, Nanotubes and Quantum Transport
J. Bernholc, E.L. Briggs, C. Bungaro, M. Buongiorno Nardelli, J.-L. Fattebert, K. Rapcewicz, C. Roland, W.G. Schmidt, Q. Zhao, in: Computer Simulation of Materials at Atomic Level, physica status solidi (b), 2000, pp. 685–701.
LibreCat
| DOI
J. Bernholc, E.L. Briggs, C. Bungaro, M. Buongiorno Nardelli, J.-L. Fattebert, K. Rapcewicz, C. Roland, W.G. Schmidt, Q. Zhao, in: Computer Simulation of Materials at Atomic Level, physica status solidi (b), 2000, pp. 685–701.
2000 | Journal Article | LibreCat-ID: 13756
First-principles study of (2×1) and (2×2) phosphorus-rich InP(001) surfaces
O. Pulci, K. Lüdge, W.G. Schmidt, F. Bechstedt, Surface Science 464 (2000) 272–282.
LibreCat
| DOI
O. Pulci, K. Lüdge, W.G. Schmidt, F. Bechstedt, Surface Science 464 (2000) 272–282.
2000 | Journal Article | LibreCat-ID: 15389
In-line concentration measurement in complex liquids using ultrasonic sensors
B. Henning, P.-C. Daur, S. Prange, K. Dierks, P. Hauptmann, Ultrasonics (2000) 799–803.
LibreCat
| DOI
B. Henning, P.-C. Daur, S. Prange, K. Dierks, P. Hauptmann, Ultrasonics (2000) 799–803.
2000 | Conference Paper | LibreCat-ID: 15808
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France, 2000, pp. 7–16.
LibreCat
D. Dubois, E. Hüllermeier, H. Prade, in: In Proceedings RàPC-2000, Raisonnement à Partir de Cas, Toulouse, France, 2000, pp. 7–16.
2000 | Conference Paper | LibreCat-ID: 16495
Data management in hierarchical bus networks
F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00, 2000.
LibreCat
| DOI
F. Meyer auf der Heide, H. Räcke, M. Westermann, in: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00, 2000.
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
J. Simon, Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern, Dr. Dirk Blunk Verlag, 2000.
2000 | Journal Article | LibreCat-ID: 2585
Funktionales Qualitätscontrolling bei mehrstufiger Fertigung
S. Betz, Zeitschrift für Planung 11 (2000) 169–193.
LibreCat
S. Betz, Zeitschrift für Planung 11 (2000) 169–193.
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
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
2000 | Book Chapter | LibreCat-ID: 4651
Locally weighted autoregression
Y. Feng, S. Heiler, in: H.-J. Vosgerau (Ed.), Institutional Arrangements for Global Economic Integration, 2000, pp. 371--388.
LibreCat
Y. Feng, S. Heiler, in: H.-J. Vosgerau (Ed.), Institutional Arrangements for Global Economic Integration, 2000, pp. 371--388.
2000 | Journal Article | LibreCat-ID: 4904
Konzeptualisierung und Operationalisierung der Kundenbindung aus Kundensicht
A. Eggert, Marketing - Zeitschrift Für Forschung Und Praxis (2000).
LibreCat
A. Eggert, Marketing - Zeitschrift Für Forschung Und Praxis (2000).
2000 | Book | LibreCat-ID: 6145
Steuerung und Kontrolle Internationaler Joint Venture: Eine transaktionskostentheoretisch fundierte empirische Analyse
R. Kabst, Steuerung Und Kontrolle Internationaler Joint Venture: Eine Transaktionskostentheoretisch Fundierte Empirische Analyse, München/Mehring, 2000.
LibreCat
R. Kabst, Steuerung Und Kontrolle Internationaler Joint Venture: Eine Transaktionskostentheoretisch Fundierte Empirische Analyse, München/Mehring, 2000.
2000 | Misc | LibreCat-ID: 6397
Erfolgsfaktoren der Internationalisierung mittelständischer Unternehmen: Markteintrittsstrategien und Personalmanagement, Paderborn 2000.
R. Kabst, Erfolgsfaktoren Der Internationalisierung Mittelständischer Unternehmen: Markteintrittsstrategien Und Personalmanagement, Paderborn 2000. , 2000.
LibreCat
R. Kabst, Erfolgsfaktoren Der Internationalisierung Mittelständischer Unternehmen: Markteintrittsstrategien Und Personalmanagement, Paderborn 2000. , 2000.
2000 | Book Chapter | LibreCat-ID: 6222
Internationalisierung mittelständischer Unternehmen: Organisationsform und Personalmanagement
W. Weber, R. Kabst, in: J. Gutmann, R. Kabst (Eds.), Internationalisierung Im Mittelstand: Chancen, Risiken, Erfolgsfaktoren, Wiesbaden, 2000, pp. 3–89.
LibreCat
W. Weber, R. Kabst, in: J. Gutmann, R. Kabst (Eds.), Internationalisierung Im Mittelstand: Chancen, Risiken, Erfolgsfaktoren, Wiesbaden, 2000, pp. 3–89.
2000 | Conference Paper | LibreCat-ID: 6013
IT-Enabled Sophistication Banking
H.U. Buhl, D. Kundisch, A. Leinfelder, W. Steck, in: M. Bichler, H.-R. Hansen, H. Mahrer (Eds.), Proceedings of the 8th European Conference on Information Systems 2000 (ECIS), Gabler, Wiesbaden, 2000, pp. 789–795.
LibreCat
H.U. Buhl, D. Kundisch, A. Leinfelder, W. Steck, in: M. Bichler, H.-R. Hansen, H. Mahrer (Eds.), Proceedings of the 8th European Conference on Information Systems 2000 (ECIS), Gabler, Wiesbaden, 2000, pp. 789–795.
2000 | Conference Paper | LibreCat-ID: 6690
FULL AREA COVERAGE MEASURING NETWORK FOR RECORDING THE DISTRIBUTION OF INCIDENT SOLAR RADIATION
J. Bendfeld, M. Gruffke, E. Ortjohann, T. Peters, J. Voss, in: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
LibreCat
J. Bendfeld, M. Gruffke, E. Ortjohann, T. Peters, J. Voss, in: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
2000 | Book | LibreCat-ID: 7509
Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht
E.-E. Doberkat, Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht, LIT Verlag Münster, 2000.
LibreCat
E.-E. Doberkat, Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht, LIT Verlag Münster, 2000.
2000 | Journal Article | LibreCat-ID: 7542
Lern- und Maßnahmeerfolg fächer- und lernortübergreifender Unterrichtsarrangements
H.-H. Kremer, P.F.E. Sloane, Wirtschaft und Erziehung (2000) 142–145.
LibreCat
H.-H. Kremer, P.F.E. Sloane, Wirtschaft und Erziehung (2000) 142–145.
2000 | Book Chapter | LibreCat-ID: 7559
Entwicklung und Implementation als kooperativer Prozeß - Erfahrungen und Gestaltungsanregungen
H.-H. Kremer, in: P.F.E. Sloane (Ed.), Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” Markt Schwaben, 2000, pp. 45–54.
LibreCat
H.-H. Kremer, in: P.F.E. Sloane (Ed.), Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” Markt Schwaben, 2000, pp. 45–54.
2000 | Book Chapter | LibreCat-ID: 7667
Preispolitik mit Electronic Commerce
F. Bliemel, A. Eggert, K. Adolphs, in: F. Bliemel, G. Fassott, A. Theobald (Eds.), Electronic Commerce, 3rd ed., Gabler, Wiesbaden, 2000, pp. 205–217.
LibreCat
F. Bliemel, A. Eggert, K. Adolphs, in: F. Bliemel, G. Fassott, A. Theobald (Eds.), Electronic Commerce, 3rd ed., Gabler, Wiesbaden, 2000, pp. 205–217.
2000 | Report | LibreCat-ID: 8209
On the Concurrent Semantics of Open Graph Transformation Systems and Views
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, On the Concurrent Semantics of Open Graph Transformation Systems and Views, 2000.
LibreCat
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, On the Concurrent Semantics of Open Graph Transformation Systems and Views, 2000.
2000 | Conference Paper | LibreCat-ID: 7864
Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen
R. Depke, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
LibreCat
R. Depke, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 7876
Graphtransitionsregeln zur Beschreibung der Semantik von UML
J. Hendrik Hausmann, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin Verlag, Leinfelden - Echterdingen, 2000, pp. 103–107.
LibreCat
J. Hendrik Hausmann, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin Verlag, Leinfelden - Echterdingen, 2000, pp. 103–107.
2000 | Book Chapter | LibreCat-ID: 8456
Lern- und Maßnahmeerfolg "Fächer- und Lernortübergreifender Lehr- Lernarrangements" - Erste Projektergebnisse
H.-H. Kremer, P.F.E. Sloane, in: F.J. Kaiser (Ed.), Berufliche Bildung in Deutschland für das 21. Jahrhundert, Nürnberg, 2000, pp. 135–144.
LibreCat
H.-H. Kremer, P.F.E. Sloane, in: F.J. Kaiser (Ed.), Berufliche Bildung in Deutschland für das 21. Jahrhundert, Nürnberg, 2000, pp. 135–144.
2000 | Conference Paper | LibreCat-ID: 8329
Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung
J. Hendrik Hausmann, R. Heckel, S. Sauer, 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
J. Hendrik Hausmann, R. Heckel, S. Sauer, 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.
2000 | Conference Paper | LibreCat-ID: 8331
Concurrency of Double-Pullback Graph Transitions
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, in: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany), 2000.
LibreCat
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, in: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany), 2000.
2000 | Conference Paper | LibreCat-ID: 8336
Deploying Agents in an Electronic Banking Environment
R. Depke, R. Heckel, J. Küster, 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
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.
2000 | Conference Paper | LibreCat-ID: 8343
Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
LibreCat
R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.
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
T. Krzyzynski, K. Popp, W. Sextro, Chaos, Solitons \& Fractals 11 (2000) 1597–1609.
2000 | Conference Paper | LibreCat-ID: 8920
The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification
W. Sextro, in: International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, Munich, Germany, 2000, pp. 1–8.
LibreCat
W. Sextro, in: International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, Munich, Germany, 2000, pp. 1–8.
2000 | Book Chapter | LibreCat-ID: 16553
A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator
M. Dellnitz, G. Froyland, S. Sertl, in: Equadiff 99, 2000.
LibreCat
| DOI
M. Dellnitz, G. Froyland, S. Sertl, in: Equadiff 99, 2000.
2000 | Book Chapter | LibreCat-ID: 16616
Rigorous discretization of subdivision techniques
O. Junge, in: Equadiff 99, 2000.
LibreCat
| DOI
O. Junge, in: Equadiff 99, 2000.
2000 | Book Chapter | LibreCat-ID: 17018
The computation of an unstable invariant set inside a cylinder containing a knotted flow
M. Dellnitz, O. Junge, M. Rumpf, R. Strzodka, in: Equadiff 99, 2000, pp. 1053--1059.
LibreCat
| DOI
M. Dellnitz, O. Junge, M. Rumpf, R. Strzodka, in: Equadiff 99, 2000, pp. 1053--1059.
2000 | Book Chapter | LibreCat-ID: 17525
Kantianer oder Neukantianer? Über die Schwierigkeiten, Frege der Philosophie seiner Zeit zuzuordnen
V. Peckhaus, in: G. Gabriel, U. Dathe (Eds.), Gottlob Frege — Werk und Wirkung. Mit den unveröffentlichten Vorschlägen für ein Wahlgesetz von Gottlob Frege, mentis, Paderborn, 2000, pp. 191--209.
LibreCat
V. Peckhaus, in: G. Gabriel, U. Dathe (Eds.), Gottlob Frege — Werk und Wirkung. Mit den unveröffentlichten Vorschlägen für ein Wahlgesetz von Gottlob Frege, mentis, Paderborn, 2000, pp. 191--209.
2000 | Conference Paper | LibreCat-ID: 18150
Computing Cut Numbers
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
2000 | Book Review | LibreCat-ID: 18345
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
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.03008] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.03008] (2000).
2000 | Book Review | LibreCat-ID: 18338
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
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 927.68015] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 927.68015] (2000).
2000 | Book Review | LibreCat-ID: 18340
Landini, Gregory, Russell’s Hidden Substitutional Theory, Oxford University Press: Oxford 1998
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 933.03002] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 933.03002] (2000).
2000 | Book Review | LibreCat-ID: 18357
Mancosu, Paolo, “Between Russell and Hilbert: Behmann on the Foundations of Mathematics”, Bulletin of Symbolic Logic 5 (1999), 303–330
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.030029] (2000).
LibreCat
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 942.030029] (2000).
2000 | Journal Article | LibreCat-ID: 18446
Periodification Scheme: Constructing Sorting Networks with Constant Period
K. Lorys, R. Wanka, B. Oesterdiekhoff, M. Kutylowski, Journal of the ACM 45 (2000) 944–967.
LibreCat
K. Lorys, R. Wanka, B. Oesterdiekhoff, M. Kutylowski, Journal of the ACM 45 (2000) 944–967.
2000 | Journal Article | LibreCat-ID: 18617
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
A. Schindlmayr, Physical Review B 62 (2000) 12573–12576.
2000 | Book Chapter | LibreCat-ID: 19196
Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung”
E.-M. Seng, in: G. Lupfer, K. Rudert, P. Sigel (Eds.), Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, Dresden, 2000, pp. 296–309.
LibreCat
E.-M. Seng, in: G. Lupfer, K. Rudert, P. Sigel (Eds.), Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, Dresden, 2000, pp. 296–309.
2000 | Book Chapter | LibreCat-ID: 19398
Körper-Schrift. Heiner Müllers Anthropologie des Körpers
N.O. Eke, in: I. Wallace, D. Tate, G. Labroisse (Eds.), Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, 2000, pp. 69–88.
LibreCat
N.O. Eke, in: I. Wallace, D. Tate, G. Labroisse (Eds.), Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, 2000, pp. 69–88.
2000 | Book Chapter | LibreCat-ID: 19401
Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis' autobiographische Fragmente Erinnerungen aus meinem Leben
N.O. Eke, in: W. Beutin, P. Stein (Eds.), Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz, Aisthesis, Bielefeld, 2000, pp. 55–80.
LibreCat
N.O. Eke, in: W. Beutin, P. Stein (Eds.), Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz, Aisthesis, Bielefeld, 2000, pp. 55–80.
2000 | Journal Article | LibreCat-ID: 19709
Das Fremde spüren - dem Anderen begegnen. Elisabeth Reuter: Soham. Eine Geschichte vom Fremdsein
P. Büker, Praxis Deutsch 27, H. 162 (2000) 31–36.
LibreCat
P. Büker, Praxis Deutsch 27, H. 162 (2000) 31–36.
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
M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
2000 | Conference Paper | LibreCat-ID: 2150
A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)
A. Czumaj, C. Scheideler, in: STOC, ACM, 2000, pp. 38--47.
LibreCat
| Files available
A. Czumaj, C. Scheideler, in: STOC, ACM, 2000, pp. 38--47.
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
A. Czumaj, C. Scheideler, Random Struct. Algorithms 17 (2000) 213--237.
2000 | Journal Article | LibreCat-ID: 13174
3-DIMENSIONAL DESCRIPTION OF THE MICROSTRUCTURE OF HEATED SURFACES IN NUCLEATE POOL BOILING
A. Luke, E. Baumhögger, P. Scheunemann, Multiphase Science and Technology (2000).
LibreCat
| DOI
A. Luke, E. Baumhögger, P. Scheunemann, Multiphase Science and Technology (2000).
2000 | Conference Paper | LibreCat-ID: 20996
Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Swiss Bondung ´00, Rapperswil (CH), 2000.
LibreCat
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Swiss Bondung ´00, Rapperswil (CH), 2000.
2000 | Journal Article | LibreCat-ID: 21002
Kleben in Kombination mit Fügen durch Umformen
O. Hahn, M. Koyro, G. Meschut, Der Praktiker 9 (2000) 356–361.
LibreCat
O. Hahn, M. Koyro, G. Meschut, Der Praktiker 9 (2000) 356–361.
2000 | Conference Paper | LibreCat-ID: 21007
Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen
M. Koyro, G. Meschut, in: Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” Bad Nauheim, 2000, pp. 114–126.
LibreCat
M. Koyro, G. Meschut, in: Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” Bad Nauheim, 2000, pp. 114–126.
2000 | Journal Article | LibreCat-ID: 10183
A refinement of Vizing's theorem
E. Steffen, Discrete Mathematics 218 (2000) 289–291.
LibreCat
E. Steffen, Discrete Mathematics 218 (2000) 289–291.
2000 | Conference Paper | LibreCat-ID: 11869
LDA derived cepstral trajectory filters in adverse environmental conditions
M. Lieb, R. Haeb-Umbach, in: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2000), 2000, pp. II1105-II1108 vol.2.
LibreCat
| DOI
| Download (ext.)
M. Lieb, R. Haeb-Umbach, in: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2000), 2000, pp. II1105-II1108 vol.2.
2000 | Conference Paper | LibreCat-ID: 11871
Multi-class Linear Dimension Reduction by Generalized Fisher Criteria
M. Loog, R. Haeb-Umbach, in: International Conference on Spoken Language Processing (ICSLP 2000), 2000.
LibreCat
| Download (ext.)
M. Loog, R. Haeb-Umbach, in: International Conference on Spoken Language Processing (ICSLP 2000), 2000.
2000 | Conference Paper | LibreCat-ID: 13005
A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters
S. Hellebrand, H.-G. Liang, H.-J. Wunderlich, in: {IEEE International Test Conference (ITC’00)}, {IEEE}, Atlantic City, NJ, USA, 2000, pp. 778–784.
LibreCat
| DOI
S. Hellebrand, H.-G. Liang, H.-J. Wunderlich, in: {IEEE International Test Conference (ITC’00)}, {IEEE}, Atlantic City, NJ, USA, 2000, pp. 778–784.
2000 | Journal Article | LibreCat-ID: 13757
(001) Surfaces of GaP and InP: structural motifs, electronic states and optical signatures
W.G. Schmidt, J. Bernholc, F. Bechstedt, Applied Surface Science 166 (2000) 179–184.
LibreCat
| DOI
W.G. Schmidt, J. Bernholc, F. Bechstedt, Applied Surface Science 166 (2000) 179–184.
2000 | Conference Paper | LibreCat-ID: 15063
Change detection in heuristic search
E. Hüllermeier, in: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000, pp. 898–903.
LibreCat
E. Hüllermeier, in: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas, 2000, pp. 898–903.
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
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.
2000 | Book (Editor) | LibreCat-ID: 1634
Personalführung und Organisation
A. Clermont, W. Schmeisser, D. Krimphove, eds., Personalführung Und Organisation, Verlag Vahlen, München, 2000.
LibreCat
A. Clermont, W. Schmeisser, D. Krimphove, eds., Personalführung Und Organisation, Verlag Vahlen, München, 2000.
2000 | Book | LibreCat-ID: 1608
Europarecht - Das Casebook
D. Krimphove, S.U. Pieper, A. Schollmeier, Europarecht - Das Casebook, 2nd ed., Carl Heymanns Verlag KG, Köln, 2000.
LibreCat
D. Krimphove, S.U. Pieper, A. Schollmeier, Europarecht - Das Casebook, 2nd ed., Carl Heymanns Verlag KG, Köln, 2000.
2000 | Journal Article | LibreCat-ID: 16198
Evaluation and specification of a synergetic business cycle model with German data
E. Hüllermeier, M. Kraft, P. Weise, Homo Oeconomicus XVI (2000).
LibreCat
E. Hüllermeier, M. Kraft, P. Weise, Homo Oeconomicus XVI (2000).
2000 | Conference Paper | LibreCat-ID: 1920
Predictable Network Computing using Message-driven Scheduling
H. Karl, A. Polze, M. Werner, in: Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
LibreCat
H. Karl, A. Polze, M. Werner, in: Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
2000 | Journal Article | LibreCat-ID: 2586
Qualitätskostencontrolling auf Basis des Half-Life-Konzepts
S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755.
LibreCat
S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755.
2000 | Conference Paper | LibreCat-ID: 3250
Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods
H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.
LibreCat
| DOI
H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.
2000 | Journal Article | LibreCat-ID: 3248
Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
LibreCat
| DOI
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.