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.

9584 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: 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 | 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: 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 | Conference Paper | LibreCat-ID: 2123
Survivable Monitoring in Dynamic Networks
G. Ateniese, C. Riley, C. Scheideler, in: IWIA, 2004, pp. 33--47.
LibreCat | Files available
 

2004 | Journal Article | LibreCat-ID: 7679
Synthesis of High Purity Silicon Nanoparticles in a Low Pressure Microwave Reactor
J. Knipping, H. Wiggers, B. Rellinghaus, P. Roth, D. Konjhodzic, C. Meier, Journal of Nanoscience and Nanotechnology 4 (2004) 1039–1044.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 8952
Systematic mistuning of bladed disk assemblies with friction contacts
F. Götting, W. Sextro, L. Panning, K. Popp, in: Proceedings of ASME TURBO Expo, Power for Land, Sea, and Air, 2004, pp. 257–267.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8389
Systematic Validation of Model Transformations
J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 1747
Tailoring the Ultrafast Dephasing of Quasiparticles in Metallic Photonic Crystals
T. Zentgraf, A. Christ, J. Kuhl, H. Giessen, Physical Review Letters 93 (2004).
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title

Export / Embed