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
@inproceedings{Domik_Fischer_2010, title={Coping with complex real-world problems: Strategies for developing the competency of transdisciplinary collaboration}, booktitle={IFIP International Conference on Key Competencies in the Knowledge Society}, author={Domik, Gitta and Fischer, Gerhard}, year={2010}, pages={90–101} }
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 15136
@inproceedings{Böttcher_Hartel_Messinger_2010, title={Using XML Schema Subtraction to Compress Electronic Payment Messages}, DOI={10.1007/978-3-642-19802-1_31}, booktitle={Enterprise Information Systems - 12th International Conference, ICEIS 2010, Revised Selected Papers}, publisher={Springer}, author={Böttcher, Stefan and Hartel, Rita and Messinger, Christian}, year={2010}, pages={451–463} }
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 9749
@article{Hemsel_Lierk_Littmann_Morita_2010, title={Various Aspects of the Placement of a Piezoelectric Material in Composite Actuators, Motors, and Transducers}, volume={57}, DOI={10.3938/jkps.57.933}, number={4}, journal={Journal of Korean Physical Society}, author={Hemsel, Tobias and Lierk, Ernst Günther and Littmann, Walter and Morita, Takeshi}, year={2010}, pages={933–937} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 14563
@inproceedings{Bause_Rautenberg_Henning_2010, title={Entwicklung und Parametrisierung eines Mode-Tracing Algorithmus für halbanalytische Solver}, author={Bause, Fabian and Rautenberg, Jens and Henning, Bernd}, year={2010}, pages={1027–1028} }
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 15679
@book{Diethelm_Dörge_Hildebrandt_Schulte_2010, series={LNI}, title={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}, volume={P-168}, publisher={GI}, year={2010}, collection={LNI} }
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3139
@inproceedings{Jager_Kohlar_Schäge_Schwenk_2010, title={Generic Compilers for Authenticated Key Exchange}, DOI={10.1007/978-3-642-17373-8_14}, booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}, author={Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}, year={2010}, pages={232--249} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3141
@inproceedings{Haralambiev_Jager_Kiltz_Shoup_2010, title={Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model}, DOI={10.1007/978-3-642-13013-7_1}, booktitle={Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings}, author={Haralambiev, Kristiyan and Jager, Tibor and Kiltz, Eike and Shoup, Victor}, year={2010}, pages={1--18} }
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3189
@article{Derrick_Wehrheim_2010, title={Model transformations across views}, DOI={10.1016/j.scico.2009.11.004}, number={3}, journal={Sci. Comput. Program.}, author={Derrick, John and Wehrheim, Heike}, year={2010}, pages={192--210} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={10.1007/978-3-642-17322-6_23}, booktitle={Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={Engels, Gregor and Lewerentz, Claus and Sch{\"{a}}fer, Wilhelm and Sch{\"{u}}rr, Andy and Westfechtel, BernhardEditors}, year={2010}, pages={533--554}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3196
@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, DOI={10.1007/978-3-642-12002-2_22}, booktitle={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}, author={Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar, RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed