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.

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

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: Default

Export / Embed