| A radio-coverage prediction model in wireless communication systems based on physical optics and the physical theory of diffraction [wireless corner] EG Papkelis, I Psarros, IC Ouranos, CG Moschovitis, KT Karakatselos, ... IEEE Antennas and Propagation Magazine 49 (2), 156-165, 2007 | 42 | 2007 |
| Formal analysis of TESLA protocol in the timed OTS/CafeOBJ method I Ouranos, K Ogata, P Stefaneas Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 18 | 2012 |
| An algebraic framework for modeling of mobile systems I Ouranos, P Stefaneas, P Frangos IEICE transactions on fundamentals of electronics, communications and …, 2007 | 15 | 2007 |
| Scattering of electromagnetic waves from a rectangular plate using an enhanced stationary phase method approximation CG Moschovitis, KT Karakatselos, EG Papkelis, HT Anastassiu, ... IEEE transactions on antennas and propagation 58 (1), 233-238, 2009 | 14 | 2009 |
| Algebraic specifications for oma rel licenses N Triantafyllou, I Ouranos, P Stefaneas 2009 IEEE International Conference on Wireless and Mobile Computing …, 2009 | 11 | 2009 |
| High frequency analytical model for scattering of electromagnetic waves from a perfect electric conductor plate using an enhanced stationary phase method approximation C Moschovitis, K Karakatselos, E Papkelis, H Anastassiu, I Ouranos, ... IEEE Trans. Antennas and Propagation 58 (1), 233-238, 2010 | 9 | 2010 |
| Verifying security protocols for sensor networks using algebraic specification techniques I Ouranos, P Stefaneas International Conference on Algebraic Informatics, 247-259, 2007 | 8 | 2007 |
| Formalizing Air Traffic Control Regulations in PSOA RuleML. T Mitsikas, S Almpani, PS Stefaneas, P Frangos, I Ouranos RuleML+ RR (Supplement), 2018 | 7 | 2018 |
| TESLA source authentication protocol verification experiment in the Timed OTS/CafeOBJ method: Experiences and Lessons Learned I Ouranos, K Ogata, P Stefaneas IEICE TRANSACTIONS on Information and Systems 97 (5), 1160-1170, 2014 | 7 | 2014 |
| Formal specification and verification of the OMA license choice algorithm in the OTS/CafeOBJ method N Triantafyllou, I Ouranos, P Stefaneas, P Frangos 2010 International Conference on Wireless Information Networks and Systems …, 2010 | 6 | 2010 |
| Towards a correct translation from ASN. 1 into CafeOBJ K Barlas, G Koletsos, P Stefaneas, I Ouranos International Journal of Reasoning-based Intelligent Systems 2 (3-4), 300-309, 2010 | 6 | 2010 |
| Asymptotic calculation of the scattered electric field from a finite rectangular plate using an enhanced Stationary Phase Method (SPM) approximation CG Moschovitis, EG Papkelis, HT Anastassiu, KT Karakatselos, ... 2006 First European Conference on Antennas and Propagation, 1-6, 2006 | 6 | 2006 |
| Aligning, interoperating, and co-executing air traffic control rules across PSOA RuleML and IDP M Deryck, T Mitsikas, S Almpani, P Stefaneas, P Frangos, I Ouranos, ... Rules and Reasoning: Third International Joint Conference, RuleML+ RR 2019 …, 2019 | 5 | 2019 |
| A rule-based approach for air traffic control in the vicinity of the airport T Mitsikas, P Stefaneas, I Ouranos Algebraic Modeling of Topological and Computational Structures and …, 2017 | 4 | 2017 |
| Formal modeling and verification of sensor network encryption protocol in the OTS/CafeOBJ method I Ouranos, P Stefaneas, K Ogata Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 4 | 2010 |
| An algebraic specification for the mpeg-2 encoding algorithm K Ksystra, P Stefaneas, N Triantafyllou, I Ouranos 2009 Fourth South-East European Workshop on Formal Methods, 46-52, 2009 | 4 | 2009 |
| Some engineering applications of the OTS/CafeOBJ method P Stefaneas, I Ouranos, N Triantafyllou, K Ksystra Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014 | 3 | 2014 |
| From ASN. 1 into CafeOBJ: Some first steps K Barlas, G Koletsos, P Stefaneas, I Ouranos 2009 Fourth South-East European Workshop on Formal Methods, 66-72, 2009 | 3 | 2009 |
| A formal specification framework for ad hoc mobile communication networks I Ouranos, P Stefaneas, P Frangos | 3 | 2007 |
| Radio coverage prediction method in urban microcellular environment using electromagnetic techniques E Papkelis, I Ouranos, C Moschovitis, K Karakatselos, P Frangos Proceedings of the International Conference Days on Diffraction-2005, 200-208, 2005 | 2 | 2005 |
Stefaneas S. PetrosDepartment of Mathematics, National Technical University of AthensVahvistettu sähköpostiosoite verkkotunnuksessa math.ntua.gr
