Adaptive edge enhancement in SAR images training on the data vs. training on simulated data. - Alexandros Dimou; Gunther Jager; Panagiotis Frangos (ICIP (1), 2001)

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)

Self-Reference Ultra-Wideband Systems - Aimilia P. Doukeli; Athanasios S. Lioumpas; George K. Karagiannidis; Panayiotis Frangos (CoRR, 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)

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)

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)

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

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

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

Increasing the Efficiency of Rake Receivers for Ultra-Wideband Applications. - Aimilia P. Doukeli; Athanasios S. Lioumpas; George K. Karagiannidis; Panayiotis Frangos (Wirel. Pers. Commun., 2012)

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)

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)

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)

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)

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)

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

A Deep Learning Approach for Pixel-level Material Classification via Hyperspectral Imaging. - Savvas Sifnaios; George Arvanitakis; Fotios K. Konstantinidis; Georgios Tsimiklis; Angelos Amditis; Panayiotis Frangos (CoRR, 2024)