Browse by Person

Article

Abdollahvand, Somayeh and Goes, João and Paulino, Nuno and Gomes, Luís (2012) Polyphase Comb Filter Based on Dispatching Input Bit-stream and Interlaying Multiplexer Techniques for ΔΣ ADCs. International Journal of Microelectronics and Computer Science, 3 (4), pp. 152-158. ISSN 2080-8755.

Contreras, Javier and Gomes, Luís and Filonovich, Sergej and Correia, Nuno and Fortunato, Elvira and Martins, Rodrigo and Ferreira, Isabel (2012) 3D scanning characteristics of an amorphous silicon position sensitive detector array system. Optics Express, 20 (4), pp. 4583-4602. eISSN 1094-4087. URL: http://dx.doi.org/10.1364/OE.20.004583.

Rodriguez-Andina, Juan J. and Gomes, L. and Bogosyan, Seta (2010) Current Trends in Industrial Electronics Education. IEEE Transactions on Industrial Electronics, 57 (10), pp. 3245-3252. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2010.2057235. (ISI Web of Science).

Gomes, Luís (2010) In Memoriam: Prof. Carl Adam Petri. IEEE Industrial Electronics Magazine, 4 (4), p. 52. ISSN 1932-4529. URL: http://dx.doi.org/10.1109/MIE.2010.938723. (ISI Web of Science).

Gomes, L. and Lourenco, J. (2010) Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. IEEE Transactions on Industrial Electronics, pp. 1806-1813. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2009.2031188. (ISI Web of Science, Citations: 2).

Barbosa, P. and Ramalho, F. and Figueiredo, J. and Junior, A. and Costa, Anikó and Gomes, Luís (2009) Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, 15 (11), pp. 2196-2224. ISSN 0948-695X. (ISI Web of Science, Citations: 3).

Gomes, Luís and Bogosyan, Seta (2009) Current Trends in Remote Laboratories. IEEE Transactions on Industrial Electronics, 56 (12), pp. 4744-4756. ISSN 0278-0046. eISSN 1557-9948. URL: http://dx.doi.org/10.1109/TIE.2009.2033293. (ISI Web of Science, Citations: 14).

Barros, João and Gomes, Luís (2007) On the Use of Programming Languages for Textual Specification of Petri Net Models. Petri Net Newsletter, 73. ISSN 0931-1084.

Gomes, Luís and Barros, João (2005) Structuring and Composability Issues in Petri Nets Modeling. IEEE Transactions on Industrial Informatics, 1 (2), pp. 112-123. (ISI Web of Science, Citations: 20).

Barros, João and Gomes, Luís (2004) On the Use of Coloured Petri nets for the Object Oriented Design. Lecture Notes in Computer Science LNCS 3099, pp. 117-136. ISSN 0302-9743. (ISI Web of Science, Citations: 1).

Gomes, Luís and Steiger-Garção, Adolfo (1999) Sistema distribuido para monitorización y control integrado de edificios. Informes de la construcción, 50 (459), pp. 35-42.

Gomes, Luís and Steiger-Garção, Adolfo and Gama, L. and Correia, N. (1993) Programação de controladores utilizando redes de Petri. Ingenium (72), pp. 43-52.

Gomes, Luís and Steiger-Garção, Adolfo (1992) Especificação e realização de controladores utilizando redes de Petri coloridas e sincronizadas integrando lógica imprecisa. Revista Robótica e Automatização (10).

Book

Gomes, Luís and Fernandes, J. (2009) Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation. IGI Global’s. ISBN 978-1-60566-750-8. eISBN 978-1-60566-751-5.

Gomes, Luís and Fernandes, João M. (2009) Behavioral Modeling for Embedded Systems and Technologies. IGI GLOBAL. ISBN 9781605667508. eISBN 9781605667515. URL: http://dx.doi.org/10.4018/978-1-60566-750-8.

Moraru, Sorin-Aures and Borza, Paul N. and Gomes, Luís and Barros, João and Costa, Anikó (2002) Preparatory Module Course. Editura Lux Libris, Brasov, Romania. ISBN 973-9458-23-8.

Yakovlev, A and Gomes, Luís and Lavagno, L (2000) Hardware Design and Petri Nets. Springer. ISBN 978-0-7923-7791-5.

Book Section

Gomes, Luís and Coito, Fernando and Costa, Anikó and Palma, Luís B. (2007) Teaching, Learning, and Remote Laboratories. In: Gomes, Luís and Garcia-Zubia, Javier, (eds.). Advances on remote laboratories and e-learning experiences. University of Deusto, Bilbao, Spain, pp. 189-204. ISBN 978-84-9830-077-2.

Gomes, Luís and Costa, Anikó (2005) Hardware-level Design Language. In: Zurawski, Richard, (ed.). The Industrial Information Technology Handbook. CRC, 84.1-84.18. ISBN 0849319854.

Gomes, Luís and Barros, João and Costa, Anikó (2005) Modeling Formalisms for Embedded Systems Design. In: Zurawski, Richard, (ed.). Embedded Systems Handbook. CRC, 5.1-5.34. ISBN 0849328241.

Gomes, Luís and Barros, João (2005) Models of Computation for Embedded Systems. In: Zurawski, Richard, (ed.). The Industrial Information Technology Handbook. CRC, 83.1-83.17. ISBN 0849319854.

Gomes, Luís and Barros, João and Costa, Anikó (2005) Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations. In: Adamski, Marian and Karatkevich, Andrei and Wegrzyn, Marek, (eds.). Design of embedded control systems. Springer, pp. 153-166. ISBN 10: 0-387-23630-9; 13: 978-0387-23630-8.

Conference or Workshop Item

Moutinho, Filipe and Pimenta, Jose and Gomes, Luís (2012) Dimensionamento da infraestrutura de comunicação em sistemas GALS especificados através de redes de Petri. [Paper]. In: REC’2012 – VIII Jornadas sobre Sistemas Reconfigurávei.

Rocha, Jose-Inacio and Gomes, Luís and Dias, Octavio Pascoa (2012) Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society. URL: http://dx.doi.org/10.1109/IECON.2012.6389492.

Moutinho, Filipe and Gomes, Luís and Costa, Anikó and Pimenta, Jose (2012) Asynchronous wrappers configuration within GALS systems specified by Petri nets. [Paper]. In: 2012 IEEE International Symposium on Industrial Electronics, 28-31 May 2012, Hangzhou. URL: http://dx.doi.org/10.1109/ISIE.2012.6237288.

Moutinho, Filipe and Gomes, Luís (2012) Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_16.

Dezani, Henrique and Gomes, Luís and Damiani, Furio and Marranghello, Norian (2012) Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389412.

Moutinho, Filipe and Gomes, Luís (2012) Extending a net splitting operation for decomposition of high-level Petri nets. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389080.

Campos-Rebelo, Rogerio and Costa, Anikó and Gomes, Luís (2012) Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_17.

Dezani, Henrique and Gomes, Luís and Damiani, Furio and Marranghello, Norian (2012) Finding best urban routes based on analyses of high level and IOPT Petri net models. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389079.

Abdollahvand, Somayeh and Goes, João and Oliveira, Luís B. and Gomes, Luís and Paulino, Nuno (2012) Low phase-noise temperature compensated self-biased ring oscillator. [Paper]. In: 2012 IEEE International Symposium on Circuits and Systems, 20-23 May 2012, Seoul. URL: http://dx.doi.org/10.1109/ISCAS.2012.6271805.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2012) Model-checking framework for embedded systems controllers development using IOPT Petri nets. [Paper]. In: 2012 IEEE International Symposium on Industrial Electronics, 28-31 May 2012, Hangzhou. URL: http://dx.doi.org/10.1109/ISIE.2012.6237295.

Barros, João Paulo and Gomes, Luís and Costa, Anikó (2012) On the verification of non-autonomous Petri net models using autonomous petri net tools. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389077.

Camarinha-Matos, Luis M. and Goes, João and Gomes, Luís and Martins, João (2012) Raising Awareness for Value Creation Potential in Engineering Research. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_1.

Moutinho, F. and Gomes, Luís (2012) State space generation for Petri nets-based GALS systems. [Paper]. In: 2012 IEEE International Conference on Industrial Technology, 19-21 March 2012, Athens. URL: http://dx.doi.org/10.1109/ICIT.2012.6210007.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2012) A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS 2012, February 27-29, 2012, Costa de Caparica, Portugal. URL: http://dx.doi.org/10.1007/978-3-642-28255-3_14.

Pereira, Fernando and Moutinho, Filipe and Ribeiro, Jose and Gomes, Luís (2012) Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. [Paper]. In: IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 25 - 28 October 2012, Montreal, Canada. URL: http://dx.doi.org/10.1109/IECON.2012.6389075.

Fodor, Janos and Gomes, Luís (2012) Welcome message from the general chairs. [Paper]. In: 2012 IEEE 16th International Conference on Intelligent Engineering Systems (INES), 13-15 June 2012, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INES.2012.6249905.

Pereira, Fernando and Gomes, Luís and Moutinho, Filipe (2011) Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_27. (ISI Web of Science).

Moutinho, Filipe and Pereira, Fernando and Gomes, Luís (2011) Automatic generation of graphical user interfaces for VHDL based controllers. [Paper]. In: 2011 IEEE International Symposium on Industrial Electronics, 27-30 June 2011, Gdansk, Poland. URL: http://dx.doi.org/10.1109/ISIE.2011.5984381. (ISI Web of Science).

Guerreiro, Hugo and Campos-Rebelo, Rogerio and Gomes, Luís (2011) Bridge expansion joints monitoring system. [Paper]. In: 2011 15th IEEE International Conference on Intelligent Engineering Systems, 23-25 June 2011, Poprad, Slovakia. URL: http://dx.doi.org/10.1109/INES.2011.5954711.

Rocha, Jose-Inacio and Gomes, Luís and Dias, Octavio Pascoa (2011) Dataflow model property verification using Petri net translation techniques. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034993. (ISI Web of Science).

Ribeiro, Jose and Moutinho, Filipe and Pereira, Fernando and Barros, João Paulo and Gomes, Luís (2011) An Ecore based Petri net type definition for PNML IOPT models. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034992. (ISI Web of Science).

Pereira, Fernando and Gomes, Luís and Redondo, Luis (2011) FPGA controller for power converters with integrated oscilloscope and graphical user interface. [Paper]. In: 2011 International Conference on Power Engineering, Energy and Electrical Drives, 11-13 May 2011, Torremolinos, Malaga, Spain. URL: http://dx.doi.org/10.1109/PowerEng.2011.6036436.

Campos-Rebelo, Rogerio and Pereira, Fernando and Moutinho, Filipe and Gomes, Luís (2011) From IOPT Petri nets to C: An automatic code generator tool. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034908. (ISI Web of Science).

Pais, Rui and Gomes, Luís and Barros, Joao Paulo (2011) From UML state machines to Petri nets: History attribute translation strategies. [Paper]. In: IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, November 7-10, 2011, Melbourne, Australia. URL: http://dx.doi.org/10.1109/IECON.2011.6119924.

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís and Campos-Rebelo, Rogerio (2011) IOPT Petri net state space generation algorithm with maximal-step execution semantics. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034958. (ISI Web of Science).

Pereira, Fernando and Moutinho, Filipe and Gomes, Luís and Ribeiro, Jose and Campos-Rebelo, Rogerio (2011) An IOPT-net state-space generator tool. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034907. (ISI Web of Science).

Ferreira, Ricardo and Costa, Anikó and Gomes, Luís (2011) Intra- and inter-circuit network for Petri nets based components. [Paper]. In: 2011 IEEE International Symposium on Industrial Electronics, 27-30 June 2011, Gdansk, Poland. URL: http://dx.doi.org/10.1109/ISIE.2011.5984387. (ISI Web of Science).

Reis, Mauro and Campos-Rebelo, Rogerio and Gomes, Luís (2011) Introducing model-based development within the reengineering of a Smart House controllers system. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034987. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís and Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Monteiro, André (2011) Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_26. (ISI Web of Science).

Rocha, Jose-Inacio and Gomes, Luís and Dias, Octavio Pascoa (2011) Petri net verification techniques on Synchronous Dataflow models. [Paper]. In: IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, November 7-10, 2011, Melbourne, Australia. URL: http://dx.doi.org/10.1109/IECON.2011.6119927.

Moutinho, Filipe and Gomes, Luís (2011) State space generation algorithm for gals systems modeled by IOPT Petri nets. [Paper]. In: IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society, November 7-10, 2011, Melbourne, Australia. URL: http://dx.doi.org/10.1109/IECON.2011.6119762. (ISI Web of Science).

Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Moutinho, Filipe and Costa, Anikó and Aranha, André (2011) SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_28. (ISI Web of Science).

Costa, Anikó and Gomes, Luís (2011) System development using Petri net based modules. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034990. (ISI Web of Science).

Pais, Rui and Gomes, Luís and Barros, João Paulo (2011) Towards Statecharts to Input-Output Place Transition Nets Transformations. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_25. (ISI Web of Science).

Abdollahvand, Somayeh and Goes, João and Paulino, Nuno and Nowacki, Blazej and Gomes, Luís (2011) A polyphase comb filter using interlaying multiplexers for high-speed single-bit sigma-delta modulators. [Paper]. In: 18th International Conference Mixed Design of Integrated Circuits and Systems (MIXDES), 16-18 June 2011, Gliwice.

Barbosa, Paulo E. S. and Costa, Anikó and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Junior, Antônio (2010) A MDA-based Contribution for Integrating Web Services within Embedded System’s Design. [Paper]. In: 8th IEEE International Conference on Industrial Informatics INDIN’2010, 13-16 July, 2010, Osaka, Japan. URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumb....

Jorge, André and Guerreiro, João and Pereira, Pedro and Martins, João and Gomes, Luís (2010) Energy Consumption Monitoring System for Large Complexes. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'10, 22-24 February 2010, Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-11628-5_46. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luis and Ramalho, Franklin and Figueiredo, Jorge and Barros, João and Barbosa, Paulo and Pais, Rui and Costa, Anikó (2010) Ecore representation for extending PNML for Input-Output Place-Transition nets. [Paper]. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society, 7-10 Nov. 2010, Phoenix, AZ, USA. URL: http://dx.doi.org/10.1109/IECON.2010.5675332. (ISI Web of Science).

Gomes, Luís and Rebelo, Rogério and Barros, João Paulo and Costa, Anikó and Pais, Rui (2010) From Petri net models to C implementation of digital controllers. [Paper]. In: ISIE’2010 - IEEE International Symposium on Industrial Electronics, 4-7 July 2010, Bari, Italy. URL: http://dx.doi.org/10.1109/IECON.2007.4460403. (ISI Web of Science, Citations: 1).

Ferreira, Ricardo and Gomes, Luís and Costa, Anikó (2010) Interligação intra- e inter-circuito de componentes especificados com Redes de Petri. [Paper]. In: REC’2010 – VI Jornadas sobre Sistemas Reconfiguráveis, 4-5 Fevereiro 2010, IEETA, Universidade de Aveiro, Aveiro, Portugal.

Costa, A. and Barbosa, P. and Gomes, L. and Ramalho, Franklin and Figueiredo, Jorge and Junior, Antônio (2010) Properties Preservation in Distributed Execution of Petri Nets Models. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'10, 22-24 February 2010, Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-11628-5_26. (ISI Web of Science).

Machado, Ricardo J and Fernandes, João M. and Barros, João P. and Gomes, L. (2010) Scenario-based Modeling in Industrial Information Systems. [Paper]. In: DIPES’2010 - IFIP Conference on Distributed and Parallel Embedded Systems, September 20th - 23rd, 2010, Brisbane, Australia. URL: http://www.springerlink.com/content/8u0324ux1x4312.... (ISI Web of Science).

Barbosa, Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Gomes, Luís and Junior, Antonio (2010) Semantic Equations for Formal Models in the Model-Driven Architecture. [Paper]. In: DoCEIS’10 – Doctoral Conference on Computing, Electrical and Industrial Systems, February 22-24, 2010, Caparica, Lisbon, Portugal. (ISI Web of Science, Citations: 1).

Figueiredo, M. and Michalak, T. and Goes, J. and Gomes, L. and Sniatala, P. (2009) Improved clock-phase generator based on self-biased CMOS logic for time-interleaved SC circuits. [Paper]. In: Electronics, Circuits, and Systems, 2009. ICECS 2009. 16th IEEE International Conference on.

Ngolo, M. and Palma, L.B. and Coito, F. and Gomes, L. and Costa, A. (2009) Architecture for remote laboratories based on REST web services. [Paper]. In: 2009 3rd IEEE International Conference on E-Learning in Industrial Electronics (ICELIE), 3-5 Nov. 2009, Porto, Portugal. URL: http://dx.doi.org/10.1109/ICELIE.2009.5413216. (ISI Web of Science).

Oliveira, J.P. and Costa, Anikó and Gomes, Luís (2009) Configurador de plataformas específicas em Co-design de Sistemas Embutidos. [Paper]. In: REC’2009 – V Jornadas sobre Sistemas Reconfiguráveis, 5-6 Fevereiro 2009, Monte de Caparica.

Scutaru, Gh. and Cocorada, E. and Gomes, L. and Scapolla, A.M. and Mustica, M. and Pavalache, M. and Kristaly, D. and Cocorada, S. (2009) Enhanced Individualized Learning Environment's impact on the learning process. [Paper]. In: 2009 3rd International Conference on Signal Processing and Communication Systems, 3-5 November, 2009, Porto, Portugal. URL: http://dx.doi.org/10.1109/ICELIE.2009.5413212.

Moutinho, Filipe and Gomes, Luís (2009) From models to controllers integrating graphical animation in FPGA through automatic code generation. [Paper]. In: 2009 IEEE International Symposium on Industrial Electronics, 5-8 July 2009, Seoul, Korea. URL: http://dx.doi.org/10.1109/ISIE.2009.5218315. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís (2009) Geração Automática de Controladores em FPGA Integrando Animação Gráfica. [Paper]. In: REC’2009 – V Jornadas sobre Sistemas Reconfiguráveis, 5-6 Fevereiro 2009, Monte de Caparica.

Barbosa, Paulo E. S. and Costa, Anikó and de Figueiredo, Jorge C. A. and Ramalho, Franklin and Gomes, Luis and dos S., Antonio D. (2009) Modeling complex Petri nets operations in the Model-Driven Architecture. [Paper]. In: 2009 35th Annual Conference of IEEE Industrial Electronics, November 3-5, Porto - Portugal. URL: http://dx.doi.org/10.1109/IECON.2009.5414909. (ISI Web of Science).

Gomes, L. and Barros, J. (2009) PNML based composition in non-autonomous Petri net models. [Paper]. In: 2009 35th Annual Conference of IEEE Industrial Electronics, November 3-5, Porto - Portugal. URL: http://dx.doi.org/10.1109/IECON.2009.5414908. (ISI Web of Science).

Bukowiec, Arkadiusz and Gomes, Luís (2009) Partitioning of Mealy Finite State Machines. [Paper]. In: DESDes’09 – 4th IFAC Workshop on Discrete-Event System Design, 6-8 October 2009, Gandia, Beach, Valencia, Spain.

Costa, Aniko and Gomes, Luís (2009) Petri net partitioning using net splitting operation. [Paper]. In: 2009 7th IEEE International Conference on Industrial Informatics, 23-26 June 2009, Cardiff, UK. URL: http://dx.doi.org/10.1109/INDIN.2009.5195804. (ISI Web of Science, Citations: 1).

Martins, J. F. and Fernao Pires, V. and Gomes, Luis and Pascoa Dias, O. (2009) Plug-in electric vehicles integration with renewable energy building facility - building/vehicle interface. [Paper]. In: 2009 International Conference on Power Engineering, Energy and Electrical Drives, 18-20 March 2009, Lisbon. URL: http://dx.doi.org/10.1109/POWERENG.2009.4915258.

Gomes, L. and Patricio, G. and Ferreira, R. and Costa, A. (2009) Remote experimentation for introductory digital logic course. [Paper]. In: 2009 3rd IEEE International Conference on E-Learning in Industrial Electronics (ICELIE), 3-5 November, 2009, Porto, Portugal. URL: http://dx.doi.org/10.1109/ICELIE.2009.5413204. (ISI Web of Science).

Patricio, Gustavo and Gomes, Luis (2009) Smart house monitoring and actuating system development using automatic code generation. [Paper]. In: 2009 7th IEEE International Conference on Industrial Informatics, 24-26 June 2009, Cardiff, UK. URL: http://dx.doi.org/10.1109/INDIN.2009.5195813. (ISI Web of Science).

Lourenco, João and Gomes, Luís (2008) Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. [Paper]. In: 29th international conference on Applications and Theory of Petri Nets, June 23-27, 2008, Xi'an, China. URL: http://dx.doi.org/10.1007/978-3-540-68746-7_27. (ISI Web of Science, Citations: 1).

Gomes, Luís and Costa, Anikó (2008) Co-design techniques within digital system design curricula. [Paper]. In: 7th European Workshop on Microelectronics Education (EWME 2008), 28-30 May 2008, Budapeste.

Martins, Goncalo and Barata, Manuel and Gomes, Luís (2008) Low cost method to reproduce sound with FPGA. [Paper]. In: 2008 IEEE International Symposium on Industrial Electronics, 30 Jun - 2 Jul 2008, Cambridge. URL: http://dx.doi.org/10.1109/ISIE.2008.4677050. (ISI Web of Science).

Costa, Anikó and Gomes, Luís and Barros, João and Oliveira, J.P. and Reis, Tiago M. (2008) Petri nets tools framework supporting FPGA-based controller implementations. [Paper]. In: 34th Annual Conference of the IEEE Industrial Electronics Society (IECON’2008), 10-13 Nov 2008, Orlando. (ISI Web of Science).

Gomes, Luís and Lourenco, João (2008) Petri nets-based automatic generation GUI tools for embedded systems. [Paper]. In: 2008 Conference on Human System Interactions, 25-27 May 2008, Krakow - Polónia. URL: http://dx.doi.org/10.1109/HSI.2008.4581447. (ISI Web of Science).

Gomes, Luís and Costa, Anikó and Barros, João and Lima, P. (2008) Redes de Petri e geração de código VHDL. [Paper]. In: IV Jornadas sobre Sistemas Reconfiguráveis (REC’2008), 7-8 Feb 2008, Braga.

Coito, F. and Gomes, Luís and Costa, Anikó and Palma, Luís (2008) The Use of Remote Laboratory Activities within the Learning Process. [Paper]. In: 8th Portuguese Conference on Automatic Control (CONTROLO’2008), 21-23 Jul 2008, Vila Real.

Gomes, Luís and Costa, Anikó and Barros, João and Lima, Paulo (2007) From Petri net models to VHDL implementation of digital controllers. [Paper]. In: IECON’2007 - The 33rd Annual Conference of the IEEE Industrial Electronics Society, November 5-8, 2007, The Grand Hotel, Taipei - Taiwan. (ISI Web of Science).

Nunes, Ricardo and Gomes, Luís and Barros, João (2007) A Graphical Editor for the Input-Output Place-Transition Petri Net Class. [Paper]. In: ETFA’2007 - 12th IEEE Conference on Emerging Technologies and Factory Automation, September 25-28, 2007, Patras - Greece. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Nunes, Ricardo (2007) The Input-Output Place-Transition Petri Net Class and Associated Tools. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science, Citations: 1).

Costa, Anikó and Gomes, Luís (2007) Module Composition within Petri Nets Model-based Development. [Paper]. In: SIES’2007 – 2nd IEEE International Symposium on Industrial Embedded Systems, 4-6 July 2007, Hotel Costa da Caparica, Lisboa, Portugal. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2007) Partição de redes de Petri integrada em metodologia de co-design de sistemas embutidos. [Paper]. In: REC’2007 – III Jornadas sobre Sistemas Reconfiguráveis, 8-9 Fevereiro 2007, Instituto Superior Técnico, Lisboa, Portugal.

Gomes, Luís and Costa, Anikó and Barros, João and Pais, Rui and Rodrigues, Tiago and Ferreira, Richard (2007) Petri Net based Building Automation and Monitoring System. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó (2007) Petri Nets Tools and Embedded Systems Design. [Paper]. In: PNSE'07 - International Workshop on Petri Nets and Software Engineering, June 25-26, 2007, Siedlce - Poland.

Costa, Anikó and Gomes, Luís (2007) Petri net Splitting Operation within Embedded Systems Co-design. [Paper]. In: INDIN’2007 - 5th IEEE International Conference on Industrial Informatics, 23-26 Julho 2007, Vienna - Austria. (ISI Web of Science).

Gomes, Luís and Coito, Fernando and Costa, Anikó and Palma, Luís and Almeida, Paulo (2007) Remote Laboratories support within Teaching and Learning Activities. [Paper]. In: REV’2007 - International Conference on Remote Engineering and Virtual Instrumentation, 25-27 June 2007, University of Porto (FEUP) - Portugal.

Barros, João and Gomes, Luís (2007) Towards a Human-Usable Textual Language for Petri Nets. [Paper]. In: Workshop on Petri Net Standards 2007, 26 June 2007, Siedlce - Poland.

Gomes, Luís and Costa, Anikó (2006) Emphasizing Graphical Modeling Formalisms within Digital Systems Design Course - ICELIE’2006. [Paper]. In: 1st IEEE International Conference on e-learning in industrial electronics, 18-20 Dec 2006, Hammamet, Tunisia.

Gomes, Luís and Costa, Anikó (2006) Petri nets as supporting formalism within Embedded Systems Co-design. [Paper]. In: IES’2006 - 2006 IEEE International Symposium on Industrial Embedded Systems, 18-20 Oct 2006, Nice, France.

Scutaru, Gheorghe and Borza, Paul N. and Gomes, Luís and Tollet, Ingmar and Lahti, Seppo (2006) Knowledge Management in Virtual-Electro-Lab: Course & Remote Experiment on Home Appliance System and Peripheral Components. [Paper]. In: 35th International IGIP Symposium Proceedings – Engineering Education – The priority for global development, 18-21 Sept 2006, Tallinn, Estonia.

Costa, Anikó and Gomes, Luís and Francisco, Helder and Silva, Bruno (2006) Internal event removal in Hierarchical and Concurrent State Diagrams. [Paper]. In: DESDes’06 – 3rd IFAC Workshop on Discrete-Event System Design, 26-28 Sept 2006, Rydzyna, Polónia.

Costa, Anikó and Gomes, Luís (2006) Partitioning of Petri net models amenable for Distributed Execution. [Paper]. In: ETFA’2006 - 2006 IEEE International Conference on Emerging Technologies and Factory Automation, 20-22 Sept 2006, Prague, Czech Republic. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2006) Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. [Paper]. In: ETFA’2006 - 2006 IEEE International Conference on Emerging Technologies and Factory Automation, 20-22 Sep 2006, Prague, Czech Republic. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2006) On exercising hardware-software logical equivalency using FPGAs. [Paper]. In: ISIE’2006 - 2006 IEEE International Symposium on Industrial Electronics, 09-13 Jul 2006, Montreal, Canadá. (ISI Web of Science).

Barros, João and Gomes, Luís (2006) Teaching Concurrency Through Petri Nets and Model Composition. [Paper]. In: TeaConc’2006 - Workshop on Teaching Concurrency, Turku, Finlândia. URL: http://www.uninova.pt/teaconc2006.

Gomes, Luís and Costa, Anikó (2006) Using Concurrency Modeling Formalisms within System-on-a-Programmable-Chip Design. [Paper]. In: TeaConc’2006 - Workshop on Teaching Concurrency, Turku, Finlândia. URL: http://www.uninova.pt/teaconc2006.

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2006) Redes de Petri no co-design de sistemas embutidos: o projecto FORDESIGN. [Paper]. In: REC’2006 – 2as. Jornadas sobre Sistemas Reconfiguráveis, 16-17 Fev 2006, Porto, Portugal..

Gomes, Luís and Costa, Anikó (2006) Sobre a equivalência lógica entre hardware e software. [Paper]. In: REC’2006 – 2as. Jornadas sobre Sistemas Reconfiguráveis, 16-17 Fev 2006, Portugal.

Coito, Fernando and Gomes, Luís (2006) Remotos e Virtuais: situação e perspectivas no DEE da FCT da UNL. [Paper]. In: Laboratórios Remotos e Virtuais 2006, Aveiro (PT).

Lino, Rui and Gomes, Luís (2005) Detecção de falhas de sensores em sistemas de automação utilizando redes de Petri. [Paper]. In: Terceiras Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores (JETC’05), 17-18 Nov 2005, Lisboa.

Gomes, Luís (2005) Programmable Logic Devices supporting Embedded System Design Curriculum. [Paper]. In: IECON’2005 – The 31st Annual Conference of the IEEE Industrial Electronics Society, 06-10 Nov 2005, Raleigh, North Carolina, USA. (ISI Web of Science).

Pais, Rui and Barros, João and Gomes, Luís (2005) A Tool for Tailored Code Generation from Petri Net Models. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Towards Usage of Formal methods within Embedded Systems Co-design. [Paper]. In: ETFA’2005 - 10th International Conference on Emergent Technologies and Factory Automation, 19-22 Sept 2005, Catania, Italy. (ISI Web of Science).

Gomes, Luís (2005) On conflict resolution in Petri nets models through model structuring and composition. [Paper]. In: INDIN’2005 – 3rd IEEE International Conference on Industrial Informatics, 10-12 Aug 2005, Perth, Austrália. (ISI Web of Science).

Gomes, Luís and Costa, Anikó and Meira, Paulo (2005) From Use Cases to building monitoring systems through Petri nets. [Paper]. In: ISIE’2005 - 2005 IEEE International Symposium on Industrial Electronics, 20-23 Jun 2005, Dubrovnik, Croatia. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2005) Remote laboratory support for an introductory microprocessor course. [Paper]. In: MSE’2005 – 2005 International Conference on Microelectronic Systems Education, 12-13 Jun 2005, Anaheim, Califórnia, USA. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2005) Teaching Formal Methods within System-on-a-Programmable-Chip Design. [Paper]. In: MSE’2005 – 2005 International Conference on Microelectronic Systems Education, 12-13 Jun 2005, Anaheim, Califórnia, USA. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2005) Redes de Petri no ensino de sistemas digitais utilizando dispositivos reconfiguráveis. [Paper]. In: REC’2005 - Jornadas sobre Sistemas Reconfiguráveis, 21 Fev 2005, Faro, Portugal.

Gomes, Luís and Costa, Anikó (2005) Statechart based component partitioning in hardware/software co-design. [Paper]. In: REC’2005 - Jornadas sobre Sistemas Reconfiguráveis, 21 Fev 2005, Faro, Portugal.

Gomes, Luís and Barros, João and Costa, Anikó and Pais, Rui and Moutinho, Filipe (2005) Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Paper]. In: ReCoSoC’05 - Reconfigurable Communication-centric Systems-on-Chip, 27-29 Jun 2005, Montpellier, França.

Barros, João and Gomes, Luís (2004) A Unidirectional Transition Fusion for Coloured Petri Nets and its Implementation for the CPNTools. [Paper]. In: CPN'04 - Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 8-11 Oct 2004, Denmark.

Gomes, Luís and Barros, João and Pais, Rui (2004) From non-autonomous Petri net models to code in embedded systems design. [Paper]. In: DESDes’04 - 2nd International Workshop on Discrete-Event System Design, 15-17 Sept 2004, Zielona Gora, Poland.

Gomes, Luís and Costa, Anikó (2004) Statechart based embedded systems co-design. [Paper]. In: DESDes’04 - 2nd International Workshop on Discrete-Event System Design, 15-17 Sept 2004, Zielona Gora, Poland.

Gomes, Luís and Costa, Anikó (2004) Embedded Systems Introductory Course supported by remote experiments. [Paper]. In: VIRTUAL-LAB’2004 – 1st International Workshop on e-learning and Virtual and Remote Laboratories, 24-25 Aug 2004, Setúbal, Portugal.

Barros, João and Gomes, Luís and Pais, Rui and Dias, Rui (2004) From Petri nets to executable systems: an environment for code generation and analysis. [Paper]. In: ICINCO’2004 – 1st International Conference on Informatics in Control, Automation and Robotics, 25-28 Aug 2004, Setúbal, Portugal.

Borza, Paul N. and Scutaru, Gheorghe and Gomes, Luís and Costa, Anikó and Laszlo, Lazar (2004) Implementation of a remote and virtual laboratory in the field of home appliance systems. [Paper]. In: VIRTUAL-LAB’2004 – 1st International Workshop on e-learning and Virtual and Remote Laboratories, 24-25 Aug 2004, Setubal, Portugal.

Barros, João and Gomes, Luís (2004) Net Model Composition and Modification by Net Operations: a Pragmatic Approach. [Paper]. In: INDIN’2004 – 2nd IEEE International Conference on Industrial Informatics, 24-26 June 2004, Berlin, Germany. (ISI Web of Science).

Barros, João and Gomes, Luís (2004) On system’s model transformation by Petri nets. [Paper]. In: CONTROLO’2004 – Sixth Portuguese Conference on Automatic Control, 07-09 June 2004, Faro, Portugal.

Barros, João and Gomes, Luís (2004) Operational PNML: Towards a PNML Support for Model Construction and Modification. [Paper]. In: Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets, Bolonha, Itália.

Gomes, Luís and Barros, João and Lino, Rui (2004) Addition of fault detection capabilities in automation applications using Petri nets. [Paper]. In: ISIE’04 - 2004 IEEE International Symposium on Industrial Electronics, 04-07 May 2004, Ajjaccio, France. (ISI Web of Science).

Gomes, Luís and Borza, Paul N. and Costa, Anikó (2004) Home appliance systems and domotics course with multimedia support. [Paper]. In: EWME 2004; “Microelectronics Education - Proceedings of the 5th European Workshop on Microelectronics Education, 15-16 April 2004, Lausanne, Switzerland.

Gomes, Luís and Costa, Anikó (2004) Concurrent systems’ hardware design using Petri nets. [Paper]. In: EWME 2004; “Microelectronics Education - Proceedings of the 5th European Workshop on Microelectronics Education, 15-16 April 2004, Lausanne, Switzerland.

Gomes, Luís and Maló, Pedro and Costa, Anikó (2004) From MSI modules to microprocessors: filling the gap with programmable logic devices. [Paper]. In: EWME 2004; “Microelectronics Education - Proceedings of the 5th European Workshop on Microelectronics Education, 15-16 April 2004, Lausanne, Switzerland.

Barros, João and Gomes, Luís (2003) Actions as Activities and Activities as Petri Nets. [Paper]. In: CSDUML’2003 – Workshop on Critical Systems Development with UML within UML’2003 – Sixth International Conference on the Unified Modeling Language, 20-24 Oct 2003, San Francisco, California, USA.

Barros, João and Gomes, Luís (2003) Towards the Support for Crosscutting Concerns in Activity Diagrams: a Graphical Approach. [Paper]. In: Fourth Workshop on Aspect-Oriented Modeling with UML within UML’2003 – Sixth International Conference on the Unified Modeling Language, 20-24 Oct 2003, San Francisco, California, USA.

Gomes, Luís and Barros, João (2003) On Structuring Mechanisms for Petri Nets Based System Design. [Paper]. In: ETFA’2003 – 2003 IEEE Conference on Emerging Technologies and Factory Automation, 16-19 Sept 2003, Lisbon, Portugal. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2003) From Use Cases to System Implementation: Statechart Based Co-design. [Paper]. In: MEMOCODE’2003 - First ACM/IEEE Conference on Formal Methods and Programming Models for Codesign, 24-26 June 2003, Mont Saint-Michel, France. (ISI Web of Science, Citations: 1).

Barros, João and Gomes, Luís (2003) Modifying Petri Net Models by Means of Crosscutting Operations. [Paper]. In: ACSD’2003 - Third International Conference on Application of Concurrency to System Design, 18-20 June 2003, Guimarães, Portugal. (ISI Web of Science).

Gomes, Luís and Costa, Anikó (2003) On Lifting of Statechart Structuring Mechanisms. [Paper]. In: ACSD’2003 - Third International Conference on Application of Concurrency to System Design, 18-20 June 2003, Guimarães, Portugal. (ISI Web of Science).

González, Ignacio and Sanz, Ricardo and Doussin, Marie-Helene and Clavijo, José A. and Gomes, Luís and Zangrilli, Antonio and Hernández, Gregorio (2002) - DOTS: an experience on interoperability in power substations. [Paper]. In: 39th CIGRE Session (International Council on Large Electric Systems), 25-30 Aug 2002, Paris.

Sanz, Ricardo and González, Ignacio and Segarra, Miguel and Tagliarini, Raoul and Gomes, Luís and Hernández, Gregorio and Zangrilli, Antonio (2002) CORBA-based interoperation in substation automation systems. [Paper]. In: Preprints of the 15th Triennial World Congress of the IFAC - International Federation of Automatic Control, 21-26 July 2002, Barcelona, Spain.

Gomes, Luís (2002) Introducing microprocessor design using programmable logic devices and public domain tools - Microelectronics Education. [Paper]. In: 4th European Workshop on Microelectronics Education – EWME 2002.

Gomes, Luís and Barros, J.-P. and Costa, Anikó (2002) Man-machine interface for real-time telecontrol based onPetri nets specification. [Paper]. In: 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236), OCT 07-10, 2001, TUCSON, AZ. URL: http://dx.doi.org/10.1109/ICSMC.2001.973507.

Gomes, Luís and Henriques, Francisco and Costa, Anikó and Frade, Carlos and Maló, Pedro (2001) Hierarchical Hybrid Control for Innovative Air-conditioning Equipment. [Paper]. In: 5th WSES/IEEE World Multi-conference on Circuits, Systems, Communications & Computers (CSCC’2001), 8-15 Jul 2001, Crete, Greece.

Gomes, Luís and Henriques, Francisco and Costa, Anikó and Frade, Carlos and Maló, Pedro (2001) Sistema de controlo de Unidade de Tratamento de Ar. [Paper]. In: 7as. Jornadas Hispano-Lusas de Engenharia Electrotécnica, 4-6 Jul 2001, Madrid, Spain.

Gomes, Luís and Costa, Anikó and Soares, Carlos and Barros, João and Steiger-Garção, Adolfo (1997) Campus-Guard: a domot targeted for integrated building monitoring and control. [Paper]. In: 2nd Int. Conference on Intelligent Buildings, 4 a 6 Março 1997, Tel-Aviv, Israel.

Barros, João and Gomes, Luís and Steiger-Garção, Adolfo (1997) Implementation Of A Non-Autonomous High-Level Petri Net Model For Reactive Real Systems. [Paper]. In: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control, 9 a 11 Abril 1997, Vilamoura, Portugal. (ISI Web of Science).

Gomes, Luís and Steiger-Garção, Adolfo (1996) Domots are coming! Or how to manage building automation in a balanced way? [Paper]. In: BASYS'96 - 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems, June‚96, Lisbon, Portugal. (ISI Web of Science).

Gomes, Luís and Steiger-Garção, Adolfo (1996) Petri Net Based Hierarchical State Machine Model For Reactive Real-Time Systems. [Paper]. In: CONTROLO’96, 11 a 13 Setembro 1996, Porto, Portugal.

Gomes, Luís and Steiger-Garção, Adolfo (1996) Towards The Implementation Of Conflict Resolution On A Non-Autonomous High-Level Petri Net Model. [Paper]. In: 1st Int. Workshop on Manufacturing and Petri Nets, 24 a 28 de Junho 1996, Osaka, Japão.

Gomes, Luís and Steiger-Garção, Adolfo (1995) Fuzzy Petri net controller. [Paper]. In: Proceedings of IFSA'95 the Sixth International Fuzzy Systems Association= World Congress, 22 a 28 de Julho 1995, São Paulo, Brasil. (ISI Web of Science).

Gomes, Luís and Steiger-Garção, Adolfo (1995) Fuzzy Petri net model for real-time control. [Paper]. In: AARTC95; 3rd IFAC/IFIP Workshop on Algorithms and Architectures for= Real-Time Control, 31 de Maio a 2 de Junho 1995, Ostend, Belgium.

Gomes, Luís and Steiger-Garção, Adolfo (1995) Integração de diferentes paradigmas de controlo em controladores industriais de baixo custo. [Paper]. In: 5as Jornadas Nacionais de Projecto, Planeamento e Produ��o Assistidos por Computador, 30 de Maio a 1 de Junho 95, Guimar�es.

Gomes, Luís and Barros, João and Soares, A. and Steiger-Garção, Adolfo (1995) Monitoração de arquitecturas sensoriais distribuídas. [Paper]. In: 5as Jornadas Nacionais de Projecto, Planeamento e Produção Assistidos por Computador, 30 de Maio a 1 de Junho 95, Guimarães.

Gomes, Luís and Steiger-Garção, Adolfo (1995) Petri net based programmable fuzzy controller targeted for distributed control environments. [Paper]. In: Proceedings of 1995 IEEE International Conference on Fuzzy Systems. The International Joint Conference of the Fourth IEEE International Conference on Fuzzy Systems and The Second International Fuzzy Engineering Symposium, 20 a 24 de Março 1995, Yokohama, Japan. URL: http://dx.doi.org/10.1109/FUZZY.1995.409867. (ISI Web of Science, Citations: 1).

Gomes, L. and Steiger-Garcao, A. (1995) Programmable Controller Design Based on a Synchronized Colored Petri Net Model and Integrating Fuzzy Reasoning. [Paper]. In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., 26 a 30 de Junho 1995, Torino, Italy. (ISI Web of Science, Citations: 6).

Gomes, Luís and Steiger-Garção, Adolfo (1994) Towards Different Buildings. [Paper]. In: ; Conferencia Internacional sobre el Control Automático en el Ahorro de Energia, 21 a 23 Fevereiro 1994, La Habana - Cuba.

Gomes, Luís and Steiger-Garção, Adolfo and Gama, L. and Correia, N. (1993) Programação de controladores utilizando redes de Petri. [Paper]. In: 4as Jornadas Nacionais de Projecto,Planeamento e Producção Assistida por Computador, Lisboa, Portugal, 17-19 Maio 1993.

Gomes, Luís and Steiger-Garção, Adolfo (1992) Especificação e realização de controladores utilizando redes de Petri coloridas e sincronizadas integrando lógica imprecisa. [Paper]. In: Workshop Ibero-americano de Sistemas Autónomos em Robótica e CIM, 2 a 4 de Novembro 1992, Lisboa; .

Gomes, L. and Steiger-Garcao, A. (1991) Simulation of an ultrasonic based sensorial system. [Paper]. In: 2nd Workshop on Robotics an CIM-Belgrado, Set. 91 , Jusgolávia.

Moura-Pires, F. and Gomes, Luís and Steiger-Garção, Adolfo (1991) Uma Implementação paralela de algorítmos de indução de árvores de decisão. [Paper]. In: 3ªs Jornadas Nacionais de Projecto, Planeamento e Produção Assistidos por Computador, 4 a 6 de Dezembro, Ordem dos Enªs, FIL.

Journal Editor

Gomes, Luís and Khomenko, V. and Fernandes, J.M., eds (2011) Editorial: Selected papers from the 10th International Conference on Application of Concurrency to System Design (ACSD 2010). IET Computers & Digital Techniques, 5 (6), pp. 425-426. ISSN 1751-8601. URL: http://dx.doi.org/10.1049/iet-cdt.2011.0150.

Manic, Milos and Gomes, Luís and Malinowski, Aleksander, eds (2011) Guest Editorial. IEEE Transactions on Industrial Electronics, 58 (3), pp. 718-721. ISSN 0278-0046. eISSN 1557-9948. URL: http://dx.doi.org/10.1109/TIE.2010.2098638. (ISI Web of Science).

Rodriguez-Andina, JJ and Gomes, L. and Bogosyan, S, eds (2010) Special Section on Current trends in industrial electronics education. IEEE Transactions on Industrial Electronics, 57 (10), pp. 3242-3244. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2010.2057292. (ISI Web of Science).

Gomes, Luís and Bogosyan, Seta, eds (2009) Guest Editorial. IEEE Transactions on Industrial Electronics, 56 (12), pp. 4742-4743. ISSN 0278-0046. eISSN 1557-9948. URL: http://dx.doi.org/10.1109/TIE.2009.2033630. (ISI Web of Science).

Gomes, Luis and Bogosyan, Seta, eds (2008) Editorial. IEEE Transactions on Industrial Electronics, 55 (6), pp. 2324-2325. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2008.924910. (ISI Web of Science, Citations: 2).

Gomes, Luis and Bogosyan, Seta, eds (2007) Guest Editorial. IEEE Transactions on Industrial Electronics, 54 (6), pp. 3054-3056. ISSN 0278-0046. URL: http://dx.doi.org/10.1109/TIE.2007.907007. (ISI Web of Science, Citations: 3).

Proceedings

Gomes, Luís and Khomenko, Victor and Fernandes, João M., eds (2010) Proceedings Tenth International Conference on Application of Concurrency to System Design – ACSD 2010. In: 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 21-25 June 2010, Braga, Portugal. IEEE Computer Society Conference Publishing Services. ISBN 978-0-7695-4066-5. ISSN 1550-4808.

Gomes, Luís and Oliveira, A., eds (2009) Actas das V Jornadas sobre Sistemas Reconfiguráveis – REC’2009. In: V Jornadas sobre Sistemas Reconfiguráveis, 5 e 6 Fevereiro 2009, Monte de Caparica. Edição de autor.

Esteves, A. and Gomes, L., eds (2008) Actas das IV Jornadas sobre Sistemas Reconfiguráveis. In: IV Jornadas sobre Sistemas Reconfiguráveis - REC’2008. Edição de autor, Braga.

Gomes, Luís and Christensen, Soren, eds (2007) Proceedings of TeaConc’2007 - The 2nd Workshop on Teaching Concurrency. In: The 2nd Workshop on Teaching Concurrency, 25 June 2007, Siedlce, Poland. Publishing House of University of Podlasie, Siedlce, Poland. ISBN 978-83-7051-426-6.

Gomes, Luís and Garcia-Zubia, Javier, eds (2007) Advances on remote laboratories and e-learning experiences. In: International Meeting on Professional Remote Laboratories, 16-17 Nov 2006, Bilbao, Spain. University of Deusto, Bilbao. ISBN 978-84-9830-077-2.

Gomes, Luís and Scutaru, Gheorghe, eds (2007) Individualized learning enhanced by virtual reality. In: Workshop on using VR in education, 19-21 Mar 2007. Minerva Identity. ISBN 978-989-20-0715-1.

Gomes, Luís and Scutaru, Gheorghe (2007) Workshop on using VR in education. In: Workshop on using VR in education, 2007. .... ISBN 978-989-20-0715-1.

Adamski, Marian and Gomes, Luís and Wegrzyn, Marek and Labiak, Grzegorz, eds (2006) Discrete-Event System Design 2006. In: 3rd IFAC Workshop on Discrete-Event System Design (DESDes’06), 26-28 Sep 2006, Zielona Gora, Poland. Gora Press, Rydzyna, Poland. ISBN 83-7481-035-1. URL: http://www.desdes.uz.zgora.pl/.

Borza, Paul N. and Gomes, Luís and Scutaru, Gheorghe, eds (2004) VIRTUAL-LAB’2004 e-learning and Virtual and Remote Laboratories. In: 1st International Workshop on e-learning and Virtual and Remote Laboratories, 24-25 Aug 2004, Setúbal, Portugal. INSTICC Press. ISBN 972-8865-14-7.

Thesis

Oliveira, João (2009) Configurador de plataformas específicas em co-design de sistemas embutidos. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Amaral, Hugo (2009) Desenvolvimento de um equipamento de tratamento de estética utilizando Redes de Petri. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Michalak, Tomasz (2009) Systematic Design of multi-phase clock-generators for low-jitter edge-driven switching based on asynchronous machines for multi-channel time-interleaved ADC's. Goes, João and Gomes, Luís (supervisors). Masters thesis, FCT-UNL.

Lima, Paulo (2009) Geração de código VHDL a partir de especificações IOPT PNML2VHDL. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Patrício, Gustavo (2009) Rede Sem Fios de Microcontroladores com Acesso Remoto Aplicada à Domótica. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Moutinho, Filipe (2009) Geração Automática de Controladores em FPGA integrando animação gráfica. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Reis, Tiago M. (2008) Partição de modelos de redes de Petri. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Nunes, Ricardo F. (2008) Editor de Redes de Petri suportando especificações hierárquicas e modulares. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Lourenço, João P. (2008) Modelos comportamentais e redes de petri na geração automática de animação de sinópticos. Gomes, Luís (supervisor). Masters thesis, FCT-UNL.

Barros, João (2006) Modularidade em Redes de Petri. Gomes, Luís (supervisor). PhD thesis, Faculdade Ciências e Tecnologia/UNL.

Conceição, Paulo (2005) Dos casos de uso às redes de Petri: uma aplicação à monitorização de edifícios. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Pais, Rui (2005) Geração de Executores e Analisadores de Redes de Petri. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Lino, Rui (2005) Detecção de falhas em sistemas de automação utilizando redes de Petri. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Costa, Anikó (2003) Estradogmas em Co-Design de Sistemas Embutidos. Gomes, Luís (supervisor). Masters thesis, Faculdade de Ciências e Tecnologia/UNL.

Gomes, Luís (1997) As Redes de Petri Reactivas e Hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real. Steiger-Garção, Adolfo (supervisor). PhD thesis, FCT/UNL.