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.
1941 Publications
2016 | Book Chapter | LibreCat-ID: 26738
@inbook{Hellmich_2016, place={Stuttgart}, edition={3}, title={Lehren und Lernen im Geometrieunterricht}, booktitle={Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handbuch für Studium und Praxis}, publisher={Kohlhammer}, author={Hellmich, Frank}, editor={Heimlich, Ulrich and Wember, Franz B.}, year={2016}, pages={294–306} }
LibreCat
2016 | Journal Article | LibreCat-ID: 2687
@article{Kamhöfer_Schmitz_2016, title={Reanalyzing Zero Returns to Education in Germany}, volume={31}, DOI={10.1002/jae.2461}, number={5}, journal={Journal of Applied Econometrics}, publisher={Wiley-Blackwell}, author={Kamhöfer, Daniel A. and Schmitz, Hendrik}, year={2016}, pages={912–919} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 26877
@inbook{Hellmich_Niebuhr-Siebert_2016, place={Stuttgart}, title={Lesestrategien und Wortschatzarbeit zur Förderung der Lesekompetenzen von mehrsprachig aufwachsenden Kindern in der Grundschule}, volume={1}, booktitle={ Leseförderung mit (mehrsprachigen) Kindern in Grundschulen. Wortschatz, Lesetempo und Leseflüssigkeit fördern}, publisher={Landesinstitut für Schulentwicklung}, author={Hellmich, Frank and Niebuhr-Siebert, Sandra}, editor={Landesinstitut für Schulentwicklung}, year={2016}, pages={10–19} }
LibreCat
2016 | Book Chapter | LibreCat-ID: 26878
@inbook{Blumberg_Hellmich_Fromme_2016, place={Wiesbaden}, title={Entwicklung naturwissenschaftlich-technischer Lehr-Lernangebote für inklusiven Sachunterricht}, booktitle={Lernprozessbegleitung und adaptives Lernen in der Grundschule. Forschungsbezogene Beiträge}, publisher={Springer VS}, author={Blumberg, Eva and Hellmich, Frank and Fromme, Theresa}, editor={Liebers, Katrin and Landwehr, Brunhild and Marquardt, Anne and Schlotter, Kezia}, year={2016}, pages={235–236} }
LibreCat
2016 | Journal Article | LibreCat-ID: 26882
@article{Klünder_Meier-Gräwe_2016, title={Gleichstellung und innerfamiliale Arbeitsteilung. Mahlzeitenmuster und Beköstigungsarbeit in Familien im Zeitvergleich}, journal={Wie die Zeit vergeht. Analysen zur Zeitverwendung in Deutschland. Beiträge zur Ergebniskonferenz der Zeitverwendungserhebung }, publisher={Statistisches Bundesamt }, author={Klünder, Nina and Meier-Gräwe, Uta}, year={2016}, pages={65–90} }
LibreCat
2016 | Dissertation | LibreCat-ID: 26901
@book{Kanagarajah_2016, series={Forschungsberichte des Direct Manufacturing Research Centers}, title={Ermüdungsverhalten und mikrostrukturelle Charakterisierung der im Laserschmelzverfahren hergestellten Nickelbasis-Superlegierung Inconel 939}, volume={6}, author={Kanagarajah, Pirabagini}, year={2016}, collection={Forschungsberichte des Direct Manufacturing Research Centers} }
LibreCat
2016 | Journal Article | LibreCat-ID: 26923
@article{Goletzke_Atkinson_Ek_Bell_Brand-Miller_Buyken_2016, title={Glycaemic and insulin index of four common German breads}, DOI={10.1038/ejcn.2016.9}, journal={European Journal of Clinical Nutrition}, author={Goletzke, J and Atkinson, F S and Ek, K L and Bell, K and Brand-Miller, J C and Buyken, Anette}, year={2016}, pages={808–811} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 26924
@article{Foterek_Buyken_Bolzenius_Hilbig_Nöthlings_Alexy_2016, title={Commercial complementary food consumption is prospectively associated with added sugar intake in childhood}, DOI={10.1017/s0007114516001367}, journal={British Journal of Nutrition}, author={Foterek, Kristina and Buyken, Anette and Bolzenius, Katja and Hilbig, Annett and Nöthlings, Ute and Alexy, Ute}, year={2016}, pages={2067–2074} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 26925
@article{Roßbach_Diederichs_Bolzenius_Herder_Buyken_Alexy_2016, title={Age and time trends in eating frequency and duration of nightly fasting of German children and adolescents}, DOI={10.1007/s00394-016-1286-x}, journal={European Journal of Nutrition}, author={Roßbach, Sarah and Diederichs, Tanja and Bolzenius, Katja and Herder, Christian and Buyken, Anette and Alexy, Ute}, year={2016}, pages={2507–2517} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 26926
@article{Harris_Buyken_von Berg_Berdel_Lehmann_Hoffmann_Koletzko_Koletzko_Heinrich_Standl_2016, title={Prospective associations of meat consumption during childhood with measures of body composition during adolescence: results from the GINIplus and LISAplus birth cohorts.}, volume={15}, DOI={10.1186/s12937-016-0222-5}, number={1}, journal={Nutr J}, author={Harris, C and Buyken, Anette and von Berg, A and Berdel, D and Lehmann, I and Hoffmann, B and Koletzko, S and Koletzko, B and Heinrich, J and Standl, M}, year={2016}, pages={101} }
LibreCat
| DOI
| PubMed | Europe PMC
2016 | Conference Paper | LibreCat-ID: 3283
@inproceedings{Bräuer_Monhof_Klör_Beverungen_2016, place={Paris, France}, title={Residential Energy Storage from Repurposed Electric Vehicle Batteries — Market Overview and Development of a Service-Centered Business Model}, booktitle={Proceedings of the IEEE Conference on Business Informatics (CBI 2016)}, author={Bräuer, sebastian and Monhof, Markus and Klör, Benjamin and Beverungen, Daniel}, year={2016} }
LibreCat
2016 | Dissertation | LibreCat-ID: 33
@book{Steinle_2016, title={Modeling and simulation of metallic, particle-damped spheres for lightweight materials}, author={Steinle, Tobias}, year={2016} }
LibreCat
| Download (ext.)
2016 | Bachelorsthesis | LibreCat-ID: 3308
@book{Breuer_2016, title={Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse}, publisher={Universität Paderborn}, author={Breuer, Robin }, year={2016} }
LibreCat
2016 | Mastersthesis | LibreCat-ID: 3311
@book{Amedick_2016, title={Informationsasymmetrien auf dem Spendenmarkt und Möglichkeiten ihrer Reduktion: Eine Prinzipal-Agenten-Perspektive von Online Spenden}, publisher={Universität Paderborn}, author={Amedick, Michaela}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 3318
@article{Melnikov_Hüllermeier_Kaimann_Frick_Gupta_2016, title={Pairwise versus Pointwise Ranking: A Case Study}, volume={25}, DOI={10.4467/20838476si.16.006.6187}, journal={Schedae Informaticae}, publisher={Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego}, author={Melnikov, Vitalik and Hüllermeier, Eyke and Kaimann, Daniel and Frick, Bernd and Gupta, Pritha }, year={2016} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 34
@inproceedings{Dellnitz_Eckstein_Flaßkamp_Friedel_Horenkamp_Köhler_Ober-Blöbaum_Peitz_Tiemeyer_2016, place={Cham}, series={Mathematics in Industry}, title={Multiobjective Optimal Control Methods for the Development of an Intelligent Cruise Control}, volume={22}, DOI={10.1007/978-3-319-23413-7_87}, booktitle={Progress in Industrial Mathematics at ECMI}, publisher={Springer International Publishing}, author={Dellnitz, Michael and Eckstein, Julian and Flaßkamp, Kathrin and Friedel, Patrick and Horenkamp, Christian and Köhler, Ulrich and Ober-Blöbaum, Sina and Peitz, Sebastian and Tiemeyer, Sebastian}, year={2016}, pages={633–641}, collection={Mathematics in Industry} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 35 | 
@article{Linnenbank_Grynko_Förstner_Linden_2016, title={Second harmonic generation spectroscopy on hybrid plasmonic/dielectric nanoantennas}, volume={5}, DOI={10.1038/lsa.2016.13}, number={1}, journal={Light: Science & Applications}, publisher={Springer Nature}, author={Linnenbank, Heiko and Grynko, Yevgen and Förstner, Jens and Linden, Stefan}, year={2016}, pages={e16013} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3543
@inproceedings{Hildebrandt_Alhaddad_Hammer_Förstner_2016, title={Oblique incidence of semi-guided waves on step-like folds in planar dielectric slabs: Lossless vertical interconnects in 3D integrated photonic circuits}, DOI={10.1117/12.2214460}, booktitle={Integrated Optics: Devices, Materials, and Technologies XX}, publisher={SPIE}, author={Hildebrandt, Andre and Alhaddad, Samer and Hammer, Manfred and Förstner, Jens}, editor={Broquin, Jean-Emmanuel and Nunzi Conti, GualtieroEditors}, year={2016} }
LibreCat
| Files available
| DOI
2016 | Book Chapter | LibreCat-ID: 3677
@inbook{Harteis_Heid_2016, place={Wiesbaden}, edition={4}, title={Bildungsarbeit in Wirtschaft und Betrieb}, booktitle={Handbuch Bildungsforschung}, publisher={Springer VS}, author={Harteis, Christian and Heid, Helmut}, editor={Tippelt, Rudolf and Schmidt-Hertha, BerhardEditors}, year={2016}, pages={1--21} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 3747
@inproceedings{Al Khatib_Wachsmuth_Kiesel_Hagen_Stein_2016, title={A News Editorial Corpus for Mining Argumentation Strategies}, booktitle={Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers}, author={Al Khatib, Khalid and Wachsmuth, Henning and Kiesel, Johannes and Hagen, Matthias and Stein, Benno}, year={2016}, pages={3433–3443} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3798
@inproceedings{Hett_Frers_Widhalm_Berth_Hilleringmann_Zrenner_2016, place={Munich}, title={Silicon oxynitride microdisk resonators for integrated waveguide coupling}, booktitle={Smart Systems Integration 2016 - International Conference and Exhibition on Integration Issues of Miniaturized Systems, SSI 2016}, author={Hett, Thomas and Frers, Torsten and Widhalm, Alex and Berth, Gerhard and Hilleringmann, Ulrich and Zrenner, Artur}, year={2016}, pages={400–403} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 3801
@inproceedings{Al-Khatib_Wachsmuth_Hagen_Köhler_Stein_2016, title={Cross-Domain Mining of Argumentative Text through Distant Supervision}, DOI={10.18653/v1/N16-1165}, booktitle={Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies}, author={Al-Khatib, Khalid and Wachsmuth, Henning and Hagen, Matthias and Köhler, Jonas and Stein, Benno}, year={2016}, pages={1395–1404} }
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3802
@inproceedings{Al Khatib_Wachsmuth_Kiesel_Hagen_Stein_2016, title={A News Editorial Corpus for Mining Argumentation Strategies}, booktitle={Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers}, author={Al Khatib, Khalid and Wachsmuth, Henning and Kiesel, Johannes and Hagen, Matthias and Stein, Benno}, year={2016}, pages={3433--3443} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 3816
@inproceedings{Wachsmuth_Al Khatib_Stein_2016, title={Using Argument Mining to Assess the Argumentation Quality of Essays}, booktitle={Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers}, author={Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}, year={2016}, pages={1680–1691} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3834
@article{Konoshonkin_Borovoi_Kustova_Okamoto_Ishimoto_Grynko_Förstner_2016, title={Light scattering by ice crystals of cirrus clouds: From exact numerical methods to physical-optics approximation}, volume={195}, DOI={10.1016/j.jqsrt.2016.12.024}, journal={Journal of Quantitative Spectroscopy and Radiative Transfer}, publisher={Elsevier BV}, author={Konoshonkin, Alexander and Borovoi, Anatoli and Kustova, Natalia and Okamoto, Hajime and Ishimoto, Hiroshi and Grynko, Yevgen and Förstner, Jens}, year={2016}, pages={132–140} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3840
@inproceedings{Konoshonkin_Kustova_Borovoi_Okamoto_Sato_Ishimoto_Grynko_Förstner_2016, title={Comparison between the physical-optics approximation and exact methods solving the problem of light scattering by ice crystals of cirrus clouds}, DOI={10.1117/12.2248409}, booktitle={22nd International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics}, publisher={SPIE}, author={Konoshonkin, Alexander V. and Kustova, Natalia V. and Borovoi, Anatoli G. and Okamoto, H. and Sato, K. and Ishimoto, H. and Grynko, Yevgen and Förstner, Jens}, editor={Matvienko, Gennadii G. and Romanovskii, Oleg A.Editors}, year={2016} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3841 |
@article{Quiring_Jonas_Förstner_Rai_Reuter_Wieck_Zrenner_2016, title={Phase sensitive properties and coherent manipulation of a photonic crystal microcavity}, volume={24}, DOI={10.1364/oe.24.020672}, number={18}, journal={Optics Express}, publisher={The Optical Society}, author={Quiring, Wadim and Jonas, Björn and Förstner, Jens and Rai, Ashish K. and Reuter, Dirk and Wieck, Andreas D. and Zrenner, Artur}, year={2016}, pages={20672–20684} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3843
@article{Grynko_Shkuratov_Förstner_2016, title={Light scattering by irregular particles much larger than the wavelength with wavelength-scale surface roughness}, volume={41}, DOI={10.1364/ol.41.003491}, number={15}, journal={Optics Letters}, publisher={The Optical Society}, author={Grynko, Yevgen and Shkuratov, Yuriy and Förstner, Jens}, year={2016}, pages={3491–3493} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3849
@article{Konoshonkin_Kustova_Borovoi_Grynko_Förstner_2016, title={Light scattering by ice crystals of cirrus clouds: comparison of the physical optics methods}, volume={182}, DOI={10.1016/j.jqsrt.2016.05.006}, journal={Journal of Quantitative Spectroscopy and Radiative Transfer}, publisher={Elsevier BV}, author={Konoshonkin, Alexander V. and Kustova, Natalia V. and Borovoi, Anatoli G. and Grynko, Yevgen and Förstner, Jens}, year={2016}, pages={12–23} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3880
@inproceedings{Wachsmuth_2016, title={Pipelines Für Effiziente und Robuste Ad-hoc Textanalyse}, booktitle={Ausgezeichnete Informatikdissertationen 2015}, author={Wachsmuth, Henning}, year={2016}, pages={329–338} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3884 |
@article{Kou_Förstner_2016, title={Discrete plasmonic solitons in graphene-coated nanowire arrays}, volume={24}, DOI={10.1364/oe.24.004714}, number={5}, journal={Optics Express}, publisher={The Optical Society}, author={Kou, Yao and Förstner, Jens}, year={2016}, pages={4714} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3886
@article{Alberti_Linnenbank_Linden_Grynko_Förstner_2016, title={The role of electromagnetic interactions in second harmonic generation from plasmonic metamaterials}, volume={122}, DOI={10.1007/s00340-015-6311-x}, number={2}, journal={Applied Physics B}, publisher={Springer Nature}, author={Alberti, Julian and Linnenbank, Heiko and Linden, Stefan and Grynko, Yevgen and Förstner, Jens}, year={2016}, pages={45–50} }
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 2898
@book{Weis_2016, title={Searchable Encryption}, author={Weis, Eduard}, year={2016} }
LibreCat
2016 | Book Chapter | LibreCat-ID: 28995
@inbook{Eickelmann_Gerick_Drossel_Bos_2016, place={Münster}, series={7-32}, title={Vertiefende Analysen zu ICILS 2013 – Befunde und mögliche Entwicklungsperspektiven}, booktitle={ICILS 2013 - Vertiefende Analysen zu computer- und informationsbezogenen Kompetenzen von Jugendlichen}, publisher={Waxmann}, author={Eickelmann, Birgit and Gerick, Julia and Drossel, Kerstin and Bos, Wilfried}, editor={Eickelmann, Birgit and Gerick, Julia and Drossel, Kerstin and Bos, Wilfried}, year={2016}, collection={7-32} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 2947
@inproceedings{Blömer_Günther_2016, title={Singular Curve Point Decompression Attack}, DOI={10.1109/fdtc.2015.17}, booktitle={2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC)}, publisher={IEEE}, author={Blömer, Johannes and Günther, Peter}, year={2016} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2948
@inbook{Günther_Krummel_2016, place={Cham}, title={Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures}, DOI={10.1007/978-3-319-32859-1_13}, booktitle={Mathematical Aspects of Computer and Information Sciences}, publisher={Springer International Publishing}, author={Günther, Peter and Krummel, Volker}, year={2016}, pages={151–165} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 2968
@inbook{Blömer_Lammersen_Schmidt_Sohler_2016, place={Cham}, title={Theoretical Analysis of the k-Means Algorithm – A Survey}, DOI={10.1007/978-3-319-49487-6_3}, booktitle={Algorithm Engineering}, publisher={Springer International Publishing}, author={Blömer, Johannes and Lammersen, Christiane and Schmidt, Melanie and Sohler, Christian}, year={2016}, pages={81–116} }
LibreCat
| DOI
2016 | Preprint | LibreCat-ID: 2969 |
@article{Blömer_Brauer_Bujna_2016, title={Hard-Clustering with Gaussian Mixture Models}, publisher={Computing Research Repository}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2016} }
LibreCat
| Download (ext.)
2016 | Book Chapter | LibreCat-ID: 2970
@inbook{Blömer_Bujna_2016, place={Cham}, title={Adaptive Seeding for Gaussian Mixture Models}, DOI={10.1007/978-3-319-31750-2_24}, booktitle={Advances in Knowledge Discovery and Data Mining}, publisher={Springer International Publishing}, author={Blömer, Johannes and Bujna, Kathrin}, year={2016}, pages={296–308} }
LibreCat
| DOI
2016 | Report | LibreCat-ID: 2971
@book{Blömer_Günther_2016, title={Effizienz und Sicherheit paarungsbasierter Kryptographie}, publisher={Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops}, author={Blömer, Johannes and Günther, Peter}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 3106
@article{Duman_Trockel_2016, title={On Non-Cooperative Foundation and Implementation of the Nash Solution in Subgame Perfect Equilibrium via Rubinstein’s Game}, volume={1}, DOI={10.22574/jmid.2016.12.003}, number={1}, journal={Journal of Mechanism and Institution Design}, publisher={The Society for the Promotion of Mechanism and Institution Design}, author={Duman, Papatya and Trockel, Walter}, year={2016}, pages={83–106} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3112
@article{Hofheinz_Jager_2016, title={Tightly secure signatures and public-key encryption}, DOI={10.1007/s10623-015-0062-x}, number={1}, journal={Des. Codes Cryptography}, author={Hofheinz, Dennis and Jager, Tibor}, year={2016}, pages={29--61} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3113
@article{Heuer_Jager_Schäge_Kiltz_2016, title={Selective opening security of practical public-key encryption schemes}, DOI={10.1049/iet-ifs.2015.0507}, number={6}, journal={IET Information Security}, author={Heuer, Felix and Jager, Tibor and Schäge, Sven and Kiltz, Eike}, year={2016}, pages={304--318} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3114
@article{Jager_Rupp_2016, title={Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way}, number={3}, journal={PoPETs}, author={Jager, Tibor and Rupp, Andy}, year={2016}, pages={62--82} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 3115
@inproceedings{Hofheinz_Jager_Khurana_Sahai_Waters_Zhandry_2016, title={How to Generate and Use Universal Samplers}, DOI={10.1007/978-3-662-53890-6_24}, booktitle={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}, author={Hofheinz, Dennis and Jager, Tibor and Khurana, Dakshita and Sahai, Amit and Waters, Brent and Zhandry, Mark}, year={2016}, pages={715--744} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3116
@inproceedings{Horst_Grothe_Jager_Schwenk_2016, title={Breaking PPTP VPNs via RADIUS Encryption}, DOI={10.1007/978-3-319-48965-0_10}, booktitle={Cryptology and Network Security - 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings}, author={Horst, Matthias and Grothe, Martin and Jager, Tibor and Schwenk, Jörg}, year={2016}, pages={159--175} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3117
@inproceedings{Bader_Jager_Li_Schäge_2016, title={On the Impossibility of Tight Cryptographic Reductions}, DOI={10.1007/978-3-662-49896-5_10}, booktitle={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}, author={Bader, Christoph and Jager, Tibor and Li, Yong and Schäge, Sven}, year={2016}, pages={273--304} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
@inproceedings{Hofheinz_Jager_Rupp_2016, title={Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts}, DOI={10.1007/978-3-662-53644-5_6}, booktitle={Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II}, author={Hofheinz, Dennis and Jager, Tibor and Rupp, Andy}, year={2016}, pages={146--168} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
@inproceedings{Hofheinz_Jager_2016, title={Verifiable Random Functions from Standard Assumptions}, DOI={10.1007/978-3-662-49096-9_14}, booktitle={Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I}, author={Hofheinz, Dennis and Jager, Tibor}, year={2016}, pages={336--362} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
@inproceedings{Beringer_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of AUTOSAR Software Architectures with Timed Automata}, DOI={10.1007/978-3-319-45943-1_13}, booktitle={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}, author={Beringer, Steffen and Wehrheim, Heike}, editor={H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors}, year={2016}, pages={189--204}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI