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.
9930 Publications
2016 | Conference Paper | LibreCat-ID: 45938
@inproceedings{Karátson_Kovács_2016, title={A Parallel Numerical Solution Approach for Nonlinear Parabolic Systems Arising in Air Pollution Transport Problems}, booktitle={Mathematical Problems in Meteorological Modelling}, author={Karátson, J. and Kovács, Balázs}, year={2016}, pages={57–70} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 53279
@inproceedings{Soleymani_Maham_Ashtiani_2016, title={Analysis of the downlink saturation throughput of an asymmetric IEEE 802.11n-based WLAN}, DOI={10.1109/icc.2016.7511453}, booktitle={2016 IEEE International Conference on Communications (ICC)}, publisher={IEEE}, author={Soleymani, Mohammad and Maham, Behrouz and Ashtiani, Farid}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 52575
@inproceedings{Werth_2016, place={Münster}, title={Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?}, booktitle={Beiträge zum Mathematikunterricht}, publisher={WTM}, author={Werth, Gerda}, editor={Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg}, year={2016} }
LibreCat
2016 | Book Chapter | LibreCat-ID: 48396
@inbook{Wessel_Wilhelm_2016, place={Münster}, title={Zusammenhänge zwischen Sprachkompetenz und verstehensorientierter Leistung beim Umgang mit Brüchen}, booktitle={Beiträge zum Mathematikunterricht 2016}, publisher={WTM-Verlag}, author={Wessel, Lena and Wilhelm, Nadine}, editor={Institut für Mathematik und Informatik Heidelberg}, year={2016}, pages={1059–1062} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 48417
@inproceedings{Wessel_Prediger_Schüler-Meyer_Kuzu_2016, title={Is grade 7 too late to start with bilingual mathematics courses? An intervention study}, booktitle={TSG 32 at 13th International Congress on Mathematical Education, Hamburg, July 2016}, author={Wessel, Lena and Prediger, Susanne and Schüler-Meyer, Alexander and Kuzu, Taha}, year={2016} }
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 54340
@inproceedings{Hesse_2016, title={Neugestaltung der “Höheren Mathematik A, B und C für Elektrotechniker” -- Nutzung der Lehrmaterialien durch Studierende}, booktitle={Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2015: Beiträge zum gleichnamigen Symposium am 13. & 14. November 2015 an der Universität zu Lübeck (Hochschulschriften zur Mathematik-Didaktik) }, publisher={WTM-Verlag}, author={Hesse, Kerstin}, editor={Paravicini, Walther and Schnieder, Jörn}, year={2016}, pages={86–102} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 47240
@inproceedings{Acar_Backes_Bugiel_Fahl_McDaniel_Smith_2016, title={SoK: Lessons Learned from Android Security Research for Appified Software Platforms}, DOI={10.1109/sp.2016.33}, booktitle={2016 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Acar, Yasemin and Backes, Michael and Bugiel, Sven and Fahl, Sascha and McDaniel, Patrick and Smith, Matthew}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 47239
@inproceedings{Dechand_Schürmann_Busse_Acar_Fahl_Smith_2016, title={An Empirical Study of Textual Key-Fingerprint Representations}, booktitle={25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016}, publisher={USENIX Association}, author={Dechand, Sergej and Schürmann, Dominik and Busse, Karoline and Acar, Yasemin and Fahl, Sascha and Smith, Matthew}, editor={Holz, Thorsten and Savage, Stefan}, year={2016}, pages={193–208} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 47241
@inproceedings{Acar_Backes_Fahl_Kim_Mazurek_Stransky_2016, title={You Get Where You’re Looking for: The Impact of Information Sources on Code Security}, DOI={10.1109/sp.2016.25}, booktitle={2016 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Acar, Yasemin and Backes, Michael and Fahl, Sascha and Kim, Doowon and Mazurek, Michelle L. and Stransky, Christian}, year={2016} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 46365
@inproceedings{Bossek_Trautmann_2016, place={Ischia, Italy}, series={Lecture Notes in Computer Science}, title={Evolving Instances for Maximizing Performance Differences of State-of-The-Art Inexact TSP Solvers}, volume={10079}, DOI={10.1007/978-3-319-50349-3_4}, booktitle={Learning and Intelligent Optimization}, publisher={Springer International Publishing}, author={Bossek, Jakob and Trautmann, Heike}, editor={Festa, P and Sellmann, M and Vanschoren, J}, year={2016}, pages={48–59}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 46366
@inproceedings{Bossek_Trautmann_2016, place={Cham}, series={Lecture Notes in Computer Science}, title={Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference}, volume={10037}, DOI={10.1007/978-3-319-49130-1_1}, booktitle={AI*IA 2016 Advances in Artificial Intelligence}, publisher={Springer}, author={Bossek, Jakob and Trautmann, Heike}, editor={Adorni, G and Cagnoni, S and Gori, M and Maratea, M}, year={2016}, pages={3–12}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 6555 | 
@article{Claes_Meyer_Bause_Rautenberg_Henning_2016, title={Determination of the material properties of polymers using laser-generated broadband ultrasound}, volume={5}, DOI={10.5194/jsss-5-187-2016}, number={1}, journal={Journal of Sensors and Sensor Systems}, author={Claes, Leander and Meyer, Thorsten and Bause, Fabian and Rautenberg, Jens and Henning, Bernd}, year={2016}, pages={187–196} }
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 55281
@article{Steuding_Technau_2016, title={The least prime number in a Beatty sequence}, volume={169}, DOI={10.1016/j.jnt.2016.05.022}, journal={J. Number Theory}, author={Steuding, J. and Technau, Marc Philipp}, year={2016}, pages={144–159} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 250
@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning}, DOI={10.1007/978-3-319-22969-0_12}, booktitle={Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)}, author={Jakobs, Marie-Christine}, year={2015}, pages={159--174}, collection={LNCS} }
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 25073
@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25074
@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25075
@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015}, publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie}, year={2015}, pages={499–512}, collection={LNCS} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25076
@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander}, year={2015}, pages={329–332} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25080
@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 25082
@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }
LibreCat