Follow
Stefaneas S. Petros
Title
Cited by
Cited by
Year
Logical support for modularisation
R Diaconescu, J Goguen, P Stefaneas
Papers presented at the second annual Workshop on Logical environments, 83-130, 1993
2901993
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
321991
The web as a tool for proving
P Stefaneas, IM Vandoulakis
Philosophical Engineering: Toward a Philosophy of the Web, 149-167, 2013
312013
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
142014
Generic constructions and generic limits
SV Sudoplatov, Y Kiouvrekis, P Stefaneas
Algebraic Modeling of Topological and Computational Structures and …, 2017
132017
On mathematical proving
P Stefaneas, IM Vandoulakis
Journal of Artificial General Intelligence 6 (1), 130-149, 2015
132015
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
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
122019
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
Algebraic specifications for oma rel licenses
N Triantafyllou, I Ouranos, P Stefaneas
2009 IEEE International Conference on Wireless and Mobile Computing …, 2009
112009
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
Proof-events in History of Mathematics
IM Vandoulakis, P Stefaneas
92013
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
The system can't perform the operation now. Try again later.
Articles 1–20