Tableau Recycling. - Angelika Mader (CAV, 1992)

Modal checking for the modal mu-calculus using Gauss elimination - Dieter Barnard; Angelika Mader (Forschungsberichte, TU Munich, 1993)

Modal µ-Calculus, Model Checking and Gauß Elimination. - Angelika Mader (TACAS, 1995)

An Effective Tableau System for the Linear Time µ-Calculus. - Julian C. Bradfield; Javier Esparza; Angelika Mader (ICALP, 1996)

Verification of modal properties using Boolean equation systems. - Angelika Mader (Bertz, 1997)

Operational and Logical Semantics for Polling Real-Time Systems. - Henning Dierks; Ansgar Fehnker; Angelika Mader; Frits W. Vaandrager (FTRTFT, 1998)

Timed automaton models for simple programmable logic controllers. - Angelika Mader; Hanno Wupper (ECRTS, 1999)

Verification and Optimization of a PLC Control Schedule. - Ed Brinksma; Angelika Mader (SPIN, 2000)

Design of a PLC Control Program for a Batch Plant VHS Case Study. - Angelika Mader; Ed Brinksma; Hanno Wupper; Nanette Bauer (Eur. J. Control, 2001)

Verification and optimization of a PLC control schedule. - Ed Brinksma; Angelika Mader; Ansgar Fehnker (Int. J. Softw. Tools Technol. Transf., 2002)

Timed model checking of security protocols. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Angelika Mader (FMSE, 2004)

Synthesis and Stochastic Assessment of Schedules for Lacquer Production. - Henrik C. Bohnenkamp; Holger Hermanns; Ric Klaren; Angelika Mader; Yaroslav S. Usenko (QEST, 2004)

Production Scheduling by Reachability Analysis - A Case Study. - Gerd Behrmann; Ed Brinksma; Martijn Hendriks; Angelika Mader (IPDPS, 2005)

06351 Summary – Methods for Modelling Software Systems (MMOSS). - Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel J. Wieringa (MMOSS, 2006)

06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS). - Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel J. Wieringa (MMOSS, 2006)

Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. - Ferdy Hanssen; Angelika Mader; Pierre G. Jansen (MASCOTS, 2006)

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. - Ansgar Fehnker; Lodewijk van Hoesel; Angelika Mader (IFM, 2007)

Timed analysis of security protocols. - Ricardo Corin; Sandro Etalle; Pieter H. Hartel; Angelika Mader (J. Comput. Secur., 2007)

Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. - Jelena Marincic; Angelika Mader; Hanno Wupper; Roel J. Wieringa (IWAAPF@ICSE, 2008)

Classifying Assumptions Made during Requirements Verification of Embedded Systems. - Jelena Marincic; Angelika Mader; Roel J. Wieringa (REFSQ, 2008)

Synthesis and stochastic assessment of cost-optimal schedules. - Angelika Mader; Henrik C. Bohnenkamp; Yaroslav S. Usenko; David N. Jansen; Johann L. Hurink; Holger Hermanns (Int. J. Softw. Tools Technol. Transf., 2010)

Single Value Devices. - Angelika Mader; Edwin Dertien; Dennis Reidsma (INTETAIN, 2011)

Validation of embedded system verification models. - Jelena Marincic; Angelika Mader; Roel J. Wieringa (MoDRE, 2011)

Making a Toy Educative Using Electronics. - Edwin Dertien; Jelle Dijkstra; Angelika Mader; Dennis Reidsma (Advances in Computer Entertainment, 2012)

Explaining Embedded Software Modelling Decisions. - Jelena Marincic; Angelika Mader; Roel J. Wieringa (SwSTE, 2012)

Schedulability Analysis of Timed CSP Models Using the PAT Model Checker. - Oguzcan Oguz; Jan F. Broenink; Angelika Mader (CPA, 2012)

Reusing knowledge in embedded systems modelling. - Jelena Marincic; Angelika Mader; Roel J. Wieringa; Yan Lucas (Expert Syst. J. Knowl. Eng., 2013)

Single value devices. - Angelika Mader; Edwin Dertien; Jan Kolkmeier; Dennis Reidsma (Int. J. Arts Technol., 2015)

Tinkering in Informatics as Teaching Method. - Angelika Mader; Ansgar Fehnker; Edwin Dertien (CSEDU (1), 2020)

Atelier: an online platform for programming tutorials. - Ansgar Fehnker; Angelika Mader; Arthur Rump; Margot Rutgers; Lotte Steenmeijer; Chris Witteveen (CSERC, 2020)

Atelier - Tutor Moderated Comments in Programming Education. - Ansgar Fehnker; Angelika Mader; Arthur Rump (EC-TEL, 2021)

Automated Assessment of Learning Objectives in Programming Assignments. - Arthur Rump; Ansgar Fehnker; Angelika Mader (ITS, 2021)

Experiencing Touch by Technology. - Judith Weda; Dasha Kolesnyk; Angelika Mader; Jan B. F. van Erp (EuroHaptics, 2022)

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 César; Kaspar Jansen (CHI Extended Abstracts, 2023)

Tinkering with social touch technology. - Angelika Mader; Edwin Dertien; Judith Weda; Jan B. F. van Erp (Frontiers Comput. Sci., 2023)

The Effect of Actuation Speed on the Perception Threshold of a Squeezing Soft Actuator. - Judith Weda; Jan B. F. van Erp; Angelika Mader (IEEE Trans. Haptics, 2023)

Pressure Stimuli and Spatiotemporal Illusions on the Forearm. - Elisabet Henell; Judith Weda; Sophia Cedermalm; Linnéa Eklöv; Märta Håkansson; Jesper Nordström; Märit Reibring; Jonas Stålhand; Nils-Krister Persson; Angelika Mader; Jan B. F. van Erp; Edwin W. H. Jager (IEEE Trans. Haptics, 2024)

Perception Threshold for Pressure by a Soft Textile Actuator. - Judith Weda; Angelika Mader; Hamid Souri; Edwin Dertien; Jan B. F. van Erp (IEEE Trans. Haptics, 2024)

Requirements for an Automated Assessment Tool for Learning Programming by Doing. - Arthur Rump; Vadim Zaytsev; Angelika Mader (ICST, 2025)