Luís Gomes

	2012
41		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
40		Filipe Moutinho, Luís Gomes: Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS 2012: 143-150
39		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
38		Luis M. Camarinha-Matos, João Goes, Luís Gomes, João André Martins: Raising Awareness for Value Creation Potential in Engineering Research. DoCEIS 2012: 3-6
	2011
37		Rui Pais, Luís Gomes, João Paulo Barros: Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS 2011: 227-236
36		Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245
35		Fernando Pereira, Luís Gomes, Filipe Moutinho: Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. DoCEIS 2011: 246-255
34		Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265
33		Luís Gomes, José Gabriel Pereira Lopes: Measuring Spelling Similarity for Cognate Identification. EPIA 2011: 624-633
32		Luiz Faria, António Silva, Carlos Ramos, Luís Gomes, Zita A. Vale, Albino Marques: Using an Ambient Intelligent Architecture for Developing an Intelligent Tutoring System for Training Operators of Power System Control Centres. ISAmI 2011: 219-226
31		Jorge Costa, Gabriel Pereira Lopes, Luís Gomes, Luís M. S. Russo: Representing a bilingual lexicon with suffix trees. SAC 2011: 1164-1165
	2010
30		Luís Gomes, Victor Khomenko, João M. Fernandes: 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010 IEEE Computer Society 2010
29		Ricardo Jorge Machado, João M. Fernandes, João Paulo Barros, Luís Gomes: Scenario-Based Modeling in Industrial Information Systems. DIPES/BICC 2010: 19-30
28		Anikó Costa, Paulo E. S. Barbosa, Luís Gomes, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior: Properties Preservation in Distributed Execution of Petri Nets Models. DoCEIS 2010: 241-250
27		Paulo E. S. Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antonio D. dos S. Junior: Semantic Equations for Formal Models in the Model-Driven Architecture. DoCEIS 2010: 251-260
26		André Jorge, João Guerreiro, Pedro Pereira, João André Martins, Luís Gomes: Energy Consumption Monitoring System for Large Complexes. DoCEIS 2010: 419-426
	2009
25		José Aires, Gabriel Pereira Lopes, Luís Gomes: Phrase Translation Extraction from Aligned Parallel Corpora Using Suffix Arrays and Related Structures. EPIA 2009: 587-597
24		Michael Figueiredo, Tomasz Michalak, João Goes, Luís Gomes, Pawel Sniatala: Improved clock-phase generator based on self-biased CMOS logic for time-interleaved SC circuits. ICECS 2009: 763-766
23		Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior, Anikó Costa, Luís Gomes: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. J. UCS 15(11): 2196-2224 (2009)
	2008
22		João Lourenço, Luís Gomes: Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. Petri Nets 2008: 409-418
	2007
21		Anikó Costa, Luís Gomes: Module Composition within Petri Nets Model-based Development. SIES 2007: 316-319
	2006
20		Anikó Costa, Luís Gomes: Partitioning of Petri net models amenable for Distributed Execution. ETFA 2006: 1129-1132
19		Luís Gomes, Anikó Costa: Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA 2006: 1230-1237
	2005
18		Rui Pais, S. P. Barros, Luís Gomes: A tool for tailored code generation from Petri net models. ETFA 2005
17		Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Towards usage of formal methods within embedded systems co-design. ETFA 2005
16		Luís Gomes, Anikó Costa: Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE 2005: 105-106
15		Luís Gomes, Anikó Costa: Remote Laboratory Support for an Introductory Microprocessor Course. MSE 2005: 21-22
14		Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC 2005: 143-150
13		Luís Gomes, João Paulo Barros: Models of Computation for Embedded Systems. The Industrial Information Technology Handbook 2005: 1-17
12		Luís Gomes, Anikó Costa: Hardware-level Design Languages. The Industrial Information Technology Handbook 2005: 1-18
11		Luís Gomes, João Paulo Barros: Structuring and composability issues in Petri nets modeling. IEEE Trans. Industrial Informatics 1(2): 112-123 (2005)
	2004
10		Paul Nicolae Borza, Luís Gomes, Gheorghe Scutaru: e-learning and Virtual and Remote Laboratories, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, VIRTUAL-LAB 2004, In conjunction with ICINCO 2004, Setúbal, Portugal, August 2004 INSTICC Press 2004
9		João Paulo Barros, Luís Gomes: On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN 2004: 117-136
8		João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias: From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis. ICINCO (2) 2004: 464-467
7		Paul Nicolae Borza, Gheorghe Scutaru, Luís Gomes, Anikó Costa, Lazar Laszlo: Implementation of a remote and virtual laboratory in the field of home appliance systems. VIRTUAL-LAB 2004: 60-68
6		Luís Gomes, Anikó Costa: Embedded Systems Introductory Course supported by remote experiments. VIRTUAL-LAB 2004: 89-98
	2003
5		João Paulo Barros, Luís Gomes: Modifying Petri Net Models by Means of Crosscutting Operations. ACSD 2003: 177-186
4		Luís Gomes, Anikó Costa: On Lifting of Statechart Structuring Mechanisms. ACSD 2003: 206-215
3		Luís Gomes, Anikó Costa: From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE 2003: 24-33
	2001
2		Luís Gomes: Introducing Programmable Logic Devices into Digital Design. MSE 2001: 73-74
	1995
1		Luís Gomes, Adolfo Steiger-Garção: Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. Application and Theory of Petri Nets 1995: 218-237

Coauthor Index

1	José Aires	[25]
2	André Aranha	[34]
3	Paulo E. S. Barbosa	[23] [27] [28] [34] [36]
4	João Paulo Barros	[5] [8] [9] [11] [13] [14] [17] [29] [34] [36] [37]
5	S. P. Barros	[18]
6	Paul Nicolae Borza	[7] [10]
7	Luis M. Camarinha-Matos	[38]
8	Rogério Campos-Rebelo	[39]
9	Anikó Costa	[3] [4] [6] [7] [12] [14] [15] [16] [17] [19] [20] [21] [23] [27] [28] [34] [36] [39]
10	Jorge Costa	[31]
11	Rui Dias	[8]
12	Luiz Faria	[32]
13	João M. Fernandes	[29] [30]
14	Jorge Figueiredo	[27] [34] [36]
15	Jorge C. A. de Figueiredo (Jorge Cesar Abrantes de Figueiredo)	[23] [28]
16	Michael Figueiredo	[24]
17	João Goes	[24] [38]
18	João Guerreiro	[26]
19	André Jorge	[26]
20	Antonio D. dos S. Junior	[23] [27] [28]
21	Victor Khomenko	[30]
22	Lazar Laszlo	[7]
23	José Gabriel Pereira Lopes (Gabriel Pereira Lopes, José Gabriel Lopes)	[25] [31] [33]
24	João Lourenço	[22]
25	Ricardo Jorge Machado	[29]
26	Albino Marques	[32]
27	João André Martins	[26] [38]
28	Tomasz Michalak	[24]
29	André Monteiro	[36]
30	Filipe Moutinho	[14] [17] [34] [35] [36] [40] [41]
31	Rui Pais	[8] [14] [17] [18] [37]
32	Fernando Pereira (Fernando Manuel Bernardo Pereira)	[35] [41]
33	Pedro Pereira	[26]
34	Franklin Ramalho (Franklin de S. Ramalho)	[23] [27] [28] [34] [36]
35	Carlos Ramos	[32]
36	Luís M. S. Russo	[31]
37	Gheorghe Scutaru	[7] [10]
38	António Silva	[32]
39	Pawel Sniatala	[24]
40	Adolfo Steiger-Garção	[1]
41	Zita A. Vale	[32]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page