| |
| 2007 | ||
|---|---|---|
| 6 | EE | 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 | EE | Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos: An Algebraic Framework for Modeling of Mobile Systems. IEICE Transactions 90-A(9): 1986-1999 (2007) |
| 3 | EE | Razvan Diaconescu, Petros S. Stefaneas: Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. 379(1-2): 210-230 (2007) |
| 2002 | ||
| 2 | EE | 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 | |
| 1 | Razvan Diaconescu | [3] |
| 2 | Panagiotis Frangos | [4] [5] |
| 3 | Christos J. Georgiou | [2] |
| 4 | Iakovos Ouranos | [4] [5] [6] |