


default search action
Luís Gomes 0001
Luís F. S. Gomes
Person information
- affiliation: Nova University of Lisbon, Department of Electrical Engineering
- affiliation: UNINOVA, Caparica, Centre of Technology and Systems
Other persons with the same name
- Luís Gomes — disambiguation page
- Luís Gomes 0002
— Nova University of Lisbon, NOVA-LINCS
- Luís Gomes 0003 — University of Coimbra, Faculty of Psychology
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c122]Luís Gomes, Anikó Costa:
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom. PeNGE@Petri Nets 2024 - [c121]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: 283-298 - [c120]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 - [c119]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: 402-412 - [c118]Carolina Lagartinho-Oliveira
, Filipe Moutinho
, Luís Gomes
:
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. Petri Nets 2024: 413-431 - [c117]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs. RCIS Workshops 2024 - [i3]Rodrigo Santos, João Silva
, Luís Gomes, João Rodrigues, António Branco:
Advancing Generative AI for Portuguese with Open Decoder Gervásio PT. CoRR abs/2402.18766 (2024) - [i2]Rodrigo Santos, João Rodrigues, Luís Gomes, João Silva
, António Branco, Henrique Lopes Cardoso, Tomás Freitas Osório, Bernardo Leite:
Fostering the Ecosystem of Open Neural Encoders for Portuguese with Albertina PT* Family. CoRR abs/2403.01897 (2024) - 2023
- [j23]Carolina Lagartinho-Oliveira
, Fernando Pereira
, Filipe Moutinho
, Rogério Campos-Rebelo, Luís Gomes:
Integrated Development of Embedded Systems With Remote Graphical User Interfaces. IEEE Access 11: 63795-63807 (2023) - [c116]Fernando Pereira, Filipe Moutinho, Luís Gomes:
A Syntax-Independent Code Generation Tool for IOPT-Petri Nets. ATAED/PN4TT@Petri Nets 2023 - [c115]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange. DoCEIS 2023: 191-202 - [c114]Luís Gomes
, José Ribeiro-Gomes:
Analysing navigation paths in constrained graphs using Petri nets. ISIE 2023: 1-4 - [e4]Luís Gomes
, Robert Lorenz:
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Lecture Notes in Computer Science 13929, Springer 2023, ISBN 978-3-031-33619-5 [contents] - 2022
- [j22]Shabnam Pasandideh
, Pedro Pereira
, Luís Gomes:
Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities. IEEE Access 10: 42404-42419 (2022) - [j21]Carolina Lagartinho-Oliveira
, Filipe Moutinho
, Luís Gomes
:
Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model. Comput. 11(11): 166 (2022) - [c113]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: 127-138 - [c112]Carolina Lagartinho-Oliveira
, Filipe Moutinho
, Luís Gomes:
Towards Digital Twin in the Context of Power Wheelchairs Provision and Support. DoCEIS 2022: 95-102 - [c111]Shabnam Pasandideh, Pedro Pereira
, Luís Gomes:
Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets. IECON 2022: 1-6 - [c110]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: 239-244 - [e3]Luís Gomes, Paulo Leitão, Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst:
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023. CEUR Workshop Proceedings 3424, CEUR-WS.org 2022 [contents] - 2021
- [j20]Luis Ribeiro
, Luís Gomes:
Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems. IEEE Access 9: 153126-153141 (2021) - [i1]Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR abs/2108.05556 (2021) - 2020
- [j19]Maroua Gasmi, Olfa Mosbahi
, Mohamed Khalgui
, Luís Gomes, Zhiwu Li
:
Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks. IEEE Trans. Syst. Man Cybern. Syst. 50(7): 2623-2637 (2020) - [j18]Remigiusz Wisniewski
, Mengchu Zhou
, Luís Gomes, Maria Pia Fanti
, Ratnesh Kumar
:
Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3484-3487 (2020) - [c109]Carolina Lagartinho-Oliveira
, Filipe Moutinho
, Luís Gomes:
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. DoCEIS 2020: 93-100
2010 – 2019
- 2019
- [j17]Remigiusz Wisniewski
, Grzegorz Benysek, Luís Gomes, Dariusz Kania
, Theodore E. Simos, Mengchu Zhou:
IEEE Access Special Section: Cyber-Physical Systems. IEEE Access 7: 157688-157692 (2019) - [j16]Roopak Sinha
, Sandeep Patil
, Luís Gomes, Valeriy Vyatkin
:
A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics 15(7): 3772-3783 (2019) - [c108]Carlos Ramos, Leonel Nóbrega
, Karolina Baras
, Luís Gomes:
Experimental NFT hydroponics system with lower energy consumption. exp.at 2019: 102-106 - [c107]Remigiusz Wisniewski
, Grzegorz Bazydlo
, Luís Gomes, Anikó Costa
, Marcin Wojnakowski
:
Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools. IECON 2019: 5843-5848 - [c106]Carolina Lagartinho-Oliveira
, Filipe Moutinho
, Luís Gomes:
GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models. IECON 2019: 5862-5867 - [c105]João Paulo Barros
, Luís Gomes:
From non-autonomous Petri net models to executable state machines. ISIE 2019: 1638-1643 - [c104]Shabnam Pasandideh, Luís Gomes, Pedro Maló
:
Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks. ISIE 2019: 1644-1649 - 2018
- [j15]Remigiusz Wisniewski
, Andrei Karatkevich
, Marian Adamski, Anikó Costa
, Luís Gomes
:
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. IEEE Trans. Control. Syst. Technol. 26(2): 575-586 (2018) - [j14]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui
, Luís Gomes, Zhiwu Li
:
R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node. IEEE Trans. Syst. Man Cybern. Syst. 48(6): 892-905 (2018) - [c103]João M. Fernandes
, João-Paulo Barros
, Luís Gomes:
Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications. IECON 2018: 3013-3020 - [c102]Luís Gomes, João-Paulo Barros
:
Refining IOPT Petri Nets Class for Embedded System Controller Modeling. IECON 2018: 4720-4725 - [c101]Shabnam Pasandideh
, Luís Gomes, Pedro Maló
:
Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets. DoCEIS 2018: 81-89 - [c100]Fernando Pereira, Luís Gomes:
A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems. INDIN 2018: 23-30 - 2017
- [j13]Fernando Pereira, Luís Gomes:
The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers. IEEE Trans. Ind. Electron. 64(3): 2363-2372 (2017) - [j12]Remigiusz Wisniewski
, Grzegorz Bazydlo
, Luís Gomes
, Anikó Costa
:
Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices. IEEE Trans. Ind. Informatics 13(4): 1734-1741 (2017) - [c99]Artur Ataide, João Paulo Barros
, Isabel Sofia Brito
, Luís Gomes:
Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards. ETFA 2017: 1-4 - [c98]Kang-Hyun Jo
, Luís Gomes
, Milos Manic, Jacek Ruminski
, Young Soo Suh:
Welcome message. HSI 2017: 1 - [c97]Ricardo Feio, João Rosas, Luís Gomes
:
Translating IOPT Petri net models into PLC ladder diagrams. ICIT 2017: 1211-1216 - [c96]João Esteves, Luís Gomes, Anikó Costa
:
Collision avoidance system for an autonomous sailboat. IECON 2017: 3539-3544 - [c95]Luís Gomes, Anikó Costa
, Filipe Moutinho
, Pedro Maló
:
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN 2017: 539-543 - [c94]Hugo Marques, Luís Gomes
, Anikó Costa
:
Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation. ISIE 2017: 1255-1260 - [c93]David Fernandes, Luís Gomes
, Anikó Costa
:
Wind speed and direction measurement based on time of flight ultrasonic anemometer. ISIE 2017: 1417-1422 - 2016
- [c92]José-Inácio Rocha
, Octávio Páscoa Dias, Luís Gomes
:
Semi-formal method design using synchronous dataflows and Petri nets. IECON 2016: 1043-1048 - [c91]Fernando Pereira, Luís Gomes:
The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development. IECON 2016: 4832-4837 - [c90]Filipe Moutinho
, Luis Paiva, Pedro Maló
, Luís Gomes:
Semantic annotation of data in schemas to support data translations. IECON 2016: 5283-5288 - [c89]Fernando Pereira, Luís Gomes:
Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification. DoCEIS 2016: 65-76 - [c88]José Ribeiro
, Fernando Melicio, Luís Gomes
:
Extending IOPT Nets with a Module Construct. DoCEIS 2016: 86-95 - [c87]Isabel Sofia Brito
, João Paulo Barros
, Luís Gomes:
From requirements to code (Re2Code) - A model-based approach for controller implementation. INDIN 2016: 1224-1230 - 2015
- [j11]Javier Contreras, Josep Tornero, Isabel Ferreira
, Rodrigo Martins
, Luís Gomes
, Elvira Fortunato
:
Simulated and Real Sheet-of-Light 3D Object Scanning Using a-Si: H Thin Film PSD Arrays. Sensors 15(12): 29938-29949 (2015) - [j10]José-Inácio Rocha
, Octávio Páscoa Dias, Luís Gomes:
Comments on "Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks" - Comments on Paper from R. Govindarajan, Guang R. Gao and Palash Desai Published in Journal of VLSI Signal Processing, Volume n.31, pp 207-229, 2002. J. Signal Process. Syst. 81(1): 129-133 (2015) - [c86]Luís Gomes, Miguel Santos, Thiago Pereira, Anikó Costa
:
Model-Based Development of an Autonomous Sailing Yacht Controller. ICARSC 2015: 103-108 - [c85]Filipe Moutinho
, José Ribeiro
, Luís Gomes:
Distributed controllers modeling through Petri nets with multi-asynchronous-channels. ICIT 2015: 1564-1569 - [c84]Rogério Campos-Rebelo
, Anikó Costa
, Luís Gomes:
Event life time in detection of sequences of events. ICIT 2015: 3144-3149 - [c83]Luís Gomes, Anikó Costa
, Filipe Moutinho
, Ricardo Mota:
Attracting students to engineering through autonomous sailing yacht development. ICIT 2015: 3252-3257 - [c82]João Martins
, Luis M. Camarinha-Matos
, João Goes
, Luís Gomes:
Towards Cloud-Based Engineering Systems. DoCEIS 2015: 3-10 - [c81]Rogério Campos-Rebelo
, Anikó Costa
, Luís Gomes:
Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling. DoCEIS 2015: 147-156 - [c80]Fernando Pereira, Luís Gomes:
Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers. DoCEIS 2015: 165-175 - [c79]Edgar M. Silva, Luís Gomes, João Rodrigues, Pedro Maló
:
A Model-Based Approach for Resource Constrained Devices Energy Test and Simulation. DoCEIS 2015: 345-354 - [c78]Fernando Pereira, Arildo Melo, Luís Gomes:
Remote operation of embedded controllers designed using IOPT Petri-nets. INDIN 2015: 572-579 - [c77]Isabel Sofia Brito
, João Paulo Barros
, Luís Gomes:
Controller design and implementation: An approach based on problem frames and Petri Net models. INDIN 2015: 860-867 - [c76]José Ribeiro
, Fernando Melicio, Luís Gomes
:
High-level Petri nets modules for embedded controllers design. INDIN 2015: 876-882 - [c75]Somayeh Abdollahvand, Luís Bica Oliveira
, Luís Gomes, João Goes
:
A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS and body-biasing techniques. ISCAS 2015: 1294-1297 - [c74]Somayeh Abdollahvand, Nuno Paulino
, Luís Gomes, João Goes
:
A current-mode VCO-based amplifier-less 2nd-order ΔΣ modulator with over 85dB SNDR. ISCAS 2015: 2037-2040 - [c73]Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes:
Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS 2015: 40-43 - [c72]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui
, Luís Gomes
:
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. SoMeT 2015: 59-72 - 2014
- [j9]Henrique Dezani, Regiane D. S. Bassi, Norian Marranghello, Luís Gomes, Furio Damiani, Ivan Nunes da Silva
:
Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function. Neurocomputing 124: 162-167 (2014) - [j8]Filipe Moutinho
, Luís Gomes:
Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling. IEEE Trans. Ind. Informatics 10(4): 2024-2033 (2014) - [c71]Rogério Campos-Rebelo, Anikó Costa
, Luís Gomes:
Output events for human-system interaction modeling. HSI 2014: 261-266 - [c70]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui
, Luís Gomes:
Reconfigurable Priority Ceiling Protocol: A Safe Way to Real-Time Reconfiguration. ICINCO (Selected Papers) 2014: 23-42 - [c69]Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui
, Luís Gomes:
Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based Real-time Scheduling. ICINCO (1) 2014: 42-52 - [c68]Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins:
Towards Collective Awareness Systems. DoCEIS 2014: 3-10 - [c67]Rogério Campos-Rebelo, Anikó Costa
, Luís Gomes:
Elementary Events for Modeling of Human-System Interactions with Petri Net Models. DoCEIS 2014: 219-226 - [c66]Rui Pais, João Paulo Barros
, Luís Gomes:
From SysML State Machines to Petri Nets Using ATL Transformations. DoCEIS 2014: 227-236 - [c65]José-Inácio Rocha
, Octávio Páscoa Dias, Luís Gomes:
Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows. DoCEIS 2014: 237-248 - [c64]Edgar M. Silva
, Pedro Maló
, Luís Gomes:
A platform independent communication support for distributed controller systems modelled by Petri nets. INDIN 2014: 88-93 - [c63]João Paulo Barros
, Isabel Sofia Brito
, Luís Gomes:
Requirements specification for controller design - From use cases to IOPT net models. INDIN 2014: 207-212 - [c62]Edgar M. Silva
, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho
, Pedro Maló
, Anikó Costa
, Luís Gomes:
Communication support for Petri nets based distributed controllers. ISIE 2014: 1111-1116 - [c61]João-Paulo Barros
, Luís Gomes
:
Towards the use of Place/Transition net tools for analysis of IOPT models. ISIE 2014: 1141-1146 - [c60]Luís Gomes
, Anikó Costa
:
Cloud based development framework using IOPT Petri nets for embedded systems teaching. ISIE 2014: 2202-2206 - 2013
- [j7]João Paulo Barros
, Luís Gomes, Luís Garcia:
A Proposal for the Description of Individual Course Units. Int. J. Eng. Pedagog. 3(S1): 71-75 (2013) - [j6]Juan J. Rodríguez-Andina
, Luís Gomes:
Guest Editorial Special Section on Information Technologies Within Engineering Education. IEEE Trans. Ind. Informatics 9(1): 546 (2013) - [c59]Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho
, Jorge C. A. de Figueiredo:
Towards medical device behavioural validation using Petri nets. CBMS 2013: 4-10 - [c58]Luís Gomes, Filipe Moutinho
, Fernando Pereira:
IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. FPL 2013: 1 - [c57]Filipe Moutinho
, Luís Gomes:
Distributed embedded systems design using Petri nets. FPL 2013: 1-2 - [c56]Rogério Campos-Rebelo
, Anikó Costa
, Luís Gomes:
Events for human-system interaction modeling with IOPT Petri nets. HSI 2013: 56-61 - [c55]Luís Gomes, Eric Monmasson
, Marcian N. Cirstea
, Juan J. Rodríguez-Andina
:
Industrial electronic control: FPGAs and embedded systems solutions. IECON 2013: 60-65 - [c54]Fernando Pereira, Luís Gomes:
Automatic synthesis of VHDL hardware components from IOPT Petri net models. IECON 2013: 2214-2219 - [c53]Luis M. Camarinha-Matos, João Goes, Luís Gomes, João Martins:
Contributing to the Internet of Things. DoCEIS 2013: 3-12 - [c52]Filipe Moutinho, Luís Gomes:
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. DoCEIS 2013: 221-228 - [c51]Rogério Campos-Rebelo, Anikó Costa
, Luís Gomes:
On Structuring Events for IOPT Net Models. DoCEIS 2013: 229-238 - [c50]Fernando Pereira, Luís Gomes:
Minimalist Architecture to Generate Embedded System Web User Interfaces. DoCEIS 2013: 239-249 - [c49]José-Inácio Rocha
, Octávio Páscoa Dias, Luís Gomes:
Exploiting dataflows and Petri nets mappings. INDIN 2013: 590-595 - [c48]Filipe Moutinho
, José Pimenta, Luís Gomes:
Configuring communication nodes for networked embedded systems specified by Petri nets. ISIE 2013: 1-6 - 2012
- [c47]Henrique Dezani, Luís Gomes, Furio Damiani, Norian Marranghello:
Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm. IECON 2012: 3043-3048 - [c46]José-Inácio Rocha
, Luís Gomes
, Octávio Páscoa Dias:
Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. IECON 2012: 4676-4681 - [c45]Filipe Moutinho
, Luís Gomes:
Extending a net splitting operation for decomposition of high-level Petri nets. IECON 2012: 6120-6125 - [c44]Henrique Dezani, Luís Gomes, Furio Damiani, Norian Marranghello:
Finding best urban routes based on analyses of high level and IOPT Petri net models. IECON 2012: 6126-6131 - [c43]Anikó Costa
, Luís Gomes, João Paulo Barros
:
Model composition by reusing Petri net based modules. IECON 2012: 6132-6137 - [c42]João Paulo Barros
, Luís Gomes, Anikó Costa
:
On the verification of non-autonomous Petri net models using autonomous petri net tools. IECON 2012: 6138-6143 - [c41]Fernando Pereira, Filipe Moutinho
, José Ribeiro
, Luís Gomes:
Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. IECON 2012: 6151-6156 - [c40]Luis M. Camarinha-Matos
, João Goes
, Luís Gomes, João Martins
:
Raising Awareness for Value Creation Potential in Engineering Research. DoCEIS 2012: 3-6 - [c39]Fernando Pereira, Filipe Moutinho
, Luís Gomes:
A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. DoCEIS 2012: 123-132 - [c38]Filipe Moutinho
, Luís Gomes:
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS 2012: 143-150 - [c37]Rogério Campos-Rebelo, Anikó Costa
, Luís Gomes:
Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. DoCEIS 2012: 151-160 - [c36]Somayeh Abdollahvand, João Goes
, Luís B. Oliveira
, Luís Gomes, Nuno Paulino
:
Low phase-noise temperature compensated self-biased ring oscillator. ISCAS 2012: 2489-2492 - [c35]Filipe Moutinho
, Luís Gomes, Anikó Costa
, José Pimenta:
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE 2012: 1357-1362 - [c34]Fernando Pereira, Filipe Moutinho
, Luís Gomes:
Model-checking framework for embedded systems controllers development using IOPT Petri nets. ISIE 2012: 1399-1404 - 2011
- [c33]Rui Pais, Luís Gomes, João Paulo Barros
:
Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS 2011: 227-236 - [c32]