Mark A. J. Song

	2009
12		S. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song: Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS 2009: 89-94
11		Andrei Rimsa, Luis E. Zárate, Mark A. J. Song: Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations. ICCS (1) 2009: 367-376
10		Andrei Rimsa, Luis E. Zárate, Mark A. J. Song: Handling Large Formal Context Using BDD - Perspectives and Limitations. ICFCA 2009: 194-209
	2007
9		Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate: Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538
8		Luis E. Zárate, Sergio M. Dias, Mark A. J. Song: FCANN Method Applications for Knowledge Extraction From Previously Trained ANN. IJCNN 2007: 649-654
	2006
7		Mark A. J. Song, Luis E. Zárate, Sergio M. Dias, A. Alvarez, B. Soares, Bruno M. Nogueira, Renato Vimieiro, Tadeu R. A. Santos, N. Vieira: SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study. SEKE 2006: 631-638
6		Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho: The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems. Electronic Commerce Research 6(3-4): 265-303 (2006)
	2005
5		Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate: Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204
4		Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos: Formal Verification of Transactional Systems. WEBIST 2005: 194-197
	2003
3		Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.: Extending UML to Specify and Verify E-commerce Systems. SEKE 2003: 306-313
2		Mark A. J. Song, Adriano M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.: A Software Engineering Process to Specify and Verify E-Commerce Systems. Software Engineering Research and Practice 2003: 419-425
	2002
1		Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos: A Formal Methodology to Specify E-commerce Systems. ICFEM 2002: 180-191

Coauthor Index

1	A. Alvarez	[7]
2	Hugo Barros	[9]
3	S. Campos	[12]
4	Sérgio Vale Aguiar Campos	[1] [2] [3] [4] [5] [9]
5	Sergio M. Dias	[7] [8]
6	Gustavo Gorgulho	[1] [2] [3] [6]
7	Fernanda Lima	[2] [3]
8	Wagner Meira Jr.	[1] [2] [3]
9	J. Neves	[12]
10	Bruno M. Nogueira	[7]
11	Adriano M. Pereira	[1] [2] [3] [4] [5] [6]
12	Andrei Rimsa	[10] [11]
13	Tadeu R. A. Santos	[7]
14	B. Soares	[7]
15	N. Vieira	[7]
16	Renato Vimieiro	[7]
17	Luis E. Zárate	[5] [7] [8] [9] [10] [11] [12]