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.

13667 Publications


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 | Journal Article | LibreCat-ID: 17508
Moral Integrity During a Difficult Period: Beth and Scholz
V. Peckhaus, Philosophia Scientiae (Nancy) 3 (4) (1998/1999) Themenheft: Un Logicien Consciencieux. La Philosophie de Evert Willem Beth (1999) 151–173.
LibreCat
 

1999 | Book (Editor) | LibreCat-ID: 17457
Disziplinen im Kontext. Perspektiven der Disziplingeschichtsschreibung
V. Peckhaus, C. Thiel, eds., Disziplinen im Kontext. Perspektiven der Disziplingeschichtsschreibung, Fink-Verlag, München, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17510
Hugh MacColl and the German Algebra of Logic
V. Peckhaus, Nordic Journal of Philosophical Logic 3 (1999) 17–34.
LibreCat | Download (ext.)
 

1999 | Book Review | LibreCat-ID: 18316
Recknagel, Hans, Die Nürnbergische Universität Altdorf und ihre großen Gelehrten, Druckerei Carl Hessel: Feucht 1998
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 908.01005] (1999).
LibreCat
 

1999 | Book Review | LibreCat-ID: 18311 LibreCat
 
 

1999 | Book Review | LibreCat-ID: 18328 LibreCat
 

1999 | Book Review | LibreCat-ID: 18335
Kleemeier, Ulrike, Gottlob Frege. Kontext-Prinzip und Ontologie, Alber: München 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 922.03015] (1999).
LibreCat
 

1999 | Journal Article | LibreCat-ID: 18619
Universality of the Hohenberg–Kohn functional
A. Schindlmayr, American Journal of Physics 67 (1999) 933–934.
LibreCat | DOI | WoS
 

1999 | Book (Editor) | LibreCat-ID: 18772
Von der Geometrie zur Naturalisierung. Utopisches Denken im 18. Jahrhundert zwischen literarischer Fiktion und frühneuzeitlicher Gartenkunst. Hallesche Beiträge zur Europäischen Aufklärung Bd. 10
R. Saage, E.-M. Seng, eds., Von der Geometrie zur Naturalisierung. Utopisches Denken im 18. Jahrhundert zwischen literarischer Fiktion und frühneuzeitlicher Gartenkunst. Hallesche Beiträge zur Europäischen Aufklärung Bd. 10, Max Niemeyer, Tübingen, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 19201
Kirchenbau und Politik im 19. Jahrhundert
E.-M. Seng, in: Jahrbuch der Akademie der Wissenschaften zu Göttingen 1999, 1999, pp. 54–62.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 19408 LibreCat
 

1999 | Conference Paper | LibreCat-ID: 19732
The Paderborn university BSP (PUB) library-design, implementation and performance
O. Bonorden, B. Juurlink, I. Von Otte, I. Rieping, in: Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 1999, pp. 99–104.
LibreCat | DOI
 

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: 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: 20948
Einflüsse der Klebstoffverarbeitung auf die Produktqualität
U. Walther, G. Meschut, in: Tagungsband Zum Technologie Kolleg: Kleben – Grundlagen, Forschungsergebnisse, Anwendungen, Regensburg, 1999, pp. 141–155.
LibreCat
 

1999 | Report | LibreCat-ID: 20955
Fügen von Leichtmetall-Strangpreßprofilen mittels Kleben und Fügen durch Umformen
O. Hahn, J. Kurzok, G. Meschut, Fügen von Leichtmetall-Strangpreßprofilen Mittels Kleben Und Fügen Durch Umformen, Paderborn, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 20986
Auslegung und Fertigung von Klebverbindungen vor dem Hintergrund verbesserter Wärmeleitfähigkeit
G. Meschut, in: Tagungsband Zur Swiss Bondung ´99, Rapperswil (CH), 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 | 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: 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
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

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

Export / Embed