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.

399 Publications


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 | Report | LibreCat-ID: 19733
PUB-Library, Release 7.0, User Guide and Function Reference
O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, PUB-Library, Release 7.0, User Guide and Function Reference, 2000.
LibreCat | Files available
 

2000 | Habilitation | LibreCat-ID: 19784
Probabilistic Methods for Coordination Problems
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 19849
Tradeoff analysis and architecture design of a hybrid hardware/software sorter
M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 2003
RsdEditor: A Graphical User Interface for Specifying Metacomputer Components
R. Baraglia, A. Keller, D. Laforenza, A. Reinefeld, in: Proc. Heterogenous Computing Workshop HCW at IPDPS, Cancun, Mexico, 2000, pp. 336–348.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 27987
Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. EURODIAB IDDM Complications Study Group.
A. Buyken, M. Toeller, G. Heitkamp, K. Irsigler, C. Holler, F. Santeusanio, P. Stehle, J. Fuller, Diabet Med 17 (2000) 351–359.
LibreCat | DOI | PubMed | Europe PMC
 

2000 | Mastersthesis | LibreCat-ID: 2433
Hardware/Software Codesign in Speech Compression Applications
C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat
 

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
 

2000 | Book | LibreCat-ID: 24483
KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung
U. Schäfermeier, C. Bischoff, KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 24484
Regeln in einer Mengenplanung unter Ausbringungsgrenzen
N. Holthöfer, Regeln in einer Mengenplanung unter Ausbringungsgrenzen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24485
Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen
O. Schlake, Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24486
Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen
A. Lewandowski, Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24487
Eine Spezifikationssprache für die Fertigungslenkung
A. Schmidtmann, Eine Spezifikationssprache für die Fertigungslenkung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24488
Eine Referenzarchitektur für Koopertationsbörsen
R. Grobbel, Eine Referenzarchitektur für Koopertationsbörsen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24489
Modelocked Waveguide Lasers in Lithium Niobate
R. Wessel, Modelocked Waveguide Lasers in Lithium Niobate, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24490
Energetische Modellierung neuronaler Signalverarbeitung
A. Löffler, Energetische Modellierung neuronaler Signalverarbeitung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24491
Computational Intelligence in der Produktionswirtschaft
L.A. Ludwig, Computational Intelligence in der Produktionswirtschaft, Verlagsschriftenreihe des Heinz Nixdorf Instituts, 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, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24493
Produktkonfiguration auf Basis von Engineering Data Management-Systemen
M. Grasmann, Produktkonfiguration auf Basis von Engineering Data Management-Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24494
Towards Operating System Synthesis
C. Ditze, Towards Operating System Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24495
Analog VLSI Implementation of a Local Cluster Neural Network
T. Körner, Analog VLSI Implementation of a Local Cluster Neural Network, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 24496
Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens
J. Gausemeier, U. Lindemann, G. Reinhart, H. Wiendahl, Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
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, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 24498
4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen...
J. Gausemeier, J. Lückel, eds., 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen..., Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24499
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, Verlagsschriftenreihe des Heinz Nixdorf Instituts, 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, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
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, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24503
Methoden des Integrierten Workflowmanagements (IWFM)
T. Bartscher, Methoden des Integrierten Workflowmanagements (IWFM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 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, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 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: 2586
Qualitätskostencontrolling auf Basis des Half-Life-Konzepts
S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755.
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: 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: 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 | 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
 

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 | 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 | Book (Editor) | LibreCat-ID: 3669
Kompendium Weiterbildung
C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000.
LibreCat
 

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: 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: 20993
Qualitätssicherung bei der Herstellung von Klebverbindungen
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” Würzburg, 2000, pp. 147–161.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20994
Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
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 | 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 | Journal Article | LibreCat-ID: 20997
Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium
O. Hahn, G. Besserdich, N. Dölle, J. Jendrny, M. Koyro, T. Thesing, G. Meschut, Schweißen Und Schneiden 50 (2000) 266–271.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 20998 LibreCat
 

2000 | Journal Article | LibreCat-ID: 20999 LibreCat
 

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
 

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
 

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 | Journal Article | LibreCat-ID: 21006 LibreCat
 

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
 

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 | 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: 2146 | OA
Distributed Path Selection for Storage Networks
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 2147 | OA 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 | Conference Paper | LibreCat-ID: 2149 | OA
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: 2150 | OA LibreCat | Files available
 

2000 | Book (Editor) | LibreCat-ID: 17458
“Contributing Editor” für die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, edited by Joseph W. Dauben, revised edition on CD-ROM by Albert C. Lewis, in cooperation with the International Commission on the History Mathematics, American Mathematical Society
V. Peckhaus, ed., “Contributing Editor” Für Die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, Edited by Joseph W. Dauben, Revised Edition on CD-ROM by Albert C. Lewis, in Cooperation with the International Commission on the History Mathematics, American Mathematical Society, 2000.
LibreCat
 

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: 17852
Prosodic Cues at Speaker Turns
I. Mindt, in: C. Mair, M. Hundt (Eds.), Corpus Linguistics and Linguistic Theory. Papers from the Twentieth  International Conference on English Language Research on Computerized Corpora  (ICAME 20), Rodopi, Amsterdam, 2000, pp. 255–265.
LibreCat
 

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
 

2000 | Conference Paper | LibreCat-ID: 18962
I/O-Efficient Well-Separated Pair Decomposition and Applications
S. Govindarajan, T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614.
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 | Book (Editor) | LibreCat-ID: 19086
Literatur und Demokratie
A. Allkemper, N.O. Eke, eds., Literatur und Demokratie, Erich Schmidt, Berlin, 2000.
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 | 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
 

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

2000 | Book Chapter | LibreCat-ID: 19399
Thomas Brasch
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 746–763.
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 | 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 | Book Chapter | LibreCat-ID: 19403
Wahrnehmung im Augen-Schein. Thomas Braschs (und Jurek Beckers) filmische Reflexion über die Kunst nach Auschwitz: „Der Passagier – Welcome to Germany“
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Literatur und Demokratie, Erich Schmidt, Berlin, 2000, pp. 285–300.
LibreCat
 

2000 | Patent | LibreCat-ID: 23424 LibreCat
 

2000 | Patent | LibreCat-ID: 23425 LibreCat
 

2000 | Conference Paper | LibreCat-ID: 17990
Property Testing in Computational Geometry
A. Czumaj, C. Sohler, M. Ziegler, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), Springer, Berlin, Heidelberg, 2000, pp. 155–166.
LibreCat | DOI
 

2000 | Book (Editor) | LibreCat-ID: 18121
Medienbildung und Gesellschaft
J. Fromme, S. Ganguin, S. Iske, D.M. Meister, U. Sander, eds., Medienbildung und Gesellschaft, VS Verlag, 2000.
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: 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 | 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 | DOI
 

2000 | Conference Paper | LibreCat-ID: 2211 | OA
A New Algorithmic Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems
A. Czumaj, C. Scheideler, in: 32nd ACM Symposium on Theory of Computing, 2000, pp. 38–47.
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: 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 | Conference (Editor) | LibreCat-ID: 7790
Special Issue: Selected Papers of GRATRA 2000
H. Ehrig, G. Engels, H.-J. Kreowksi, G. Taentzer, eds., Special Issue: Selected Papers of GRATRA 2000, Elsevier, Amsterdam, The Netherlands, 2000.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7791
Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland)
J.D.P. Rolim, A.Z. Broder, A. Corradini, R. Gorrieri, R. Heckel, J. Hromkovic, U. Vaccaro, J.B. Wells, eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland), Carleton Scientific, Waterloo, Ontario, Canada, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7861
Konzeption eines XML-fähigen Mailtools
M. Lohmann, A. Wagner, in: Proceedings of Net.Object Days 2000, Erfurt (Germany), 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 | 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
 

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 | 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: 7874
Object-Oriented Modeling - A Roadmap
G. Engels, L. Groenewegen, in: Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), ACM Press, New York, NY, USA, 2000, pp. 103–116.
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 | 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
 

2000 | Conference Paper | LibreCat-ID: 7877
Visualizing the Synchronization of Java-Threads with UML
K. Mehner, A. Wagner, in: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), IEEE Computer Society, Washington, DC, USA, 2000, pp. 199–206.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7878
Integrating visual modeling of agent-based and object-oriented systems
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain), ACM Press, New York, NY, USA, 2000, pp. 82–83.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8124
New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation
S. Krauter, R.G. Araujo, in: Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. , 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8125
PV in Brazil
S. Krauter, H. Herold, in: Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2909–2911, 2000.
LibreCat
 

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
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Export / Embed