Petros S. Stefaneas

	2007
6		Iakovos Ouranos, Petros S. Stefaneas: Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. CAI 2007: 247-259
5		Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos: A Formal Specification Framework for Ad Hoc Mobile Communication Networks. SOFSEM (2) 2007: 91-102
4		Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos: An Algebraic Framework for Modeling of Mobile Systems. IEICE Transactions 90-A(9): 1986-1999 (2007)
3		Razvan Diaconescu, Petros S. Stefaneas: Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. 379(1-2): 210-230 (2007)
	2002
2		Christos J. Georgiou, Petros S. Stefaneas: Strategies for accelerating the worldwide adoption of e-commerce. Commun. ACM 45(4): 145-151 (2002)
	1997
1		Petros S. Stefaneas: Chartering first order logic. Developments in Language Theory 1997: 579-592

Coauthor Index

1	Razvan Diaconescu	[3]
2	Panagiotis Frangos	[4] [5]
3	Christos J. Georgiou	[2]
4	Iakovos Ouranos	[4] [5] [6]

Colors in the list of coauthors