Luís Gomes Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

22EEJoã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
21EEAnikó Costa, Luís Gomes: Module Composition within Petri Nets Model-based Development. SIES 2007: 316-319
20EEAnikó Costa, Luís Gomes: Partitioning of Petri net models amenable for Distributed Execution. ETFA 2006: 1129-1132
19EELuís Gomes, Anikó Costa: Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. ETFA 2006: 1230-1237
18EERui Pais, S. P. Barros, Luís Gomes: A tool for tailored code generation from Petri net models. ETFA 2005
17EELuís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Towards usage of formal methods within embedded systems co-design. ETFA 2005
16EELuís Gomes, Anikó Costa: Teaching Formal Methods Within System-on-a-Programmable-Chip Design. MSE 2005: 105-106
15EELuí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
11EELuís Gomes, João Paulo Barros: Structuring and composability issues in Petri nets modeling. IEEE Trans. Industrial Informatics 1(2): 112-123 (2005)
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
9EEJoã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
5EEJoão Paulo Barros, Luís Gomes: Modifying Petri Net Models by Means of Crosscutting Operations. ACSD 2003: 177-186
4EELuís Gomes, Anikó Costa: On Lifting of Statechart Structuring Mechanisms. ACSD 2003: 206-215
3EELuís Gomes, Anikó Costa: From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE 2003: 24-33
2EELuís Gomes: Introducing Programmable Logic Devices into Digital Design. MSE 2001: 73-74
1EELuí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

1João Paulo Barros [5] [8] [9] [11] [13] [14] [17]
2S. P. Barros [18]
3Paul Nicolae Borza [7] [10]
4Anikó Costa [3] [4] [6] [7] [12] [14] [15] [16] [17] [19] [20] [21]
5Rui Dias [8]
6Lazar Laszlo [7]
7João Lourenço [22]
8Filipe Moutinho [14] [17]
9Rui Pais [8] [14] [17] [18]
10Gheorghe Scutaru [7] [10]
11Adolfo Steiger-Garção [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)