Martijn Warnier

2008
13	EE	Omer F. Rana, Martijn Warnier, Thomas B. Quillinan, Frances M. T. Brazier: Monitoring and Reputation Mechanisms for Service Level Agreements. GECON 2008: 125-139
12	EE	Thomas B. Quillinan, Martijn Warnier, Michel Oey, Reinier Timmer, Frances M. T. Brazier: Enforcing security in the AgentScape middleware. Middleware Security 2008: 25-30
11	EE	Martijn Warnier, Frances M. T. Brazier, Anja Oskamp: Security of Distributed Digital Criminal Dossiers. JSW 3(3): 21-29 (2008)
2007
10	EE	Martijn Warnier, Frances M. T. Brazier, Martin Apistola, Anja Oskamp: Secure Distributed Dossier Management in the Legal Domain. ARES 2007: 941-947
9	EE	Martijn Warnier, Frances M. T. Brazier: Organized Anonymous Agents. IAS 2007: 357-362
8	EE	Martijn Warnier, Frances M. T. Brazier, Martin Apistola, Anja Oskamp: Towards automatic identification of completeness and consistency in digital dossiers. ICAIL 2007: 177-181
7	EE	Martine Boonk, Frances M. T. Brazier, David de Groot, Maarten van Stekelenburg, Anja Oskamp, Martijn Warnier: Conditions for access and use of legal document retrieval web services. ICAIL 2007: 37-41
2006
6	EE	Martijn Warnier, David de Groot, Frances M. T. Brazier: Organized Anonymity in Agent Systems. EUMAS 2006
5	EE	Gilles Barthe, Tamara Rezk, Martijn Warnier: Preventing Timing Leaks Through Transactional Branching Instructions. Electr. Notes Theor. Comput. Sci. 153(2): 33-55 (2006)
2005
4	EE	Bart Jacobs, Wolter Pieters, Martijn Warnier: Statically checking confidentiality via dynamic labels. WITS 2005: 50-56
2004
3	EE	Bart Jacobs, Martijn Oostdijk, Martijn Warnier: Source code verification of a secure payment applet. J. Log. Algebr. Program. 58(1-2): 107-120 (2004)
2002
2	EE	Bart Jacobs, Joseph Kiniry, Martijn Warnier: Java Program Verification Challenges. FMCO 2002: 202-219
1	EE	Jesse Hughes, Martijn Warnier: The Coinductive Approach to Verifying Cryptographic Protocols. WADT 2002: 268-283

Coauthor Index

1	Martin Apistola	[8] [10]
2	Gilles Barthe	[5]
3	Martine Boonk	[7]
4	Frances M. T. Brazier	[6] [7] [8] [9] [10] [11] [12] [13]
5	David de Groot	[6] [7]
6	Jesse Hughes	[1]
7	Bart Jacobs	[2] [3] [4]
8	Joseph Kiniry (Joseph R. Kiniry)	[2]
9	Michel Oey	[12]
10	Martijn Oostdijk	[3]
11	Anja Oskamp	[7] [8] [10] [11]
12	Wolter Pieters	[4]
13	Thomas B. Quillinan	[12] [13]
14	Omer F. Rana	[13]
15	Tamara Rezk	[5]
16	Maarten van Stekelenburg	[7]
17	Reinier Timmer	[12]

Colors in the list of coauthors