Concepedia

Steffen Michels

SM

4

Publications

85

Citations

4

H-Index

2009

Active since

Affiliations

Radboud University Nijmegen(Current)

Steffen Michels is an author at Radboud University Nijmegen specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsParallel ComputingDesignReasoningSemanticsAutomationLinguistics

Publications per year

2009–2015

4

Publications

4

Task-oriented programming in a pure functional language

Rinus Plasmeijer, Bas Lijnse, Steffen Michels et al. · 2012 · 44 citations

Engineering, Distributed Programming, Concurrency (Computer Science) +20

A new probabilistic constraint logic programming language based on a generalised distribution semantics

Steffen Michels, Arjen Hommersom, Peter Lucas et al. · Artificial Intelligence · 2015 · 18 citations

Probabilistic Ontology, Probability Logic, Engineering +9

Adaptive Scheduling of Data Paths using Uppaal Tiga

Fred Houben, Georgeta Igna, Steffen Michels et al. · Data Archiving and Networked Services (DANS) · 2009 · 12 citations · Full text

Engineering, Industrial Engineering, Computer Architecture +19

Rationale Visualization for Safety and Security

Roeland Scheepens, Steffen Michels, Huub van de Wetering et al. · Computer Graphics Forum · 2015 · 11 citations

Artificial Intelligence, Engineering, Information Security +22

Rows per page

1–4 of 4