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.
1610 Publications
2013 | Report | LibreCat-ID: 2917
@book{Juhnke_Lefmann_Strehl_2013, title={An Approach for Determining Optimal Contrast in Visual Cryptography}, publisher={Fortschritt-Berichte VDI}, author={Juhnke, Jakob and Lefmann, Hanno and Strehl, Volker}, year={2013} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 2979
@inbook{Blömer_Günther_Liske_2013, place={Berlin, Heidelberg}, title={Improved Side Channel Attacks on Pairing Based Cryptography}, DOI={10.1007/978-3-642-40026-1_10}, booktitle={Constructive Side-Channel Analysis and Secure Design}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and Günther, Peter and Liske, Gennadij}, year={2013}, pages={154–168} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
@article{Jager_Schwenk_2013, title={On the Analysis of Cryptographic Assumptions in the Generic Ring Model}, DOI={10.1007/s00145-012-9120-y}, number={2}, journal={J. Cryptology}, author={Jager, Tibor and Schwenk, Jörg}, year={2013}, pages={225--245} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
@inproceedings{Böhl_Hofheinz_Jager_Koch_Hong Seo_Striecks_2013, title={Practical Signatures from Standard Assumptions}, DOI={10.1007/978-3-642-38348-9_28}, booktitle={Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings}, author={Böhl, Florian and Hofheinz, Dennis and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph}, year={2013}, pages={461--485} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
@inproceedings{Jager_Paterson_Somorovsky_2013, title={One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography}, booktitle={20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013}, author={Jager, Tibor and Paterson, Kenneth G. and Somorovsky, Juraj}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 3176
@inproceedings{Isenberg_Steenken_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={Bounded Model Checking of Graph Transformation Systems via {SMT} Solving}, DOI={10.1007/978-3-642-38592-6_13}, booktitle={Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings}, author={Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike}, editor={Beyer, Dirk and Boreale, MicheleEditors}, year={2013}, pages={178--192}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
@inproceedings{Travkin_Mütze_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={{SPIN} as a Linearizability Checker under Weak Memory Models}, DOI={10.1007/978-3-319-03077-7_21}, booktitle={Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}, author={Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}, editor={Bertacco, Valeria and Legay, AxelEditors}, year={2013}, pages={311--326}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
@inproceedings{Dongol_Travkin_Derrick_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={A High-Level Semantics for Program Execution under Total Store Order Memory}, DOI={10.1007/978-3-642-39718-9_11}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, author={Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}, editor={Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors}, year={2013}, pages={177--194}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
@inproceedings{Ziegert_Wehrheim_2013, series={{LNI}}, title={Temporal Reconfiguration Plans for Self-Adaptive Systems}, booktitle={Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen}, author={Ziegert, Steffen and Wehrheim, Heike}, editor={Kowalewski, Stefan and Rumpe, BernhardEditors}, year={2013}, pages={271--284}, collection={{LNI}} }
LibreCat
2013 | Journal Article | LibreCat-ID: 27043
@article{Libuda_Alexy_Kersting_2013, title={Time trends in dietary fat intake in a sample of German children and adolescents between 2000 and 2010: not quantity, but quality is the issue}, DOI={10.1017/s0007114513002031}, journal={British Journal of Nutrition}, author={Libuda, Lars and Alexy, Ute and Kersting, Mathilde}, year={2013}, pages={141–150} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 27054
@inproceedings{Gausemeier_Grafe_Meyer auf der Heide_2013, title={11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, volume={311}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 }, author={Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 27061
@article{Libuda_Stimming_Mesch_Warschburger_Kalhoff_Koletzko_Kersting_2013, title={Frequencies and demographic determinants of breastfeeding and DHA supplementation in a nationwide sample of mothers in Germany}, DOI={10.1007/s00394-013-0633-4}, journal={European Journal of Nutrition}, author={Libuda, Lars and Stimming, Madlen and Mesch, Christina and Warschburger, Petra and Kalhoff, Hermann and Koletzko, Berthold Viktor and Kersting, Mathilde}, year={2013}, pages={1335–1344} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27062
@article{Müller_Libuda_Diethelm_Huybrechts_Moreno_Manios_Mistura_Dallongeville_Kafatos_González-Gross_et al._2013, title={Lunch at school, at home or elsewhere. Where do adolescents usually get it and what do they eat? Results of the HELENA Study}, DOI={10.1016/j.appet.2013.09.002}, journal={Appetite}, author={Müller, Katrin and Libuda, Lars and Diethelm, Katharina and Huybrechts, Inge and Moreno, Luis A. and Manios, Yannis and Mistura, Lorenza and Dallongeville, Jean and Kafatos, Anthony and González-Gross, Marcela and et al.}, year={2013}, pages={332–339} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 27063
@article{Müller_Libuda_Gawehn_Drossard_Bolzenius_Kunz_Kersting_2013, title={Effects of lunch on children’s short-term cognitive functioning: a randomized crossover study}, DOI={10.1038/ejcn.2012.209}, journal={European Journal of Clinical Nutrition}, author={Müller, K and Libuda, Lars and Gawehn, N and Drossard, C and Bolzenius, K and Kunz, C and Kersting, M}, year={2013}, pages={185–189} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 27168
@inproceedings{Keil_Winkelnkemper_2013, title={Approaches for an informational separation of powers in learning platforms}, publisher={Society for Informatics}, author={Keil, Reinhard and Winkelnkemper, Felix}, year={2013}, pages={131–142} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
@inproceedings{Fischer_Geis_ Molich_Kluge_Heimg{\"a}rtner_Hunkirchen_Polkehn_2013, title={„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Molich, Rolf and Kluge, Oliver and Heimg{\"a}rtner, R{\"u}diger and Hunkirchen, Peter and Polkehn, Knut}, year={2013}, pages={28–34} }
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
@book{K {\ "u} hnel_2013, place={Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science}, title={Contextual tagging in the coactive knowledge organization}, publisher={Heinz Nixdorf Institute, Universit {\ "a} t Paderborn}, author={K {\ "u} hnel, Birger}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
@article{Fischer_Strenge_Nebe_2013, series={LNCS 8012}, title={Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}, publisher={Springer Verlag}, author={Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten}, year={2013}, pages={252–261}, collection={LNCS 8012} }
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
@article{Keil_Selke_Winkelnkemper_2013, title={Computer science and education - A struggle for creative sovereignty in society?}, journal={FIfF-Kommunikation}, author={Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}, year={2013}, pages={61–65} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
@inproceedings{Keil_2013, place={Berlin}, title={Media contexts - context media}, publisher={Verbrecher Verlag}, author={Keil, Reinhard}, year={2013}, pages={217–226} }
LibreCat