Here you will find all information on current and completed research projects, publications and dissertations.
All information on therdates and the current teaching provisions and examinations can be found here.
Our employees of the department introduce themselves.
Part of:
You are here:
Type Systems for Correctness and Security Module: INF-MSc-329 LSF: 042540 Credits: 6 (lecture 3.5 / exercises and labs 2.5) Hours: 5 (lecture 3 sws / exercises 2 sws) Location: OH14 - 104 Start: TBA Moodle: …
lecture 1 Meeting 3: Reading lecture 2 Meeting 4: Reading lecture 3 Meeting 5: Reading lecture 4 Meeting 6: Online block seminar During phase two there will be one optional Q&A session for students. Registration …
Asymptotic stability in replicator dynamics derived from TU games . Operations Research Letters , 50 (6), 650-654. 2021 Casajus, A., & Kramm, M. (2021). The dual Lovász extension operator and the Shapley …
Type Systems for Correctness and Security Module: INF-MSc-329 LSF: 042540 Credits: 6 (lecture 3.5 / exercises and labs 2.5) Hours: 5 (lecture 3 sws / exercises 2 sws) Location: OH14 / 104 Start: 11.10 …
ly pleased: To mark the inauguration of the lab, Louis Opländer GmbH awarded scholarships totaling 6,000 euros to five students. In addition to Louis Opländer GmbH, the sponsoring companies and cooperation …
the foyer of our computer science building. Location: August-Schmidt-Straße 4, Dortmund, lecture hall 6 /HG I building, campus south Date: February 20, 2025 Register online and be part of this fascinating …
monitoring and prediction comparisons Time series data Talks Factor-based IVX predictive regression. 6th Vienna Workshop on High-Dimensional Time Series in Macroeconomics and Finance . Wien, Austria (05/2024) …
Petr Tůma. 2015. DOs and DON'Ts of Conducting Performance Measurements in Java. In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering (ICPE '15) . Association for Computing …
citation. At the end of the semester the students will present and discuss their results. Credit Points: 6 Disability & Culture(s) Within this course the students will have the opportunity to develop a critical …
