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
Coping with complex real-world problems: Strategies for developing the competency of transdisciplinary collaboration
G. Domik, G. Fischer, in: IFIP International Conference on Key Competencies in the Knowledge Society, 2010, pp. 90–101.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15136
Using XML Schema Subtraction to Compress Electronic Payment Messages
S. Böttcher, R. Hartel, C. Messinger, in: Enterprise Information Systems - 12th International Conference, ICEIS 2010, Revised Selected Papers, Springer, 2010, pp. 451–463.
LibreCat | DOI
 

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

2010 | Conference Paper | LibreCat-ID: 14563
Entwicklung und Parametrisierung eines Mode-Tracing Algorithmus für halbanalytische Solver
F. Bause, J. Rautenberg, B. Henning, in: 2010, pp. 1027–1028.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 15679
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
I. Diethelm, C. Dörge, C. Hildebrandt, C. Schulte, eds., 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, GI, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3139
Generic Compilers for Authenticated Key Exchange
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, 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, 2010, pp. 232--249.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3141
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3189
Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
Model-Driven Development with Mechatronic {UML}
W. Schäfer, H. Wehrheim, 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, 2010, pp. 533--554.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3196
{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, 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, 2010, pp. 271--274.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author

Export / Embed