en
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.
4867 Publications
2018 | Journal Article | LibreCat-ID: 11916
@article{Despotovic_Walter_Haeb-Umbach_2018, title={Machine learning techniques for semantic analysis of dysarthric speech: An experimental study}, journal={Speech Communication 99 (2018) 242-251 (Elsevier B.V.)}, author={Despotovic, Vladimir and Walter, Oliver and Haeb-Umbach, Reinhold}, year={2018} }
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 12034
@article{Klingler_Cohen_Sommer_Dressler_2018, title={Bloom Hopping: Bloom Filter Based 2-Hop Neighbor Management in VANETs}, DOI={10.1109/tmc.2018.2840123}, journal={IEEE Transactions on Mobile Computing}, author={Klingler, Florian and Cohen, Reuven and Sommer, Christoph and Dressler, Falko}, year={2018}, pages={534–545} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12041
@article{Outay_Ahmar_Kamoun_Yasar_Sommer_Jabeur_El-Amine_2018, title={Investigation of the impact of a wireless Fog Warning System with respect to road traffic on a highway}, DOI={10.1007/s00779-018-1151-4}, journal={Personal and Ubiquitous Computing}, author={Outay, Fatma and Ahmar, Absar-Ul-Haque and Kamoun, Faouzi and Yasar, Ansar-Ul-Haque and Sommer, Christoph and Jabeur, Nafaa and El-Amine, Samar}, year={2018} }
LibreCat
| DOI
2018 | Conference (Editor) | LibreCat-ID: 15588
@book{Bednarik_Schulte_2018, title={Proceedings of the Workshop on Eye Movements in Programming, EMIP@ETRA 2018, Warsaw, Poland, June 15, 2018}, publisher={(ACM)}, year={2018} }
LibreCat
2018 | Book | LibreCat-ID: 15595
@book{Sentance_Barendsen_Schulte_2018, title={Computer Science Education: Perspectives on Teaching and learning in school}, publisher={Bloomsbury Publishing}, author={Sentance, Sue and Barendsen, Erik and Schulte, Carsten}, year={2018} }
LibreCat
2018 | Book Chapter | LibreCat-ID: 15160
@inbook{Dunst_Hartel_2018, title={The quantitative analysis of comics: Towards a visual stylometry of graphic narrative}, booktitle={Empirical Comics Research: Digital, Multimodal, and Cognitive Methods}, publisher={Routledge}, author={Dunst, Alexander and Hartel, Rita}, editor={Dunst, Alexander and Laubrock, Jochen and Wildfeuer, JaninaEditors}, year={2018}, pages={43–61} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 15646
@inproceedings{Heinemann_Opel_Budde_Schulte_Frischemeier_Biehler_Podworny_Wassong_2018, title={Drafting a Data Science Curriculum for Secondary Schools}, booktitle={Koli Calling}, publisher={ACM}, author={Heinemann, Birte and Opel, Simone Anna and Budde, Lea and Schulte, Carsten and Frischemeier, Daniel and Biehler, Rolf and Podworny, Susanne and Wassong, Thomas}, year={2018}, pages={17:1-17:5} }
LibreCat
2018 | Journal Article | LibreCat-ID: 16714
@article{Vieluf_Mora_Gölz_Reuter_Godde_Dellnitz_Reinsberger_Voelcker-Rehage_2018, title={Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control}, DOI={10.1016/j.neuroscience.2018.07.025}, journal={Neuroscience}, author={Vieluf, Solveig and Mora, Karin and Gölz, Christian and Reuter, Eva-Maria and Godde, Ben and Dellnitz, Michael and Reinsberger, Claus and Voelcker-Rehage, Claudia}, year={2018}, pages={203–213} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 2474
@inproceedings{Afifi_Auroux_Karl_2018, title={MARVELO: Wireless Virtual Network Embedding for Overlay Graphs with Loops}, publisher={Proc. of IEEE Wireless Communications and Networking Conference (WCNC)}, author={Afifi, Haitham and Auroux, Sébastien and Karl, Holger}, year={2018} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 2479
@inproceedings{Mohr_Wever_Hüllermeier_Faez_2018, place={San Francisco, CA, USA}, title={(WIP) Towards the Automated Composition of Machine Learning Services}, DOI={10.1109/SCC.2018.00039}, booktitle={SCC}, publisher={IEEE}, author={Mohr, Felix and Wever, Marcel Dominik and Hüllermeier, Eyke and Faez, Amin}, year={2018} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2481
@inproceedings{Dräxler_Schneider_Karl_2018, title={ Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions}, booktitle={4th IEEE International Conference on Network Softwarization (NetSoft 2018)}, publisher={IEEE}, author={Dräxler, Sevil and Schneider, Stefan Balthasar and Karl, Holger}, year={2018}, pages={123--131} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 3105
@inproceedings{Derler_Jager_Slamanig_Striecks_2018, title={Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange}, DOI={10.1007/978-3-319-78372-7_14}, booktitle={Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III}, author={Derler, David and Jager, Tibor and Slamanig, Daniel and Striecks, Christoph}, year={2018}, pages={425--455} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 4165
@article{Myroshnychenko_Nishio_García de Abajo_Förstner_Yamamoto_2018, title={Unveiling and Imaging Degenerate States in Plasmonic Nanoparticles with Nanometer Resolution}, volume={12}, DOI={10.1021/acsnano.8b03926}, number={8}, journal={ACS Nano}, publisher={American Chemical Society (ACS)}, author={Myroshnychenko, Viktor and Nishio, Natsuki and García de Abajo, F. Javier and Förstner, Jens and Yamamoto, Naoki}, year={2018}, pages={8436–8446} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 3852
@inproceedings{Wever_Mohr_Hüllermeier_2018, title={ML-Plan for Unlimited-Length Machine Learning Pipelines}, booktitle={ICML 2018 AutoML Workshop}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2018} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3422
@inproceedings{Robinson_Scheideler_Setzer, title={Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary}, DOI={10.1145/3210377.3210399}, booktitle={Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Robinson, Peter and Scheideler, Christian and Setzer, Alexander} }
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 3427
@article{Widhalm_Mukherjee_Krehs_Sharma_Kölling_Thiede_Reuter_Förstner_Zrenner_2018, title={Ultrafast electric phase control of a single exciton qubit}, volume={112}, DOI={10.1063/1.5020364}, number={11}, journal={Applied Physics Letters}, author={Widhalm, Alex and Mukherjee, Amlan and Krehs, Sebastian and Sharma, Nandlal and Kölling, Peter and Thiede, Andreas and Reuter, Dirk and Förstner, Jens and Zrenner, Artur}, year={2018}, pages={111105} }
LibreCat
| Files available
| DOI
2018 | Dissertation | LibreCat-ID: 3720
@book{Ho_2018, title={FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization}, DOI={10.17619/UNIPB/1-376}, publisher={Paderborn University}, author={Ho, Nam}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 3345
@inproceedings{Peuster_Küttner_Karl, place={Montreal}, title={ Let the state follow its flows: An SDN-based flow handover protocol to support state migration}, DOI={10.1109/NETSOFT.2018.8460007}, booktitle={4th IEEE International Conference on Network Softwarization (NetSoft 2018)}, author={Peuster, Manuel and Küttner, Hannes and Karl, Holger} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 4324
@article{Grynko_Shkuratov_Förstner_2018, title={Intensity surge and negative polarization of light from compact irregular particles}, volume={43}, DOI={10.1364/ol.43.003562}, number={153562}, journal={Optics Letters}, publisher={The Optical Society}, author={Grynko, Yevgen and Shkuratov, Yuriy and Förstner, Jens}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 4831
@article{Wu_Rodríguez-Gallegos_Heep_Schwind_Li_Fabritius_von Freymann_Förstner_2018, title={Polarization Conversion Effect in Biological and Synthetic Photonic Diamond Structures}, volume={6}, DOI={10.1002/adom.201800635}, number={241800635}, journal={Advanced Optical Materials}, publisher={Wiley}, author={Wu, Xia and Rodríguez-Gallegos, Fernando L. and Heep, Marie-Christin and Schwind, Bertram and Li, Guixin and Fabritius, Helge-Otto and von Freymann, Georg and Förstner, Jens}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Misc | LibreCat-ID: 4576
@book{Sprenger_Hellebrand_2018, place={Freiburg, Germany}, title={Stochastische Kompaktierung für den Hochgeschwindigkeitstest}, publisher={30. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’18)}, author={Sprenger, Alexander and Hellebrand, Sybille}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 4999
@inproceedings{Pauck_Bodden_Wehrheim_2018, title={Do Android taint analysis tools keep their promises?}, DOI={10.1145/3236024.3236029}, booktitle={Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018}, publisher={ACM Press}, author={Pauck, Felix and Bodden, Eric and Wehrheim, Heike}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 5738
@inproceedings{Anjorin_Yigitbas_Kaindl_Popp_2018, title={On the development of consistent user interfaces (extended abstract)}, DOI={10.1145/3191697.3191716}, booktitle={Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018}, author={Anjorin, Anthony and Yigitbas, Enes and Kaindl, Hermann and Popp, Roman}, year={2018}, pages={18–20} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 5757
@article{Jovanovikj_Yigitbas_Anjorin_Sauer_2018, title={Who Guards the Guards? On the Validation of Test Case Migration}, journal={Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF)}, author={Jovanovikj, Ivan and Yigitbas, Enes and Anjorin, Anthony and Sauer, Stefan}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 5764
@inproceedings{Gmyr_Hinnenthal_Kostitsyna_Kuhn_Rudolph_Scheideler_Strothmann_2018, title={Forming Tile Shapes with Simple Robots}, DOI={10.1007/978-3-030-00030-1_8}, booktitle={Proceedings of the 24th International Conference on DNA Computing and Molecular Programming}, publisher={Springer International Publishing}, author={Gmyr, Robert and Hinnenthal, Kristian and Kostitsyna, Irina and Kuhn, Fabian and Rudolph, Dorian and Scheideler, Christian and Strothmann, Thim Frederik}, year={2018}, pages={122–138} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 5822
@inproceedings{Gaspers_Knorr_Nickchen_Nickchen_Mertsching_Mohamed_2018, title={Real-time Graph-Based 3D Reconstruction of Sparse Feature Environments for Mobile Robot Applications}, DOI={10.1109/ssrr.2018.8468658}, booktitle={2018 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)}, publisher={IEEE}, author={Gaspers, Daniel and Knorr, Christoph and Nickchen, Tobias and Nickchen, Daniel and Mertsching, Barbel and Mohamed, Mahmoud A.}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 5985
@inproceedings{Scheideler_2018, title={Relays: Towards a Link Layer for Robust and Secure Fog Computing}, DOI={10.1145/3229774.3229781}, booktitle={Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom, July 27, 2018}, author={Scheideler, Christian}, year={2018}, pages={1–2} }
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 5404
@book{Kolpaczki_2018, title={Online Algorithmen für das k-Page Migration Problem}, author={Kolpaczki, Patrick Irenäus}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 5442
@inproceedings{Jager_Kakvi_May_2018, title={On the Security of the PKCS#1 v1.5 Signature Scheme}, DOI={10.1145/3243734.3243798}, booktitle={Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS ’18}, publisher={ACM Press}, author={Jager, Tibor and Kakvi, Saqib and May, Alexander}, year={2018} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6236
@inproceedings{Yigitbas_Anjorin_Jovanovikj_Kern_Sauer_Engels_2018, title={Usability Evaluation of Model-Driven Cross-Device Web User Interfaces}, booktitle={Proceedings of the 7th International Working Conference on Human-Centered Software Engineering (HCSE’18)}, publisher={Springer, LNCS }, author={Yigitbas, Enes and Anjorin, Anthony and Jovanovikj, Ivan and Kern, Thomas and Sauer, Stefan and Engels, Gregor}, year={2018}, pages={231–247} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 6483
@inproceedings{Peuster_Schneider_Christ_Karl_2018, place={Verona}, title={A Prototyping Platform to Validate and Verify Network Service Header-based Service Chains}, booktitle={IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp}, publisher={IEEE}, author={Peuster, Manuel and Schneider, Stefan Balthasar and Christ, Frederic and Karl, Holger}, year={2018} }
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 6577
@article{Webersen_Johannesmann_Düchting_Claes_Henning_2018, title={Guided ultrasonic waves for determining effective orthotropic material parameters of continuous-fiber reinforced thermoplastic plates}, volume={84}, DOI={10.1016/j.ultras.2017.10.005}, journal={Ultrasonics}, author={Webersen, Manuel and Johannesmann, Sarah and Düchting, Julia and Claes, Leander and Henning, Bernd}, year={2018}, pages={53–62} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6584
@inproceedings{Feldmann_Henning_2018, place={München}, title={Efficient optimisation of initial values for characterising piezoelectric material parameters}, booktitle={Fortschritte der Akustik}, author={Feldmann, Nadine and Henning, Bernd}, year={2018}, pages={1275–1278} }
LibreCat
2018 | Conference Abstract | LibreCat-ID: 6596
@inproceedings{Webersen_Johannesmann_Brockschmidt_Rump_Claes_Henning_2018, title={Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren}, booktitle={Messtechnische Anwendungen von Ultraschall}, author={Webersen, Manuel and Johannesmann, Sarah and Brockschmidt, Tobias and Rump, Friedhelm and Claes, Leander and Henning, Bernd}, year={2018} }
LibreCat
2018 | Journal Article | LibreCat-ID: 6743
@article{Wolters_2018, title={Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken}, number={4}, journal={die hochschullehre}, author={Wolters, Dennis}, year={2018} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 7570
@inproceedings{Meyer auf der Heide_Schaefer_2018, title={Brief Announcement: Communication in Systems of Home Based Mobile Agents}, DOI={10.1145/3210377.3210662}, booktitle={Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18}, publisher={ACM Press}, author={Meyer auf der Heide, Friedhelm and Schaefer, Johannes Sebastian}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 8162
@inproceedings{Aldi_de Beaudrap_Gharibian_Saeedi_2018, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={On Efficiently Solvable Cases of Quantum k-SAT}, volume={117}, DOI={10.4230/LIPIcs.MFCS.2018.38}, booktitle={43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, author={Aldi, Marco and de Beaudrap, Niel and Gharibian, Sevag and Saeedi, Seyran}, editor={Potapov, Igor and Spirakis, Paul and Worrell, JamesEditors}, year={2018}, pages={38:1-38:16}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2018 | Journal Article | LibreCat-ID: 8167
@article{Gharibian_Sikora_2018, title={Ground State Connectivity of Local Hamiltonians}, volume={10}, DOI={10.1145/3186587}, number={2}, journal={ACM Transactions on Computation Theory (TOCT)}, publisher={ACM}, author={Gharibian, Sevag and Sikora, Jamie}, year={2018}, pages={8:1-8:28} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2018 | Conference Paper | LibreCat-ID: 8085
@inproceedings{Obeng-Akrofi_Oppong Akowuah_Opoku-Agyemang_Nkrumah_Donkor_Tamakloe_Ampong_Klaus_Krauter_Waldhoff_et al._2018, title={An Automated Solar-Biomass Hybrid Dryer System for Rural Communities in Ghana}, DOI={10.18086/swc.2017.26.10}, booktitle={Proceedings of SWC2017/SHC2017}, publisher={International Solar Energy Society}, author={Obeng-Akrofi, George and Oppong Akowuah, Joseph and Opoku-Agyemang, Gifty and Nkrumah, Isaac and Donkor, Micheal K. E. and Tamakloe, Reuben Y. and Ampong, Francis K. and Klaus, Tobias and Krauter, Stefan and Waldhoff, Maike and et al.}, year={2018} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 8573
@inbook{Liebendörfer_2018, place={Münster}, title={Psychologische Grundbedürfnisse im frühen Mathematikstudium}, booktitle={Beiträge zum Mathematikunterricht 2018}, publisher={WTM-Verlag}, author={Liebendörfer, Michael}, editor={Didaktik der Mathematik der Universität Paderborn, FachgruppeEditor}, year={2018}, pages={1171–1174} }
LibreCat
2018 | Journal Article | LibreCat-ID: 8751
@article{Peitz_Dellnitz_2018, title={A Survey of Recent Trends in Multiobjective Optimal Control—Surrogate Models, Feedback Control and Objective Reduction}, volume={23}, DOI={10.3390/mca23020030}, number={2}, journal={Mathematical and Computational Applications}, author={Peitz, Sebastian and Dellnitz, Michael}, year={2018} }
LibreCat
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3821
@inproceedings{Wachsmuth_Syed_Stein_2018, title={Retrieval of the Best Counterargument without Prior Topic Knowledge}, booktitle={Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)}, author={Wachsmuth, Henning and Syed, Shahbaz and Stein, Benno}, year={2018}, pages={241–251} }
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 14888
@article{Chen_Ku_2018, title={中文情感語意分析套件 CSentiPackage 發展與應用}, journal={圖書館學與資訊科學}, publisher={國立台灣師範大學圖書資訊學研究所}, author={Chen Wei-Fan and Ku Lun-Wei}, year={2018} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 3807
@inproceedings{Habernal_Wachsmuth_Gurevych_Stein_2018, title={SemEval-2018 Task 12: The Argument Reasoning Comprehension Task}, booktitle={Proceedings of The 12th International Workshop on Semantic Evaluation}, author={Habernal, Ivan and Wachsmuth, Henning and Gurevych, Iryna and Stein, Benno}, year={2018}, pages={763–772} }
LibreCat
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 17394
@article{Frank_Koldewey_Rabe_Dumitrescu_Gausemeier_Kühn_2018, title={Smart Services – Konzept einer neuen Marktleistung}, DOI={10.3139/104.111913}, journal={ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb}, author={Frank, Maximillian and Koldewey, Christian and Rabe, Martin and Dumitrescu, Roman and Gausemeier, Jürgen and Kühn, Arno}, year={2018}, pages={306–311} }
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 18032
@book{N._2018, title={Decontaminating Planar Regions with Finite Automaton Robots and Tiles}, author={N., N.}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 18107
@inproceedings{Heymann_Bacchiani_Sainath_2018, title={Performance of Mask Based Statistical Beamforming in a Smart Home Scenario}, DOI={10.1109/ICASSP.2018.8462372}, booktitle={2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)}, author={Heymann, Jahn and Bacchiani, M. and Sainath, T. N.}, year={2018}, pages={6722–6726} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 12899
@inproceedings{Boeddeker_Heitkaemper_Schmalenstroeer_Drude_Heymann_Haeb-Umbach_2018, title={Front-End Processing for the CHiME-5 Dinner Party Scenario}, booktitle={Proc. CHiME 2018 Workshop on Speech Processing in Everyday Environments, Hyderabad, India}, author={Boeddeker, Christoph and Heitkaemper, Jens and Schmalenstroeer, Joerg and Drude, Lukas and Heymann, Jahn and Haeb-Umbach, Reinhold}, year={2018} }
LibreCat
| Files available
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 1097
@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch, Felix Paul}, year={2018} }
LibreCat
2018 | Conference (Editor) | LibreCat-ID: 10591
@book{Abiteboul_Arenas_Barceló_Bienvenu_Calvanese_David_Hull_Hüllermeier_Kimelfeld_Libkin_et al._2018, title={Research Directions for Principles of Data Management}, volume={7}, number={1}, year={2018}, pages={1–29} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 11835
@inproceedings{Heymann_Drude_Haeb-Umbach_Kinoshita_Nakatani_2018, title={Frame-Online DNN-WPE Dereverberation}, booktitle={IWAENC 2018, Tokio, Japan}, author={Heymann, Jahn and Drude, Lukas and Haeb-Umbach, Reinhold and Kinoshita, Keisuke and Nakatani, Tomohiro}, year={2018} }
LibreCat
| Files available
| Download (ext.)
2018 | Mastersthesis | LibreCat-ID: 1186
@book{Kemper_2018, title={Pure Nash Equilibria in Robust Congestion Games via Potential Functions}, publisher={Universität Paderborn}, author={Kemper, Arne}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 11710
@inproceedings{Chen_Wachsmuth_Al Khatib_Stein_2018, title={Learning to Flip the Bias of News Headlines}, booktitle={Proceedings of the 11th International Conference on Natural Language Generation}, publisher={Association for Computational Linguistics}, author={Chen, Wei-Fan and Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}, year={2018}, pages={79–88} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11760
@inproceedings{Ebbers_Nelus_Martin_Haeb-Umbach_2018, title={Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection}, booktitle={DAGA 2018, München}, author={Ebbers, Janek and Nelus, Alexandru and Martin, Rainer and Haeb-Umbach, Reinhold}, year={2018} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11873
@inproceedings{Drude_Heymann_Boeddeker_Haeb-Umbach_2018, title={NARA-WPE: A Python package for weighted prediction error dereverberation in Numpy and Tensorflow for online and offline processing}, booktitle={ITG 2018, Oldenburg, Germany}, author={Drude, Lukas and Heymann, Jahn and Boeddeker, Christoph and Haeb-Umbach, Reinhold}, year={2018} }
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 12965
@article{Ghribi_Abdallah_Khalgui_Li_Alnowibet_Platzner_2018, title={R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints}, DOI={10.1109/access.2018.2799852}, journal={IEEE Access}, author={Ghribi, Ines and Abdallah, Riadh Ben and Khalgui, Mohamed and Li, Zhiwu and Alnowibet, Khalid and Platzner, Marco}, year={2018}, pages={14078–14092} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 11986
@inproceedings{Buse_Schettler_Kothe_Reinold_Sommer_Dressler_2018, title={Bridging worlds: Integrating hardware-in-the-loop testing with large-scale VANET simulation}, DOI={10.23919/wons.2018.8311659}, booktitle={2018 14th Annual Conference on Wireless On-demand Network Systems and Services (WONS)}, author={Buse, Dominik S. and Schettler, Max and Kothe, Nils and Reinold, Peter and Sommer, Christoph and Dressler, Falko}, year={2018} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 12009
@article{Gläser_Sommer_Gehlen_Sories_2018, title={Cooperative vehicle applications with cellular communication}, DOI={10.1007/bf03242188}, journal={ATZelektronik worldwide}, author={Gläser, Stefan and Sommer, Christoph and Gehlen, Guido and Sories, Sabine}, year={2018}, pages={14–17} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 12042
@inproceedings{Pannu_Klingler_Sommer_Dressler_2018, title={QQDCA: Adapting IEEE 802.11 EDCA for unicast transmissions at high topology dynamics}, DOI={10.1109/vnc.2017.8275619}, booktitle={2017 IEEE Vehicular Networking Conference (VNC)}, author={Pannu, Gurjashan Singh and Klingler, Florian and Sommer, Christoph and Dressler, Falko}, year={2018} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 13057
@article{Kampmann_Hellebrand_2018, title={Design For Small Delay Test - A Simulation Study}, volume={80}, journal={Microelectronics Reliability}, author={Kampmann, Matthias and Hellebrand, Sybille}, year={2018}, pages={124–133} }
LibreCat
2018 | Journal Article | LibreCat-ID: 1369
@article{Drees_Feldotto_Riechers_Skopalik_2018, title={Pure Nash equilibria in restricted budget games}, DOI={10.1007/s10878-018-0269-7}, journal={Journal of Combinatorial Optimization}, publisher={Springer Nature}, author={Drees, Maximilian and Feldotto, Matthias and Riechers, Sören and Skopalik, Alexander}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 15647
@inproceedings{Schulte_Budde_2018, title={A Framework for Computing Education: Hybrid Interaction System: The need for a bigger picture in computing education}, booktitle={Koli Calling}, publisher={ACM}, author={Schulte, Carsten and Budde, Lea}, year={2018}, pages={12:1-12:10} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 15584
@inproceedings{Magenheim_Müller_Schulte_Bergner_Haselmeier_Humbert_Müller_Schroeder_2018, title={Evaluation of Learning Informatics in Primary Education - Views of Teachers and Students}, DOI={10.1007/978-3-030-02750-6\_26}, booktitle={Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, (ISSEP) 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings}, author={Magenheim, Johannes and Müller, Kathrin and Schulte, Carsten and Bergner, Nadine and Haselmeier, Kathrin and Humbert, Ludger and Müller, Dorothee and Schroeder, Ulrik}, year={2018}, pages={339–353} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16392
@inbook{Feldkord_Malatyali_Meyer auf der Heide_2018, place={Cham}, title={A Dynamic Distributed Data Structure for Top-k and k-Select Queries}, DOI={10.1007/978-3-319-98355-4_18}, booktitle={Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications}, author={Feldkord, Björn and Malatyali, Manuel and Meyer auf der Heide, Friedhelm}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 1910
@inproceedings{Schwichtenberg_Jovanovikj_Gerth_Engels, title={Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms}, booktitle={Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume}, author={Schwichtenberg, Simon and Jovanovikj, Ivan and Gerth, Christian and Engels, Gregor} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 2379
@inproceedings{Blömer_Bobolz, series={LNCS}, title={Delegatable Attribute-based Anonymous Credentials from Dynamically Malleable Signatures}, booktitle={ACNS 2018 Applied Cryptography & Network security}, author={Blömer, Johannes and Bobolz, Jan}, collection={LNCS} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 2831
@inproceedings{Feldotto_Haake_Skopalik_Stroh-Maraun_2018, title={Disaggregating User Evaluations Using the Shapley Value}, DOI={10.1145/3230654.3230659}, booktitle={Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018)}, author={Feldotto, Matthias and Haake, Claus-Jochen and Skopalik, Alexander and Stroh-Maraun, Nadja}, year={2018}, pages={5:1-5:6} }
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2848
@article{Li_Markarian_Meyer auf der Heide_2018, title={Towards Flexible Demands in Online Leasing Problems. }, volume={80}, DOI={10.1007/s00453-018-0420-y}, number={5}, journal={Algorithmica}, publisher={Springer}, author={Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2018}, pages={1556–1574} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 2850
@inproceedings{Hamann_Markarian_Meyer auf der Heide_Wahby_2018, title={Pick, Pack, & Survive: Charging Robots in a Modern Warehouse based on Online Connected Dominating Sets}, DOI={10.4230/LIPIcs.FUN.2018.22}, booktitle={Ninth International Conference on Fun with Algorithms (FUN)}, author={Hamann, Heiko and Markarian, Christine and Meyer auf der Heide, Friedhelm and Wahby, Mostafa}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 2862
@inproceedings{Blömer_Eidens_Juhnke_2018, place={Cham}, title={Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems}, DOI={10.1007/978-3-319-76953-0_25}, booktitle={Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings}, publisher={Springer International Publishing}, author={Blömer, Johannes and Eidens, Fabian and Juhnke, Jakob}, year={2018}, pages={470–490} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Preprint | LibreCat-ID: 2711
@article{Pauck_Bodden_Wehrheim_2018, title={Do Android Taint Analysis Tools Keep their Promises?}, journal={arXiv:1804.02903}, author={Pauck, Felix and Bodden, Eric and Wehrheim, Heike}, year={2018} }
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 3740
@article{Ebers_Hammer_Förstner_2018, title={Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges}, volume={26}, DOI={10.1364/OE.26.018621}, number={14}, journal={Optics Express}, publisher={OSA Publishing}, author={Ebers, Lena and Hammer, Manfred and Förstner, Jens}, year={2018}, pages={18621–18632} }
LibreCat
| Files available
| DOI
2018 | Book Chapter | LibreCat-ID: 3536
@inbook{Schellhorn_Wedel_Travkin_König_Wehrheim_2018, place={Cham}, title={FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity}, DOI={10.1007/978-3-319-92970-5_7}, booktitle={Software Engineering and Formal Methods}, publisher={Springer International Publishing}, author={Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike}, year={2018}, pages={105–120} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 3550
@inproceedings{Jazayeri_Zimmermann_Engels_Küster_Kundisch_Szopinski_2018, place={Wien, Austria}, series={Lecture Notes in Business Information Processing (LNBIP)}, title={Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions}, volume={319}, DOI={10.1007/978-3-319-94214-8_30}, booktitle={Proceeding of International Symposium on Business Modeling and Software Design}, publisher={Springer}, author={Jazayeri, Bahar and Zimmermann, Olaf and Engels, Gregor and Küster, Jochen and Kundisch, Dennis and Szopinski, Daniel}, year={2018}, pages={390–400}, collection={Lecture Notes in Business Information Processing (LNBIP)} }
LibreCat
| Files available
| DOI
2018 | Preprint | LibreCat-ID: 3586
@article{Witschen_Wiersema_Ghasemzadeh Mohammadi_Awais_Platzner, title={CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation}, journal={Third Workshop on Approximate Computing (AxC 2018)}, author={Witschen, Linus Matthias and Wiersema, Tobias and Ghasemzadeh Mohammadi, Hassan and Awais, Muhammad and Platzner, Marco} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 3346
@inproceedings{Peuster_Kampmeyer_Karl, place={Montreal}, title={Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains}, DOI={10.1109/NETSOFT.2018.8459905}, booktitle={4th IEEE International Conference on Network Softwarization (NetSoft 2018)}, author={Peuster, Manuel and Kampmeyer, Johannes and Karl, Holger} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Bachelorsthesis | LibreCat-ID: 3365
@book{Schnuer_2018, title={Static Scheduling Algorithms for Heterogeneous Compute Nodes}, author={Schnuer, Jan-Philip}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 4236
@inproceedings{Wachsmuth_Stede_El Baff_Al Khatib_Skeppstedt_Stein_2018, title={Argumentation Synthesis following Rhetorical Strategies}, booktitle={Proceedings of the 27th International Conference on Computational Linguistics}, author={Wachsmuth, Henning and Stede, Manfred and El Baff, Roxanne and Al Khatib, Khalid and Skeppstedt, Maria and Stein, Benno}, year={2018}, pages={3753–3765} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 4344
@inproceedings{Blömer_Brauer_Bujna_2018, title={Coresets for Fuzzy K-Means with Applications}, DOI={10.4230/LIPIcs.ISAAC.2018.46}, booktitle={29th International Symposium on Algorithms and Computation (ISAAC 2018)}, publisher={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, author={Blömer, Johannes and Brauer, Sascha and Bujna, Kathrin}, year={2018}, pages={46:1--46:12} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 4351
@inproceedings{Feldmann_Kolb_Scheideler_2018, series={Lecture Notes in Computer Science}, title={Self-stabilizing Overlays for high-dimensional Monotonic Searchability}, volume={11201}, DOI={10.1007/978-3-030-03232-6_2}, booktitle={Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}, publisher={Springer, Cham}, author={Feldmann, Michael and Kolb, Christina and Scheideler, Christian}, year={2018}, pages={16–31}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
| arXiv
2018 | Conference Paper | LibreCat-ID: 4375
@inproceedings{Benter_Knollmann_Meyer auf der Heide_Setzer_Sundermeier_2018, title={A Peer-to-Peer based Cloud Storage supporting orthogonal Range Queries of arbitrary Dimension}, DOI={10.1007/978-3-030-19759-9_4}, booktitle={Proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing (ALGOCLOUD)}, author={Benter, Markus and Knollmann, Till and Meyer auf der Heide, Friedhelm and Setzer, Alexander and Sundermeier, Jannik}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 4565
@inproceedings{Jung_Kolb_Scheideler_Sundermeier_2018, title={Brief Announcement: Competitive Routing in Hybrid Communication Networks}, DOI={10.1145/3210377.3210663}, booktitle={Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA)}, publisher={ACM Press}, author={Jung, Daniel and Kolb, Christina and Scheideler, Christian and Sundermeier, Jannik}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 5758
@article{Jovanovikj_Yigitbas_Sauer_2018, title={Model-based UI Modernization: From Legacy UIs to Self-adaptive UIs}, journal={Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF)}, author={Jovanovikj, Ivan and Yigitbas, Enes and Sauer, Stefan}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 5796
@inproceedings{Engels_Strothmann_Teetz_2018, title={Adapt Cases 4 BPM - A Modeling Framework for Process Flexibility in IIoT}, DOI={10.1109/edocw.2018.00020}, booktitle={2018 IEEE 22nd International Enterprise Distributed Object Computing Workshop (EDOCW)}, publisher={IEEE}, author={Engels, Gregor and Strothmann, Thim Frederik and Teetz, Alexander}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 5816
@inproceedings{Weidmann_2018, title={Tolerant consistency management in model-driven engineering}, DOI={10.1145/3270112.3275339}, booktitle={Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS ’18}, publisher={ACM Press}, author={Weidmann, Nils}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 5203
@inproceedings{Krüger_Späth_Ali_Bodden_Mezini_2018, title={CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira}, year={2018}, pages={10:1-10:27} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 5222
@inproceedings{Götte_Scheideler_Setzer_2018, series={Lecture Notes in Computer Science}, title={On Underlay-Aware Self-Stabilizing Overlay Networks}, volume={11201}, booktitle={Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018)}, publisher={Springer}, author={Götte, Thorsten and Scheideler, Christian and Setzer, Alexander}, year={2018}, pages={50–64}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 5861
@inproceedings{Jager_Kurek_2018, title={Short Digital Signatures and ID-KEMs via Truncation Collision Resistance}, DOI={10.1007/978-3-030-03329-3_8}, booktitle={Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II}, author={Jager, Tibor and Kurek, Rafael}, year={2018}, pages={221–250} }
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 5936
@book{Scheibl_2018, title={Learning about learning curves from dataset properties}, author={Scheibl, Manuel}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 5986
@inproceedings{Gmyr_Hinnenthal_Kostitsyna_Kuhn_Rudolph_Scheideler_2018, title={Shape Recognition by a Finite Automaton Robot}, DOI={10.4230/LIPIcs.MFCS.2018.52}, booktitle={43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK}, author={Gmyr, Robert and Hinnenthal, Kristian and Kostitsyna, Irina and Kuhn, Fabian and Rudolph, Dorian and Scheideler, Christian}, year={2018}, pages={52:1-52:15} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6016
@inproceedings{Peuster_Karl, place={Rome}, title={Understand your chains and keep your deadlines: Introducing time-constrained profiling for NFV}, booktitle={IEEE/IFIP 14th International Conference on Network and Service Management (CNSM)}, publisher={IEEE/IFIP}, author={Peuster, Manuel and Karl, Holger} }
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 6516
@article{Mertens_Boschmann_Schmidt_Plessl_2018, title={Sprint diagnostic with GPS and inertial sensor fusion}, volume={21}, DOI={10.1007/s12283-018-0291-0}, number={4}, journal={Sports Engineering}, publisher={Springer Nature}, author={Mertens, Jan Cedric and Boschmann, Alexander and Schmidt, M. and Plessl, Christian}, year={2018}, pages={441–451} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 6523
@inproceedings{Weber_Rafsan Jani,_Grabo_Wallscheid_Klaus_Krauter_Böcker_2018, place={Waikoloa Village, Big Island, Hawaii (USA)}, title={Lifetime Extension of Photovoltaic Modules by Influencing the Module Temperature Using Phase Change Material}, DOI={ 10.1109/PVSC.2018.8548115}, booktitle={World Conference on Photovoltaic Energy Conversion (WCPEC-7), 45th IEEE PVSC, 28th PVSEC, 34th EU PVSEC.}, author={Weber, Daniel and Rafsan Jani, Mohammad Iffat and Grabo, Matti and Wallscheid, Oliver and Klaus, Tobias and Krauter, Stefan and Böcker, Joachim}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6578
@inproceedings{Webersen_Johannesmann_Düchting_Claes_Henning_2018, title={Akustische Charakterisierung der richtungsabhängigen elastischen Eigenschaften faserverstärkter Kunststoffe}, booktitle={Fortschritte der Akustik - DAGA 2018}, author={Webersen, Manuel and Johannesmann, Sarah and Düchting, Julia and Claes, Leander and Henning, Bernd}, year={2018}, pages={1263–1266} }
LibreCat
2018 | Dissertation | LibreCat-ID: 6597
@book{Juhnke_2018, title={Models and Constructions for Secure Reputation Systems}, DOI={10.17619/UNIPB/1-570}, author={Juhnke, Jakob}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6972
@inproceedings{Schneider_Peuster_Karl_2018, title={A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms}, DOI={10.1109/NFV-SDN.2018.8725795}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018)}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Karl, Holger}, year={2018} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6763
@inproceedings{Jovanovikj_Engels_Anjorin_Sauer_2018, place={Cham}, title={Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model}, DOI={https://doi.org/10.1007/978-3-319-92901-9_13}, booktitle={Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs}, publisher={Springer International Publishing}, author={Jovanovikj, Ivan and Engels, Gregor and Anjorin, Anthony and Sauer, Stefan}, editor={Mendling, Jan and Mouratidis, HaralambosEditors}, year={2018}, pages={133–147} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2018, title={Making Linearizability Compositional for Partially Ordered Executions}, DOI={10.1007/978-3-319-98938-9\_7}, booktitle={Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, year={2018}, pages={110–129} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 7766
@inproceedings{Schumacher_2018, place={Münster}, title={Semiotische Analyse von Sinnkonstruktionsprozessen bei einem innermathematischen Zugang zum Erlernen negativer Zahlen}, booktitle={Beiträge zum Mathematikunterricht 2018}, publisher={WTM-Verlag}, author={Schumacher, Jan}, editor={Fachgruppe Didaktik der Mathematik der Universität PaderbornEditor}, year={2018} }
LibreCat
| Download (ext.)
2018 | Book Chapter | LibreCat-ID: 8574
@inbook{Liebendörfer_Kuklinski_Hochmuth_2018, place={Münster}, title={Auswirkungen von innovativen Vorlesungen für Lehramtsstudierende in der Studieneingangsphase}, booktitle={Beiträge zum Mathematikunterricht 2018}, publisher={WTM-Verlag}, author={Liebendörfer, Michael and Kuklinski, Christiane and Hochmuth, Reinhard}, editor={Didaktik der Mathematik der Universität Paderborn, FachgruppeEditor}, year={2018}, pages={1175–1178} }
LibreCat