The SCEAS System
Navigation Menu

Search the dblp DataBase


Luís Gomes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. João Paulo Barros, Luís Gomes
    Modifying Petri Net Models by Means of Crosscutting Operations. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:177-186 [Conf]
  2. Luís Gomes, Anikó Costa
    On Lifting of Statechart Structuring Mechanisms. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:206-215 [Conf]
  3. João Paulo Barros, Luís Gomes
    On the Use of Coloured Petri Nets for Object-Oriented Design. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:117-136 [Conf]
  4. Luís Gomes, Adolfo Steiger-Garção
    Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:218-237 [Conf]
  5. João Paulo Barros, Luís Gomes, Rui Pais, Rui Dias
    From Petri Nets to Executable Systems: An Environment for Code Generation and Analysis. [Citation Graph (0, 0)][DBLP]
    ICINCO (2), 2004, pp:464-467 [Conf]
  6. Luís Gomes, Anikó Costa
    From Use Cases to System Implementation: Statechart Based Co-design. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2003, pp:24-33 [Conf]
  7. Luís Gomes
    Introducing Programmable Logic Devices into Digital Design. [Citation Graph (0, 0)][DBLP]
    MSE, 2001, pp:73-74 [Conf]
  8. Luís Gomes, Anikó Costa
    Remote Laboratory Support for an Introductory Microprocessor Course. [Citation Graph (0, 0)][DBLP]
    MSE, 2005, pp:21-22 [Conf]
  9. Luís Gomes, Anikó Costa
    Teaching Formal Methods Within System-on-a-Programmable-Chip Design. [Citation Graph (0, 0)][DBLP]
    MSE, 2005, pp:105-106 [Conf]
  10. Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
    Formal methods for Embedded Systems Co-design: the FORDESIGN project. [Citation Graph (0, 0)][DBLP]
    ReCoSoC, 2005, pp:143-150 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    VIRTUAL-LAB, 2004, pp:60-68 [Conf]
  12. Luís Gomes, Anikó Costa
    Embedded Systems Introductory Course supported by remote experiments. [Citation Graph (0, 0)][DBLP]
    VIRTUAL-LAB, 2004, pp:89-98 [Conf]
  13. Luís Gomes, Anikó Costa
    Removing ill-structured arcs in Hierarchical and Concurrent State Diagrams. [Citation Graph (0, 0)][DBLP]
    ETFA, 2006, pp:1230-1237 [Conf]
  14. Anikó Costa, Luís Gomes
    Partitioning of Petri net models amenable for Distributed Execution. [Citation Graph (0, 0)][DBLP]
    ETFA, 2006, pp:1129-1132 [Conf]
  15. Rui Pais, S. P. Barros, Luís Gomes
    A tool for tailored code generation from Petri net models. [Citation Graph (0, 0)][DBLP]
    ETFA, 2005, pp:- [Conf]
  16. Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho
    Towards usage of formal methods within embedded systems co-design. [Citation Graph (0, 0)][DBLP]
    ETFA, 2005, pp:- [Conf]

  17. Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. [Citation Graph (, )][DBLP]

  18. Energy Consumption Monitoring System for Large Complexes. [Citation Graph (, )][DBLP]

  19. Semantic Equations for Formal Models in the Model-Driven Architecture. [Citation Graph (, )][DBLP]

  20. Properties Preservation in Distributed Execution of Petri Nets Models. [Citation Graph (, )][DBLP]

  21. Module Composition within Petri Nets Model-based Development. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002