Concepedia

Petros Stefaneas

PS

Statistics

Publications

7

Citations

228

H-Index

7

Active since

1993

Affiliations

National Technical University of Athens(Current)

Petros Stefaneas is an author at National Technical University of Athens specializing in computing, computer science, and formal methods.

Publications per year

1993–2023

7

Publications

7

Logical support for modularisation

Răzvan Diaconescu, Joseph A. Goguen, Petros Stefaneas · 1993 · 140 citations · Full text

Computing, Computer Science, Knowledge Representation +5

Ultraproducts and possible worlds semantics in institutions

Răzvan Diaconescu, Petros Stefaneas · Theoretical Computer Science · 2007 · 28 citations · Full text

Language Studies, World Languages, Institutional Theory +7

Spam Email Detection Using Machine Learning Techniques

Ioannis Moutafis, Antonios Andreatos, Petros Stefaneas · European Conference on Cyber Warfare and Security · 2023 · 16 citations · Full text

Computing, Computer Science, Cybersecurity +15

An Algebraic Framework for Modeling of Mobile Systems

Iakovos Ouranos, Petros Stefaneas, Panayiotis Frangos · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2007 · 12 citations · Full text

Computing, Computer Science, Systems Engineering +17

Strategies for accelerating the worldwide adoption of e-commerce

C.J. Georgiou, Petros Stefaneas · Communications of the ACM · 2002 · 12 citations · Full text

Business, Information Systems, Information Technology +10

1–5 of 7