Issue Date	Title	Author(s)
30-Jun-2008	20 Years of Mixed and Modal Specifications	Antonik, A; Huth, M; Larsen, K; Nyman, U; Wasowski, A
2-Jan-2005	Abstraction and probabilities for hybrid logics	Huth,M.
31-May-2001	Abstraction and refinement for model checking inconsistent systems	Huth, M; Pradhan, S
19-Sep-2008	Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis	Bruns, G; Huth, M
12-May-2006	Automata games for multiple-model checking	Hussain A; Huth M
30-Apr-2007	Cleanly combining specialised program analysers	Charlton, N; Huth, M
25-Oct-2004	Consistent partial model checking	Huth,M.; Pradhan,S.
1-Apr-2000	Design of high performance financial modelling environment	Bunnin, FO; Guo, Y; Ren, Y; Darlington, J
1-Aug-2004	A domain equation for refinement of partial systems	Huth, MRA; Jagadeesan, R; Schmidt, DA
5-May-2006	Efficient Patterns for Model Checking Partial State Spaces in CTL & LTL	Antonik A; Huth M
31-Aug-2008	EXPTIME-complete Decision Problems for Mixed and Modal Specifications	Antonik, A; Huth, M; Larsen, K; Nyman, U; Wasowski, A
31-Dec-2008	Falsifying safety properties through games on over-approximating models\r\n	Huth, M; Charlton, N
31-Dec-2000	Linear Types and Approximation	Huth,M.; Jung,A.; Keimel,K.
1-Jun-2004	Mathematics for the exploration of requirements	Huth,M.
1-Sep-2009	On the complexity of semantic self-minimization	Antonik, A; Huth, M
1-Sep-2010	PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games	Wagner, D; Piterman, N; Huth, M; Fecher, H
2-Jan-2009	Polynomial-Time Under-Approximation of Winning Regions in Parity Games	Antonik, A; Charlton, N; Huth, M
1-Apr-2005	Probabilistic lambda-calculus and quantitative program analysis	Di Pierro, A; Hankin, C; Wiklicky, H
1-Aug-2005	Refinement is complete for implementations	Huth,M.
1-Sep-2009	Refinement sensitive formal semantics of state machines with persistent choice	Fecher, H; Huth, M; Schmidt, H; Schoenborn, J