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.

9179 Publications


2010 | Conference Paper | LibreCat-ID: 15054
Domik, G., & Fischer, G. (2010). Coping with complex real-world problems: Strategies for developing the competency of transdisciplinary collaboration. In IFIP International Conference on Key Competencies in the Knowledge Society (pp. 90–101).
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15136
Böttcher, S., Hartel, R., & Messinger, C. (2010). Using XML Schema Subtraction to Compress Electronic Payment Messages. In Enterprise Information Systems - 12th International Conference, ICEIS 2010, Revised Selected Papers (pp. 451–463). Springer. https://doi.org/10.1007/978-3-642-19802-1_31
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 9749
Hemsel, T., Lierk, E. G., Littmann, W., & Morita, T. (2010). Various Aspects of the Placement of a Piezoelectric Material in Composite Actuators, Motors, and Transducers. Journal of Korean Physical Society, 57(4), 933–937. https://doi.org/10.3938/jkps.57.933
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 14563
Bause, F., Rautenberg, J., & Henning, B. (2010). Entwicklung und Parametrisierung eines Mode-Tracing Algorithmus für halbanalytische Solver (pp. 1027–1028). Presented at the 36. Jahrestagung für Akustik (DAGA 2010), Berlin.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 15679
Diethelm, I., Dörge, C., Hildebrandt, C., & Schulte, C. (Eds.). (2010). Didaktik der Informatik - Möglichkeiten empirischer Forschungsmethoden und Perspektiven der Fachdidaktik. 6. Workshop der GI-Fachgruppe “Didaktik der Informatik”, 16. - 17. September 2010 in Oldenburg (Vol. P-168). GI.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3139
Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2010). Generic Compilers for Authenticated Key Exchange. In Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings (pp. 232--249). https://doi.org/10.1007/978-3-642-17373-8_14
LibreCat | DOI
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed