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.

9998 Publications


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
 

1999 | Conference Paper | LibreCat-ID: 2166
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
C. Scheideler, B. Vöcking, in: STOC, 1999, pp. 215--224.
LibreCat | Files available
 

1999 | Book Chapter | LibreCat-ID: 2008
Multi-User System Management on SCI Cluster
M. Brune, A. Keller, A. Reinefeld, in: H. Hellwagner, A. Reinefeld (Eds.), SCI - Scalable Coherent Interface: Architecture and Software for High Performance Compute Clusters, 1999, pp. 443–460.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 2584
Kostenminimale Anpassung von Beschaffung und Produktion an saisonale Absatzschwankungen
S. Betz, Zeitschrift für Betriebswirtschaft 69 (1999) 111–129.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed