Seguir
Stefaneas S. Petros
Stefaneas S. Petros
Department of Mathematics, National Technical University of Athens
Dirección de correo verificada de math.ntua.gr
Título
Citado por
Citado por
Año
Logical support for modularisation
R Diaconescu, J Goguen, P Stefaneas
2881993
Ultraproducts and possible worlds semantics in institutions
R Diaconescu, P Stefaneas
Theoretical Computer Science 379 (1-2), 210-230, 2007
422007
Logical support for modularisation
R azvan Diaconescu, J Goguen, P Stefaneas
Proceedings of Workshop on Logical Frameworks (Edinburgh, United Kingdom, 83-130, 1991
311991
The web as a tool for proving
P Stefaneas, IM Vandoulakis
Philosophical Engineering: Toward a Philosophy of the Web, 149-167, 2013
302013
Proofs as spatio-temporal processes
P Stefaneas, IM Vandoulakis
Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences …, 2014
222014
Strategies for accelerating the worldwide adoption of e-commerce
CJ Georgiou, PS Stefaneas
Communications of the ACM 45 (4), 145-151, 2002
202002
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
182012
An algebraic framework for modeling of mobile systems
I Ouranos, P Stefaneas, P Frangos
IEICE transactions on fundamentals of electronics, communications and …, 2007
152007
Application of the modified fractal signature method for terrain classification from synthetic aperture radar images
A Malamou, C Pandis, P Frangos, P Stefaneas, A Karakasiliotis, ...
arXiv preprint arXiv:1401.2899, 2014
132014
Applying the modified fractal signature method to image classification: some preliminary results for ISAR radar images
C Pandis, A Malamou, P Stefaneas, P Frangos
CEMA 12, 8-10, 2012
132012
On mathematical proving
P Stefaneas, IM Vandoulakis
Journal of Artificial General Intelligence 6 (1), 130-149, 2015
122015
The Transposition of European Union Open Data/P ublic Sector Information Policies in Greece: A Critical Analysis
P Tsiavos, P Stefaneas, T Karounos
Policy & Internet 5 (4), 402-417, 2013
122013
Generic constructions and generic limits
SV Sudoplatov, Y Kiouvrekis, P Stefaneas
Algebraic Modeling of Topological and Computational Structures and …, 2017
112017
Algebraic specifications for oma rel licenses
N Triantafyllou, I Ouranos, P Stefaneas
2009 IEEE International Conference on Wireless and Mobile Computing …, 2009
112009
A rule-based model for compliance of medical devices applied to the European market
S Almpani, P Stefaneas, H Boley, T Mitsikas, P Frangos
International Journal of Extreme Automation and Connectivity in Healthcare …, 2019
102019
Collective discovery events: Web-based mathematical problem-solving with codelets
PS Stefaneas, IM Vandoulakis, M Martinez, H Foundalis
Computational Creativity Research: Towards Creative Machines, 371-389, 2015
102015
Extending standards with formal methods: Open document architecture
K Barlas, G Koletsos, P Stefaneas
2012 International Symposium on Innovations in Intelligent Systems and …, 2012
102012
Conceptions of proof in mathematics
IM Vandoulakis, P Stefaneas
Proceedings of the Moscow Seminar on Philosophy of Mathematics, 2013
92013
Definable sets in generic structures and their cardinalities
Y Kiouvrekis, P Stefaneas, SV Sudoplatov
Siberian Advances in Mathematics 28, 39-52, 2018
82018
Towards formal open standards: formalizing a standard’s requirements: The case of RSS v2. 0
K Barlas, E Berki, P Stefaneas, G Koletsos
Innovations in Systems and Software Engineering 13, 51-66, 2017
82017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20