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.

12753 Publications


2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, K., Jager, T., Kiltz, E., & Shoup, V. (2010). Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. In Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings (pp. 1--18). https://doi.org/10.1007/978-3-642-13013-7_1
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3189
Derrick, J., & Wehrheim, H. (2010). Model transformations across views. Sci. Comput. Program., (3), 192--210. https://doi.org/10.1016/j.scico.2009.11.004
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, W., & Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. In G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, & B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (pp. 533--554). https://doi.org/10.1007/978-3-642-17322-6_23
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3196
Dräger, K., Kupriyanov, A., Finkbeiner, B., & Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza & R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 271--274). https://doi.org/10.1007/978-3-642-12002-2_22
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2648
Kundisch, D., & Satzger, G. (2010). Einfluss der Finanzierung auf die Steuerbarkeit und Vorteilhaftigkeit von Investitionen. Der Betrieb, 63(11), 569–576.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 2605
Betz, S. (2010). Lebenszyklusorientierte Investitionsplanung. Der Betrieb, 63, 912–916.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 2991
Krueger, A., Leutnant, V., Haeb-Umbach, R., Ackermann, M., & Blömer, J. (2010). On the initialization of dynamic models for speech features. Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2782
Wagener, M., Kundisch, D., Riodan, R., Rabhi, F., & Weinhardt, C. (2010). Mispricing and Exchange Market Systems: The Effect of Infrastructure Upgrades. In Proceedings of the 43rd Hawaii International Conference on System Sciences (HICSS). Kauai, Hawaii, USA.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 4125
Declair, S., Meier, C., Meier, T., & Förstner, J. (2010). Anticrossing of Whispering Gallery Modes in microdisk resonators embedded in an anisotropic environment. Photonics and Nanostructures - Fundamentals and Applications, 8(4), 273–277. https://doi.org/10.1016/j.photonics.2010.03.002
LibreCat | Files available | DOI
 

2010 | Journal Article | LibreCat-ID: 4144
Kemper, R. M., Weinl, M., Mietze, C., Häberlen, M., Schupp, T., Tschumak, E., … As, D. (2010). Growth of cubic GaN on nano-patterned 3C-SiC/Si (001) substrates. Journal of Crystal Growth, 323(1), 84–87. https://doi.org/10.1016/j.jcrysgro.2010.12.042
LibreCat | Files available | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: APA

Export / Embed