João Paulo Barros

	2011
19		Rui Pais, Luís Gomes, João Paulo Barros: Towards Statecharts to Input-Output Place Transition Nets Transformations. DoCEIS 2011: 227-236
18		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
17		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
16		João Paulo Barros, Luís Biscaia, Miguel Vitória: Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming. ITiCSE 2011: 369
	2010
15		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
	2005
14		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
13		Rui Pais, João Paulo Barros: Two possible approaches for an intermediate GUI course. ITiCSE 2005: 365
12		Rui Pais, João Paulo Barros: Use of flash movies for teaching GUI programming. ITiCSE 2005: 390
11		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
10		Luís Gomes, João Paulo Barros: Models of Computation for Embedded Systems. The Industrial Information Technology Handbook 2005: 1-17
9		Luís Gomes, João Paulo Barros: Structuring and composability issues in Petri nets modeling. IEEE Trans. Industrial Informatics 1(2): 112-123 (2005)
8		João Paulo Barros, Jens Bæk Jørgensen: A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nord. J. Comput. 12(3): 229-250 (2005)
	2004
7		João Paulo Barros, Luís Gomes: On the Use of Coloured Petri Nets for Object-Oriented Design. ICATPN 2004: 117-136
6		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
	2003
5		João Paulo Barros, Luís Gomes: Modifying Petri Net Models by Means of Crosscutting Operations. ACSD 2003: 177-186
4		João Paulo Barros, Luís Estevens, Rui Dias, Rui Pais, Elisabete Soeiro: Using lab exams to ensure programming practice in an introductory programming course. ITiCSE 2003: 16-20
	2002
3		João Paulo Barros: Specific proposals for the use of petri nets in a concurrent programming course. ITiCSE 2002: 165-167
	2001
2		João Paulo Barros: Use petri nets to improve your concurrent programming course. ITiCSE 2001: 192
	2000
1		João Paulo Barros, Rui Pais: A versatile assignment in CS 2(poster session): a file compression utility based on the Huffman code. ITiCSE 2000: 185

Coauthor Index

1	André Aranha	[17]
2	Paulo E. S. Barbosa	[17] [18]
3	Luís Biscaia	[16]
4	Anikó Costa	[11] [14] [17] [18]
5	Rui Dias	[4] [6]
6	Luís Estevens	[4]
7	João M. Fernandes	[15]
8	Jorge Figueiredo	[17] [18]
9	Luís Gomes	[5] [6] [7] [9] [10] [11] [14] [15] [17] [18] [19]
10	Jens Bæk Jørgensen	[8]
11	Ricardo Jorge Machado	[15]
12	André Monteiro	[18]
13	Filipe Moutinho	[11] [14] [17] [18]
14	Rui Pais	[1] [4] [6] [11] [12] [13] [14] [19]
15	Franklin Ramalho (Franklin de S. Ramalho)	[17] [18]
16	Elisabete Soeiro	[4]
17	Miguel Vitória	[16]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page