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.

8187 Publications


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: 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: 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: 2150 LibreCat | Files available
 

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 | Journal Article | LibreCat-ID: 2585
Funktionales Qualitätscontrolling bei mehrstufiger Fertigung
S. Betz, Zeitschrift für Planung 11 (2000) 169–193.
LibreCat
 

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
 

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
 

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

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

2000 | Journal Article | LibreCat-ID: 4904
Konzeptualisierung und Operationalisierung der Kundenbindung aus Kundensicht
A. Eggert, Marketing - Zeitschrift Für Forschung Und Praxis (2000).
LibreCat
 

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
 

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
 

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
 

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

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

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
 

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
 

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

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
 

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

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 | 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 | Journal Article | LibreCat-ID: 7396
Graph Transformation and Visual Modeling Techniques
G. Engels, R. Heckel, Bulletin of the EATCS (2000) 186–202.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7543
Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar "WiPäd München - Köln"
H.-H. Kremer, K. Wilbers, in: G.A. Straka, R. Bader, P.F.E. Sloane (Eds.), Perspektiven der Berufs- und Wirtschaftspädagogik. Forschungsberichte der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft - Frühjahrstagung 2000, Opladen, 2000, pp. 159–170.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7550
Präzisierung: Fächer- und lernortübergreifende Ausbildungskonzepte
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. 15–32.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7555
Präzisierung: Entwicklungswege und -beispiel
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. 33–44.
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: 7670
Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht
F. Bliemel, A. Eggert, in: M. Bruhn , B. Stauss (Eds.), Jahrbuch Für Dienstleistungsmanagement 2000 - Kundenbeziehungen Im Dienstleistungsbereich, Gabler, Wiesbaden, 2000, pp. 197–211.
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 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: 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: 8332
A Framework for Adding Packages to Graph Transformation Approaches
G. Busatto, G. Engels, K. Mehner, A. Wagner, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), Springer, Berlin/Heidelberg, 2000, pp. 352–367.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8337
Rollenbasierte Modellierung autonomer Agenten
R. Depke, R. Heckel, J. Küster, 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), Universität Münster, Münster, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
Strengthening the Semantics of UML Collaboration Diagrams
R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.
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 | Book Chapter | LibreCat-ID: 6223
Job Rotation: An Empirical Analysis on the Utilization and Strategic Integration in European Companies
A. Friedrich, R. Kabst, M. Rodehuth, W. Weber, in: C. Brewster, W. Mayrhofer, M. Morley (Eds.), New Challenges for European Human Resource Management, Macmillan Press, Houndmills/Basingstoke, 2000, pp. 56–71.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6691
MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS
J. Bendfeld, G. Bettenwort, C. Drilling, M. Gruffke, E. Ortjohann, S. Rump, J. Voß, in: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom, 2000.
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: 8919
Optimization of Interblade Friction Damper
L. Panning, W. Sextro, K. Popp, in: International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME, Munich, Germany, 2000, pp. 1–8.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10183
A refinement of Vizing's theorem
E. Steffen, Discrete Mathematics 218 (2000) 289–291.
LibreCat
 

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

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

2000 | Journal Article | LibreCat-ID: 6507
Reconfigurable accelerators for combinatorial problems
M. Platzner, Computer 33 (2000) 58–60.
LibreCat | DOI
 

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
 

2000 | Journal Article | LibreCat-ID: 8914
Survey of the present state of the art of piezoelectric linear motors
T. Hemsel, J. Wallaschek, Ultrasonics 38 (2000) 37–40.
LibreCat | DOI
 

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
 

1999 | Book Chapter | LibreCat-ID: 2056
: Personalcontrolling und Recht - Fallbeispiele und deren juristische Lösung -
D. Krimphove, S. Seitz, in: W. Schmeisser, A. Clermont, A. Protz (Eds.), Personalinformationssysteme & Personalcontrolling, Hermann Luchterhand Verlag, Neuwied, 1999, p. 363 ff.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 2164
Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths
P. Berenbrink, C. Scheideler, in: SODA, 1999, pp. 112--121.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 2210
Design of the PRESTO Multimedia Storage Network (Extended Abstract)
P. Berenbrink, M. Riedel, C. Scheideler, in: International Workshop on Communication and Data Management in Large Networks (CDMLarge), 1999, pp. 2–12.
LibreCat | Files available
 

1999 | Conference Paper | LibreCat-ID: 2436
A Resource Description Environment for Distributed Computing Systems
M. Brune, A. Reinefeld, J. Varnholt, in: Proc. Int. Symp. High-Performance Distributed Computing (HPDC), IEEE Computer Society, Washington, DC, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 1666
Das neue europäische Schadenersatzrecht
D. Krimphove, Österreichische Juristenzeitschrift (ÖJZ) (1999) 321 ff.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7400
Formalization of the development process for a software-hardware reflexodiagnostic tool
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7518
A View-based Approach to System Modeling Based on Open Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7859
Modeling Agent-Based Systems with Graph Transformation and UML
R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3410
A note on evolutionary stability of Bertrand equilibrium
B. Hehenkamp, W. Leininger, Journal of Evolutionary Economics 9 (1999) 367–371.
LibreCat | DOI
 

1999 | Misc | LibreCat-ID: 6135
Personalmanagement in Europa - Ein Vergleich auf der Basis empirischer Daten
U. Hanel, R. Kabst, W. Mayrhofer, W. Weber, Personalmanagement in Europa - Ein Vergleich Auf Der Basis Empirischer Daten, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 6673
Layout for a wind-power-driven, reverse osmosis installation for desalting brackish water in operation on an island
J. Bendfeld, G. Bettenwort, E. Ortjohann, J. Voss, in: Proceedings of the 1999 European Wind Energy Conference, 1-5 March 1999 Nice, France, Pp975-978, 1999.
LibreCat
 

1999 | Book (Editor) | LibreCat-ID: 6767
British Literature and Culture. Divergent Views and Attitudes. On the Occasion of Gerd Stratmann's 60th Birthday
M. Tönnies, R. Schiffer, eds., British Literature and Culture. Divergent Views and Attitudes. On the Occasion of Gerd Stratmann’s 60th Birthday, WVT, Trier, 1999.
LibreCat
 

1999 | Book | LibreCat-ID: 4937
Kundenbindung aus Kundensicht: Konzeptualisierung, Optionalisierung, Verhaltenswirksamkeit
A. Eggert, Kundenbindung Aus Kundensicht: Konzeptualisierung, Optionalisierung, Verhaltenswirksamkeit, Deutscher Universitätsverlag, Wiesbaden, 1999.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 8117
Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation
M.J. Salhi, S. Krauter, R. Lemoine, C. Triebel, S. Schroer, R.G. Araújo, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88., 1999.
LibreCat
 

1999 | Report | LibreCat-ID: 8206
A Formalisation of SOCCA using Z, part 1: The Type Level Concepts
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8321
UML-basierte Modellierung von Multimediaanwendungen
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8326
MVC-Based Modeling Support for Embedded Real-Time Systems
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 8460
Lernfelder - Motor didaktischer Innovationen
H.-H. Kremer, P.F.E. Sloane, Kölner Zeitschrift für Wirtschaft und Pädagogik (1999) 37–60.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 8465
Der implizite Lerner in multimedialen Lernarrangements
H.-H. Kremer, P.F.E. Sloane, Kölner Zeitschrift für Wirtschaft und Pädagogik (1999) 117–144.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8910
Experimental verification of a non-Hertzian contact model
W. Sextro, in: International Conference on Computational Methods in Contact Mechanics, 1999, pp. 181–190.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10191
Chromatic-index-critical graphs of even order
S. Grünewald, E. Steffen, J. Graph Theory 30 (1999) 27–36.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10189
Non-bicritical critical snarks
E. Steffen, Graphs Comb. 15 (1999) 473–480.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 13006
Error Detecting Refreshment for Embedded DRAMs
S. Hellebrand, H.-J. Wunderlich, A. A. Ivaniuk, Y. V. Klimets, V. N. Yarmolik, in: {17th IEEE VLSI Test Symposium (VTS’99)}, {IEEE (Comput. Soc.)}, Dana Point, CA, USA, 1999, pp. 384–390.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13607
Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment
O. Mencer, M. Platzner, in: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32), IEEE CS Press, 1999.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13765
SELF-ENERGY EFFECTS IN THE OPTICAL ANISOTROPY OF GaP(001)
W.G. Schmidt, J.L. FATTEBERT, J. BERNHOLC, F. BECHSTEDT, Surface Review and Letters 6 (1999) 1159–1165.
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 3656
Lehren und Lernen mit neuen Medien
W. Gallenberger, H. Gruber, C. Harteis, H. Heid, S. Kraft, in: F. Lehner, G. Braungart, L. Hitzenberger (Eds.), Multimedia—Informationssysteme Zwischen Bild Und Sprache, Gabler, Wiesbaden, 1999, pp. 259--271.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3687
Zu den Bedingungen der Möglichkeit. Helmut Heid zum 65. Geburtstag
W. Gallenberger, C. Harteis, S. Kraft, Zeitschrift Für Berufs-Und Wirtschaftspädagogik 95 (1999) 1–9.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 2007
Managing Clusters of Geographically Distributed High-Performance Computers
M. Brune, J. Gehring, A. Keller, A. Reinefeld, Concurrency, Practice, and Experience II(15) (1999) 887–911.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 2165
Simple Competitive Request Scheduling Strategies
P. Berenbrink, M. Riedel, C. Scheideler, in: SPAA, 1999, pp. 33--42.
LibreCat | Files available
 

1999 | Journal Article | LibreCat-ID: 2583
Funktionales Erfolgscontrolling bei mehrstufiger Fertigung
S. Betz, Betriebswirtschaftliche Forschung und Praxis 51 (1999) 35–47.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 3024
On the complexity of computing short linearly independent vectors and short bases in a lattice
J. Blömer, J.-P. Seifert, in: Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing  - STOC ’99, ACM Press, 1999.
LibreCat | Files available | DOI
 

1999 | Journal Article | LibreCat-ID: 3252
Partial order reductions for failures refinement
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 3339
Propositional Logic : Deduction and Algorithms
T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 1939
Der Einsatz von Fuzzy-Logik in der Rechtswissenschaft
D. Krimphove, Rechtstheorie (1999) 540 – 576.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 1946 LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 7519
Classification and Comparison of Module Concepts for Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed