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.

9989 Publications


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

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

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

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: 16496
Caching in networks (extended abstract)
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 | 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 | 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 | 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: 2586
Qualitätskostencontrolling auf Basis des Half-Life-Konzepts
S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755.
LibreCat
 

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

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: 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 | 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 | 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 | Journal Article | LibreCat-ID: 7396
Graph Transformation and Visual Modeling Techniques
G. Engels, R. Heckel, Bulletin of the EATCS (2000) 186–202.
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 | 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 | 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 | 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: 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 | Journal Article | LibreCat-ID: 16554
On the isolated spectrum of the Perron-Frobenius operator
M. Dellnitz, G. Froyland, S. Sertl, Nonlinearity (2000) 1171–1188.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 10189
Non-bicritical critical snarks
E. Steffen, Graphs Comb. 15 (1999) 473–480.
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 | 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 | Journal Article | LibreCat-ID: 16199
Numerical methods for fuzzy initial value problems
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7 (1999) 439–461.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 15711
Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- und Lernkontexten
C. Schulte, H. Selke, C. Huth, LOG IN 19 (1999) 40.
LibreCat
 

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

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 | 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 | 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 | 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 | 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 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 | 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 | 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 | 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 | Conference Paper | LibreCat-ID: 16889
Ein Internet-Client für ein Geo-Informationssystem zur Visualisierung geowissenschaftlicher Daten
C. Lenz, J.D. Stüwe, G. Domik-Kienegger, J. Gaulke, in: Universität Rostock, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 17053
Provably Good and Practical Strategies for Non-uniform Data Management in Networks
F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: Algorithms - ESA’ 99, Berlin, Heidelberg, 1999.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 11791 LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 13608
Communication Synthesis for Reconfigurable Embedded Systems
M. Eisenring, M. Platzner, L. Thiele, in: Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL), Springer, 1999, pp. 205–214.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13766
Theoretical Aspects of the Optical Response of Semiconductor Surfaces
F. Bechstedt, O. Pulci, W.G. Schmidt, Physica Status Solidi (A) 175 (1999) 5–16.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15712 LibreCat
 

1999 | Working Paper | LibreCat-ID: 14980
Some New Aspects of Neoclassical Investment Theory with Taxes
R. König, C. Sureth-Sloane, Some New Aspects of Neoclassical Investment Theory with Taxes, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16501
Shortest-Path Routing in Arbitrary Networks
F. Meyer auf der Heide, B. Vöcking, Journal of Algorithms (1999) 105–131.
LibreCat | DOI
 

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 | 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 | 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 | 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: 2583
Funktionales Erfolgscontrolling bei mehrstufiger Fertigung
S. Betz, Betriebswirtschaftliche Forschung und Praxis 51 (1999) 35–47.
LibreCat
 

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: 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: 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 | Conference Paper | LibreCat-ID: 7850
Tile Transition Systems as Structured Coalgebras
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
LibreCat
 

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
 

1999 | Conference (Editor) | LibreCat-ID: 7792
Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8118
Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro
S. Krauter, R. Stephan, L. Bastos, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8120
The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics
S. Krauter, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8322
OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8327
An Assessment of Aspect Language Design
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8909
Schwingungsanalyse von vorgespannten Schaufeln mit Deckplatten im Schaufelkranz
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, Heidelberg, 1999, pp. 21–38.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8911
Forced Vibration of Elastic Structures with Friction Contacts
W. Sextro, in: ASME Design Engineering Technical Conferences, Las Vegas, Nevada, USA, 1999, pp. 1–10.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 8459
Realisierung fächer- und lernortübergreifender Ausbildungskonzepte
H.-H. Kremer, in: P.F.E. Sloane, R. Bader, G. Straka (Eds.), Lehren und Lernen in der Aus- und Weiterbildung, Opladen, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 9666
Falk, P. / C. Campbell (Hg.): The Shopping Experience, 1997
M. Tönnies, Journal for the Study of British Cultures 6 (1999) 211–213.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16537
On the Approximation of Complicated Dynamical Behavior
M. Dellnitz, O. Junge, SIAM Journal on Numerical Analysis (1999) 491–515.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 11780
Investigations on inter-speaker variability in the feature space
R. Haeb-Umbach, in: ICASSP99 Phoenix, AZ, 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 11805
A study of broadcast news audio stream segmentation and segment clustering
M.J. Harris, X.L. Aubert, R. Haeb-Umbach, P. Beyerlein, in: Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 11728
The Philips/RWTH system for transcription of broadcast news
P. Beyerlein, X.L. Aubert, R. Haeb-Umbach, M.J. Harris, D. Klakow, A. Wendemuth, S. Molau, M. Pitz, A. Sixtus, in: Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Book | LibreCat-ID: 13065
Selbsttestbare Steuerwerke - Strukturen und Syntheseverfahren
S. Hellebrand, Selbsttestbare Steuerwerke - Strukturen Und Syntheseverfahren, Verlag Dr. Kovac, Hamburg, Verlag Dr. Kovac, Hamburg, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 13767
GaP(001) and InP(001): Reflectance anisotropy and surface geometry
N. Esser, W.G. Schmidt, J. Bernholc, A.M. Frisch, P. Vogt, M. Zorn, M. Pristovsek, W. Richter, F. Bechstedt, T. Hannappel, S. Visbeck, Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures 17 (1999).
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15232
Extensions of a qualitative approach to case-based decision making: Unvertainty and fuzzy quantification in act evaluation
E. Hüllermeier, D. Dubois, H. Prade, in: H.J. Zimmermann (Ed.), In Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16502
Allocating Weighted Jobs in Parallel
P. Berenbrink, F. Meyer auf der Heide, K. Schröder, Theory of Computing Systems (1999) 281–300.
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 16235
Qualitatives Schließen und Qualitative Simulation
E. Hüllermeier, in: H. Szczerbicka, T. Uthmann (Eds.), Modellierung, Simulation Und Künstliche Intelligenz, SCS Publishing House, Erlangen, 1999, pp. 277–310.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed