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
Logical environments, 1993
2631993
Logical support for modularisation
R azvan Diaconescu, J Goguen, P Stefaneas
Proceedings of Workshop on Logical Frameworks (Edinburgh, United Kingdom, 83-130, 1991
321991
Ultraproducts and possible worlds semantics in institutions
R Diaconescu, P Stefaneas
Theoretical Computer Science 379 (1-2), 210-230, 2007
302007
The web as a tool for proving
P Stefaneas, IM Vandoulakis
Metaphilosophy 43 (4), 480-498, 2012
212012
Formal analysis of TESLA protocol in the timed OTS/CafeOBJ method
I Ouranos, K Ogata, P Stefaneas
International Symposium On Leveraging Applications of Formal Methods …, 2012
192012
Strategies for accelerating the worldwide adoption of e-commerce
CJ Georgiou, PS Stefaneas
Communications of the ACM 45 (4), 145-151, 2002
192002
Proofs as spatio-temporal processes
P Stefaneas, IM Vandoulakis
Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences …, 2014
152014
Applying the modified fractal signature method to image classification: some preliminary results for ISAR radar images
C Pandis, A Malamou, P Stefaneas, P Frangos
Proc. 7 Int. Conf. CEMA12, 8-10, 2012
142012
An algebraic framework for modeling of mobile systems
I Ouranos, P Stefaneas, P Frangos
IEICE Transactions on Fundamentals of Electronics, Communications and …, 2007
142007
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
122014
Algebraic specifications for oma rel licenses
N Triantafyllou, I Ouranos, P Stefaneas
2009 IEEE International Conference on Wireless and Mobile Computing …, 2009
102009
Generic constructions and generic limits
SV Sudoplatov, Y Kiouvrekis, P Stefaneas
Workshop Thales Algebraic Modeling of Topological and Computational …, 2015
92015
Extending standards with formal methods: Open document architecture
K Barlas, G Koletsos, P Stefaneas
2012 International Symposium on Innovations in Intelligent Systems and …, 2012
92012
Definable sets in generic structures and their cardinalities
Y Kiouvrekis, P Stefaneas, SV Sudoplatov
Siberian Advances in Mathematics 28 (1), 39-52, 2018
82018
On mathematical proving
P Stefaneas, IM Vandoulakis
Journal of Artificial General Intelligence 6 (1), 130-149, 2015
82015
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
82013
Conceptions of proof in mathematics
IM Vandoulakis, P Stefaneas
Proceedings of the Moscow Seminar on Philosophy of Mathematics, 2013
82013
Verifying security protocols for sensor networks using algebraic specification techniques
I Ouranos, P Stefaneas
International Conference on Algebraic Informatics, 247-259, 2007
82007
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
72015
Proof-events in History of Mathematics
I Vandoulakis, P Stefaneas
Gaņita Bhāratī 35 (1-4), 2013, 2013
72013
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20