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.

13796 Publications

1999 | Conference Paper | LibreCat-ID: 3254
Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” In Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki, Andy Galloway, and Kenji Taguchi, 315--334, 1999.

1999 | Conference Paper | LibreCat-ID: 7859
Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.

1999 | Journal Article | LibreCat-ID: 17508
Peckhaus, Volker. “Moral Integrity During a Difficult Period: Beth and Scholz.” Philosophia Scientiae (Nancy) 3 (4) (1998/1999) Themenheft: Un Logicien Consciencieux. La Philosophie de Evert Willem Beth, 1999, 151–73.

1999 | Book Chapter | LibreCat-ID: 2008
Brune, Matthias, Axel Keller, and Alexander Reinefeld. “Multi-User System Management on SCI Cluster.” In SCI - Scalable Coherent Interface: Architecture and Software for High Performance Compute Clusters, edited by Hermann Hellwagner and Alexander Reinefeld, 443–60. LNCS, 1999.
LibreCat | DOI

1999 | Conference Paper | LibreCat-ID: 8326
Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded Real-Time Systems.” In Proceedings of OMER Workshop, Herrsching, Germany, 11–14. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999.

1999 | Book Chapter | LibreCat-ID: 19405
Eke, Norbert Otto. “Nachwort.” In Thomas Valentin: Grabbes letzter Sommer, edited by Norbert Otto Eke, 127–44. Oldenburg: Igel, 1999.

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

1999 | Dissertation | LibreCat-ID: 18942
Lukovszki, Tamás. New Results on Geometric Spanners and Their Applications. Universität Paderborn, 1999.
LibreCat | Files available

1999 | Encyclopedia Article | LibreCat-ID: 19461
Eke, Norbert Otto. “Nikolaus Lenau: Savonarola. Ein Gedicht; Die Albigenser. Freie Dichtungen.” In Reclams Romanlexikon. Bd. 2: Von der Romantik bis zum Naturalismus, edited by Frank Rainer Max and Christine Ruhrberg, 235–38. Stuttgart: Reclam, 1999.

1999 | Journal Article | LibreCat-ID: 10189
Steffen, Eckhard. “Non-Bicritical Critical Snarks.” Graphs Comb. 15 (1999): 473–80.

1999 | Journal Article | LibreCat-ID: 16199
Hüllermeier, Eyke. “Numerical Methods for Fuzzy Initial Value Problems.” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7, no. 5 (1999): 439–61.

1999 | Conference Paper | LibreCat-ID: 8322
Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” In Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 64–71. Indian Wells, California, USA, 1999.

1999 | Conference Abstract | LibreCat-ID: 17880
Peckhaus, Volker. “On Deepening Foundations: Hilbert’s Axiomatic Program Between Pragmatics and Naturalism [Abstract].” In 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, edited by Jacek Cachro and Katarzyna Kijania-Placek, 447. Cracow: The Faculty of Philosophy, Jagiellonian University, 1999.

1999 | Journal Article | LibreCat-ID: 16537
Dellnitz, Michael, and Oliver Junge. “On the Approximation of Complicated Dynamical Behavior.” SIAM Journal on Numerical Analysis, 1999, 491–515.
LibreCat | DOI

1999 | Conference Paper | LibreCat-ID: 3024
Blömer, Johannes, and Jean-Pierre Seifert. “On the Complexity of Computing Short Linearly Independent Vectors and Short Bases in a Lattice.” 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
Mehner, Katharina, and Annika Wagner. “On the Role of Method Families in Aspect Oriented Programming.” In Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), 1743:305–6. LNCS. Berlin/Heidelberg: Springer, 1999.

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

1999 | Book Review | LibreCat-ID: 18331
Peckhaus, Volker. “Otte, Michael, ‘A Controversy on the Axiomatization of Arithmetic in Its Philosophical Context’, in: Conference on the History of Mathematics. Papers from the Conference Cetraro, Italy, September 8–12, 1988, Hg. v. Massimo Galuzzi, Editoria Elettronica: Rende 1991, 465–485.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 921.01017], 1999.

1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, 71--84.
LibreCat | DOI

1999 | Conference Paper | LibreCat-ID: 17864
Fischer, Matthias, Tamas Lukovszki, and Martin Ziegler. “Partitioned Neighborhood Spanners of Minimal Outdegree.” In Proceedings of the 11th Canadian Conference on Computational Geometry. Vancouver, 1999.
LibreCat | Files available


Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: Chicago

Export / Embed