Adaptive Scheduling of Data Paths using Uppaal Tiga - Israa AlAttili; Fred Houben; Georgeta Igna; Steffen Michels; Feng Zhu 002; Frits W. Vaandrager (QFM, 2009)

iTask as a New Paradigm for Building GUI Applications. - Steffen Michels; Rinus Plasmeijer; Peter Achten (IFL, 2010)

Defining Multi-user Web Applications with iTasks. - Rinus Plasmeijer; Peter Achten; Bas Lijnse; Steffen Michels (CEFP, 2011)

Getting a grip on tasks that coordinate tasks. - Rinus Plasmeijer; Bas Lijnse; Peter Achten; Steffen Michels (LDTA, 2011)

Probabilistic Model-Based Assessment of Information Quality in Uncertain Domains. - Steffen Michels; Marina Velikova; Peter J. F. Lucas (Australasian Conference on Artificial Intelligence, 2012)

Task-oriented programming in a pure functional language. - Rinus Plasmeijer; Bas Lijnse; Steffen Michels; Peter Achten; Pieter W. M. Koopman (PPDP, 2012)

The Beauty of Declarative Purely Functional Projections. - Steffen Michels (The Beauty of Functional Code, 2013)

Inference for a New Probabilistic Constraint Logic. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas; Marina Velikova; Pieter W. M. Koopman (IJCAI, 2013)

A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks. - Steffen Michels; Marina Velikova; Arjen Hommersom; Peter J. F. Lucas (SMC, 2013)

Imprecise Probabilistic Horn Clause Logic. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas; Marina Velikova (ECAI, 2014)

An Integrated Reconfigurable System for Maritime Situational Awareness. - Marina Velikova; Peter Novák 001; Bas Huijbrechts; Jan Laarhuis; Jesper Hoeksma; Steffen Michels (ECAI, 2014)

A new probabilistic constraint logic programming language based on a generalised distribution semantics. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas; Marina Velikova (Artif. Intell., 2015)

Rationale Visualization for Safety and Security. - Roeland Scheepens; Steffen Michels; Huub van de Wetering; Jarke J. van Wijk (Comput. Graph. Forum, 2015)

Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. - Steffen Michels; Arjen Hommersom; Peter J. F. Lucas (IJCAI, 2016)

Reducing the Cost of Probabilistic Knowledge Compilation. - Peter J. F. Lucas; Giso H. Dal; Steffen Michels (AMBN, 2017)

Dynamic Editors for Well-Typed Expressions. - Pieter W. M. Koopman; Steffen Michels; Rinus Plasmeijer (TFP, 2021)