The SCEAS System
Navigation Menu

Search the dblp DataBase


João Paulo Barros: [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. 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]
  3. 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]
  4. 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]
  5. João Paulo Barros, Jens Bæk Jørgensen
    A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:3, pp:229-250 [Journal]
  6. 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]
  7. Rui Pais, João Paulo Barros
    Use of flash movies for teaching GUI programming. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2005, pp:390- [Conf]
  8. Rui Pais, João Paulo Barros
    Two possible approaches for an intermediate GUI course. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2005, pp:365- [Conf]

  9. Using lab exams to ensure programming practice in an introductory programming course. [Citation Graph (, )][DBLP]

  10. Specific proposals for the use of petri nets in a concurrent programming course. [Citation Graph (, )][DBLP]

  11. Use petri nets to improve your concurrent programming course. [Citation Graph (, )][DBLP]

  12. A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code. [Citation Graph (, )][DBLP]

Search in 0.001secs, Finished in 0.002secs
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