default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPetros S. Stefaneas
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]Georgios V. Pitsiladis
, Petros S. Stefaneas:
A logical framework to model software development by multiple agents following a common specification. J. Log. Comput. 34(5): 977-1000 (2024)- 2023
- [j15]Eleni Dazea, Petros S. Stefaneas:
An Explainable AI Model for ICU Admission Prediction of COVID-19 Patients. Int. J. Artif. Intell. Tools 32(7): 2350031:1-2350031:31 (2023) - [c33]Arsenios Arsenidis, Alexandros Moraitopoulos, Alkinoos Athanasiou, Panagiotis D. Bamidis, Petros S. Stefaneas, Alexander Astaras:
A novel electrical muscle stimulation device for neurorehabilitation applications with adaptable parameter optimization using AI algorithms. MOCAST 2023: 1-4 - [i11]Andrew Perkis, Mattia Bellini, Valentina Nisi, María Cecilia Reyes, Cristina Sylla, Mijalche Santa, Anna Zaluczkowska, Shafaq Irshad, Ágnes Karolina Bakk, Fanny Barnabé, Daniel Barnard, Nadia Boukhelifa, Øyvind Sørdal Klungre, Hartmut Koenitz, Vincenzo Lombardo, Mirjam Palosaari Eladhari, Catia Prandi, Scott Rettberg, Anca Serbanescu, Sonia Sousa, Petros S. Stefaneas, Dimitar Uzunov, Mirjam Vosmeer, Marcin Wardaszko:
INDCOR white paper on the Design of Complexity IDNs. CoRR abs/2305.01925 (2023) - 2022
- [j14]Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas, Panayiotis Frangos:
Computational Argumentation for Medical Device Regulatory Classification. Int. J. Artif. Intell. Tools 31(1): 2250005:1-2250005:26 (2022) - [c32]Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis:
Towards a Methodology for Formally Analyzing Federated Identity Management Systems. ISoLA (4) 2022: 382-405 - [i10]Georgios V. Pitsiladis, Petros S. Stefaneas:
A logical framework to model software development by multiple agents following a common specification. CoRR abs/2211.01341 (2022) - 2021
- [c31]Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas:
Modeling of Medical Devices Classification with Computational Argumentation. IISA 2021: 1-6 - [c30]Petros S. Stefaneas:
On post-truth and correctness over the Web. WebSci (Companion) 2021: 67-68 - 2020
- [j13]Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas, Panayiotis Frangos:
ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking. Paladyn J. Behav. Robotics 11(1): 414-427 (2020) - [c29]Konstantinos Barlas, Petros S. Stefaneas:
An algebraic schema for JSON. PCI 2020: 31-33 - [c28]Dimitrios Zafeirakopoulos, Petros S. Stefaneas:
Remarks on the Ethical Behavior of Artificial Intelligence (short paper). SETN Workshops 2020: 123-125 - [c27]Alexandros Nousias, Alain Couillault, Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas:
From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper). SETN Workshops 2020: 131-132
2010 – 2019
- 2019
- [c26]Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens:
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR 2019: 52-66 - [e2]Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca:
Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019. CEUR Workshop Proceedings 2438, CEUR-WS.org 2019 [contents] - 2018
- [c25]Yiannis Kiouvrekis, Petros S. Stefaneas, Angelika I. Kokkinaki, Nikos Asimakis:
Limiting the Impact of Statistics as a Proverbial Source of Falsehood. EMCIS 2018: 433-442 - [c24]Georgios V. Pitsiladis, Petros S. Stefaneas:
Implementation of Privacy Calculus and Its Type Checking in Maude. ISoLA (2) 2018: 477-493 - [c23]Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos:
Object-Relational Rules for Medical Devices: Classification and Conformity. OTM Conferences (2) 2018: 584-591 - [c22]Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos:
Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR 2018: 203-210 - [c21]Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos:
Formalizing Air Traffic Control Regulations in PSOA RuleML. RuleML+RR (Supplement) 2018 - 2017
- [j12]Konstantinos Barlas, Eleni Berki, Petros S. Stefaneas, George Koletsos:
Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. Innov. Syst. Softw. Eng. 13(1): 51-66 (2017) - [c20]Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas:
From Natural Language to Argumentation and Cognitive Systems. AIC 2017: 55-57 - [c19]Sofia Almpani, Petros S. Stefaneas:
On Proving and argumentation. AIC 2017: 72-84 - [c18]Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas:
From Natural Language to Argumentation and Cognitive Systems. COMMONSENSE 2017 - 2016
- [j11]Katerina Ksystra, Petros S. Stefaneas:
Formal analysis and verification support for reactive rule-based Web agents. Int. J. Web Inf. Syst. 12(4): 418-447 (2016) - [j10]Marcelo Carvalho Fernandes, Antonio Juarez Alencar, Eber Assis Schmitz, Mônica Ferreira da Silva, Petros S. Stefaneas:
Evaluation of Agile Software Projects in the Public Sector: A Literature Review. J. Softw. 11(3): 312-325 (2016) - 2015
- [j9]Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos:
An Algebraic Framework for the Verification of Context-Aware Adaptive Systems. Int. J. Softw. Eng. Knowl. Eng. 25(7): 1105-1128 (2015) - [j8]Petros S. Stefaneas, Ioannis M. Vandoulakis:
On Mathematical Proving. J. Artif. Gen. Intell. 6(1): 130-149 (2015) - [j7]Maximiliano M. de Faria, Eber Assis Schmitz, Antonio Juarez Alencar, Mônica Ferreira da Silva, Petros S. Stefaneas:
Analyzing IT Governance Initiatives with Game Theory: A Systematic literature Review. J. Softw. 10(9): 1056-1069 (2015) - 2014
- [j6]Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas:
TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned. IEICE Trans. Inf. Syst. 97-D(5): 1160-1170 (2014) - [c17]Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra:
Some Engineering Applications of the OTS/CafeOBJ Method. Specification, Algebra, and Software 2014: 541-559 - [c16]Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas:
On Verifying Reactive Rules Using Rewriting Logic. RuleML 2014: 67-81 - [c15]Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Antonios Kalampakas:
Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics. SMAP 2014: 48-53 - [c14]Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos:
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. SOFSEM 2014: 407-418 - [i9]A. Malamou, C. Pandis, Panagiotis Frangos, Petros S. Stefaneas, A. Karakasiliotis, D. Kodokostas:
Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images. CoRR abs/1401.2899 (2014) - 2013
- [j5]Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos:
An Algorithm for Allocating User Requests to Licenses in the OMA DRM System. IEICE Trans. Inf. Syst. 96-D(6): 1258-1267 (2013) - [c13]Iakovos Ouranos, Petros S. Stefaneas:
Towards a Protocol Algebra Based on Algebraic Specifications. SERA (selected papers) 2013: 85-98 - [e1]Leora Morgenstern, Petros S. Stefaneas, François Lévy, Adam Z. Wyner, Adrian Paschke:
Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings. Lecture Notes in Computer Science 8035, Springer 2013, ISBN 978-3-642-39616-8 [contents] - 2012
- [c12]Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas:
Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. ISoLA (2) 2012: 126-142 - [c11]Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas:
On the Algebraic Semantics of Reactive Rules. RuleML 2012: 136-150 - [c10]Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos:
Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. SMAP 2012: 81-86 - [i8]Michalis Vafopoulos, Petros S. Stefaneas, Ioannis Anagnostopoulos, Kieron O'Hara:
A methodology for internal Web ethics. CoRR abs/1202.4238 (2012) - [i7]Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos:
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications. CoRR abs/1205.5106 (2012) - 2011
- [c9]Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos:
Applying Algebraic Specifications on Digital Right Management Systems. ICCSW 2011: 94-100 - [i6]Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra:
Redesigning the Open Mobile Alliance License Choice Algorithm. CoRR abs/1102.1547 (2011) - [i5]Konstantinos Barlas, George Koletsos, Petros S. Stefaneas:
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking. CoRR abs/1103.2787 (2011) - [i4]Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas:
A Dynamic Algebraic Specification for Social Networks. CoRR abs/1106.6267 (2011) - [i3]Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos:
An Algebraic Specification of the Semantic Web. CoRR abs/1107.5897 (2011) - [i2]Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos:
Applying Algebraic Specifications on Digital Right Management Systems. CoRR abs/1108.1482 (2011) - [i1]Prodromos Tsiavos, Petros S. Stefaneas:
Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach. CoRR abs/1109.0680 (2011) - 2010
- [j4]Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos:
Towards a correct translation from ASN.1 into CafeOBJ. Int. J. Reason. based Intell. Syst. 2(3/4): 300-309 (2010) - [c8]Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos:
Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. ICETE (Selected Papers) 2010: 424-438 - [c7]Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata:
Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. ISoLA (1) 2010: 75-89 - [c6]Katerina Ksystra, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos:
A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. SIGMAP 2010: 35-38 - [c5]Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos:
Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. WINSYS 2010: 173-180
2000 – 2009
- 2009
- [c4]Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas:
Algebraic Specifications for OMA REL Licenses. WiMob 2009: 376-381 - 2007
- [j3]Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos:
An Algebraic Framework for Modeling of Mobile Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(9): 1986-1999 (2007) - [j2]Razvan Diaconescu, Petros S. Stefaneas:
Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. 379(1-2): 210-230 (2007) - [c3]Iakovos Ouranos, Petros S. Stefaneas:
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. CAI 2007: 247-259 - [c2]Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos:
A Formal Specification Framework for Ad Hoc Mobile Communication Networks. SOFSEM (2) 2007: 91-102 - 2002
- [j1]Christos J. Georgiou, Petros S. Stefaneas:
Strategies for accelerating the worldwide adoption of e-commerce. Commun. ACM 45(4): 145-151 (2002)
1990 – 1999
- 1997
- [c1]Petros S. Stefaneas:
Chartering first order logic. Developments in Language Theory 1997: 579-592
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
