Seuraa
Stefaneas S. Petros
Stefaneas S. Petros
Department of Mathematics, National Technical University of Athens
Vahvistettu sähköpostiosoite verkkotunnuksessa math.ntua.gr
Nimike
Viittaukset
Viittaukset
Vuosi
Logical support for modularisation
R Diaconescu, J Goguen, P Stefaneas
2861993
Ultraproducts and possible worlds semantics in institutions
R Diaconescu, P Stefaneas
Theoretical Computer Science 379 (1-2), 210-230, 2007
412007
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20