Showing results 25 to 44 of 53
< previous
next >
This table browses all dspace content
| Issue Date | Title | Author(s) | Type | Access Type |
| 2012 | Model composition by reusing Petri net based modules20.500.12207/652 | Costa, Aniko; Gomes, Luís; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
| 2006 | Modularidade em Redes de Petri20.500.12207/275 | Barros, João Paulo | doctoralThesis | openAccess |
| 27-Apr-2020 | Moving to project-based learning at the program level: An experience report20.500.12207/5919 | Brito, Isabel Sofia; Barros, João Paulo; Rodrigues, Elsa | article | restrictedAccess |
| 2014 | On the Description of Individual Course Units for Programme Assessment and
Better Syllabuses20.500.12207/4479 | Barros, João Paulo | article | info:eu-repo/semantics/openAccess |
| Oct-2007 | On the use of programming languages for textual specification of Petri Net Models20.500.12207/237 | Barros, João Paulo; Gomes, Luís | article | openAccess |
| Oct-2012 | On the verification of non-autonomous Petri net models using autonomous petri net tools20.500.12207/659 | Barros, João Paulo; Gomes, Luis; Costa, Aniko | conferenceObject | info:eu-repo/semantics/closedAccess |
| Feb-2011 | Petri Net based specification and verification of globally-asynchronous-locally-synchronous system20.500.12207/654 | Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, Andre | conferenceObject | info:eu-repo/semantics/closedAccess |
| Nov-2009 | PNML based composition in non-autonomous Petri net models20.500.12207/514 | Gomes, L.; Barros, João Paulo | conferenceObject | closedAccess |
| Jun-2023 | Prevendo o futuro: Uma plataforma web para modelação de séries temporais20.500.12207/6034 | Vidal, Adriano; Brito, Isabel Sofia; Barros, João Paulo; Domingues, Luís | bookPart | closedAccess |
| 2013 | A Proposal for the Description of Individual Course Units20.500.12207/490 | Barros, João Paulo; Gomes, Luís; Garcia, Luís | article | closedAccess |
| Oct-2018 | Refining IOPT Petri Nets Class for Embedded System Controller Modeling20.500.12207/5043 | Gomes, Luís; Barros, João Paulo | article | openAccess |
| 2009 | Representações da qualidade do ensino de alunos de enfermagem: um estudo exploratório20.500.12207/511 | Bonito, Jorge; Saraiva, Margarida; Fialho, Isabel; Barros, João Paulo; Espírito Santo, José; Martins, Maria José; Oliveira, Teresa | article | openAccess |
| 2014 | Requirements Specification for Controller Design-from Use Cases to IOPT Net Models20.500.12207/4374 | Barros, João Paulo; Brito, Isabel Sofia; Gomes, Luis | conferenceObject | info:eu-repo/semantics/closedAccess |
| Sep-2010 | Scenario-based modeling in industrial information systems20.500.12207/641 | Machado, Ricardo; Fernandes, Joao; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
| 2019 | Self-Configurable Wireless Automatic Irrigation System20.500.12207/5055 | Penha, César; Campos Rebelo, Rogério; Barros, João Paulo | article | embargoedAccess |
| Jul-2013 | SmartRestaurant: A report on the development of a NFC-based mobile application20.500.12207/656 | Rosa, Vanda; Brito, Isabel Sofia; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
| May-2005 | Structuring and composability issues in Petri nets modeling20.500.12207/703 | Gomes, Luís; Barros, João Paulo | article | info:eu-repo/semantics/closedAccess |
| 25-Apr-2017 | Student perspectives on the use of a Java library for novices20.500.12207/4786 | Barros, João Paulo; Brito, Isabel Sofia | article | closedAccess |
| 15-Mar-2018 | Students' perceptions of paper-based vs. computer-based testing in an introductory programming course20.500.12207/4785 | Barros, João Paulo | conferenceObject | openAccess |
| 15-Mar-2018 | Students' perceptions of paper-based vs. computer-based testing in an introductory programming course20.500.12207/5079 | Barros, João Paulo | conferenceObject | openAccess |
