Chartering first order logic. - Petros S. Stefaneas (Developments in Language Theory, 1997)

Strategies for accelerating the worldwide adoption of e-commerce. - Christos J. Georgiou; Petros S. Stefaneas (Commun. ACM, 2002)

Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. - Iakovos Ouranos; Petros S. Stefaneas (CAI, 2007)

A Formal Specification Framework for Ad Hoc Mobile Communication Networks. - Iakovos Ouranos; Petros S. Stefaneas; Panagiotis Frangos (SOFSEM (2), 2007)

An Algebraic Framework for Modeling of Mobile Systems. - Iakovos Ouranos; Petros S. Stefaneas; Panagiotis Frangos (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Ultraproducts and possible worlds semantics in institutions. - Razvan Diaconescu; Petros S. Stefaneas (Theor. Comput. Sci., 2007)

Algebraic Specifications for OMA REL Licenses. - Nikolaos Triantafyllou; Iakovos Ouranos; Petros S. Stefaneas (WiMob, 2009)

Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. - Nikolaos Triantafyllou; Iakovos Ouranos; Petros S. Stefaneas; Panayiotis Frangos (ICETE (Selected Papers), 2010)

Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. - Iakovos Ouranos; Petros S. Stefaneas; Kazuhiro Ogata 001 (ISoLA (1), 2010)

A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. - Katerina Ksystra; Petros S. Stefaneas; Iakovos Ouranos; Panayiotis Frangos (SIGMAP, 2010)

Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. - Nikolaos Triantafyllou; Iakovos Ouranos; Petros S. Stefaneas; Panayiotis Frangos (WINSYS, 2010)

Towards a correct translation from ASN.1 into CafeOBJ. - Konstantinos Barlas; George Koletsos; Petros S. Stefaneas; Iakovos Ouranos (Int. J. Reason. based Intell. Syst., 2010)

Applying Algebraic Specifications on Digital Right Management Systems. - Nikolaos Triantafyllou; Katerina Ksystra; Petros S. Stefaneas; Panayiotis Frangos (ICCSW, 2011)

Redesigning the Open Mobile Alliance License Choice Algorithm - Nikolaos Triantafyllou; Petros S. Stefaneas; Iakovos Ouranos; Panayiotis Frangos; Katerina Ksystra (CoRR, 2011)

Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking - Konstantinos Barlas; George Koletsos; Petros S. Stefaneas (CoRR, 2011)

A Dynamic Algebraic Specification for Social Networks - Katerina Ksystra; Konstantinos Barlas; Nikolaos Triantafyllou; Petros S. Stefaneas (CoRR, 2011)

An Algebraic Specification of the Semantic Web - Katerina Ksystra; Nikolaos Triantafyllou; Petros S. Stefaneas; Panayiotis Frangos (CoRR, 2011)

Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach - Prodromos Tsiavos; Petros S. Stefaneas (CoRR, 2011)

Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. - Iakovos Ouranos; Kazuhiro Ogata 001; Petros S. Stefaneas (ISoLA (2), 2012)

On the Algebraic Semantics of Reactive Rules. - Katerina Ksystra; Nikolaos Triantafyllou; Petros S. Stefaneas (RuleML, 2012)

Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. - Katerina Ksystra; Nikolaos Triantafyllou; Petros S. Stefaneas; Panayiotis Frangos (SMAP, 2012)

A methodology for internal Web ethics - Michalis Vafopoulos; Petros S. Stefaneas; Ioannis Anagnostopoulos; Kieron O'Hara (CoRR, 2012)

OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications - Nikolaos Triantafyllou; Petros S. Stefaneas; Panayiotis Frangos (CoRR, 2012)

Towards a Protocol Algebra Based on Algebraic Specifications. - Iakovos Ouranos; Petros S. Stefaneas (SERA (selected papers), 2013)

An Algorithm for Allocating User Requests to Licenses in the OMA DRM System. - Nikolaos Triantafyllou; Petros S. Stefaneas; Panayiotis Frangos (IEICE Trans. Inf. Syst., 2013)

Some Engineering Applications of the OTS/CafeOBJ Method. - Petros S. Stefaneas; Iakovos Ouranos; Nikolaos Triantafyllou; Katerina Ksystra (Specification, Algebra, and Software, 2014)

On Verifying Reactive Rules Using Rewriting Logic. - Katerina Ksystra; Nikolaos Triantafyllou; Petros S. Stefaneas (RuleML, 2014)

Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics. - Nikolaos Triantafyllou; Katerina Ksystra; Petros S. Stefaneas; Antonios Kalampakas (SMAP, 2014)

An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. - Katerina Ksystra; Petros S. Stefaneas; Panayiotis Frangos (SOFSEM, 2014)

Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images. - A. Malamou; C. Pandis; Panagiotis Frangos; Petros S. Stefaneas; A. Karakasiliotis; D. Kodokostas (CoRR, 2014)

TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned. - Iakovos Ouranos; Kazuhiro Ogata 001; Petros S. Stefaneas (IEICE Trans. Inf. Syst., 2014)

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems. - Katerina Ksystra; Petros S. Stefaneas; Panayiotis Frangos (Int. J. Softw. Eng. Knowl. Eng., 2015)

On Mathematical Proving. - Petros S. Stefaneas; Ioannis M. Vandoulakis (J. Artif. Gen. Intell., 2015)

Analyzing IT Governance Initiatives with Game Theory: A Systematic literature Review. - Maximiliano M. de Faria; Eber Assis Schmitz; Antonio Juarez Alencar; Mônica Ferreira da Silva; Petros S. Stefaneas (J. Softw., 2015)

Formal analysis and verification support for reactive rule-based Web agents. - Katerina Ksystra; Petros S. Stefaneas (Int. J. Web Inf. Syst., 2016)

Evaluation of Agile Software Projects in the Public Sector: A Literature Review. - Marcelo Carvalho Fernandes; Antonio Juarez Alencar; Eber Assis Schmitz; Mônica Ferreira da Silva; Petros S. Stefaneas (J. Softw., 2016)

On Proving and argumentation. - Sofia Almpani; Petros S. Stefaneas (AIC, 2017)

From Natural Language to Argumentation and Cognitive Systems. - Theodoros Mitsikas; Nikolaos I. Spanoudakis; Petros S. Stefaneas; Antonis C. Kakas (AIC, 2017)

Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. - Konstantinos Barlas; Eleni Berki; Petros S. Stefaneas; George Koletsos (Innov. Syst. Softw. Eng., 2017)

Limiting the Impact of Statistics as a Proverbial Source of Falsehood. - Yiannis Kiouvrekis; Petros S. Stefaneas; Angelika I. Kokkinaki; Nikos Asimakis (EMCIS, 2018)

Implementation of Privacy Calculus and Its Type Checking in Maude. - Georgios V. Pitsiladis; Petros S. Stefaneas (ISoLA (2), 2018)

Object-Relational Rules for Medical Devices: Classification and Conformity. - Sofia Almpani; Petros S. Stefaneas; Harold Boley; Theodoros Mitsikas; Panayiotis Frangos (OTM Conferences (2), 2018)

Computational Regulation of Medical Devices in PSOA RuleML. - Sofia Almpani; Petros S. Stefaneas; Harold Boley; Theodoros Mitsikas; Panayiotis Frangos (RuleML+RR, 2018)

Formalizing Air Traffic Control Regulations in PSOA RuleML. - Theodoros Mitsikas; Sofia Almpani; Petros S. Stefaneas; Panayiotis Frangos; Iakovos Ouranos (RuleML+RR (Supplement), 2018)

Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. - Marjolein Deryck; Theodoros Mitsikas; Sofia Almpani; Petros S. Stefaneas; Panayiotis Frangos; Iakovos Ouranos; Harold Boley; Joost Vennekens (RuleML+RR, 2019)

An algebraic schema for JSON. - Konstantinos Barlas; Petros S. Stefaneas (PCI, 2020)

From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper). - Alexandros Nousias; Alain Couillault; Sofia Almpani; Theodoros Mitsikas; Petros S. Stefaneas (SETN Workshops, 2020)

Remarks on the Ethical Behavior of Artificial Intelligence (short paper). - Dimitrios Zafeirakopoulos; Petros S. Stefaneas (SETN Workshops, 2020)

ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking. - Sofia Almpani; Theodoros Mitsikas; Petros S. Stefaneas; Panayiotis Frangos (Paladyn J. Behav. Robotics, 2020)

Modeling of Medical Devices Classification with Computational Argumentation. - Sofia Almpani; Yiannis Kiouvrekis; Petros S. Stefaneas (IISA, 2021)

On post-truth and correctness over the Web. - Petros S. Stefaneas (WebSci (Companion), 2021)

Towards a Methodology for Formally Analyzing Federated Identity Management Systems. - Katerina Ksystra; Maria Dimarogkona; Nikolaos Triantafyllou; Petros S. Stefaneas; Petros Kavassalis (ISoLA (4), 2022)

Computational Argumentation for Medical Device Regulatory Classification. - Sofia Almpani; Yiannis Kiouvrekis; Petros S. Stefaneas; Panayiotis Frangos (Int. J. Artif. Intell. Tools, 2022)

A novel electrical muscle stimulation device for neurorehabilitation applications with adaptable parameter optimization using AI algorithms. - Arsenios Arsenidis; Alexandros Moraitopoulos; Alkinoos Athanasiou; Panagiotis D. Bamidis; Petros S. Stefaneas; Alexander Astaras (MOCAST, 2023)

INDCOR white paper on the Design of Complexity IDNs. - 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; et al. (CoRR, 2023)

An Explainable AI Model for ICU Admission Prediction of COVID-19 Patients. - Eleni Dazea; Petros S. Stefaneas (Int. J. Artif. Intell. Tools, 2023)

Topological Inquiry in Abstract Model Theory. - Asterios Gkantzounis; Petros Stefaneas (WADT, 2024)

Converting BPMN Diagrams to Privacy Calculus. - Georgios V. Pitsiladis; Petros S. Stefaneas (FROM, 2024)

A logical framework to model software development by multiple agents following a common specification. - Georgios V. Pitsiladis; Petros S. Stefaneas (J. Log. Comput., 2024)

Toward Responsible AI: A Framework for Ethical Design Utilizing Deontic Logic. - Dimitrios Zafeirakopoulos; Petros S. Stefaneas (Int. J. Artif. Intell. Tools, 2024)

A collaborative argumentation framework for goal-oriented reasoning. - Sofia Almpani; Asterios Gkantzounis; Petros Stefaneas (Requir. Eng., 2026)