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.
9813 Publications
2021 | Book Chapter | LibreCat-ID: 35720
Biehler, R. (2021). Mathematikvorkurse als Brücke in das Studium–Einführung. In R. Biehler, A. Eichler, R. Hochmuth, S. Rach, & N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik (pp. 285–290). Springer Spektrum. https://doi.org/10.1007/978-3-662-62854-6_13
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35737
Biehler, R., & Fleischer, Y. (2021). Introducing students to machine learning with decision trees using CODAP and Jupyter Notebooks. Teaching Statistics, 43, S133–S142. https://doi.org/10.1111/test.12279
LibreCat
| DOI
2021 | Book (Editor) | LibreCat-ID: 35734
Biehler, R., Eichler, A., Hochmuth, R., Rach, S., & Schaper, N. (Eds.). (2021). Lehrinnovationen in der Hochschulmathematik. Springer Spektrum. https://doi.org/10.1007/978-3-662-62854-6
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35744
Biehler, R., & Weigand, H.-G. (2021). 3D-Geometrie–virtuell und real. mathematik lehren, 2021(228), 2–5.
LibreCat
2021 | Journal Article | LibreCat-ID: 35778
Pepin, B., Biehler, R., & Gueudet, G. (2021). Mathematics in Engineering Education: a Review of the Recent Literature with a View towards Innovative Practices. International Journal of Research in Undergraduate Mathematics Education, 7(2), 163–188. https://doi.org/10.1007/s40753-021-00139-8
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35776
Kempen, L., & Biehler, R. (2021). Design-Based Research in der Hochschullehre am Beispiel der Lehrveranstaltung „Einführung in die Kultur der Mathematik“. In R. Biehler, A. Eichler, R. Hochmuth, S. Rach, & N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik (pp. 477–525). Springer Spektrum. https://doi.org/10.1007/978-3-662-62854-6_20
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 35704
Winsløw, C., Biehler, R., Jaworski, B., Rønning, F., & Wawro, M. (2021). Education and professional development of university mathematics teachers. In V. Durand-Guerrier, R. Hochmuth, E. Nardi, & C. Winsløw (Eds.), Research and Development in University Mathematics Education (pp. 59–79). Routledge. https://doi.org/10.4324/9780429346859-6
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35761
Höper, L., Malin, L., & Biehler, R. (2021). Schatten von 3D-Objekten: Modellierung mit GeoGebra 3D und Anwendungen in der Computergrafik. mathematik lehren, 2021(228), 19–22.
LibreCat
2021 | Journal Article | LibreCat-ID: 35763
Hüsing, S., Weiser, N., & Biehler, R. (2021). Faszination 3D-Film: Entwicklung einer 3D-Konstruktion. mathematik lehren, 2021(228), 23–27.
LibreCat
2021 | Journal Article | LibreCat-ID: 35702
Schürmann, M., Panse, A., Shaikh, Z., Biehler, R., Schaper, N., Liebendörfer, M., & Hilgert, J. (2021). Consultation Phases in Mathematics Learning and Support Centres. International Journal of Research in Undergraduate Mathematics Education, 8(1), 94–120. https://doi.org/10.1007/s40753-021-00154-9
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35781
Podworny, S., & Biehler, R. (2021). The process of actively building a model for a randomization test – insights into learners’ modeling activities based on a case study. Mathematical Thinking and Learning, 24(4), 291–311. https://doi.org/10.1080/10986065.2021.1922837
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35751
Frischemeier, D., Biehler, R., Podworny, S., & Budde, L. (2021). A first introduction to data science education in secondary schools: Teaching and learning about data exploration with<scp>CODAP</scp>using survey data. Teaching Statistics, 43(S1), S182–S189. https://doi.org/10.1111/test.12283
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 24786
Schürmann, M., Liebendörfer, M., Gildehaus, L., Schaper, N., Hochmuth, R., Biehler, R., Lankeit, E., Kuklinski, C., & Ruge, J. (2021). Opportunities and Possibilities of a Network of Mathematical Learning and Support Centres in Germany. Sigma Newsletter, 22, 5–6.
LibreCat
2021 | Journal Article | LibreCat-ID: 45335
Schönherr, J., Schukajlow, S., & Blomberg, J. (2021). Was ist eine gute Skizze? Strategiewissen beim mathematischen Modellieren im Bereich der Geometrie fördern. mathematik lehren, 224, 22–27.
LibreCat
2021 | Journal Article | LibreCat-ID: 45333
Schönherr, J., Schukajlow, S., Blomberg, J., & Leopold, C. (2021). Does strategic knowledge matter? Effects of strategic knowledge about drawing on students’ modeling competencies in the domain of geometry. Mathematical Thinking and Learning. https://doi.org/10.1080/10986065.2021.2012741
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45342
Schönherr, J., Blomberg, J., Schukajlow, S., & Leopold, C. (2021). Do emotions and prior performance facilitate the use of the learner-generated drawing strategy? Effects of enjoyment, anxiety, and intramathematical performance on the use of the drawing strategy and modelling performance. Contemporary Educational Psychology, 65. https://doi.org/10.1016/j.cedpsych.2021.101967
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 25334
Fiterau-Brostean, P., Jonsson, B., Merget, R., de Ruiter, J., Sagonas, K., & Somorovsky, J. (2020). Analysis of DTLS Implementations Using Protocol State Fuzzing. 29th {USENIX} Security Symposium ({USENIX} Security 20), 2523–2540.
LibreCat
2020 | Book Chapter | LibreCat-ID: 19521
Pfannschmidt, K., & Hüllermeier, E. (2020). Learning Choice Functions via Pareto-Embeddings. In Lecture Notes in Computer Science. Cham. https://doi.org/10.1007/978-3-030-58285-2_30
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19606 | 
Gottschalk, S., Yigitbas, E., Schmidt, E., & Engels, G. (2020). ProConAR: A Tool Support for Model-based AR Product Configuration. In R. Bernhaupt, C. Ardito, & S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020 (Vol. 12481). Cham: Springer. https://doi.org/10.1007/978-3-030-64266-2_14
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 19607 |
Schneider, S. B., Klenner, L. D., & Karl, H. (2020). Every Node for Itself: Fully Distributed Service Coordination. In IEEE International Conference on Network and Service Management (CNSM). IEEE.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19609 |
Schneider, S. B., Manzoor, A., Qarawlus, H., Schellenberg, R., Karl, H., Khalili, R., & Hecker, A. (2020). Self-Driving Network and Service Coordination Using Deep Reinforcement Learning. In IEEE International Conference on Network and Service Management (CNSM). IEEE.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19632
Jovanovikj, I., Yigitbas, E., Sauer, S., & Engels, G. (2020). Augmented and Virtual Reality Object Repository for Rapid Prototyping . In Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20) (pp. 216–224). Springer.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
Sharma, A., & Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). Springer.
LibreCat
2020 | Journal Article | LibreCat-ID: 19864
Meyer, M., Frank, M., Massmann, M., & Dumitrescu, R. (2020). Research and Consulting in Data-Driven Strategic Product Planning. Proceedings of The 11th International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2020).
LibreCat
2020 | Journal Article | LibreCat-ID: 19866
Meyer, M., Frank, M., Massmann, M., & Dumitrescu, R. (2020). Research and Consulting in Data-Driven Strategic Product Planning. Journal of Systemics, Cybernetics and Informatics, 18(2), 55–61.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19899
Castenow, J., Kling, P., Knollmann, T., & Meyer auf der Heide, F. (2020). A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up. In S. Devismes & N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings (Vol. 12514, pp. 65–80). Springer. https://doi.org/10.1007/978-3-030-64348-5_6
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 19938
McLachlan, R. I., & Offen, C. (2020). Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation. Foundations of Computational Mathematics, 20(6), 1363–1400. https://doi.org/10.1007/s10208-020-09454-z
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 19939 |
Kreusser, L. M., McLachlan, R. I., & Offen, C. (2020). Detection of high codimensional bifurcations in variational PDEs. Nonlinearity, 33(5), 2335–2363. https://doi.org/10.1088/1361-6544/ab7293
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 19953 |
Damke, C., Melnikov, V., & Hüllermeier, E. (2020). A Novel Higher-order Weisfeiler-Lehman Graph Convolution. In S. Jialin Pan & M. Sugiyama (Eds.), Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020) (Vol. 129, pp. 49–64). Bangkok, Thailand: PMLR.
LibreCat
| Files available
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20116
Nouri, Z., Wachsmuth, H., & Engels, G. (n.d.). Mining Crowdsourcing Problems from Discussion Forums of Workers. In Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics (pp. 6264–6276). Barcelona, Spain.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20122
El Baff, R., Al-Khatib, K., Stein, B., & Wachsmuth, H. (2020). Persuasiveness of News Editorials depending on Ideology and Personality. In Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020) (pp. 29–40).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20139 |
Spliethöver, M., & Wachsmuth, H. (2020). Argument from Old Man’s View: Assessing Social Bias in Argumentation. In Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020) (pp. 76–87).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20140
Dorsch, J., & Wachsmuth, H. (2020). Semi-Supervised Cleansing of Web Argument Corpora. In Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020) (pp. 19–29).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20159
Baswana, S., Gupta, S., & Knollmann, T. (2020). Mincut Sensitivity Data Structures for the Insertion of an Edge. In F. Grandoni, G. Herman, & P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020) (Vol. 173, pp. 12:1-12:14). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2020.12
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20166
Bondarenko, A., Fröbe, M., Beloucif, M., Gienapp, L., Ajjour, Y., Panchenko, A., … Hagen, M. (2020). Overview of Touché 2020: Argument Retrieval. In CEUR Workshop Proceedings (Vol. 2696, pp. 384–395).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20185
Castenow, J., Harbig, J., Jung, D., Knollmann, T., & Meyer auf der Heide, F. (2020). Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility . In S. Devismes & N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings (Vol. 12514, pp. 60–64). Springer. https://doi.org/10.1007/978-3-030-64348-5_5
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20189
Hammer, M., Ebers, L., & Förstner, J. (2020). Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles. Optical and Quantum Electronics, 52. https://doi.org/10.1007/s11082-020-02595-z
LibreCat
| Files available
| DOI
2020 | Mastersthesis | LibreCat-ID: 20221
Yeole, P. K. (2020). Plurality Consensus in Hybrid Networks.
LibreCat
2020 | Journal Article | LibreCat-ID: 20233 |
Myroshnychenko, V., Smirnov, S., Jose, P. M. M., Brosseau, C., & Förstner, J. (2020). Nonlinear dielectric properties of random paraelectric-dielectric composites. Acta Materialia, 203, 116432. https://doi.org/10.1016/j.actamat.2020.10.051
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20274
Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., & Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman & A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings (Vol. 12136, pp. 39–58). Springer. https://doi.org/10.1007/978-3-030-50086-3\_3
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20275
Beringer, S., & Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-}Georg Fill, & L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress. https://doi.org/10.5220/0009766600150026
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer, D., & Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I} (Vol. 12476, pp. 143–167). Springer. https://doi.org/10.1007/978-3-030-61362-4\_8
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim, H., & Cabot, J. (Eds.). (2020). Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Vol. 12076). Springer. https://doi.org/10.1007/978-3-030-45234-6
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20279
Sharma, A., & Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. CoRR, abs/2002.12278.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24021
Wu, L., Weizel, M., & Scheytt, C. (2020). Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology. 2020 IEEE International Symposium on Circuits and Systems (ISCAS). https://doi.org/10.1109/ISCAS45731.2020.9180947
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
Abughannam, S., & Scheytt, C. (2020). Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator. IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) . https://doi.org/10.1109/PIMRC48278.2020.9217198
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2020). A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24029
Haddadian, S., & Scheytt, C. (2020). Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers. IEEE Journal of Radio Frequency Identification, 1–1. https://doi.org/10.1109/JRFID.2020.3009741
LibreCat
| Files available
| DOI