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.
12205 Publications
2020 | Conference Paper | LibreCat-ID: 52936
@inproceedings{Dubslaff_Koopmann_Turhan_2020, series={CEUR Workshop Proceedings}, title={Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification}, volume={2663}, booktitle={Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, publisher={CEUR-WS.org}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }
LibreCat
2020 | Journal Article | LibreCat-ID: 53270
@article{Soleymani_Santamaria_Schreier_2020, title={Improper Gaussian Signaling for the $K$-User MIMO Interference Channels With Hardware Impairments}, volume={69}, DOI={10.1109/tvt.2020.3015558}, number={10}, journal={IEEE Transactions on Vehicular Technology}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Soleymani, Mohammad and Santamaria, Ignacio and Schreier, Peter J.}, year={2020}, pages={11632–11645} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 53269
@inproceedings{Soleymani_Santamaria_Maham_Schreier_2020, title={Rate Region of the K-user MIMO Interference Channel with Imperfect Transmitters}, DOI={10.23919/eusipco47968.2020.9287450}, booktitle={2020 28th European Signal Processing Conference (EUSIPCO)}, publisher={IEEE}, author={Soleymani, Mohammad and Santamaria, Ignacio and Maham, Behrouz and Schreier, Peter J.}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 53415
@article{Küster_Weich_2020, title={Pollicott-Ruelle Resonant States and Betti Numbers}, volume={378}, DOI={10.1007/s00220-020-03793-2}, number={2}, journal={Communications in Mathematical Physics}, publisher={Springer Science and Business Media LLC}, author={Küster, Benjamin and Weich, Tobias}, year={2020}, pages={917–941} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 39821
@article{Pieper_Kottmann_Miller_2020, title={Fallportraits von Bielefelder Grundschulkindern. Fallarbeit in der (phasenübergreifenden) Lehrer_innenbildung}, volume={3}, DOI={10.4119/HLZ-2484}, number={1}, journal={HLZ - Herausforderung Lehrer_innenbildung, Zeitschrift zur Konzeption, Gestaltung und Diskussion}, author={Pieper, Catania and Kottmann, Brigitte and Miller, Susanne}, year={2020}, pages={94–171} }
LibreCat
| Files available
| DOI
2020 | Book Chapter | LibreCat-ID: 44685
@inbook{Schumacher_Rezat_2020, place={Berlin, Heidelberg}, title={Rekonstruktion diagrammatischen Schließens beim Erlernen der Subtraktion negativer Zahlen}, DOI={10.1007/978-3-662-61194-4_5}, booktitle={Zeichen und Sprache im Mathematikunterricht: Semiotik in Theorie und Praxis}, publisher={Springer}, author={Schumacher, Jan and Rezat, Sebastian}, editor={Kadunz, Gert}, year={2020}, pages={85–112} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 44688
@inbook{Rezat_2020, place={Wiesbaden}, title={Mathematiklernen mit digitalen Schulbüchern im Spannungsfeld zwischen Individualisierung und Kooperation}, DOI={10.1007/978-3-658-29039-9_10}, booktitle={Mobile Medien im Schulkontext}, publisher={Springer}, author={Rezat, Sebastian}, editor={Meister, Dorothee and Ilka, Mindt}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 35914
@inbook{Lünne_Schnell_Biehler_2020, place={Wiesbaden}, title={Ffunt@OWL – Konzept und Gestaltungsprinzipien zur Qualifizierung fachfremd Mathematik unterrichtender Lehrkräfte der Sekundarstufe I}, DOI={10.1007/978-3-658-27293-7_6}, booktitle={Professionelles Handeln im fachfremd erteilten Mathematikunterricht}, publisher={Springer Spektrum}, author={Lünne, Steffen and Schnell, Susanne and Biehler, Rolf}, editor={Porsch, R. and Rösken-Winter, B.}, year={2020}, pages={141–167} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 35814
@inproceedings{Biehler_Fleischer_Budde_Frischemeier_Gerstenberger_Podworny_Schulte_2020, place={Voorborg, The Netherlands}, title={Data science education in secondary schools: Teaching and learning decision trees with CODAP and Jupyter Notebooks as an example of integrating machine learning into statistics education}, booktitle={New Skills in the Changing World of Statistics Education Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE)}, publisher={ISI/IASE}, author={Biehler, Rolf and Fleischer, Yannik and Budde, Lea and Frischemeier, Daniel and Gerstenberger, Dietrich and Podworny, Susanne and Schulte, Carsten}, editor={Arnold, P.}, year={2020} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
@inbook{Budde_Frischemeier_Biehler_Fleischer_Gerstenberger_Podworny_Schulte_2020, place={Voorborg, The Netherlands}, title={Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP}, booktitle={New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), July 2020}, publisher={ISI/IASE}, author={Budde, Lea and Frischemeier, Daniel and Biehler, Rolf and Fleischer, Yannik and Gerstenberger, Dietrich and Podworny, Susanne and Schulte, Carsten}, editor={Arnold, P.}, year={2020} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 35152
@inproceedings{Lösch_Platzner_2020, title={MigHEFT: DAG-based Scheduling of Migratable Tasks on Heterogeneous Compute Nodes}, DOI={10.1109/IPDPSW50202.2020.00012}, booktitle={2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)}, author={Lösch, Achim and Platzner, Marco}, year={2020}, pages={6–16} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 53896
@article{Khanjani Shiraz_Tavana_Fukuyama_2020, title={A random-fuzzy portfolio selection DEA model using value-at-risk and conditional value-at-risk}, volume={24}, DOI={10.1007/s00500-020-05010-7}, number={22}, journal={Soft Computing}, publisher={Springer Science and Business Media LLC}, author={Khanjani Shiraz, Rashed and Tavana, Madjid and Fukuyama, Hirofumi}, year={2020}, pages={17167–17186} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 53884
@article{Tavana_Khalili-Damghani_Santos Arteaga_Hashemi_2020, title={A Malmquist productivity index for network production systems in the energy sector}, volume={284}, DOI={10.1007/s10479-019-03173-7}, number={1}, journal={Annals of Operations Research}, publisher={Springer Science and Business Media LLC}, author={Tavana, Madjid and Khalili-Damghani, Kaveh and Santos Arteaga, Francisco J. and Hashemi, Arousha}, year={2020}, pages={415–445} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 16311
@article{Burkhardt_Vukadinovic_Nowakowski_Kalinko_Rudolph_Carlsson_Jacob_Bauer_2020, title={Electronic Structure of the Hieber Anion [Fe(CO)3(NO)]− Revisited by X-ray Emission and Absorption Spectroscopy}, DOI={10.1021/acs.inorgchem.9b02092}, journal={Inorganic Chemistry}, author={Burkhardt, Lukas and Vukadinovic, Yannik and Nowakowski, Michał and Kalinko, Aleksandr and Rudolph, Julian and Carlsson, Per-Anders and Jacob, Christoph R. and Bauer, Matthias}, year={2020}, pages={3551–3561} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 22007
@inproceedings{Schütte_Sextro_2020, place={Cham}, title={Model-Based Investigation of the Influence of Wheel Suspension Characteristics on Tire Wear}, DOI={10.1007/978-3-030-38077-9_201}, booktitle={Lecture Notes in Mechanical Engineering}, author={Schütte, Jan and Sextro, Walter}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45848
@inproceedings{Mahmood_Meier_2020, place={Cham}, title={Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic}, DOI={10.1007/978-3-030-39951-1_10}, booktitle={Lecture Notes in Computer Science}, publisher={Springer International Publishing}, author={Mahmood, Yasir and Meier, Arne}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45818
@inproceedings{Mahmood_Meier_Schmidt_2020, place={Cham}, title={Parameterised Complexity of Abduction in Schaefer’s Framework}, DOI={10.1007/978-3-030-36755-8_13}, booktitle={Logical Foundations of Computer Science}, publisher={Springer International Publishing}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 47261
@inbook{Haney_Furman_Acar_2020, place={Cham}, title={Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges}, DOI={10.1007/978-3-030-50309-3_26}, booktitle={HCI for Cybersecurity, Privacy and Trust}, publisher={Springer International Publishing}, author={Haney, Julie M. and Furman, Susanne M. and Acar, Yasemin}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 47260
@inproceedings{Wermke_Huaman_Stransky_Busch_Acar_Fahl_2020, title={Cloudy with a Chance of Misconceptions: Exploring Users’ Perceptions and Expectations of Security and Privacy in Cloud Office Suites}, booktitle={Sixteenth Symposium on Usable Privacy and Security, SOUPS 2020, August 7-11, 2020}, publisher={USENIX Association}, author={Wermke, Dominik and Huaman, Nicolas and Stransky, Christian and Busch, Niklas and Acar, Yasemin and Fahl, Sascha}, editor={Lipford, Heather Richter and Chiasson, Sonia}, year={2020}, pages={359–377} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 47262
@inproceedings{Gorski_Acar_Lo Iacono_Fahl_2020, title={Listen to Developers! A Participatory Design Study on Security Warnings for Cryptographic APIs}, DOI={10.1145/3313831.3376142}, booktitle={Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems}, publisher={ACM}, author={Gorski, Peter Leo and Acar, Yasemin and Lo Iacono, Luigi and Fahl, Sascha}, year={2020} }
LibreCat
| DOI