| 2026 | CHI | Verbal Descriptors for Electrotactile Stimulation. | Melissa Esmeralda van Schaik, Li Guo, Angelika Mader, Jan B. F. van Erp, Nils-Krister Persson |
| 2025 | ICST | Requirements for an Automated Assessment Tool for Learning Programming by Doing. | Arthur Rump, Vadim Zaytsev, Angelika Mader |
| 2023 | CHI | BreatheWithMe: Exploring Visual and Vibrotactile Displays for Social Breath Awareness during Colocated, Collaborative Tasks. | Abdallah El Ali, Ekaterina R. Stepanova, Shalvi Palande, Angelika Mader, Pablo Csar, Kaspar Jansen |
| 2021 | ITS | Automated Assessment of Learning Objectives in Programming Assignments. | Arthur Rump, Ansgar Fehnker, Angelika Mader |
| 2020 | CSEDU | Tinkering in Informatics as Teaching Method. | Angelika Mader, Ansgar Fehnker, Edwin Dertien |
| 2011 | RE | Validation of embedded system verification models. | Jelena Marincic, Angelika Mader, Roel J. Wieringa |
| 2008 | ICSE | Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. | Jelena Marincic, Angelika Mader, Hanno Wupper, Roel J. Wieringa |
| 2008 | REFSQ | Classifying Assumptions Made during Requirements Verification of Embedded Systems. | Jelena Marincic, Angelika Mader, Roel J. Wieringa |
| 2007 | IFM | Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. | Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader |
| 2006 | MASCOTS | Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. | Ferdy Hanssen, Angelika Mader, Pierre G. Jansen |
| 2004 | CCS | Timed model checking of security protocols. | Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader |
| 1999 | ECRTS | Timed automaton models for simple programmable logic controllers. | Angelika Mader, Hanno Wupper |
| 1996 | ICALP | An Effective Tableau System for the Linear Time µ-Calculus. | Julian C. Bradfield, Javier Esparza, Angelika Mader |
| 1995 | TACAS | Modal µ-Calculus, Model Checking and Gau Elimination. | Angelika Mader |
| 1992 | CAV | Tableau Recycling. | Angelika Mader |