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.

17213 Publications


1999 | Conference Paper | LibreCat-ID: 3254
Model-Checking {CSP-OZ} Specifications with {FDR}
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
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 | Dissertation | LibreCat-ID: 23961
Modelle zur Untersuchung des Schwingungsverhaltens von Statoren für piezoelektrische Ultraschall-Wanderwellen-Motoren
J. Krome, Modelle zur Untersuchung des Schwingungsverhaltens von Statoren für piezoelektrische Ultraschall-Wanderwellen-Motoren, Heinz Nixdorf Institut, Universität Paderborn, 1999.
LibreCat
 

1999 | Dissertation | LibreCat-ID: 23962
Modellierung als Kernfunktion einer systemorientierten Analyse und Bewertung der diskreten Produktion
T. Langemann, Modellierung als Kernfunktion einer systemorientierten Analyse und Bewertung der diskreten Produktion, Heinz Nixdorf Institut, Universität Paderborn, 1999.
LibreCat
 

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 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: 26008
Multiple K-edge XAS for the structural analysis of thiophenolate bridged heterotrinuclear complexes
W. Meyer-Klaucke, T. Glaser, M. Fröba, M. Tiemann, J. Wong, A.X. Trautwein, Journal of Synchrotron Radiation (1999) 397–399.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 19405
Nachwort
N.O. Eke, in: N.O. Eke (Ed.), Thomas Valentin: Grabbes letzter Sommer, Igel, Oldenburg, 1999, pp. 127–144.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 18959
New Results on Fault Tolerant Geometric Spanners
T. Lukovszki, in: Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS, 1999, pp. 193–204.
LibreCat | DOI
 

1999 | Dissertation | LibreCat-ID: 18942
New Results on Geometric Spanners and Their Applications
T. Lukovszki, New Results on Geometric Spanners and Their Applications, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Heinz Nixdorf Institut, Universität Paderborn, 1999.
LibreCat | Files available
 

1999 | Encyclopedia Article | LibreCat-ID: 19461
Nikolaus Lenau: Savonarola. Ein Gedicht; Die Albigenser. Freie Dichtungen
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 2: Von der Romantik bis zum Naturalismus, Reclam, Stuttgart, 1999, pp. 235–238.
LibreCat
 

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

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 | 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 Abstract | LibreCat-ID: 17880
On Deepening Foundations: Hilbert’s Axiomatic Program Between Pragmatics and Naturalism [Abstract]
V. Peckhaus, in: J. Cachro, K. Kijania-Placek (Eds.), International Union of History and Philosophy of Science. 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts. August 20–26, 1999, Cracow, Poland, The Faculty of Philosophy, Jagiellonian University, Cracow, 1999, p. 447.
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: 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 | Conference Paper | LibreCat-ID: 8328
On the Role of Method Families in Aspect Oriented Programming
K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8121
Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators.
S. Krauter, U. Schmid, in: Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126, 1999.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: Default

Export / Embed