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.

12545 Publications


2004 | Conference Paper | LibreCat-ID: 3233
Refinement and Consistency in Component Models with Multiple Views
H. Wehrheim, in: R. H. Reussner, J. A. Stafford, C. A. Szyperski (Eds.), Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 3235
Refinement and Consistency in Multiview Models
H. Wehrheim, in: J. B{\’{e}}zivin, R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 13721
Reflectance anisotropy of uracil covered Si(001) surfaces: Ab initio predictions
K. Seino, W.G. Schmidt, Surface Science 548 (2004) 183–186.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 856
Regionalizing global optimization algorithms to improve the operation of large ad hoc networks
D. Hollos, H. Karl, A. Wolisz, in: 2004 IEEE Wireless Communications and Networking Conference, WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, 2004, pp. 819--824.
LibreCat | DOI
 

2004 | Journal Article | LibreCat-ID: 8290
Remote PV-system monitored via satellite
S. Krauter, T. Depping, Solar Energy Materials & Solar Cells 82 (2004) 139–150.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8292
Renewable Energies in Latin America
S. Krauter, in: Proceedings of the Second World Renewable Energy Forum, Eurosolar, Bonn (Deutschland), 29.–31. Mai 2004, 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 8297
Renewable Energy in Latin America
S. Krauter, J. Kissel, Renewable Energy World (2004) 206–267.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 853
Research Challenges in Mobility and Moving Networks: An Ambient Networks View
V. Typpö, J. Eisl, J. Höller, R. Agüero, H. Karl, in: Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France, 2004, pp. 145--155.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 2122
Robust Distributed Name Service
B. Awerbuch, C. Scheideler, in: IPTPS, 2004, pp. 237--249.
LibreCat | Files available
 

2004 | Conference Paper | LibreCat-ID: 11931
Robust speaker direction estimation with particle filtering
E. Warsitz, R. Haeb-Umbach, in: IEEE Workshop on Multimedia Signal Processing (MMSP 2004), 2004, pp. 367–370.
LibreCat | DOI | Download (ext.)
 

2004 | Book Review | LibreCat-ID: 18482 LibreCat
 

2004 | Book Review | LibreCat-ID: 18798
Rowe, David E., “From Königsberg to Göttingen: a Sketch of Hilbert's Early Career”, Math. Intelligencer 25 (2003), 44-50
V. Peckhaus, Mathematical Reviews [MR 2004b:01046; Online: MathSciNet 1 986 366] (2004).
LibreCat
 

2004 | Book Review | LibreCat-ID: 17795
Rudolf Boehm, Topik, Dordrecht, Boston and London: Kluwer, 2002 (Phaenomenologica vol. 162)
V. Peckhaus, History and Philosophy of Logic 25 (2004) 155–156.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 16480
Scheduling against an adversarial network
S. Leonardi, A. Marchetti-Spaccamela, F. Meyer auf der Heide, in: SPAA ’04: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 17551
Scholz als Metaphysiker
V. Peckhaus, in: H.-C. Schmidt am Busch, K.F. Wehmeier (Eds.), Heinrich Scholz: Logiker, Philosoph, Theologe, mentis-Verlag, Paderborn, 2004, pp. 69–83.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 17546
Schröder’s Logic
V. Peckhaus, in: D.M. Gabbay, J. Woods (Eds.), Handbook of the History of Logic, Bd. 3: The Rise of Modern Logic: From Leibniz to Frege, Elsevier North Holland, Amsterdam u. a., 2004, pp. 557–609.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 3014
Secret Exponent Attacks on RSA-type Schemes with Moduli N=p^{r}q
A. May, in: Public Key Cryptography – PKC 2004, Springer Berlin Heidelberg, Berlin, Heidelberg, 2004, pp. 218–230.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 5765
Security Aspects of Internet Voting
G. Schryen, in: 37th Annual Hawaii International Conference on System Sciences, 2004.
LibreCat | Files available
 

2004 | Journal Article | LibreCat-ID: 3648
Selbstbestimmung im Arbeitsalltag
C. Harteis, J. Bauer, D. Festner, H. Gruber, UNTERRICHTSWISSENSCHAFT. (2004) 128--142.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 9522
Self configuration of miniature ultrasonic linear motors
M. Mracek, J. Wallaschek, T. Hemsel, in: Proceedings of the 18th International Congress on Acoustics, 2004, pp. 417–420.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 8702
Self-assembled quantum dots as probes for Landau-level spectroscopy
M. Russ, A. Lorke, D. Reuter, P. Schafmeister, Physica E: Low-Dimensional Systems and Nanostructures (2004) 506–509.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 4286
Self-consistent Projection Operator Theory of Intersubband Absorbance in Semiconductor Quantum Wells
I. Waldmüller, J. Förstner, A. Knorr, in: K. Morawetz (Ed.), Nonequilibrium Physics at Short Time Scales, Springer Berlin Heidelberg, Berlin, Heidelberg, 2004.
LibreCat | Files available | DOI
 

2004 | Conference Paper | LibreCat-ID: 3618
Self-determination in daily working life
C. Harteis, J. Bauer, D. Festner, H. Gruber, in: Current Issues in Adult Learning and Motivation. 7th Adult Education Colloquium, 2004, pp. 212--221.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 13071
Sensor Networks with More Features Using Less Hardware
M. Liu Jing, S. Ruehrup, C. Schindelhauer, K. Volbert, M. Dierkes, A. Bellgardt, R. Ibers, U. Hilleringmann, in: {GOR/NGB Conference Tilburg 2004}, Tilburg, Netherlands, 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 8703
Separately contacted edge states in the fractional quantum Hall regime
A. Würtz, E.V. Deviatov, A. Lorke, V.T. Dolgopolov, D. Reuter, A.D. Wieck, Physica E: Low-Dimensional Systems and Nanostructures (2004) 177–180.
LibreCat | DOI
 

2004 | Book Review | LibreCat-ID: 18802 LibreCat
 

2004 | Journal Article | LibreCat-ID: 2119
Simple On-Line Algorithms for the Maximum Disjoint Paths Problem
P. Kolman, C. Scheideler, Algorithmica (2004) 209--233.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7928
Simulation and Testing of Mobile Computing Systems using Fujaba
P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 4615 LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 1993
SLA-aware Job Migration in Grid Environments
O. Kao, M. Hovestadt, A. Keller, in: Proc. Advanced Research Workshop on High Perfomance Computing: Technology and Applications, Cetraro, Italy, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 18777
Smoothed Number of Extreme Points under Uniform Noise
C. Sohler, V. Damerow, in: Proceedings of the 20th European Workshop on Computational Geometry (EWCG’04), 2004, pp. 93–96.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 11790
Soft Features for Improved Distributed Speech Recognition over Wireless Networks
R. Haeb-Umbach, V. Ion, in: International Conference on Spoken Language Processing (ICSLP 2004), 2004.
LibreCat | Download (ext.)
 

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 | 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
 

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
 

2004 | Book Review | LibreCat-ID: 18488 LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8393
Taming Model Round-Trip Engineering
S. Sendall, J. Küster, 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
Tarski, Alfred
V. Peckhaus, in: D. Hoffmann, H. Laitko, S. Müller-Wille (Eds.), Lexikon der bedeutenden Naturwissenschaftler in drei Bänden, Bd. 3: Men–Z, Spektrum Akademischer Verlag, Heidelberg, 2004, p. 348.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 14965
Tax neutrality under irreversibility and risk aversion
R. Niemann, C. Sureth-Sloane, Economics Letters 84 (2004) 43–47.
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: Default

Export / Embed