Panagiotis Frangos
According to our database1,
Panagiotis Frangos
authored at least 24 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Deep Learning Approach for Pixel-level Material Classification via Hyperspectral Imaging.
CoRR, 2024
2022
Int. J. Artif. Intell. Tools, 2022
2020
ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking.
Paladyn J. Behav. Robotics, 2020
2019
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
2018
Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
2015
Int. J. Softw. Eng. Knowl. Eng., 2015
2014
Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images.
CoRR, 2014
Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014
2013
IEICE Trans. Inf. Syst., 2013
2012
Wirel. Pers. Commun., 2012
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications
CoRR, 2012
Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications.
Proceedings of the Seventh International Workshop on Semantic and Social Media Adaptation and Personalization, 2012
2011
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.
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.
Proceedings of the SIGMAP 2010, 2010
Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm.
Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010
2009
2007
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007
A Formal Specification Framework for Ad Hoc Mobile Communication Networks.
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.
Proceedings of the 2001 International Conference on Image Processing, 2001