João-Paulo Barros

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 9

Top Topics

Programming Course

Bibliometric Analysis

Top Venues

Publications

João-Paulo Barros, Luís Gomes
Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case. PeNGE@Petri Nets (2024)
Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets (2024)
Luís Gomes, José Ribeiro-Gomes, João-Paulo Barros
Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games. PNSE@Petri Nets (2024)
João-Paulo Barros
Assessment for Computer Programming Courses: A Short Guide for the Undecided Teacher. CSEDU (2) (2022)
Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets (2022)
Luís Filipe Garcia, João-Paulo Barros, Candida Viriato
Configurable Templates for Assistive Technology Mobile Apps: A Block-based Programming Approach. CSEDU (2) (2022)
João-Paulo Barros, Luís Gomes
Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker. ISIE (2022)
João M. Fernandes, João-Paulo Barros, Luís Gomes
Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications. IECON (2018)
Luís Gomes, João-Paulo Barros
Refining IOPT Petri Nets Class for Embedded System Controller Modeling. IECON (2018)
João-Paulo Barros, Luís Gomes
Towards the use of Place/Transition net tools for analysis of IOPT models. ISIE (2014)
Luís Gomes, João-Paulo Barros, Anikó Costa
Man-machine interface for real-time telecontrol based onPetri nets specification. SMC (2001)