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
@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7859
@inproceedings{Heckel_1999, title={Modeling Agent-Based Systems with Graph Transformation and UML}, number={258}, booktitle={Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems}, author={Heckel, Reiko}, year={1999} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17508
@article{Peckhaus_1999, title={Moral Integrity During a Difficult Period: Beth and Scholz}, journal={Philosophia Scientiae (Nancy) 3 (4) (1998/1999) Themenheft: Un logicien consciencieux. La philosophie de Evert Willem Beth}, author={Peckhaus, Volker}, year={1999}, pages={151–173} }
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 2008
@inbook{Brune_Keller_Reinefeld_1999, series={LNCS}, title={Multi-User System Management on SCI Cluster}, DOI={10.1007/10704208_34}, booktitle={SCI - Scalable Coherent Interface: Architecture and Software for High Performance Compute Clusters}, author={Brune, Matthias and Keller, Axel and Reinefeld, Alexander}, editor={Hellwagner, Hermann and Reinefeld, AlexanderEditors}, year={1999}, pages={443–460}, collection={LNCS} }
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 8326
@inproceedings{Engels_Sauer_1999, place={Herrsching, Universität der Bundeswehr München, Fakultät für Informatik}, title={MVC-Based Modeling Support for Embedded Real-Time Systems}, number={01}, booktitle={Proceedings of OMER Workshop, Herrsching, Germany}, author={Engels, Gregor and Sauer, Stefan}, year={1999}, pages={11–14} }
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 19405
@inbook{Eke_1999, place={Oldenburg}, title={Nachwort}, booktitle={Thomas Valentin: Grabbes letzter Sommer}, publisher={Igel}, author={Eke, Norbert Otto}, editor={Eke, Norbert OttoEditor}, year={1999}, pages={127–144} }
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 18959
@inproceedings{Lukovszki_1999, title={New Results on Fault Tolerant Geometric Spanners}, DOI={10.1007/3-540-48447-7_20}, booktitle={Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS}, author={Lukovszki, Tamás}, year={1999}, pages={193–204} }
LibreCat | DOI
 

1999 | Dissertation | LibreCat-ID: 18942
@book{Lukovszki_1999, place={Universität Paderborn}, title={New Results on Geometric Spanners and Their Applications}, author={Lukovszki, Tamás}, year={1999} }
LibreCat | Files available
 

1999 | Encyclopedia Article | LibreCat-ID: 19461
@inbook{Eke_1999, place={Stuttgart}, title={Nikolaus Lenau: Savonarola. Ein Gedicht; Die Albigenser. Freie Dichtungen}, booktitle={Reclams Romanlexikon. Bd. 2: Von der Romantik bis zum Naturalismus}, publisher={Reclam}, author={Eke, Norbert Otto}, editor={Max, Frank Rainer and Ruhrberg, ChristineEditors}, year={1999}, pages={235–238} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10189
@article{Steffen_1999, title={Non-bicritical critical snarks}, volume={15}, journal={Graphs Comb.}, author={Steffen, Eckhard}, year={1999}, pages={473–480} }
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: BibTeX

Export / Embed