Search - LOGIC-IN - TU Dortmund

Search
Personsearch

3987 results

1. Spatial Modelling Lab
access_to_cash_sonea_westerholt

Access_to_Cash_SoneaWesterholt_final.pdf PDF (2 MB) …
1. Dezernat Personal
2. PE
3. Personnel qualification
4. Onboarding
Familiarization plan for new employees

Download Handout on induction for new employees PDF (58 KB) Induction Plan Template PDF (78 KB) Sample familiarization plan (example: clerical work) PDF (76 KB) Contact Persons …
1. Computer Science
2. Studies
3. During studies
4. POen, MHB, etc.
5. BL_GyGe_Details
FSB Inf BL GyGe 2014

Gesamtschulen vom 16.06.2010 PDF (527 KB) Fächerspezifische Bestimmungen für das Unterrichtsfach Informatik für ein Lehramt an Gymnasien und Gesamtschulen vom 04.06.2012 PDF (76 KB) Fächerspezifische B [...] Gesamtschulen vom 19.09.2018 PDF (162 KB) Fächerspezifische Bestimmungen für das Unterrichtsfach Informatik für ein Lehramt an Gymnasien und Gesamtschulen vom 19.11.2014 PDF (43 KB) Computer science 2018 …
1. DAES
2. Forschung
Papers and books

2012. [BibTeX][ PDF ][Abstract] Björn Döbel, Hermann Härtig and Michael Engel. Operating System Support for Redundant Multithreading. In Proceedings of EMSOFT , October 2012. [BibTeX][ PDF ][Abstract] Michael [...] [BibTeX][ PDF ][Abstract] Heiko Falk. WCET-aware Register Allocation based on Graph Coloring. In The 46th Design Automation Conference (DAC) , pages 726-731, San Francisco / USA, July 2009. [BibTeX][ PDF ][Abstract] [...] [BibTeX][ PDF ][Abstract] Heiko Falk. Control Flow driven Code Hoisting at the Source Code Level. In Optimizations for DSP and Embedded Systems , San Jose/United States, March 2005. [BibTeX][ PDF ][Abstract] …
1. Equal Opportunities Office
2. Topics
3. Gender-equitable language
4. Language that is critical of discrimination
Gender-inclusive or gender-neutral forms

on gender-equitable language (2021) (in German) PDF (50 KB) Recommendation on gender-appropriate, digitally accessible language (BFIT, 2021) (in German) PDF (490 KB) Statement: "Colon or asterisk? On the [...] the question of the accessibility of gender-sensitive language" (bukof, 2022) (in German) PDF (164 KB) …
1. WiWi
2. Studies
3. Degree Programs
4. Business Administration and Economics (B. Sc.)
5. Examination Regulations 2025
Module Manual and Study Plan

(Status: 28.01.2026 - valid from SoSe 2026) NEW PDF (1 MB) Module Manual, Study Plan and Competence Matrix (Status: 24.09.2025 - valid from WiSe 2025/2026) PDF (1 MB) Further information on Business English [...] English (Module 2) (as of September 2025) PDF (611 KB) If you have any further questions, please feel free to contact the department's Management Studies and Teaching. Dr. Jessica Donato …
1. STABI
2. Staff
3. Former academic staff
Dr. Nadja Malevich

al. (eds.), Springer, 233-249. pdf Malevich, N. and Müller, C.H. (2019) Optimal design of inspection times for interval censoring. Statistical Papers 60(2), 99-114. pdf Kansteiner, M., Biermann, D., Malevich [...] statistical analysis of the wear of diamond impregnated tools. Wear , Volumes 468-469, Article 203574. pdf Malevich, N., Müller, C.H., Kansteiner, M., Biermann, D., Ferreira, M., and Tillmann, W. (2019) Statistical [...] expansions for sums of heavy-tailed random variables. Dissertation, Univ.-Bibliothek Magdeburg . pdf Christoph, G. and Malevich, N. (2011) Second order behavior of the tails of compound sums of regularly …
1. dbis
2. Publications
3. 2010
A Spinning Join That Does Not Get Dizzy

paper (PDF) November 2009 submission to ICDCS 2010 (accepted) submission (PDF) reviews (scores: 4, 3, 3, 4) October 2009 submission to PVLDB (Proc. of the VLDB Endowment) (rejected) submission (PDF) reviews [...] on Distributed Computing Systems (ICDCS), Genoa, Italy, June 2010. Download paper (PDF) , presentation slides (PDF) Abstract As network infrastructures with 10 Gb/s bandwidth and beyond have become pervasive …
1. SSE
2. Forschung
Publications

2025 DOI: 10.1109/MSR66628.2025.00092 Artifact: https://doi.org/10.5281/zenodo.14226786 Preprint PDF (198 KB) MARIN: A Research-Centric Interface for Querying Software Artifacts on Maven Repositories [...] 2025 DOI: 10.1109/MSR66628.2025.00093 Artifact: https://doi.org/10.5281/zenodo.14235313 Preprint PDF (189 KB) Bounds for Quantum Circuits using Logic-Based Analysis Benedikt Fauseweh, Ben Hermann, Falk [...] https://doi.org/10.1145/3650212.3652114 Artifact: https://doi.org/10.5281/zenodo.10888532 Preprint PDF (1 MB) Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Dominik …
1. dbis
2. Publications
3. 2009
Spinning Relations: High-Speed Networks

Management on New Hardware (DaMoN), Providence, RI, USA, June 2009. Download paper (PDF) , presentation slides (PDF) Abstract By leveraging modern networking hardware ( RDMA-enabled network cards ), we [...] Publication Log May 2009 camera-ready for DaMoN 2009 camera-ready paper (PDF) April 2009 submission to DaMoN 2009 (accepted) submission (PDF) reviews (results: weak accept, accept, weak accept) …