Steffen Michels

According to our database, Steffen Michels authored at least 16 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Dynamic Editors for Well-Typed Expressions.

Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

2017

Reducing the Cost of Probabilistic Knowledge Compilation.

Peter J. F. Lucas, Giso H. Dal, Steffen Michels

Proceedings of the 3rd Workshop on Advanced Methodologies for Bayesian Networks, 2017

2016

Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming.

Steffen Michels, Arjen Hommersom, Peter J. F. Lucas

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Rationale Visualization for Safety and Security.

Roeland Scheepens, Steffen Michels, Huub van de Wetering, Jarke J. van Wijk

Comput. Graph. Forum, 2015

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

2014

An Integrated Reconfigurable System for Maritime Situational Awareness.

Marina Velikova, Peter Novák, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma, Steffen Michels

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Imprecise Probabilistic Horn Clause Logic.

Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks.

Steffen Michels, Marina Velikova, Arjen Hommersom, Peter J. F. Lucas

Proceedings of the IEEE International Conference on Systems, 2013

Inference for a New Probabilistic Constraint Logic.

Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman

Proceedings of the IJCAI 2013, 2013

The Beauty of Declarative Purely Functional Projections.

Steffen Michels

Proceedings of the Beauty of Functional Code, 2013

2012

Task-oriented programming in a pure functional language.

Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman

Proceedings of the Principles and Practice of Declarative Programming, 2012

Probabilistic Model-Based Assessment of Information Quality in Uncertain Domains.

Steffen Michels, Marina Velikova, Peter J. F. Lucas

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

Getting a grip on tasks that coordinate tasks.

Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels

Proceedings of the Language Descriptions, Tools and Applications, 2011

Defining Multi-user Web Applications with iTasks.

Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

iTask as a New Paradigm for Building GUI Applications.

Steffen Michels, Rinus Plasmeijer, Peter Achten

Proceedings of the Implementation and Application of Functional Languages, 2010

2009

Adaptive Scheduling of Data Paths using Uppaal Tiga

Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager

Proceedings of the Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, 2009