Skip navigation

Browsing by Author Barros, João Paulo

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 21 to 40 of 53 < previous   next >
This table browses all dspace content
Issue DateTitleAuthor(s)TypeAccess Type
Oct-2019Host card emulation with tokenisation: security risk assessment20.500.12207/5056Fonte, Luís Pereira da; Oliveira, Valentim Vieira; Barros, João PauloarticleopenAccess
2011Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming20.500.12207/655Barros, João Paulo; Biscaia, Luís; Vitória, MiguelconferenceObjectinfo:eu-repo/semantics/closedAccess
2013Merging and splitting Petri net models within distributed embedded controller design20.500.12207/704Gomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, FernandobookPartinfo:eu-repo/semantics/closedAccess
Oct-2019Model based simulation for a smartcity project based on LoRa20.500.12207/5057Mesquita, Rui; Campos-Rebelo, Rogério; Barros, João PauloarticleembargoedAccess
2012Model composition by reusing Petri net based modules20.500.12207/652Costa, Aniko; Gomes, Luís; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
2006Modularidade em Redes de Petri20.500.12207/275Barros, João PaulodoctoralThesisopenAccess
27-Apr-2020Moving to project-based learning at the program level: An experience report20.500.12207/5919Brito, Isabel Sofia; Barros, João Paulo; Rodrigues, ElsaarticlerestrictedAccess
2014On the Description of Individual Course Units for Programme Assessment and 
Better Syllabuses20.500.12207/4479Barros, João Pauloarticleinfo:eu-repo/semantics/openAccess
Oct-2007On the use of programming languages for textual specification of Petri Net Models20.500.12207/237Barros, João Paulo; Gomes, LuísarticleopenAccess
Oct-2012On the verification of non-autonomous Petri net models using autonomous petri net tools20.500.12207/659Barros, João Paulo; Gomes, Luis; Costa, AnikoconferenceObjectinfo:eu-repo/semantics/closedAccess
Feb-2011Petri Net based specification and verification of globally-asynchronous-locally-synchronous system20.500.12207/654Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, AndreconferenceObjectinfo:eu-repo/semantics/closedAccess
Nov-2009PNML based composition in non-autonomous Petri net models20.500.12207/514Gomes, L.; Barros, João PauloconferenceObjectclosedAccess
Jun-2023Prevendo o futuro: Uma plataforma web para modelação de séries temporais20.500.12207/6034Vidal, Adriano; Brito, Isabel Sofia; Barros, João Paulo; Domingues, LuísbookPartclosedAccess
2013A Proposal for the Description of Individual Course Units20.500.12207/490Barros, João Paulo; Gomes, Luís; Garcia, LuísarticleclosedAccess
Oct-2018Refining IOPT Petri Nets Class for Embedded System Controller Modeling20.500.12207/5043Gomes, Luís; Barros, João PauloarticleopenAccess
2009Representações da qualidade do ensino de alunos de enfermagem: um estudo exploratório20.500.12207/511Bonito, Jorge; Saraiva, Margarida; Fialho, Isabel; Barros, João Paulo; Espírito Santo, José; Martins, Maria José; Oliveira, TeresaarticleopenAccess
2014Requirements Specification for Controller Design-from Use Cases to IOPT Net Models20.500.12207/4374Barros, João Paulo; Brito, Isabel Sofia; Gomes, LuisconferenceObjectinfo:eu-repo/semantics/closedAccess
Sep-2010Scenario-based modeling in industrial information systems20.500.12207/641Machado, Ricardo; Fernandes, Joao; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess
2019Self-Configurable Wireless Automatic Irrigation System20.500.12207/5055Penha, César; Campos Rebelo, Rogério; Barros, João PauloarticleembargoedAccess
Jul-2013SmartRestaurant: A report on the development of a NFC-based mobile application20.500.12207/656Rosa, Vanda; Brito, Isabel Sofia; Barros, João PauloconferenceObjectinfo:eu-repo/semantics/closedAccess