A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code. - João Paulo Barros; Rui Pais (ITiCSE, 2000)

Use petri nets to improve your concurrent programming course. - João Paulo Barros (ITiCSE, 2001)

Man-machine interface for real-time telecontrol based onPetri nets specification. - Luís Gomes 001; João-Paulo Barros; Anikó Costa (SMC, 2001)

Specific proposals for the use of petri nets in a concurrent programming course. - João Paulo Barros (ITiCSE, 2002)

Modifying Petri Net Models by Means of Crosscutting Operations. - João Paulo Barros; Luís Gomes 001 (ACSD, 2003)

On structuring mechanisms for Petri nets based system design. - Luís Gomes 001; João Paulo Barros (ETFA (2), 2003)

Using lab exams to ensure programming practice in an introductory programming course. - João Paulo Barros; Luís Estevens; Rui Dias; Rui Pais; Elisabete Soeiro (ITiCSE, 2003)

On the Use of Coloured Petri Nets for Object-Oriented Design. - João Paulo Barros; Luís Gomes 001 (ICATPN, 2004)

From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis. - João Paulo Barros; Luís Gomes 001; Rui Pais; Rui Dias (ICINCO (2), 2004)

Models of Computation for Embedded Systems. - Luís Gomes 001; João Paulo Barros (The Industrial Information Technology Handbook, 2005)

Towards usage of formal methods within embedded systems co-design. - Luís Gomes 001; João Paulo Barros; Anikó Costa; Rui Pais; Filipe Moutinho (ETFA, 2005)

Two possible approaches for an intermediate GUI course. - Rui Pais; João Paulo Barros (ITiCSE, 2005)

Use of flash movies for teaching GUI programming. - Rui Pais; João Paulo Barros (ITiCSE, 2005)

Formal methods for Embedded Systems Co-design: the FORDESIGN project. - Luís Gomes 001; João Paulo Barros; Anikó Costa; Rui Pais; Filipe Moutinho (ReCoSoC, 2005)

A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. - João Paulo Barros; Jens Bæk Jørgensen (Nord. J. Comput., 2005)

Structuring and composability issues in Petri nets modeling. - Luís Gomes 001; João Paulo Barros (IEEE Trans. Ind. Informatics, 2005)

Modeling Formalisms for Embedded System Design. - João Paulo Barros; Anikó Costa; Luís Gomes 001 (Embedded Systems Handbook, 2005)

A graphical editor for the input-output place-transition petri net class. - Ricardo Nunes; Luís Gomes 001; João Paulo Barros (ETFA, 2007)

Scenario-Based Modeling in Industrial Information Systems. - Ricardo Jorge Machado 001; João M. Fernandes 001; João Paulo Barros; Luís Gomes 001 (DIPES/BICC, 2010)

Assessment and grading for CS1: towards a complete toolbox of criteria and techniques. - João Paulo Barros (Koli Calling, 2010)

SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. - Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Luís Gomes 001; Jorge Figueiredo 001; Filipe Moutinho; Anikó Costa; André Aranha (DoCEIS, 2011)

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. - Filipe Moutinho; Luís Gomes 001; Paulo E. S. Barbosa; João Paulo Barros; Franklin Ramalho; Jorge Figueiredo 001; Anikó Costa; André Monteiro (DoCEIS, 2011)

Towards Statecharts to Input-Output Place Transition Nets Transformations. - Rui Pais; Luís Gomes 001; João Paulo Barros (DoCEIS, 2011)

Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming. - João Paulo Barros; Luís Biscaia; Miguel Vitória (ITiCSE, 2011)

On the verification of non-autonomous Petri net models using autonomous petri net tools. - João Paulo Barros; Luís Gomes 001; Anikó Costa (IECON, 2012)

Model composition by reusing Petri net based modules. - Anikó Costa; Luís Gomes 001; João Paulo Barros (IECON, 2012)

Educating for mobile computing: addressing the new challenges. - Barry Burd; João Paulo Barros; Chris Johnson 001; Stan Kurkovsky; Arnold Rosenbloom; Nikolai Tillmann (ITiCSE-WGR, 2012)

From Concrete to Abstract - About Teaching UML Class Diagrams to Novice Programmers. - João Paulo Barros (ICSOFT, 2013)

SmartRestaurant - A Report on the Development of a NFC-Based Mobile Application. - Vanda Rosa; Isabel Sofia Brito; João Paulo Barros (ICSOFT, 2013)

A Proposal for the Description of Individual Course Units. - João Paulo Barros; Luís Gomes 001; Luís Garcia (Int. J. Eng. Pedagog., 2013)

From SysML State Machines to Petri Nets Using ATL Transformations. - Rui Pais; João Paulo Barros; Luís Gomes 001 (DoCEIS, 2014)

Requirements specification for controller design - From use cases to IOPT net models. - João Paulo Barros; Isabel Sofia Brito; Luís Gomes 001 (INDIN, 2014)

Towards the use of Place/Transition net tools for analysis of IOPT models. - João-Paulo Barros; Luís Gomes 001 (ISIE, 2014)

On the Description of Individual Course Units for Programme Assessment and Better Syllabuses. - João Paulo Barros (Int. J. Eng. Pedagog., 2014)

Controller design and implementation: An approach based on problem frames and Petri Net models. - Isabel Sofia Brito; João Paulo Barros; Luís Gomes 001 (INDIN, 2015)

Executable models for Embedded Controllers Development - A Cloud Based Development Framework. - Fernando Pereira; Filipe Moutinho; João Paulo Barros; Anikó Costa; Luís Gomes 001 (P&D@MoDELS, 2015)

Towards a Mobile Application for an Engineering Geology Course - A Contribution to Improved Student Learning. - João Paulo Barros; Pedro Caixinha; Sofia Soares (CSEDU (2), 2016)

From requirements to code (Re2Code) - A model-based approach for controller implementation. - Isabel Sofia Brito; João Paulo Barros; Luís Gomes 001 (INDIN, 2016)

Student perspectives on the use of a Java library for novices. - João Paulo Barros; Isabel Sofia Brito (EDUCON, 2017)

Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards. - Artur Ataide; João Paulo Barros; Isabel Sofia Brito; Luís Gomes 001 (ETFA, 2017)

Exploring USB Connection Vulnerabilities on Android Devices - Breaches using the Android Debug Bridge. - João Amarante; João Paulo Barros (SECRYPT, 2017)

Students' Perceptions of Paper-Based vs. Computer-Based Testing in an Introductory Programming Course. - João Paulo Barros (CSEDU (2), 2018)

Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications. - João M. Fernandes 001; João-Paulo Barros; Luís Gomes 001 (IECON, 2018)

Refining IOPT Petri Nets Class for Embedded System Controller Modeling. - Luís Gomes 001; João-Paulo Barros (IECON, 2018)

Vulnerabilities in IoT Devices for Smart Home Environment. - Luís Costa; João Paulo Barros; Miguel Tavares (ICISSP, 2019)

Model Based Simulation for a Smart City Project Based on LoRa. - Rui Mesquita; Rogério Campos-Rebelo; João Paulo Barros (IECON, 2019)

From non-autonomous Petri net models to executable state machines. - João Paulo Barros; Luís Gomes 001 (ISIE, 2019)

Moving to Project-Based Learning at the Program Level: an Experience Report. - Isabel Sofia Brito; João Paulo Barros; Elsa Rodrigues (EDUCON, 2020)

IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. - Fernando Pereira; Filipe Moutinho; Anikó Costa; João-Paulo Barros; Rogério Campos-Rebelo; Luís Gomes 001 (Petri Nets, 2022)

Assessment for Computer Programming Courses: A Short Guide for the Undecided Teacher. - João-Paulo Barros (CSEDU (2), 2022)

Active Learning Activities in a Pandemic Context for a Software Engineering Course: An Experience Report. - Isabel Sofia Brito; João Paulo Barros (CSEDU (2), 2022)

Configurable Templates for Assistive Technology Mobile Apps: A Block-based Programming Approach. - Luís Filipe Garcia; João-Paulo Barros; Candida Viriato (CSEDU (2), 2022)

Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker. - João-Paulo Barros; Luís Gomes 001 (ISIE, 2022)

A Graphical and Executable Model for Production Simulation in the Context of Industry 5.0. - Nuno Fernandes; João Paulo Barros; Rogério Campos-Rebelo (ISIE, 2022)

Boosting Conceptual Thinking in a Programming Course - An Ontology-Based Approach. - João Paulo Barros (SIGCSE (2), 2023)

Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games. - Luís Gomes 001; José Ribeiro-Gomes; João-Paulo Barros (PNSE@Petri Nets, 2024)

Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case. - João-Paulo Barros; Luís Gomes 001 (PeNGE@Petri Nets, 2024)

Leveraging High-Level Petri Nets for Cyber-Physical Systems Development. - Nuno Fernandes; João Paulo Barros; Rogério Campos-Rebelo (PNSE@Petri Nets, 2024)

Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. - Fernando Pereira; João-Paulo Barros; Filipe Moutinho; Anikó Costa; Rogério Campos-Rebelo; Luís Gomes 001 (Petri Nets, 2024)

Promoting Deep Learning Through a Concept Map-Building Collaborative Activity in an Introductory Programming Course. - João Paulo Barros (ICPEC, 2024)

2nd International Workshop on Cyber-Physical Social Systems for Sustainability: Preface. - Isabel Sofia Brito; Ivan Machado 001; João Paulo Barros (RCIS Workshops, 2024)

Sokoban: An Assignment for an Object-Oriented and GUI Programming Course. - João Paulo Barros (SIGCSE (2), 2024)

Tile-Based Games for Object-Oriented Programming Learning: A Modular Base Code Approach. - João-Paulo Barros (CSEDU (2), 2025)

High-Level Petri Nets for Modeling Cyber-Physical Multi-Agent Systems. - Rui Guerreiro; João Paulo Barros; Luís Gomes 001 (DoCEIS, 2025)