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.

15986 Publications


2004 | Conference Paper | LibreCat-ID: 3233
Wehrheim, H. (2004). Refinement and Consistency in Component Models with Multiple Views. 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 (pp. 84--102). https://doi.org/10.1007/11786160_5
LibreCat | DOI
 

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

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

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

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

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

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

2004 | Conference Paper | LibreCat-ID: 853
Typpö, V., Eisl, J., Höller, J., Agüero, R., & Karl, H. (2004). Research Challenges in Mobility and Moving Networks: An Ambient Networks View. 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 (pp. 145--155). https://doi.org/10.1007/0-387-24043-8_15
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 2122
Awerbuch, B., & Scheideler, C. (2004). Robust Distributed Name Service. In IPTPS (Vol. 3279, pp. 237--249).
LibreCat | Files available
 

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

2004 | Book Review | LibreCat-ID: 18482
Peckhaus, V. (2004). Ropolyi, László, “Lakatos and Lukács”, in: G. Kampis/L. Kvasz/M. Stöltzner (Hgg.), Appraising Lakatos: Mathematics, Methodology and the Man, Kluwer: Dordrecht 2002, 303–337. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 1026.01016].
LibreCat
 

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

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

2004 | Conference Paper | LibreCat-ID: 16480
Leonardi, S., Marchetti-Spaccamela, A., & Meyer auf der Heide, F. (2004). Scheduling against an adversarial network. In SPAA ’04: Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures. https://doi.org/10.1145/1007912.1007936
LibreCat | DOI
 

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

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

2004 | Book Chapter | LibreCat-ID: 3014
May, A. (2004). Secret Exponent Attacks on RSA-type Schemes with Moduli N=p^{r}q. In Public Key Cryptography – PKC 2004 (pp. 218–230). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-24632-9_16
LibreCat | DOI
 

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

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

2004 | Conference Paper | LibreCat-ID: 20932
Wendehals, L., Meyer, M., & Elsner, A. (2004). Selective Tracing of Java Programs. In Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Vol. tr-ri-04-253, pp. 7–10). University of Paderborn.
LibreCat
 

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

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

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

2004 | Conference Paper | LibreCat-ID: 3618
Harteis, C., Bauer, J., Festner, D., & Gruber, H. (2004). Self-determination in daily working life. In Current issues in adult learning and motivation. 7th Adult Education Colloquium (pp. 212--221).
LibreCat
 

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

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

2004 | Book Review | LibreCat-ID: 18802
Peckhaus, V. (2004). Seuren, P.A.M., The Logic of Thinking, Koninklijke Nederlandse Akademie van Wetenschappen: Amsterdam 2002 (Mededelingen van de Afdeling Letterkunde, Niewe Reeks, Deel 65, no. 9). Mathematical Reviews [MR 2004h.03007; Online: MathSciNet 2014619].
LibreCat
 

2004 | Journal Article | LibreCat-ID: 2119
Kolman, P., & Scheideler, C. (2004). Simple On-Line Algorithms for the Maximum Disjoint Paths Problem. Algorithmica, (3), 209--233. https://doi.org/10.1007/s00453-004-1086-1
LibreCat | DOI
 

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

2004 | Journal Article | LibreCat-ID: 4615
Feng, Y. (2004). SIMULTANEOUSLY MODELING CONDITIONAL HETEROSKEDASTICITY AND SCALE CHANGE. Econometric Theory, 20(03). https://doi.org/10.1017/s0266466604203061
LibreCat | DOI
 

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

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

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

2004 | Conference Paper | LibreCat-ID: 7919
Belli, F., & Güldali, B. (2004). Software Testing via Model Checking. In Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey) (Vol. 3280, pp. 907–916). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b101749
LibreCat | DOI
 

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

2004 | Conference Paper | LibreCat-ID: 7923
Cherchago, A., & Heckel, R. (2004). 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, pp. 304–318). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b100934
LibreCat | DOI
 

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

2004 | Book Review | LibreCat-ID: 18799
Peckhaus, V. (2004). 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].
LibreCat
 

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

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

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

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

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

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

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

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

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

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

2004 | Book Review | LibreCat-ID: 18488
Peckhaus, V. (2004). 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. 1030.01030].
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8393
Sendall, S., & Küster, J. (2004). 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).
LibreCat | Download (ext.)
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: APA

Export / Embed