Issue Date	Title	Author(s)
3-Apr-1997	On free variables in interior point methods	Meszaros, C
1-Jan-2004	On model checking multiple hybrid views	Hussain, A; Huth, M
1-Jan-2008	On the benefits of argumentation for negotiation - preliminary version	Hussain, A; Toni, F
1-Jan-2003	On the computational strength of pure ambient calculi	Maffeis, S
1-Jan-2016	On the undecidability of asynchronous session subtyping	Lange, J; Yoshida, N
1-Jan-2003	OOF: Open Optimization Framework	Ezechukwu, OC; Maros, I
1-Jan-2006	Optimizing minimal agents through abstraction	Broda, K; Hogger, C
1-Jan-2004	OSCP: Optimization Service Connectivity Protocol	Ezechukwu, OC; Maros, I
1-Jan-2009	p-automata: acceptors for Markov Chains	Huth, M; Piterman, N; Wagner, D
1-Jan-2009	PDXML: extensible markup language for processor description	Seng, SP; Palem, KV; Rabbah, RM; Wong, WF; Luk, W, et al
1-Jan-2013	PEALT: A reasoning tool for numerical aggregation of trust evidence	Huth, M; Kuo, JH-P
1-Jan-1998	Permco – a permissive approach to covariant overriding of subclass members	Drossopoulou, S; Yang, D
1-Jan-2012	Pessimistic bi-level optimization	Wiesemann, W; Tsoukalas, A; Kleniati, P-M; Rustem, B
1-Jan-2016	Polarization imaging reflectometry in the wild	Riviere, J; Reshetouski, I; Ghosh, A
1-Jan-2011	Policies, norms and actions: groundwork for a framework	Craven, R
1-Jan-2013	Policy-based access control from numerical evidence	Crampton, J; Huth, M; Morisset, C
1-Jan-2001	Polymorphic intersection type assignment for rewrite systems with abstraction and -rul	Van Bakel, S; Barbanera, F; Fernandez, M
1-Jan-2019	Polymorphic session pocesses as morphisms	Toninho, B; Yoshida, N
1-Jan-2006	Polynomial-time under-approximation of winning regions in parity games	Antonik, A; Carhlton, N; Huth, M
31-Dec-2000	Ponder: A Language for Specifying Security and Management Policies for Distributed Systems	Damianou, N; Dulay, N; Lupu, EC; Sloman, MS