Author of the publication

Computational thinking for beginners: A successful experience using Prolog.

, , , , , , , , , , , and . CILC, volume 1459 of CEUR Workshop Proceedings, page 31-45. CEUR-WS.org, (2015)

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

Parametric Runtime Verification of Multiagent Systems., , and . AAMAS, page 1457-1459. ACM, (2017)Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches., , and . Int. J. Agent Oriented Softw. Eng., 6 (3/4): 402-442 (2018)Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020., , , , and . J. Sens. Actuator Networks, 10 (2): 33 (2021)Can determinism and compositionality coexist in RML? (extended version)., , and . CoRR, (2020)A Compositional Approach to Verifying Modular Robotic Systems., , , , , and . CoRR, (2022)A Multiblock Approach to Fuse Process and Near-Infrared Sensors for On-Line Prediction of Polymer Properties., , , , , , , and . Sensors, 22 (4): 1436 (2022)Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal., , , , and . Frontiers Robotics AI, (2021)Scalable Verification of Strategy Logic through Three-Valued Abstraction., , , , and . IJCAI, page 46-54. ijcai.org, (2023)Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification.. DC@AI*IA, volume 1769 of CEUR Workshop Proceedings, page 40-45. CEUR-WS.org, (2016)On Enactability of Agent Interaction Protocols: Towards a Unified Approach., , , , and . AAMAS, page 1955-1957. International Foundation for Autonomous Agents and Multiagent Systems, (2019)