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 | 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: 8341
A Fully Abstract Model for Graph-Interpreted Temporal Logic
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, London, UK, 2000, pp. 310–322.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8346
Methodische Aspekte von Modellierungssprachen für nebenläufige Software
K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8916
Piezoelectic linear motors
T. Hemsel, J. Wallaschek, in: Tagungsband Der ACTUATOR, Bremen, 2000, pp. 250–253.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16513 LibreCat | DOI
 

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

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 | 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 | 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 | Book Review | LibreCat-ID: 18343
Kreisel, G., “Second Thoughts Around Some of Gödel’s Writings: A Non-Academic Option”, Synthese 114 (1998), 99–160
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 935.01009] (2000).
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 18355
Zur Wortabtrennung in den Werler Statuten des 14. und 15. Jahrhunderts – eine exemplarische Analyse
D. Tophinke, in: M. Elmentaler (Ed.), Regionalsprachen, Stadtsprachen und Institutionssprachen im historischen Prozeß, Edition Präsens, Wien, 2000, pp. 73–99.
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 | Encyclopedia Article | LibreCat-ID: 19478
Heiner Müller: Das eiserne Kreuz; Der Vater; Wüsten der Liebe
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 93–97.
LibreCat
 

2000 | Book Review | LibreCat-ID: 19548
Roy C. Cowen: Christian Dietrich Grabbe – Dramatiker ungelöster Widersprüche. Bielefeld: Aisthesis Verlag, 1998; Carl Wiemer: Der Paria als Unmensch. Grabbe – Genealoge des Anti-Humanitarismus. Bielefeld: Aisthesis Verlag, 1997
N.O. Eke, Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 2/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/) (2000) 9 Seiten.
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 | 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 | Conference Paper | LibreCat-ID: 2146
Distributed Path Selection for Storage Networks
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 2211
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 | 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 | Journal Article | LibreCat-ID: 20999 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 | Journal Article | LibreCat-ID: 10186
Reductions of Symmetry configurations n3
H.G. Carstens, T. Dinski, E. Steffen, Discrete Applied Mathematics 99 (2000) 401–411.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10725
Toward embedded qualitative simulation: a specialized computer architecture for QSim
M. Platzner, B. Rinner, R. Weiss, IEEE Intelligent Systems 15 (2000) 62–68.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13762
Step-induced optical anisotropy of Si(111):H surfaces
W.G. Schmidt, J. Bernholc, Physical Review B 61 (2000) 7604–7608.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 13609
An Implementation Framework for Run-time Reconfigurable Systems
M.H. Eisenring, M. Platzner, in: Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE), CSREA Press, 2000, pp. 151–157.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15302
In vitro-in vivo hepatic clearance prediction using fuzzy sets
I. Gueroguieva, I. Nestorov, M. Rowland, E. Hüllermeier, in: In Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 , European Journal of Pharmaceutical Sciences, 2000, p. S22.
LibreCat
 

2000 | Working Paper | LibreCat-ID: 14979
The Influence of Taxation on Partially Irreversible Investment Decisions – A Real Option Approach
C. Sureth-Sloane, The Influence of Taxation on Partially Irreversible Investment Decisions – A Real Option Approach, 2000.
LibreCat
 

2000 | Habilitation | LibreCat-ID: 15496
Nutzen und Allgemeinheit. Zu einigen grundlegenden Prinzipien der Praktischen Philosophie
R. Hagengruber, Nutzen und Allgemeinheit. Zu einigen grundlegenden Prinzipien der Praktischen Philosophie, Academia, Sankt Augustin, 2000.
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 | 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 | 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 | 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 | Book (Editor) | LibreCat-ID: 3669
Kompendium Weiterbildung
C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 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: 4636
Eine robuste datengesteuerte Version des Berliner-Verfahrens
Y. Feng, S. Heiler, Wirtschaft Und Statistik (2000) 786–795.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 6221
Internationale Joint Ventures
W. Weber, R. Kabst, in: J. Gutmann, R. Kabst (Eds.), Internationalisierung Im Mittelstand: Chancen, Risiken, Erfolgsfaktoren, Wiesbaden, 2000, pp. 257–272.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 6226
Perspektiven personalwirtschaftlicher Forschung
W. Weber, J. Habich, R. Kabst, in: J. Gutmann (Ed.), Jahrbuch Personalentwicklung Und Weiterbildung 2000/2001, Neuwied/Kriftel , 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 6144
Internationalisierung im Mittelstand: Chancen, Risiken, Erfolgsfaktoren
J. Gutmann, R. Kabst, Internationalisierung Im Mittelstand: Chancen, Risiken, Erfolgsfaktoren, 2000.
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 | 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 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
 

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
 

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
 

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
 

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
 

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

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
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: Default

Export / Embed