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.
10656 Publications
2016 | Conference Paper | LibreCat-ID: 3118
Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts
D. Hofheinz, T. Jager, A. Rupp, in: Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
LibreCat
| DOI
D. Hofheinz, T. Jager, A. Rupp, in: Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
2016 | Conference Paper | LibreCat-ID: 3119
Verifiable Random Functions from Standard Assumptions
D. Hofheinz, T. Jager, in: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362.
LibreCat
| DOI
D. Hofheinz, T. Jager, in: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362.
2016 | Conference Paper | LibreCat-ID: 3157
Verification of AUTOSAR Software Architectures with Timed Automata
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
LibreCat
| Files available
| DOI
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
2016 | Conference Paper | LibreCat-ID: 3158
Verification of Concurrent Programs on Weak Memory Models
O. Travkin, H. Wehrheim, in: A. Sampaio, F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat
| DOI
O. Travkin, H. Wehrheim, in: A. Sampaio, F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
2016 | Conference Paper | LibreCat-ID: 3159
Towards a Thread-Local Proof Technique for Starvation Freedom
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat
| DOI
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
2016 | Journal Article | LibreCat-ID: 27037
Changes in water and sugar-containing beverage consumption and body weight outcomes in children
R. Muckelbauer, S.L. Gortmaker, L. Libuda, M. Kersting, K. Clausen, B. Adelberger, J. Müller-Nordhorn, British Journal of Nutrition (2016) 2057–2066.
LibreCat
| DOI
R. Muckelbauer, S.L. Gortmaker, L. Libuda, M. Kersting, K. Clausen, B. Adelberger, J. Müller-Nordhorn, British Journal of Nutrition (2016) 2057–2066.
2016 | Journal Article | LibreCat-ID: 27264
Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung im Spritzgießprozess
E. Moritzer, Y. Martin, E. Müller, Kunststofftechnik - Spritzgießen 2016 (2016) 27–39.
LibreCat
E. Moritzer, Y. Martin, E. Müller, Kunststofftechnik - Spritzgießen 2016 (2016) 27–39.
2016 | Journal Article | LibreCat-ID: 27458
Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems
J. Berssenbrügge, A. Trächtler, C. Schmidt, Journal of Computing and Information Science in Engineering, Band 16(3) (2016).
LibreCat
J. Berssenbrügge, A. Trächtler, C. Schmidt, Journal of Computing and Information Science in Engineering, Band 16(3) (2016).
2016 | Journal Article | LibreCat-ID: 27474
Die sich selbst optimierende Lackieranlage
P. Iwanek, A. Kühn, Journal für Oberflächentechnik 3(56) (2016) 28–31.
LibreCat
P. Iwanek, A. Kühn, Journal für Oberflächentechnik 3(56) (2016) 28–31.
2016 | Book Chapter | LibreCat-ID: 27598
Außerschulische Nutzung neuer Technologien durch Jugendliche und der Zusammenhang mit dem Erwerb computer- und informationsbezogener Kompetenzen
M. Vennemann, B. Eickelmann, K. Drossel, W. Bos, in: B. Eickelmann, J. Gerick, K. Drossel, W. Bos (Eds.), ICILS 2013 - Vertiefende Analysen zu computer- und informationsbezogenen Kompetenzen von Jugendlichen, Waxmann, Münster, 2016, pp. 168–193.
LibreCat
M. Vennemann, B. Eickelmann, K. Drossel, W. Bos, in: B. Eickelmann, J. Gerick, K. Drossel, W. Bos (Eds.), ICILS 2013 - Vertiefende Analysen zu computer- und informationsbezogenen Kompetenzen von Jugendlichen, Waxmann, Münster, 2016, pp. 168–193.
2016 | Book Chapter | LibreCat-ID: 27600
Gelingensbedingungen IT-bezogener Lehrerkooperation als Merkmal von Schulqualität
K. Drossel, R. Schulz-Zander, R. Lorenz, B. Eickelmann, in: B. Eickelmann, J. Gerick, K. Drossel, W. Bos (Eds.), ICILS 2013 - Vertiefende Analysen zu computer- und informationsbezogenen Kompetenzen von Jugendlichen, Waxmann, Münster, 2016, pp. 143–167.
LibreCat
K. Drossel, R. Schulz-Zander, R. Lorenz, B. Eickelmann, in: B. Eickelmann, J. Gerick, K. Drossel, W. Bos (Eds.), ICILS 2013 - Vertiefende Analysen zu computer- und informationsbezogenen Kompetenzen von Jugendlichen, Waxmann, Münster, 2016, pp. 143–167.
2016 | Book Chapter | LibreCat-ID: 27601
Vertiefende Analysen zu ICILS 2013 – Befunde und mögliche Entwicklungsperspektiven
B. Eickelmann, J. Gerick, K. Drossel, W. Bos, in: B. Eickelmann, J. Gerick, K. Drossel, W. Bos (Eds.), ICILS 2013. Vertiefende Analysen Zu Computer- Und Informationsbezogenen Kompetenzen von Jugendlichen, Waxmann, Münster, 2016, pp. 7–32.
LibreCat
B. Eickelmann, J. Gerick, K. Drossel, W. Bos, in: B. Eickelmann, J. Gerick, K. Drossel, W. Bos (Eds.), ICILS 2013. Vertiefende Analysen Zu Computer- Und Informationsbezogenen Kompetenzen von Jugendlichen, Waxmann, Münster, 2016, pp. 7–32.
2016 | Book (Editor) | LibreCat-ID: 27602
ICILS 2013. Vertiefende Analysen zu computer- und informationsbezogenen Kompetenzen von Jugendlichen
B. Eickelmann, J. Gerick, W. Bos, K. Drossel, eds., ICILS 2013. Vertiefende Analysen zu computer- und informationsbezogenen Kompetenzen von Jugendlichen, Waxmann, Münster, 2016.
LibreCat
B. Eickelmann, J. Gerick, W. Bos, K. Drossel, eds., ICILS 2013. Vertiefende Analysen zu computer- und informationsbezogenen Kompetenzen von Jugendlichen, Waxmann, Münster, 2016.
2016 | Book Chapter | LibreCat-ID: 27603
Der Sozialindex: Theoretische Fundierung und forschungspraktische Relevanz für die Erfassung der Schülerkomposition von Gymnasien
D. Becker, K. Drossel, J. Schwanenberg, H. Wendt, W. Bos, in: B. Groot-Wilken, K. Isaac, J.-P. Schräpler (Eds.), Sozialindices für Schulen. Hintergründe, Methoden und Anwendung, Waxmann, Münster, 2016, pp. 119–140.
LibreCat
D. Becker, K. Drossel, J. Schwanenberg, H. Wendt, W. Bos, in: B. Groot-Wilken, K. Isaac, J.-P. Schräpler (Eds.), Sozialindices für Schulen. Hintergründe, Methoden und Anwendung, Waxmann, Münster, 2016, pp. 119–140.
2016 | Conference Paper | LibreCat-ID: 1151 | 
Wie verhalten sich Aktionäre bei Unternehmenszusammenschlüssen? Modellierung sprachlicher Muster zur Analyse treibender Faktoren bei der Berichterstattung
S. Stotz, M. Geierhos, in: DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016, Nisaba-Verlag, Duisburg, Germany, 2016, pp. 378–381.
LibreCat
| Download (ext.)
S. Stotz, M. Geierhos, in: DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016, Nisaba-Verlag, Duisburg, Germany, 2016, pp. 378–381.
2016 | Journal Article | LibreCat-ID: 21034
A versatile design for resonant guided-wave parametric down-conversion sources for quantum repeaters
B. Brecht, K.-H. Luo, H. Herrmann, C. Silberhorn, Applied Physics B 122 (2016) 116.
LibreCat
| DOI
B. Brecht, K.-H. Luo, H. Herrmann, C. Silberhorn, Applied Physics B 122 (2016) 116.
2016 | Bachelorsthesis | LibreCat-ID: 213
Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
LibreCat
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 214
Commitment Schemes - Definitions, Variants, and Security
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
LibreCat
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
2016 | Conference Paper | LibreCat-ID: 215
Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat
| Files available
| DOI
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
2016 | Conference (Editor) | LibreCat-ID: 21507
Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit
D. Hein, G. Meschut, G. Tümkaya, DVS Media GmbH, eds., Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit, DVS Media GmbH, Düsseldorf, 2016.
LibreCat
D. Hein, G. Meschut, G. Tümkaya, DVS Media GmbH, eds., Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit, DVS Media GmbH, Düsseldorf, 2016.