Author of the publication

ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking.

, , , and . Paladyn J. Behav. Robotics, 11 (1): 414-427 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , and . SIGMAP, page 35-38. SciTePress, (2010)Applying Algebraic Specifications on Digital Right Management Systems., , , and . ICCSW, volume DTR11-9 of Department of Computing Technical Report, page 94-100. Imperial College London, (2011)On Proving and argumentation., and . AIC, volume 2090 of CEUR Workshop Proceedings, page 72-84. CEUR-WS.org, (2017)Towards a correct translation from ASN.1 into CafeOBJ., , , and . Int. J. Reason. based Intell. Syst., 2 (3/4): 300-309 (2010)Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications., , , and . SMAP, page 81-86. IEEE, (2012)Analyzing IT Governance Initiatives with Game Theory: A Systematic literature Review., , , , and . J. Softw., 10 (9): 1056-1069 (2015)Chartering first order logic.. Developments in Language Theory, page 579-592. Aristotle University of Thessaloniki, (1997)Strategies for accelerating the worldwide adoption of e-commerce., and . Commun. ACM, 45 (4): 145-151 (2002)On post-truth and correctness over the Web.. WebSci (Companion), page 67-68. ACM, (2021)Remarks on the Ethical Behavior of Artificial Intelligence (short paper)., and . SETN Workshops, volume 2844 of CEUR Workshop Proceedings, page 123-125. CEUR-WS.org, (2020)