Steffen Michels

16 papers A* 2A 2B 1C 1Journal 2Unranked 8

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	Dynamic Editors for Well-Typed Expressions. TFP Pieter W. M. Koopman, Steffen Michels, Rinus Plasmeijer
2017	—	`conf`	Reducing the Cost of Probabilistic Knowledge Compilation. AMBN Peter J. F. Lucas, Giso H. Dal, Steffen Michels
2016	A*	`conf`	Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. IJCAI Steffen Michels, Arjen Hommersom, Peter J. F. Lucas
2015	J	`jnl`	A new probabilistic constraint logic programming language based on a generalised distribution semantics. Artif. Intell. Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova
2015	J	`jnl`	Rationale Visualization for Safety and Security. Comput. Graph. Forum Roeland Scheepens, Steffen Michels, Huub van de Wetering, Jarke J. van Wijk
2014	A	`conf`	An Integrated Reconfigurable System for Maritime Situational Awareness. ECAI Marina Velikova, Peter Novák, Bas Huijbrechts, Jan Laarhuis, Jesper Hoeksma, Steffen Michels
2014	A	`conf`	Imprecise Probabilistic Horn Clause Logic. ECAI Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova
2013	B	`conf`	A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks. SMC Steffen Michels, Marina Velikova, Arjen Hommersom, Peter J. F. Lucas
2013	A*	`conf`	Inference for a New Probabilistic Constraint Logic. IJCAI Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova, Pieter W. M. Koopman
2013	—	`conf`	The Beauty of Declarative Purely Functional Projections. The Beauty of Functional Code Steffen Michels
2012	—	`conf`	Probabilistic Model-Based Assessment of Information Quality in Uncertain Domains. Australasian Conference on Artificial Intelligence Steffen Michels, Marina Velikova, Peter J. F. Lucas
2012	C	`conf`	Task-oriented programming in a pure functional language. PPDP Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman
2011	—	`conf`	Defining Multi-user Web Applications with iTasks. CEFP Rinus Plasmeijer, Peter Achten, Bas Lijnse, Steffen Michels
2011	—	`conf`	Getting a grip on tasks that coordinate tasks. LDTA Rinus Plasmeijer, Bas Lijnse, Peter Achten, Steffen Michels
2010	—	`conf`	iTask as a New Paradigm for Building GUI Applications. IFL Steffen Michels, Rinus Plasmeijer, Peter Achten
2009	—	`conf`	Adaptive Scheduling of Data Paths using Uppaal Tiga QFM Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager