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.
1943 Publications
2016 | Book Chapter | LibreCat-ID: 26738
Lehren und Lernen im Geometrieunterricht
F. Hellmich, in: U. Heimlich, F.B. Wember (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handbuch für Studium und Praxis, 3rd ed., Kohlhammer, Stuttgart, 2016, pp. 294–306.
LibreCat
F. Hellmich, in: U. Heimlich, F.B. Wember (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handbuch für Studium und Praxis, 3rd ed., Kohlhammer, Stuttgart, 2016, pp. 294–306.
2016 | Journal Article | LibreCat-ID: 2687
Reanalyzing Zero Returns to Education in Germany
D.A. Kamhöfer, H. Schmitz, Journal of Applied Econometrics 31 (2016) 912–919.
LibreCat
| DOI
D.A. Kamhöfer, H. Schmitz, Journal of Applied Econometrics 31 (2016) 912–919.
2016 | Book Chapter | LibreCat-ID: 26877
Lesestrategien und Wortschatzarbeit zur Förderung der Lesekompetenzen von mehrsprachig aufwachsenden Kindern in der Grundschule
F. Hellmich, S. Niebuhr-Siebert, in: Landesinstitut für Schulentwicklung (Ed.), Leseförderung mit (mehrsprachigen) Kindern in Grundschulen. Wortschatz, Lesetempo und Leseflüssigkeit fördern, Landesinstitut für Schulentwicklung, Stuttgart, 2016, pp. 10–19.
LibreCat
F. Hellmich, S. Niebuhr-Siebert, in: Landesinstitut für Schulentwicklung (Ed.), Leseförderung mit (mehrsprachigen) Kindern in Grundschulen. Wortschatz, Lesetempo und Leseflüssigkeit fördern, Landesinstitut für Schulentwicklung, Stuttgart, 2016, pp. 10–19.
2016 | Book Chapter | LibreCat-ID: 26878
Entwicklung naturwissenschaftlich-technischer Lehr-Lernangebote für inklusiven Sachunterricht
E. Blumberg, F. Hellmich, T. Fromme, in: K. Liebers, B. Landwehr, A. Marquardt, K. Schlotter (Eds.), Lernprozessbegleitung und adaptives Lernen in der Grundschule. Forschungsbezogene Beiträge, Springer VS, Wiesbaden, 2016, pp. 235–236.
LibreCat
E. Blumberg, F. Hellmich, T. Fromme, in: K. Liebers, B. Landwehr, A. Marquardt, K. Schlotter (Eds.), Lernprozessbegleitung und adaptives Lernen in der Grundschule. Forschungsbezogene Beiträge, Springer VS, Wiesbaden, 2016, pp. 235–236.
2016 | Journal Article | LibreCat-ID: 26882
Gleichstellung und innerfamiliale Arbeitsteilung. Mahlzeitenmuster und Beköstigungsarbeit in Familien im Zeitvergleich
N. Klünder, U. Meier-Gräwe, Wie die Zeit vergeht. Analysen zur Zeitverwendung in Deutschland. Beiträge zur Ergebniskonferenz der Zeitverwendungserhebung (2016) 65–90.
LibreCat
N. Klünder, U. Meier-Gräwe, Wie die Zeit vergeht. Analysen zur Zeitverwendung in Deutschland. Beiträge zur Ergebniskonferenz der Zeitverwendungserhebung (2016) 65–90.
2016 | Dissertation | LibreCat-ID: 26901
Ermüdungsverhalten und mikrostrukturelle Charakterisierung der im Laserschmelzverfahren hergestellten Nickelbasis-Superlegierung Inconel 939
P. Kanagarajah, Ermüdungsverhalten und mikrostrukturelle Charakterisierung der im Laserschmelzverfahren hergestellten Nickelbasis-Superlegierung Inconel 939, 2016.
LibreCat
P. Kanagarajah, Ermüdungsverhalten und mikrostrukturelle Charakterisierung der im Laserschmelzverfahren hergestellten Nickelbasis-Superlegierung Inconel 939, 2016.
2016 | Journal Article | LibreCat-ID: 26923
Glycaemic and insulin index of four common German breads
J. Goletzke, F.S. Atkinson, K.L. Ek, K. Bell, J.C. Brand-Miller, A. Buyken, European Journal of Clinical Nutrition (2016) 808–811.
LibreCat
| DOI
J. Goletzke, F.S. Atkinson, K.L. Ek, K. Bell, J.C. Brand-Miller, A. Buyken, European Journal of Clinical Nutrition (2016) 808–811.
2016 | Journal Article | LibreCat-ID: 26924
Commercial complementary food consumption is prospectively associated with added sugar intake in childhood
K. Foterek, A. Buyken, K. Bolzenius, A. Hilbig, U. Nöthlings, U. Alexy, British Journal of Nutrition (2016) 2067–2074.
LibreCat
| DOI
K. Foterek, A. Buyken, K. Bolzenius, A. Hilbig, U. Nöthlings, U. Alexy, British Journal of Nutrition (2016) 2067–2074.
2016 | Journal Article | LibreCat-ID: 26925
Age and time trends in eating frequency and duration of nightly fasting of German children and adolescents
S. Roßbach, T. Diederichs, K. Bolzenius, C. Herder, A. Buyken, U. Alexy, European Journal of Nutrition (2016) 2507–2517.
LibreCat
| DOI
S. Roßbach, T. Diederichs, K. Bolzenius, C. Herder, A. Buyken, U. Alexy, European Journal of Nutrition (2016) 2507–2517.
2016 | Journal Article | LibreCat-ID: 26926
Prospective associations of meat consumption during childhood with measures of body composition during adolescence: results from the GINIplus and LISAplus birth cohorts.
C. Harris, A. Buyken, A. von Berg, D. Berdel, I. Lehmann, B. Hoffmann, S. Koletzko, B. Koletzko, J. Heinrich, M. Standl, Nutr J 15 (2016) 101.
LibreCat
| DOI
| PubMed | Europe PMC
C. Harris, A. Buyken, A. von Berg, D. Berdel, I. Lehmann, B. Hoffmann, S. Koletzko, B. Koletzko, J. Heinrich, M. Standl, Nutr J 15 (2016) 101.
2016 | Conference Paper | LibreCat-ID: 3283
Residential Energy Storage from Repurposed Electric Vehicle Batteries — Market Overview and Development of a Service-Centered Business Model
sebastian Bräuer, M. Monhof, B. Klör, D. Beverungen, in: Proceedings of the IEEE Conference on Business Informatics (CBI 2016), Paris, France, 2016.
LibreCat
sebastian Bräuer, M. Monhof, B. Klör, D. Beverungen, in: Proceedings of the IEEE Conference on Business Informatics (CBI 2016), Paris, France, 2016.
2016 | Dissertation | LibreCat-ID: 33
Modeling and simulation of metallic, particle-damped spheres for lightweight materials
T. Steinle, Modeling and Simulation of Metallic, Particle-Damped Spheres for Lightweight Materials, 2016.
LibreCat
| Download (ext.)
T. Steinle, Modeling and Simulation of Metallic, Particle-Damped Spheres for Lightweight Materials, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 3308
Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse
R. Breuer, Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse, Universität Paderborn, 2016.
LibreCat
R. Breuer, Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse, Universität Paderborn, 2016.
2016 | Mastersthesis | LibreCat-ID: 3311
Informationsasymmetrien auf dem Spendenmarkt und Möglichkeiten ihrer Reduktion: Eine Prinzipal-Agenten-Perspektive von Online Spenden
M. Amedick, Informationsasymmetrien auf dem Spendenmarkt und Möglichkeiten ihrer Reduktion: Eine Prinzipal-Agenten-Perspektive von Online Spenden, Universität Paderborn, 2016.
LibreCat
M. Amedick, Informationsasymmetrien auf dem Spendenmarkt und Möglichkeiten ihrer Reduktion: Eine Prinzipal-Agenten-Perspektive von Online Spenden, Universität Paderborn, 2016.
2016 | Journal Article | LibreCat-ID: 3318
Pairwise versus Pointwise Ranking: A Case Study
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, Pritha Gupta, Schedae Informaticae 25 (2016).
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, Pritha Gupta, Schedae Informaticae 25 (2016).
2016 | Conference Paper | LibreCat-ID: 34
Multiobjective Optimal Control Methods for the Development of an Intelligent Cruise Control
M. Dellnitz, J. Eckstein, K. Flaßkamp, P. Friedel, C. Horenkamp, U. Köhler, S. Ober-Blöbaum, S. Peitz, S. Tiemeyer, in: Progress in Industrial Mathematics at ECMI, Springer International Publishing, Cham, 2016, pp. 633–641.
LibreCat
| DOI
M. Dellnitz, J. Eckstein, K. Flaßkamp, P. Friedel, C. Horenkamp, U. Köhler, S. Ober-Blöbaum, S. Peitz, S. Tiemeyer, in: Progress in Industrial Mathematics at ECMI, Springer International Publishing, Cham, 2016, pp. 633–641.
2016 | Journal Article | LibreCat-ID: 35 |
Second harmonic generation spectroscopy on hybrid plasmonic/dielectric nanoantennas
H. Linnenbank, Y. Grynko, J. Förstner, S. Linden, Light: Science & Applications 5 (2016) e16013.
LibreCat
| Files available
| DOI
H. Linnenbank, Y. Grynko, J. Förstner, S. Linden, Light: Science & Applications 5 (2016) e16013.
2016 | Conference Paper | LibreCat-ID: 3543
Oblique incidence of semi-guided waves on step-like folds in planar dielectric slabs: Lossless vertical interconnects in 3D integrated photonic circuits
A. Hildebrandt, S. Alhaddad, M. Hammer, J. Förstner, in: J.-E. Broquin, G. Nunzi Conti (Eds.), Integrated Optics: Devices, Materials, and Technologies XX, SPIE, 2016.
LibreCat
| Files available
| DOI
A. Hildebrandt, S. Alhaddad, M. Hammer, J. Förstner, in: J.-E. Broquin, G. Nunzi Conti (Eds.), Integrated Optics: Devices, Materials, and Technologies XX, SPIE, 2016.
2016 | Book Chapter | LibreCat-ID: 3677
Bildungsarbeit in Wirtschaft und Betrieb
C. Harteis, H. Heid, in: R. Tippelt, B. Schmidt-Hertha (Eds.), Handbuch Bildungsforschung, 4th ed., Springer VS, Wiesbaden, 2016, pp. 1--21.
LibreCat
C. Harteis, H. Heid, in: R. Tippelt, B. Schmidt-Hertha (Eds.), Handbuch Bildungsforschung, 4th ed., Springer VS, Wiesbaden, 2016, pp. 1--21.
2016 | Conference Paper | LibreCat-ID: 3747
A News Editorial Corpus for Mining Argumentation Strategies
K. Al Khatib, H. Wachsmuth, J. Kiesel, M. Hagen, B. Stein, in: Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 3433–3443.
LibreCat
| Download (ext.)
K. Al Khatib, H. Wachsmuth, J. Kiesel, M. Hagen, B. Stein, in: Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 3433–3443.
2016 | Conference Paper | LibreCat-ID: 3798
Silicon oxynitride microdisk resonators for integrated waveguide coupling
T. Hett, T. Frers, A. Widhalm, G. Berth, U. Hilleringmann, A. Zrenner, in: Smart Systems Integration 2016 - International Conference and Exhibition on Integration Issues of Miniaturized Systems, SSI 2016, Munich, 2016, pp. 400–403.
LibreCat
T. Hett, T. Frers, A. Widhalm, G. Berth, U. Hilleringmann, A. Zrenner, in: Smart Systems Integration 2016 - International Conference and Exhibition on Integration Issues of Miniaturized Systems, SSI 2016, Munich, 2016, pp. 400–403.
2016 | Conference Paper | LibreCat-ID: 3801
Cross-Domain Mining of Argumentative Text through Distant Supervision
K. Al-Khatib, H. Wachsmuth, M. Hagen, J. Köhler, B. Stein, in: Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2016, pp. 1395–1404.
LibreCat
| DOI
| Download (ext.)
K. Al-Khatib, H. Wachsmuth, M. Hagen, J. Köhler, B. Stein, in: Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2016, pp. 1395–1404.
2016 | Conference Paper | LibreCat-ID: 3802
A News Editorial Corpus for Mining Argumentation Strategies
K. Al Khatib, H. Wachsmuth, J. Kiesel, M. Hagen, B. Stein, in: Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 3433--3443.
LibreCat
K. Al Khatib, H. Wachsmuth, J. Kiesel, M. Hagen, B. Stein, in: Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 3433--3443.
2016 | Conference Paper | LibreCat-ID: 3816
Using Argument Mining to Assess the Argumentation Quality of Essays
H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 1680–1691.
LibreCat
| Download (ext.)
H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 1680–1691.
2016 | Journal Article | LibreCat-ID: 3834
Light scattering by ice crystals of cirrus clouds: From exact numerical methods to physical-optics approximation
A. Konoshonkin, A. Borovoi, N. Kustova, H. Okamoto, H. Ishimoto, Y. Grynko, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 195 (2016) 132–140.
LibreCat
| Files available
| DOI
A. Konoshonkin, A. Borovoi, N. Kustova, H. Okamoto, H. Ishimoto, Y. Grynko, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 195 (2016) 132–140.
2016 | Conference Paper | LibreCat-ID: 3840
Comparison between the physical-optics approximation and exact methods solving the problem of light scattering by ice crystals of cirrus clouds
A.V. Konoshonkin, N.V. Kustova, A.G. Borovoi, H. Okamoto, K. Sato, H. Ishimoto, Y. Grynko, J. Förstner, in: G.G. Matvienko, O.A. Romanovskii (Eds.), 22nd International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics, SPIE, 2016.
LibreCat
| Files available
| DOI
A.V. Konoshonkin, N.V. Kustova, A.G. Borovoi, H. Okamoto, K. Sato, H. Ishimoto, Y. Grynko, J. Förstner, in: G.G. Matvienko, O.A. Romanovskii (Eds.), 22nd International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics, SPIE, 2016.
2016 | Journal Article | LibreCat-ID: 3841 |
Phase sensitive properties and coherent manipulation of a photonic crystal microcavity
W. Quiring, B. Jonas, J. Förstner, A.K. Rai, D. Reuter, A.D. Wieck, A. Zrenner, Optics Express 24 (2016) 20672–20684.
LibreCat
| Files available
| DOI
W. Quiring, B. Jonas, J. Förstner, A.K. Rai, D. Reuter, A.D. Wieck, A. Zrenner, Optics Express 24 (2016) 20672–20684.
2016 | Journal Article | LibreCat-ID: 3843
Light scattering by irregular particles much larger than the wavelength with wavelength-scale surface roughness
Y. Grynko, Y. Shkuratov, J. Förstner, Optics Letters 41 (2016) 3491–3493.
LibreCat
| Files available
| DOI
Y. Grynko, Y. Shkuratov, J. Förstner, Optics Letters 41 (2016) 3491–3493.
2016 | Journal Article | LibreCat-ID: 3849
Light scattering by ice crystals of cirrus clouds: comparison of the physical optics methods
A.V. Konoshonkin, N.V. Kustova, A.G. Borovoi, Y. Grynko, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 182 (2016) 12–23.
LibreCat
| Files available
| DOI
A.V. Konoshonkin, N.V. Kustova, A.G. Borovoi, Y. Grynko, J. Förstner, Journal of Quantitative Spectroscopy and Radiative Transfer 182 (2016) 12–23.
2016 | Conference Paper | LibreCat-ID: 3880
Pipelines Für Effiziente und Robuste Ad-hoc Textanalyse
H. Wachsmuth, in: Ausgezeichnete Informatikdissertationen 2015, 2016, pp. 329–338.
LibreCat
| Download (ext.)
H. Wachsmuth, in: Ausgezeichnete Informatikdissertationen 2015, 2016, pp. 329–338.
2016 | Journal Article | LibreCat-ID: 3884 |
Discrete plasmonic solitons in graphene-coated nanowire arrays
Y. Kou, J. Förstner, Optics Express 24 (2016) 4714.
LibreCat
| Files available
| DOI
Y. Kou, J. Förstner, Optics Express 24 (2016) 4714.
2016 | Journal Article | LibreCat-ID: 3886
The role of electromagnetic interactions in second harmonic generation from plasmonic metamaterials
J. Alberti, H. Linnenbank, S. Linden, Y. Grynko, J. Förstner, Applied Physics B 122 (2016) 45–50.
LibreCat
| Files available
| DOI
J. Alberti, H. Linnenbank, S. Linden, Y. Grynko, J. Förstner, Applied Physics B 122 (2016) 45–50.
2016 | Mastersthesis | LibreCat-ID: 2898
Searchable Encryption
E. Weis, Searchable Encryption, 2016.
LibreCat
E. Weis, Searchable Encryption, 2016.
2016 | Book Chapter | LibreCat-ID: 28995
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.
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.
2016 | Conference Paper | LibreCat-ID: 2947
Singular Curve Point Decompression Attack
J. Blömer, P. Günther, in: 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), IEEE, 2016.
LibreCat
| DOI
J. Blömer, P. Günther, in: 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), IEEE, 2016.
2016 | Book Chapter | LibreCat-ID: 2948
Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures
P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.
LibreCat
| DOI
P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.
2016 | Book Chapter | LibreCat-ID: 2968
Theoretical Analysis of the k-Means Algorithm – A Survey
J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering, Springer International Publishing, Cham, 2016, pp. 81–116.
LibreCat
| DOI
J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering, Springer International Publishing, Cham, 2016, pp. 81–116.
2016 | Preprint | LibreCat-ID: 2969 |
Hard-Clustering with Gaussian Mixture Models
J. Blömer, S. Brauer, K. Bujna, (2016).
LibreCat
| Download (ext.)
J. Blömer, S. Brauer, K. Bujna, (2016).
2016 | Book Chapter | LibreCat-ID: 2970
Adaptive Seeding for Gaussian Mixture Models
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
LibreCat
| DOI
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
2016 | Report | LibreCat-ID: 2971
Effizienz und Sicherheit paarungsbasierter Kryptographie
J. Blömer, P. Günther, Effizienz Und Sicherheit Paarungsbasierter Kryptographie, Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops, 2016.
LibreCat
J. Blömer, P. Günther, Effizienz Und Sicherheit Paarungsbasierter Kryptographie, Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops, 2016.
2016 | Journal Article | LibreCat-ID: 3106
On Non-Cooperative Foundation and Implementation of the Nash Solution in Subgame Perfect Equilibrium via Rubinstein's Game
P. Duman, W. Trockel, Journal of Mechanism and Institution Design 1 (2016) 83–106.
LibreCat
| Files available
| DOI
P. Duman, W. Trockel, Journal of Mechanism and Institution Design 1 (2016) 83–106.
2016 | Journal Article | LibreCat-ID: 3112
Tightly secure signatures and public-key encryption
D. Hofheinz, T. Jager, Des. Codes Cryptography (2016) 29--61.
LibreCat
| DOI
D. Hofheinz, T. Jager, Des. Codes Cryptography (2016) 29--61.
2016 | Journal Article | LibreCat-ID: 3113
Selective opening security of practical public-key encryption schemes
F. Heuer, T. Jager, S. Schäge, E. Kiltz, IET Information Security (2016) 304--318.
LibreCat
| DOI
F. Heuer, T. Jager, S. Schäge, E. Kiltz, IET Information Security (2016) 304--318.
2016 | Journal Article | LibreCat-ID: 3114
Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way
T. Jager, A. Rupp, PoPETs (2016) 62--82.
LibreCat
T. Jager, A. Rupp, PoPETs (2016) 62--82.
2016 | Conference Paper | LibreCat-ID: 3115
How to Generate and Use Universal Samplers
D. Hofheinz, T. Jager, D. Khurana, A. Sahai, B. Waters, M. Zhandry, in: Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, 2016, pp. 715--744.
LibreCat
| DOI
D. Hofheinz, T. Jager, D. Khurana, A. Sahai, B. Waters, M. Zhandry, in: Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, 2016, pp. 715--744.
2016 | Conference Paper | LibreCat-ID: 3116
Breaking PPTP VPNs via RADIUS Encryption
M. Horst, M. Grothe, T. Jager, J. Schwenk, in: Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings, 2016, pp. 159--175.
LibreCat
| DOI
M. Horst, M. Grothe, T. Jager, J. Schwenk, in: Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings, 2016, pp. 159--175.
2016 | Conference Paper | LibreCat-ID: 3117
On the Impossibility of Tight Cryptographic Reductions
C. Bader, T. Jager, Y. Li, S. Schäge, in: Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304.
LibreCat
| DOI
C. Bader, T. Jager, Y. Li, S. Schäge, in: Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304.
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.