Theodosis Dimitrakos

	2009
41		Pierre de Leusse, Theodosis Dimitrakos, David Brossard: A Governance Model for SOA. ICWS 2009: 1020-1027
40		Theodosis Dimitrakos, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 244: 1-2 (2009)
	2008
39		Pierre de Leusse, Panos Periorellis, Theodosis Dimitrakos, Paul Watson: An Architecture for Non Functional Properties Management in Distributed Computing. DCSOFT 2008: 26-37
	2007
38		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Springer 2007
37		Ivan Djordjevic, Srijith K. Nair, Theodosis Dimitrakos: Virtualised Trusted Computing Platform for Adaptive Security Enforcement of Web Services Interactions. ICWS 2007: 615-622
36		Srijith Krishnan Nair, Ivan Djordjevic, Bruno Crispo, Theodosis Dimitrakos: Secure web service federation management using tpm virtualisation. SWS 2007: 73-82
35		Ivan Djordjevic, Theodosis Dimitrakos, N. Romano, Damian Mac Randal, Pierluigi Ritrovato: Dynamic security perimeters for inter-enterprise service integration. Future Generation Comp. Syst. 23(4): 633-657 (2007)
34		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)
	2006
33		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Springer 2006
32		Andreas Maierhofer, Theodosis Dimitrakos, Leonid Titkov, David Brossard: Extendable and Adaptive Message-Level Security Enforcement Framework. ICNS 2006: 72
	2005
31		Pierluigi Ritrovato, Stefano A. Cerri, Saverio Salerno, Matteo Gaeta, Colin Allison, Theodosis Dimitrakos: Towards the Learning Grid - Advances in Human Learning Services IOS Press 2005
30		Theodosis Dimitrakos, Fabio Martinelli: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France Springer 2005
29		Adomas Svirskas, Michael D. Wilson, Alvaro E. Arenas, Emil C. Lupu, Nilufer Tuptuk, David Chadwick, Pablo Giambiagi, Theodosis Dimitrakos, Bob Roberts: Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures. CEC Workshops 2005: 3-11
28		Theodosis Dimitrakos, Giuseppe Laria, Ivan Djordjevic, N. Romano, F. D'Andria, V. Trpkovski, P. Kearney, Matteo Gaeta, Pierluigi Ritrovato, Lutz Schubert, Bassem Serhan, Leonid Titkov, Stefan Wesner: Towards a Grid Platform Enabling Dynamic Virtual Organisations for Business Applications. iTrust 2005: 406-410
27		Audun Jøsang, Claudia Keser, Theodosis Dimitrakos: Can We Manage Trust? iTrust 2005: 93-107
	2004
26		Theodosis Dimitrakos, Pierluigi Ritrovato: 4th International LeGE-WG Workshop - Towards a European Learning Grid Infrastructure: Progressing with a European Learning Grid, Stuttgart, Germany. 27 - 28 April 2004. BCS 2004
25		Christian Damsgaard Jensen, Stefan Poslad, Theodosis Dimitrakos: Trust Management, Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings Springer 2004
24		Stefan Wesner, Bassem Serhan, Theodosis Dimitrakos, Damian Mac Randal, Pierluigi Ritrovato, Giuseppe Laria: Overview of an Architecture Enabling Grid Based Application Service Provision. European Across Grids Conference 2004: 113-118
23		Ivan Djordjevic, Chris Phillips, Theodosis Dimitrakos: An architecture for dynamic security perimeters of virtual collaborative networks. NOMS (1) 2004: 249-262
22		Ivan Djordjevic, Theodosis Dimitrakos: Towards Dynamic Security Perimeters for Virtual Collaborative Networks. iTrust 2004: 191-205
21		Matteo Gaeta, Giuseppe Laria, Pierluigi Ritrovato, N. Romano, Bassem Serhan, Stefan Wesner, Theodosis Dimitrakos, Damian Mac Randal: Trust, Security, and Contract Management Challenges for Grid-Based Application Service Provision. iTrust 2004: 362-368
20		Brian Matthews, Theodosis Dimitrakos: Deploying Trust Policies on the Semantic Web. iTrust 2004: 369-375
	2003
19		Theodosis Dimitrakos, Pierluigi Ritrovato, Saverio Salerno: 3rd International LeGE-WG Workshop: GRID Infrastructure to Support Future Technology Enhanced Learning, Berlin, Germany. 3 December, 2003 BCS 2003
18		Theodosis Dimitrakos, Damian Mac Randal, Fajin Yuan, Matteo Gaeta, Giuseppe Laria, Pierluigi Ritrovato, Bassem Serhan, Stefan Wesner, Konrad Wulf: An Emerging Architecture Enabling Grid Based Application Service Provision. EDOC 2003: 240-251
17		Theodosis Dimitrakos, Ivan Djordjevic, Zoran Milosevic, Audun Jøsang, Chris I. Phillips: Contract Performance Assessment for Secure and Dynamic Virtual Collaborations. EDOC 2003: 62-75
16		Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui: Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. MMGPS 2003
15		Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
	2002
14		Dimitris Raptis, Theodosis Dimitrakos, Bjørn Axel Gran, Ketil Stølen: The coras approach for model-based risk management applied to e-commerce domain. Communications and Multimedia Security 2002: 169-181
13		Zoran Milosevic, Audun Jøsang, Theodosis Dimitrakos, Mary Anne Patton: Discretionary Enforcement of Electronic Contracts. EDOC 2002: 39-50
12		Jan Øyvind Aagedal, Folker den Braber, Theodosis Dimitrakos, Bjørn Axel Gran, Dimitris Raptis, Ketil Stølen: Model-Based Risk Assessment to Improve Enterprise Security. EDOC 2002: 51-
11		Theodosis Dimitrakos, Dimitris Raptis, Brian Ritchie, Ketil Stølen: Model Based Security Risk Analysis for Web Applications. EuroWeb 2002
10		Theodosis Dimitrakos, Brian Ritchie, Dimitris Raptis, Jan Øyvind Aagedal, Folker den Braber, Ketil Stølen, Siv Hilde Houmb: Integrating Model-based Security Risk Management into eBusiness Systems Development: The CORAS Approach. I3E 2002: 159-175
9		Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips: Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231
8		Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theodosis Dimitrakos: The CORAS Framework for a Model-Based Risk Management Process. SAFECOMP 2002: 94-105
7		Theodosis Dimitrakos: A Service-Oriented Trust Management Framework. Trust, Reputation, and Security 2002: 53-72
	2001
6		Theodosis Dimitrakos: System Models, e-Risks and e-Trust. I3E 2001: 45-58
5		Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): (2001)
	2000
4		Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum: Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126
3		Theodosis Dimitrakos, T. S. E. Maibaum: On a generalized modularization theorem. Inf. Process. Lett. 74(1-2): 65-71 (2000)
	1998
2		Theodosis Dimitrakos: Parameterising (Algebraic) Specifications on Diagrams. ASE 1998: 221-224
	1997
1		Theodosis Dimitrakos, T. S. E. Maibaum: Notes on Refinement, Interpolation and Uniformity. ASE 1997: 108-116

Coauthor Index

1	Jan Øyvind Aagedal	[10] [12]
2	Nazareno Aguirre	[15]
3	Colin Allison	[31]
4	Álvaro Enrique Arenas (Alvaro E. Arenas, Alvaro Arenas)	[29]
5	Juan Bicarregui	[4] [5] [9] [15] [16]
6	Folker den Braber	[10] [12]
7	David Brossard	[32] [41]
8	Stefano A. Cerri	[31]
9	David Chadwick	[29]
10	Bruno Crispo	[36]
11	F. D'Andria	[28]
12	Ivan Djordjevic	[9] [17] [22] [23] [28] [35] [36] [37]
13	Rune Fredriksen	[8]
14	Dov M. Gabbay	[5]
15	Matteo Gaeta	[18] [21] [28] [31]
16	Pablo Giambiagi	[29]
17	Bjørn Axel Gran	[8] [12] [14]
18	Siv Hilde Houmb	[10]
19	Christian Damsgaard Jensen	[25]
20	Audun Jøsang	[13] [17] [27]
21	P. Kearney	[28]
22	Claudia Keser	[27]
23	Monica Kristiansen	[8]
24	Simon C. Lambert	[16]
25	Giuseppe Laria	[18] [21] [24] [28]
26	Pierre de Leusse	[39] [41]
27	Emil C. Lupu (Emil Lupu)	[29]
28	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1] [3] [4] [5] [15]
29	Andreas Maierhofer	[32]
30	Fabio Martinelli	[30] [33] [34] [38] [40]
31	Brian Matthews	[4] [9] [16] [20]
32	Zoran Milosevic	[13] [17]
33	Srijith Krishnan Nair (Srijith K. Nair)	[36] [37]
34	Tom Arthur Opperud	[8]
35	Mary Anne Patton	[13]
36	Panos Periorellis	[39]
37	Chris Phillips	[23]
38	Chris I. Phillips	[9] [17]
39	Stefan Poslad	[25]
40	Damian Mac Randal	[18] [21] [24] [35]
41	Dimitris Raptis	[10] [11] [12] [14]
42	Brian Ritchie	[10] [11]
43	Pierluigi Ritrovato	[18] [19] [21] [24] [26] [28] [31] [35]
44	Bob Roberts	[29]
45	N. Romano	[21] [28] [35]
46	Peter Y. A. Ryan (Peter Ryan)	[33] [34] [38]
47	Saverio Salerno	[19] [31]
48	Steve A. Schneider (Steve Schneider)	[33] [34] [38]
49	Lutz Schubert	[28]
50	Bassem Serhan	[18] [21] [24] [28]
51	Ketil Stølen	[8] [10] [11] [12] [14]
52	Adomas Svirskas	[29]
53	Leonid Titkov	[28] [32]
54	V. Trpkovski	[28]
55	Nilufer Tuptuk	[29]
56	Paul Watson	[39]
57	Stefan Wesner	[18] [21] [24] [28]
58	Michael D. Wilson	[29]
59	Konrad Wulf	[18]
60	Fajin Yuan	[18]