Panayiotis Frangos

22 papers B 3Journal 11Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	MAPPS: A Multi-Agent Pick-and-Place System for Efficient Robotic Sorting. IST Konstantinos Kokkalis, Fotios K. Konstantinidis, Maria Koskinopoulou, Georgios Tsimiklis, Angelos Amditis, Panayiotis Frangos
2024	J	`jnl`	A Deep Learning Approach for Pixel-level Material Classification via Hyperspectral Imaging. CoRR Savvas Sifnaios, George Arvanitakis, Fotios K. Konstantinidis, Georgios Tsimiklis, Angelos Amditis, Panayiotis Frangos
2022	J	`jnl`	Computational Argumentation for Medical Device Regulatory Classification. Int. J. Artif. Intell. Tools Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas, Panayiotis Frangos
2020	J	`jnl`	ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking. Paladyn J. Behav. Robotics Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas, Panayiotis Frangos
2019	B	`conf`	Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens
2018	B	`conf`	Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
2018	—	`conf`	Formalizing Air Traffic Control Regulations in PSOA RuleML. RuleML+RR (Supplement) Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos
2018	—	`conf`	Object-Relational Rules for Medical Devices: Classification and Conformity. OTM Conferences (2) Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
2015	J	`jnl`	An Algebraic Framework for the Verification of Context-Aware Adaptive Systems. Int. J. Softw. Eng. Knowl. Eng. Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2014	B	`conf`	An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. SOFSEM Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2013	J	`jnl`	An Algorithm for Allocating User Requests to Licenses in the OMA DRM System. IEICE Trans. Inf. Syst. Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
2012	J	`jnl`	Increasing the Efficiency of Rake Receivers for Ultra-Wideband Applications. Wirel. Pers. Commun. Aimilia P. Doukeli, Athanasios S. Lioumpas, George K. Karagiannidis, Panayiotis Frangos
2012	J	`jnl`	OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications CoRR Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
2012	—	`conf`	Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. SMAP Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
2011	J	`jnl`	An Algebraic Specification of the Semantic Web CoRR Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
2011	J	`jnl`	Applying Algebraic Specifications on Digital Right Management Systems CoRR Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2011	—	`conf`	Applying Algebraic Specifications on Digital Right Management Systems. ICCSW Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2011	J	`jnl`	Redesigning the Open Mobile Alliance License Choice Algorithm CoRR Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra
2010	—	`conf`	A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. SIGMAP Katerina Ksystra, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos
2010	—	`conf`	Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. WINSYS Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos
2010	—	`conf`	Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. ICETE (Selected Papers) Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos
2009	J	`jnl`	Self-Reference Ultra-Wideband Systems CoRR Aimilia P. Doukeli, Athanasios S. Lioumpas, George K. Karagiannidis, Panayiotis Frangos