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.

15910 Publications


2000 | Journal Article | LibreCat-ID: 17528
Análisis regresivo
V. Peckhaus, Adef Revista de Filosofia (Buenos Aires) 15 (2000) 23–38.
LibreCat
 

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
 

2000 | Book Review | LibreCat-ID: 18338 LibreCat
 

2000 | Patent | LibreCat-ID: 23424 LibreCat
 

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
 

2000 | Journal Article | LibreCat-ID: 20998 LibreCat
 

2000 | Conference Paper | LibreCat-ID: 3251
Behavioural Subtyping and Property Preservation
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 3674
Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung
C. Harteis, Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung, Neuer Merkur, München, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 3602
Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung
C. Harteis, in: C. Harteis, H. Heid, S. Kraft (Eds.), Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000, pp. 209--217.
LibreCat
 
 

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
 

2000 | Conference Paper | LibreCat-ID: 6015
Buyer Search Behavior on an Electronic Commodity Market: Consumer's Decision for a Sequential or Simultaneous Search Method
D. Kundisch, in: S.H. Kim, O. Sheng, J.K. Lee, A.B. Whinston, B. Schmid (Eds.), Proceedings of the International Conference on Electronic Commerce 2000 (ICEC), 2000, pp. 88–93.
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 | 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
 

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
 

2000 | Book Chapter | LibreCat-ID: 3023
Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 2147 LibreCat | Files available
 

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 | Dissertation | LibreCat-ID: 19620
Communication in Parallel Systems-Models, Algorithms and Implementations
I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Universität Paderborn, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
Complexity Theory and Algorithms
F. Meyer auf der Heide, M. Kutyłowski, P. Ragde, in: Euro-Par 2000 Parallel Processing, Berlin, Heidelberg, 2000.
LibreCat | DOI
 

2000 | Dissertation | LibreCat-ID: 24491
Computational Intelligence in der Produktionswirtschaft
L.A. Ludwig, Computational Intelligence in der Produktionswirtschaft, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

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
 

2000 | Conference Paper | LibreCat-ID: 18146
Computing the Dimension of Linear Subspaces
M. Ziegler, V. Brattka, in: SOFSEM 2000: Theory and Practice of Informatics, Springer, Berlin, Heidelberg, 2000, pp. 450–458.
LibreCat | DOI
 

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
 

2000 | Journal Article | LibreCat-ID: 17010
Contention Resolution in Hashing Based Shared Memory Simulations
A. Czumaj, F. Meyer auf der Heide, V. Stemann, SIAM Journal on Computing (2000) 1703–1739.
LibreCat | DOI
 

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
 

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
 

2000 | Journal Article | LibreCat-ID: 19709 LibreCat
 

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
 

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
 

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
 

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.)
 

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
 

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
 

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
 

2000 | Journal Article | LibreCat-ID: 6692
Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte
J. Bendfeld, M. Gruffke, E. Ortjohann, J. Voss, Bundes Bau Blatt 3 (2000).
LibreCat
 

2000 | Journal Article | LibreCat-ID: 4906
Determinanten der Weiterempfehlung: Kundenzufriedenheit oder Kundenbindung?
A. Eggert, S. Helm, Der Markt 39 (2000) 63–72.
LibreCat | DOI
 

2000 | Book (Editor) | LibreCat-ID: 19084
Deutsche Dramatiker des 20. Jahrhunderts
A. Allkemper, N.O. Eke, eds., Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 21783
Developing Effective Navigation Techniques in Virtual 3D Environments
S. Volbracht, G. Domik, in: J. Mulder, R. van Liere (Eds.), Virtual Environments 2000, Springer Vienna, Vienna, 2000, pp. 55–64.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7562
DFG-Projekt 'FäLoU': Evaluationskonzept
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. 81–83.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8457
Didaktische Theorie implementieren - Innovationen gestalten
H.-H. Kremer, in: D. Euler, H.-C. Jongebloed, P.F.E. Sloane (Eds.), Sozialökonomische Theorie - sozialökonomisches Handeln. Konturen und Perspektiven der Wirtschafts- und Sozialpädagogik, Kiel, 2000.
LibreCat
 
 

2000 | Conference Paper | LibreCat-ID: 2146
Distributed Path Selection for Storage Networks
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 21782
Do we need formal education in visualization?
G. Domik, IEEE Computer Graphics and Applications 20 (2000) 16–19.
LibreCat | DOI
 

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 | 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
 

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 | Conference Paper | LibreCat-ID: 2149
Efficient, distributed data placement strategies for storage area networks (extended abstract)
A. Brinkmann, K. Salzwedel, C. Scheideler, in: SPAA, 2000, pp. 119--128.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 21003
Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, S. Schumann, in: Paderborn, 2000, pp. 199–210.
LibreCat
 

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
 

2000 | Journal Article | LibreCat-ID: 21006 LibreCat
 

2000 | Conference Abstract | LibreCat-ID: 6014
Ein Contentmodell für den Multichannel Vertrieb von Finanzdienstleistungen
D. Calaminus, E. Klöpfer, D. Kundisch, P. Wolfersberger, in: 3. FANTagung 2000, 2000.
LibreCat
 

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
 

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
 

2000 | Dissertation | LibreCat-ID: 24506
Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme
J. Quintanilla, Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24500
Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung
U. Schäfermeier, Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24492
Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation
R. Wenski, Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24488
Eine Referenzarchitektur für Koopertationsbörsen
R. Grobbel, Eine Referenzarchitektur für Koopertationsbörsen, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 4636
Eine robuste datengesteuerte Version des Berliner-Verfahrens
Y. Feng, S. Heiler, Wirtschaft Und Statistik (2000) 786–795.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24487
Eine Spezifikationssprache für die Fertigungslenkung
A. Schmidtmann, Eine Spezifikationssprache für die Fertigungslenkung, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

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
 

2000 | Conference Paper | LibreCat-ID: 6012
Elektronischer Vertrieb von Dienstleistungen: Optimaler Serverstandort als Warehouse Location Problem
M. Frank, D. Kundisch, A. Schell, in: F. Bodendorf, G. Grauer (Eds.), Tagungsband Multikonferenz Wirtschaftsinformatik (MKWI), Shaker, Aachen, 2000, pp. 208–222.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24490
Energetische Modellierung neuronaler Signalverarbeitung
A. Löffler, Energetische Modellierung neuronaler Signalverarbeitung, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7862
Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate
S. Thöne, in: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), Konradin-Verlag, Leinfelden - Echterdingen, 2000.
LibreCat
 

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
 

2000 | Book | LibreCat-ID: 24497
Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme
J. Gausemeier, J. Lückel, Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

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
 

2000 | Book Chapter | LibreCat-ID: 7521
Ergebnisse - vergleichende Darstellung
G. Engels, R. Depke, K. Mehner, in: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, Münster, 2000, pp. 277–294.
LibreCat
 

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
 

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
 

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
 

2000 | Book Chapter | LibreCat-ID: 1947
Europäischer Betriebsrat / Betriebsräte in Europa – Strategien und Chancen der Europaweiten Vereinheitlichung der Arbeitnehmerbeteiligung an unternehmerischen und personalpolitischen Entscheidungen –
D. Krimphove, in: A. Clermont, W. Schmeisser, D. Krimphove (Eds.), Personalführung Und Organisation, Verlag Vahlen, München, 2000, pp. 505 – 540.
LibreCat
 

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
 

2000 | Book Chapter | LibreCat-ID: 8422
Existenzgründung: Kapitalbedarfsermittlung und -beschaffung
H.-H. Kremer, P.F.E. Sloane, in: J.-P. Pahl, G. Rach (Eds.), Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe, Seelze-Velber, 2000, pp. 191–225.
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: 4894 LibreCat
 

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
 

2000 | Conference Paper | LibreCat-ID: 15109
Flexible control of case-based prediction in the framework of possibility theory
D. Dubois, E. Hüllermeier, H. Prade, in: E. Blanzieri, L. Portinale (Eds.), In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy, Springer, 2000, pp. 61–73.
LibreCat
 

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
 

2000 | Conference Paper | LibreCat-ID: 14845
Focusing search by using problem solving experience
E. Hüllermeier, in: W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany, IOS Press, 2000, pp. 55–59.
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 | Book Chapter | LibreCat-ID: 16234
Formalizing case-based inference using fuzzy rules
D. Dubois, E. Hüllermeier, H. Prade, in: S.K. Pal, D.Y. So, T. Dillon (Eds.), Soft Computing in Case-Based Reasoning, Springer, 2000, pp. 47–72.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8338
Formalizing the Development of Agent-Based Systems Using Graph Processes
R. Depke, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 419–426.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2145
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
C. Scheideler, B. Vöcking, SIAM J. Comput. 30 (2000) 1126--1155.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8339
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation
G. Engels, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland), Carleton Scientific, 2000, pp. 373–382.
LibreCat
 

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
 

2000 | Journal Article | LibreCat-ID: 2585
Funktionales Qualitätscontrolling bei mehrstufiger Fertigung
S. Betz, Zeitschrift für Planung 11 (2000) 169–193.
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 | Conference Paper | LibreCat-ID: 15301
Fuzzy dynamics: Methodological framework and applications of compartmental modeling
E. Hüllermeier, in: D.M. Dubois (Ed.), In Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7564
Fächer- und lernortübergreifender Unterricht aus Sicht der Beteiligten
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. 121–129.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24501
Ganzheitliche Beherrschung von Abläufen in und zwischen soziotechnischen Systemen: Ein Beitrag zur Modellbildung und zum paradigmatischen Verständnis von Industrieunternehmen zur Integration von Mensc
J. Krüger, Ganzheitliche Beherrschung von Abläufen in und zwischen soziotechnischen Systemen: Ein Beitrag zur Modellbildung und zum paradigmatischen Verständnis von Industrieunternehmen zur Integration von Mensc, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

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
 

2000 | Patent | LibreCat-ID: 23425 LibreCat
 

2000 | Book Review | LibreCat-ID: 18360
Glashoff, Klaus, „Das Rad der Gründe — Der Hetucakradamara von Dignaga“, Mitt. Math. Ges. Hamb. 18 (1999), 75–104
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 946.01004] (2000).
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 | Journal Article | LibreCat-ID: 7397
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo
A. Corradini, R. Heckel, Bulletin of the EATCS (2000) 69–76.
LibreCat
 

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: 8333
Graphical Operational Semantics
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 411–418.
LibreCat
 

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
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed