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
Belli F, Güldali B. Software Testing via Model Checking. In: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey). Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:http://dx.doi.org/10.1007/b101749
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 18279
Schindelhauer C, Volbert K, Ziegler M. Spanners, Weak Spanners, and Power Spanners for Wireless Networks. In: Proc. of 15th Annual International Symposium on Algorithms and Computation (ISAAC’04). Vol 3341. Berlin, Heidelberg: Springer ; 2004:805-821. doi:10.1007/978-3-540-30551-4_69
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7923
Cherchago A, Heckel R. Specification Matching of Web Services Using Conditional Graph Transformation Rules. In: Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy). Vol 3256 / 2004. LNCS. Berlin/Heidelberg: Springer; 2004:304-318. doi:http://dx.doi.org/10.1007/b100934
LibreCat | DOI
 

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

2004 | Book Review | LibreCat-ID: 18799
Peckhaus V. 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
Weiß M, Barthel T, Baumeister J. Stressmodelle und Analyse der Hirntätigkeit. ForschungsForum. 2004;7:62-67.
LibreCat
 

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

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

2004 | Conference Paper | LibreCat-ID: 4279
Nielsen NC, Siederdissen TH zu, Kuhl J, et al. Subpicosecond spatiotemporal pulse compression in a nonlinear defocusing material. In: International Conference on Ultrafast Phenomena 2004. Technical Digest (CD) (Optical Society of America, 2004); 2004.
LibreCat
 

2004 | Book Review | LibreCat-ID: 18487
Peckhaus V. 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 103001021]. 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 2123
Ateniese G, Riley C, Scheideler C. Survivable Monitoring in Dynamic Networks. In: IWIA. ; 2004:33--47.
LibreCat | Files available
 

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

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

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

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

2004 | Book Review | LibreCat-ID: 18488
Peckhaus V. Takeuti, Gaisi, Memoirs of a Proof Theorist. Gödel and other Logicians, ed. Mariko Yasugi/Nicholas Passell, World Scientific: New Jersey u.a. 2003. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 103001030]. 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8393
Sendall S, Küster J. Taming Model Round-Trip Engineering. In: Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada). ; 2004.
LibreCat | Download (ext.)
 

2004 | Encyclopedia Article | LibreCat-ID: 17681
Peckhaus V. Tarski, Alfred. In: Hoffmann D, Laitko H, Müller-Wille S, eds. Lexikon der bedeutenden Naturwissenschaftler in drei Bänden, Bd. 3: Men–Z. Heidelberg: Spektrum Akademischer Verlag; 2004:348.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 14965
Niemann R, Sureth-Sloane C. Tax neutrality under irreversibility and risk aversion. Economics Letters. 2004;84(1):43-47. doi:10.1016/j.econlet.2003.12.010
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 20931
Meyer M, Wendehals L. Teaching Object-Oriented Concepts with Eclipse. In: Proc. of the Eclipse Technology EXchange Workshop (ETX), Satellite Event of the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Vancouver, Canada. ACM Press; 2004:1-5.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: AMA

Export / Embed