Dylus, S., Christiansen, J., & Teegen, F. (2019). One Monad to Prove Them All. The Art, Science, and Engineering of Programming, 3. http://doi.org/10.22152/programming-journal.org/2019/3/8
Abstract
One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventure of proving properties about Haskell programs in the proof assistant Coq. On the one hand, as a PhD student in computer science Mona observes an increasing demand for correct software products. In particular, because of the large amount of existing software, verifying existing software products becomes more important. Verifying programs in the functional programming language Haskell is no exception. On the other hand, Mona is delighted to see that communities in the area of theorem proving are becoming popular. Thus, Mona sets out to learn more about the interactive theorem prover Coq and verifying Haskell programs in Coq.
Nurdiani, I., Börstler, J., Fricker, S., & Petersen, K. (2019). Usage, retention, and abandonment of agile practices: a survey and interviews results. e-Informatica Software Engineering Journal, 13.
Chirvi, M., & Maiterth, R. (2019). Doppelbesteuerung beim Übergang zur nachgelagerten Besteuerung gesetzlicher Renten? Steuersystematische Überlegungen und empirische Ergebnisse. Steuer und Wirtschaft, 96(2). http://doi.org/10.9785/stuw-2019-960205
Abstract
Übergang zur nachgelagerten Rentenbesteuerung bewirkt keine Doppel, sondern eine Minderbesteuerung, was gleichbedeutend mit einer Steuervergünstigung für Bezieher gesetzlicher Renten ist. Dies gilt zumindest dann, wenn man dem Ansatz der Rürup-Kommission und des Gesetzgebers folgt, was die Zurechnung von sozialversicherungsinduzierten Sonderausgaben in der Beitrags- und in der Rentenphase anbelangt. Das Ausmaß der Minderbesteuerung hängt von der zukünftigen Rentenentwicklung, aber auch vom verwendeten Maßstab ab. Nach dem in der Recht-sprechung und Literatur regelmäßig verwendeten (Literatur-)Maßstab beläuft sich die Minderbesteuerung einzelveranlagter Arbeitnehmer im derzeitigen Recht auf durchschnittlich rund 11,9 % der Renten, während die Minderbesteuerung bei „systemgerechter“ Analyse bei rund 8,4 % liegt. Durch eine immer noch pauschalierte, aber passgenauere Besteuerung gesetzlicher Renten ließe sich die Minderbesteuerung erheblich reduzieren, ohne Doppelbesteuerungsprobleme in Kauf nehmen zu müssen. Eine am systemgerechten Maßstab ausgerichtete Reform ist unempfindlich gegenüber der Rentenentwicklung, während die Besteuerungsanteile der gesetzlichen Rente im Fall einer auf dem Literaturmaßstab basierenden Reform immer anzupassen sind, sobald sich Renten anders entwickeln als ursprünglich prognostiziert.
Uzunkol, O., & Kiraz, M. S. (2018). Still wrong use of pairings in cryptography. Applied Mathematics and Computation, 333, 467–479. http://doi.org/10.1016/j.amc.2018.03.062 (Original work published 2026)
Hilpert, S., Kaldemeyer, C., Krien, U., Günther, S., Wingenbach, C., & Plessmann, G. (2018). The Open Energy Modelling Framework (oemof) - A new approach to facilitate open science in energy system modelling. Energy Strategy Reviews, 22, 16–25. http://doi.org/10.1016/j.esr.2018.07.001 (Original work published 2026)
Annoni, J., Fleming, P., Scholbrock, A., Roadman, J., Dana, S., Adcock, C., … Schlipf, D. (2018). Analysis of control-oriented wake modeling tools using lidar field results. Wind Energy Science, 3, 819–831. http://doi.org/10.5194/wes-3-819-2018 (Original work published 2026)
Clifton, A., Clive, P., Gottschall, J., Schlipf, D., Simley, E., Simmons, L., … Würth, I. (2018). IEA wind task 32: wind lidar identifying and mitigating barriers to the adoption of wind lidar. Remote Sensing, 10, 406. http://doi.org/10.3390/rs10030406 (Original work published 2026)
Simley, E., Fürst, H., Haizmann, F., & Schlipf, D. (2018). Optimizing lidars for wind turbine control applications results from the IEA wind task 32 workshop. Remote Sensing, 10, 863. http://doi.org/10.3390/rs10060863 (Original work published 2026)