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
Software Testing via Model Checking
F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.
LibreCat | DOI
 

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

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

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

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

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

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

2004 | Conference Paper | LibreCat-ID: 4279
Subpicosecond spatiotemporal pulse compression in a nonlinear defocusing material
N.C. Nielsen, T.H. zu Siederdissen, J. Kuhl, M. Schaarschmidt, J. Förstner, A. Knorr, S.W. Koch, H. Giessen, in: International Conference on Ultrafast Phenomena 2004, Technical Digest (CD) (Optical Society of America, 2004), 2004.
LibreCat
 

2004 | Book Review | LibreCat-ID: 18487 LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed