| 2006 | VMCAI | Error Control for Probabilistic Model Checking. | Hkan L. S. Younes |
| 2005 | AAAI | Planning and Execution with Phase Transitions. | Hkan L. S. Younes |
| 2005 | CAV | Probabilistic Verification for "Black-Box" Systems. | Hkan L. S. Younes |
| 2005 | CAV | Ymer: A Statistical Model Checker. | Hkan L. S. Younes |
| 2004 | AAAI | Planning and Verification for Stochastic Processes with Asynchronous Events. | Hkan L. S. Younes |
| 2004 | AAAI | Solving Generalized Semi-Markov Decision Processes Using Continuous Phase-Type Distributions. | Hkan L. S. Younes, Reid G. Simmons |
| 2004 | TACAS | Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. | Hkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2002 | CAV | Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. | Hkan L. S. Younes, Reid G. Simmons |
| 2000 | AAAI | Coordination for Multi-Robot Exploration and Mapping. | Reid G. Simmons, David Apfelbaum, Wolfram Burgard, Dieter Fox, Mark Moors, Sebastian Thrun, Hkan L. S. Younes |
| 2000 | FlAIRS | A Deterministic Algorithm for Solving Imprecise Decision Problems. | Hkan L. S. Younes, Love Ekenberg |
| 1999 | UAI | Artificial Decision Making Under Uncertainty in Intelligent Buildings. | Magnus Boman, Paul Davidsson, Hkan L. S. Younes |
| 1999 | RoboCup | UBU Team. | Johan Kummeneje, David Lybck, Hkan L. S. Younes, Magnus Boman |