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.

13849 Publications


1999 | Conference Paper | LibreCat-ID: 7858
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.
LibreCat | DOI
 

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 | 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 | Conference Paper | LibreCat-ID: 15234
A possibilistic formalization of case-based reasoning and decision making
E. Hüllermeier, in: B. Reusch (Ed.), In Proceedings of the 6th International Conference on Computational Intelligence, Dortmund, Germany, Springer, 1999, pp. 411–420.
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: 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 | 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: 13764
Ab initio calculation of linear and nonlinear optical properties of semiconductor structures
F. Bechstedt, B. Adolph, W.G. Schmidt, Brazilian Journal of Physics 29 (1999).
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 17509
Abduktion und Heuristik
V. Peckhaus, in: J. Nida-Rümelin (Ed.), Rationalität, Realismus, Revision.Vorträge des 3. Internationalen Kongresses der Gesellschaft für Analytische Philosophie, Walter de Gruyter, Berlin/New York, 1999, pp. 833–841.
LibreCat
 

1999 | Book | LibreCat-ID: 1607
Aktuelle Rechtsfragen des Börsentermin- und Optionshandels -Anforderungen an Bank und Kunde-
D. Krimphove, Aktuelle Rechtsfragen Des Börsentermin- Und Optionshandels -Anforderungen an Bank Und Kunde-, Schriftenreihe der Universität Paderborn, Paderborn, 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 | Conference Paper | LibreCat-ID: 8323
An Algebra of Graph Derivations using Finite (co-) limit Double Theories
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 1722
An Economic Analysis of the Law of Good-Faith Purchase in European Property Law
D. Krimphove, in: Gdanskie Strudia Prawnicze, Wydawnictwo Uniwersytetu Gdanskiego, Danzig, 1999, pp. 228–236.
LibreCat
 

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

1999 | Book Review | LibreCat-ID: 18319 LibreCat
 

1999 | Book Review | LibreCat-ID: 17783
Ansgar Beckermann, Einführung in die Logik, Walter de Gruyter, Berlin/New York, 1997 (Sammlung Göschen; 2243)
V. Peckhaus, Zeitschrift für allgemeine Wissenschaftstheorie 30 (1999) 176–178.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7851
Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development
A. Cherchago, in: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia), 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16200
Approximation of uncertain funtional relationships
E. Hüllermeier, Fuzzy Sets and Systems 101 (1999) 227–240.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 1946 LibreCat
 

1999 | Book Chapter | LibreCat-ID: 3689
Auf dem Weg zum Profi-Pädagogen?
S. Kraft, W. Gallenberger, C. Harteis, G. Fink, in: G. Pollack, R. Prim (Eds.), Erziehungswissenschaft Und Pädagogik Zwischen Kritischer Reflexion Und Dienstleistung, Deutscher Studienverlag, Weinheim, 1999, pp. 216–223.
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 | Report | LibreCat-ID: 8203
Basic Properties of Double Pullback Graph Transitions
H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18326 LibreCat
 

1999 | Book Review | LibreCat-ID: 18318 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 | Journal Article | LibreCat-ID: 8463
Can students act? Explorative Studie zum Erfolg fächer- und lernortübergreifender Maßnahmen
H.-H. Kremer, Kölner Zeitschrift für Wirtschaft und Pädagogik (1999) 93–110.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18327
Carnap, Rudolf, Der logische Aufbau der Welt, Meiner: Hamburg 1998
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 916.01025] (1999).
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 17500
Chancen kontextueller Disziplingeschichtsschreibung in der Mathematik
V. Peckhaus, in: V. Peckhaus, C. Thiel (Eds.), Diszilinen im Kontext. Perspektiven der Disziplingeschichtsschreibung, Fink-Verlag, München, 1999, pp. 77–95.
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 | 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 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 | Journal Article | LibreCat-ID: 8123
Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation
S. Krauter, G. Araujo, S. Schroer, M. Salhi, C. Triebel, R. Hanitsch, Solar Energy 67 (1999) 239–248.
LibreCat
 

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 | Book Chapter | LibreCat-ID: 16584
Computation of Essential Molecular Dynamics by Subdivision Techniques
P. Deuflhard, M. Dellnitz, O. Junge, C. Schütte, in: Computational Molecular Dynamics: Challenges, Methods, Ideas, Berlin, Heidelberg, 1999.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 8119
Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.
S. Krauter, U. Schmid, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18333 LibreCat
 

1999 | Conference Paper | LibreCat-ID: 875
Coscheduling through Synchronized Scheduling Servers -- A Prototype and Experiments
H. Karl, in: Parallel and Distributed Processing, 11 IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings, 1999, pp. 1115--1129.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 10187
Counterexamples to a conjecture about Petersen-minors in supersnarks
E. Steffen, Discrete Mathematics 207 (1999) 291–292.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 20991
Curing caused tensions on adhesive bonding of steel sheets
O. Hahn, M. Eis, G. Meschut, Welding in the World 43 (1999) 47–53.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10190
Cyclically 5-edge connected non-bicritical critical snarks
S. Grünewald, E. Steffen, Discuss. Math. Graph Theory 19 (1999) 5–11.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 19715
Das große "Straßenei" - Wo einst die Stadtmauer stand
P. Büker, in: D. Düsterloh (Ed.), Paderborn - vom Werden und Wachsen unserer Stadt (Materialien, Unterrichtsentwürfe, Arbeitsmittel), Paderborner Geographische Studien, Bd. 3, Selbstverlag des Faches Geographie der Universität-GH-Paderborn, Paderborn, 1999, pp. 101–104.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 18362
Das kaufmännische Rechnungsbuch im Kontext städtisch-amtlicher Schriftlichkeit
D. Tophinke, Niederdeutsches Jahrbuch 122 (1999) 25–43.
LibreCat
 

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

1999 | Book Chapter | LibreCat-ID: 8464
Das virtuelle Seminar "Wirtschaftspädagogik Köln-München"
H.-H. Kremer, K. Wilbers, in: Bertelsmann Stiftung (Ed.), Virtus, virtuelle Universitätssysteme Köln: Jahresbericht 1998/1999, Gütersloh, 1999, pp. 93–99.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 3253
Data Abstraction for {CSP-OZ}
H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 18965
Data management in networks: experimental evaluation of a provably good strategy
C. Krick, F. Meyer auf der Heide, H. Räcke, B. Vöcking, M. Westermann, in: Proceedings of the Eleventh Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’99, 1999, pp. 165–174.
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 1936
Datenschutz im Arbeitsverhältnis
D. Krimphove, in: W. Schmeisser, A. Clermont, A. Protz (Eds.), Personalinformationssysteme & Personalcontrolling, Luchterhand, 1999, pp. 339 – 362.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15712 LibreCat
 

1999 | Book Chapter | LibreCat-ID: 15618
Denken und Freiheit
R. Hagengruber, in: R. Lüthe, W. Pleger (Eds.), Wozu Philosophie?, Koblenz-Landau, Koblenz, 1999, pp. 34–42.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed