Panagiotis Frangos

According to our database, Panagiotis Frangos authored at least 23 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Computational Argumentation for Medical Device Regulatory Classification.

Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas, Panayiotis Frangos

Int. J. Artif. Intell. Tools, 2022

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

2019

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

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

2018

Formalizing Air Traffic Control Regulations in PSOA RuleML.

Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos

Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018

Computational Regulation of Medical Devices in PSOA RuleML.

Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Object-Relational Rules for Medical Devices: Classification and Conformity.

Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2015

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

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 Modeling of Reactive Rule-Based Intelligent Agents.

Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

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

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

OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications

Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos

CoRR, 2012

Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications.

Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos

Proceedings of the Seventh International Workshop on Semantic and Social Media Adaptation and Personalization, 2012

2011

An Algebraic Specification of the Semantic Web

Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos

CoRR, 2011

Redesigning the Open Mobile Alliance License Choice Algorithm

Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra

CoRR, 2011

Applying Algebraic Specifications on Digital Right Management Systems.

Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

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

Proceedings of the WINSYS 2010 - Proceedings of the International Conference on Wireless Information Networks and Systems, Athens, Greece, July 26, 2010

A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications.

Katerina Ksystra, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos

Proceedings of the SIGMAP 2010, 2010

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

Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010

2009

Self-Reference Ultra-Wideband Systems

Aimilia P. Doukeli, Athanasios S. Lioumpas, George K. Karagiannidis, Panayiotis Frangos

CoRR, 2009

2007

An Algebraic Framework for Modeling of Mobile Systems.

Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

A Formal Specification Framework for Ad Hoc Mobile Communication Networks.

Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

2001

Adaptive edge enhancement in SAR images training on the data vs. training on simulated data.

Alexandros Dimou, Gunther Jager, Panagiotis Frangos

Proceedings of the 2001 International Conference on Image Processing, 2001