Stefaneas S. Petros 个人学术档案

引用次数

	总计	2019 年至今
引用	856	244
h 指数	12	6
i10 指数	17	4

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320243 6 12 11 18 15 19 15 25 10 17 6 14 13 14 26 18 15 27 17 26 20 65 40 47 47 26 43 42 43 39 51 25

开放获取的出版物数量

查看全部

1 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Panayiotis V. FrangosProfessor, National Technical University of Athens在 central.ntua.gr 的电子邮件经过验证
Iakovos OuranosElectrical & Computer Engineer, NTUA在 central.ntua.gr 的电子邮件经过验证
Ioannis VandoulakisUniversity of Thessaly在 ac.eap.gr 的电子邮件经过验证
Sofia AlmpaniNational Technical University of Athens在 mail.ntua.gr 的电子邮件经过验证
Nikolaos TriantafyllouPh.D. student National Technical University of Athens在 central.ntua.gr 的电子邮件经过验证
Răzvan DiaconescuSimion Stoilow Institute of Mathematics of the Romanian Academy在 imar.ro 的电子邮件经过验证
Yiannis KiouvrekisUniversity of Thessaly - Mathematics, Computer Science, Artificial Intelligence Lab (MCSAI Lab)在 uth.gr 的电子邮件经过验证
Theodoros MitsikasNational Technical University of Athens在 central.ntua.gr 的电子邮件经过验证
Konstantinos BarlasUniversity of West Attica在 uniwa.gr 的电子邮件经过验证
Sergey Sudoplatovг.н.с. ИМ СО РАН; заведующий кафедрой, НГТУ; профессор, НГУ在 g.nsu.ru 的电子邮件经过验证
Kazuhiro OgataJAIST在 jaist.ac.jp 的电子邮件经过验证
Harold BoleyPrincipal Researcher and Leader of the Semantic Web Laboratory, National Research Council Canada在 unb.ca 的电子邮件经过验证
Prodromos TsiavosHead of Digital and Innovation, Onassis Group在 onassis.org 的电子邮件经过验证
Maricarmen MartínezUniversidad de los Andes在 uniandes.edu.co 的电子邮件经过验证
Nicola AngiusAssistant Professor, University of Messina, Italy在 unime.it 的电子邮件经过验证
Theodoros G. KarounosNational Technical University of Athens, Network and Optimal Design Laboratory - NETMODE在 netmode.ntua.gr 的电子邮件经过验证
Georgios V. PitsiladisNational Technical University of Athens在 mail.ntua.gr 的电子邮件经过验证
Adrian PaschkeProfessor, Computer Science, Freie Universitaet Berlin在 inf.fu-berlin.de 的电子邮件经过验证
Adam WynerSwansea University, Department of Computer Science在 swansea.ac.uk 的电子邮件经过验证
Antonios KalampakasAssociate Professor of Mathematics, American University of the Middle East, Kuwait在 aum.edu.kw 的电子邮件经过验证

关注

Stefaneas S. Petros

Department of Mathematics, National Technical University of Athens

在 math.ntua.gr 的电子邮件经过验证

Formal Methods Semantics Computational Creativity Ethics for Computer Science and AI


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Logical support for modularisation R Diaconescu, J Goguen, P Stefaneas Papers presented at the second annual Workshop on Logical environments, 83-130, 1993	290	1993
Ultraproducts and possible worlds semantics in institutions R Diaconescu, P Stefaneas Theoretical Computer Science 379 (1-2), 210-230, 2007	42	2007
Logical support for modularisation R azvan Diaconescu, J Goguen, P Stefaneas Proceedings of Workshop on Logical Frameworks (Edinburgh, United Kingdom, 83-130, 1991	32	1991
The web as a tool for proving P Stefaneas, IM Vandoulakis Philosophical Engineering: Toward a Philosophy of the Web, 149-167, 2013	31	2013
Proofs as spatio-temporal processes P Stefaneas, IM Vandoulakis Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences …, 2014	22	2014
Strategies for accelerating the worldwide adoption of e-commerce CJ Georgiou, PS Stefaneas Communications of the ACM 45 (4), 145-151, 2002	20	2002
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	18	2012
An algebraic framework for modeling of mobile systems I Ouranos, P Stefaneas, P Frangos IEICE transactions on fundamentals of electronics, communications and …, 2007	15	2007
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	14	2014
Generic constructions and generic limits SV Sudoplatov, Y Kiouvrekis, P Stefaneas Algebraic Modeling of Topological and Computational Structures and …, 2017	13	2017
On mathematical proving P Stefaneas, IM Vandoulakis Journal of Artificial General Intelligence 6 (1), 130-149, 2015	13	2015
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	13	2012
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	12	2013
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	11	2019
Algebraic specifications for oma rel licenses N Triantafyllou, I Ouranos, P Stefaneas 2009 IEEE International Conference on Wireless and Mobile Computing …, 2009	11	2009
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	10	2015
Extending standards with formal methods: Open document architecture K Barlas, G Koletsos, P Stefaneas 2012 International Symposium on Innovations in Intelligent Systems and …, 2012	10	2012
Conceptions of proof in mathematics IM Vandoulakis, P Stefaneas Proceedings of the Moscow Seminar on Philosophy of Mathematics, 2013	9	2013
Definable sets in generic structures and their cardinalities Y Kiouvrekis, P Stefaneas, SV Sudoplatov Siberian Advances in Mathematics 28, 39-52, 2018	8	2018
Proof-events in History of Mathematics IM Vandoulakis, P Stefaneas	8	2013

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用