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.

17067 Publications


2004 | Conference Paper | LibreCat-ID: 7919
F. Belli and B. Güldali, “Software Testing via Model Checking,” in Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), 2004, vol. 3280, pp. 907–916.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 18279
C. Schindelhauer, K. Volbert, and M. Ziegler, “Spanners, Weak Spanners, and Power Spanners for Wireless Networks,” in Proc. of 15th Annual International Symposium on Algorithms and Computation (ISAAC’04), 2004, vol. 3341, pp. 805–821.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7923
A. Cherchago and R. Heckel, “Specification Matching of Web Services Using Conditional Graph Transformation Rules,” in Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy), 2004, vol. 3256 / 2004, pp. 304–318.
LibreCat | DOI
 

2004 | Journal Article | LibreCat-ID: 1958
D. Krimphove, “Spieltheoretische Aspekte des Rechts  – Ein Beitrag zur Analyse und Gestaltung von Recht mit Hilfe objektiver quanitvizierbaren Methodik –,” Rechtstheorie, no. Jg. 35, Heft 1, pp. 19 – 56, 2004.
LibreCat
 

2004 | Book Review | LibreCat-ID: 18799
V. Peckhaus, “Stelzner, Werner, ‘Compatibility and Relevance: Bolzano and Orlov’, Logic and Logical Philosophy Nr. 10 (2002), 137-171,” Mathematical Reviews [MR 2004d:01024; online: MathSciNet 1 971 369]. 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 20482
M. Weiß, T. Barthel, and J. Baumeister, “Stressmodelle und Analyse der Hirntätigkeit,” ForschungsForum, vol. 7, pp. 62–67, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7918
L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Refinement of Dynamic Software Architectures,” in Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway), 2004, pp. 155–166.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 18786
C. Sohler and A. Czumaj, “Sublinear-Time Approximation for Clustering via Random Sampling,” in Automata, Languages and Programming (ICALP), 2004, no. 1, pp. 396–407.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 4279
N. C. Nielsen et al., “Subpicosecond spatiotemporal pulse compression in a nonlinear defocusing material,” in International Conference on Ultrafast Phenomena 2004, Niigata (Japan), 2004.
LibreCat
 

2004 | Book Review | LibreCat-ID: 18487
V. Peckhaus, “Sundholm, Göran, ‘Frege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction between Sinn and Bedeutung’, History and Philosophy of Logic 22 (2001), 57–73,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 1030.01021]. 2004.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed