Kyller Costa Gorgônio

	2008
7		Kyller Costa Gorgônio, Fei Xia: Modeling and verifying asynchronous communication mechanisms using coloured Petri nets. ACSD 2008: 138-147
6		Loreno Oliveira, Kyller Costa Gorgônio, Angelo Perkusich, Leandro Dias da Silva: Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications. ISCC 2008: 631-636
5		Kyller Costa Gorgônio, Jordi Cortadella: Hardware Synthesis for Asynchronous Communications Mechanisms. SCCC 2008: 135-143
	2007
4		Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia: A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. ICATPN 2007: 144-163
3		Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev: Automating Synthesis of Asynchronous Communication Mechanisms. Fundam. Inform. 78(1): 75-100 (2007)
	2005
2		Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev: Automating Synthesis of Asynchronous Communication Mechanisms. ACSD 2005: 166-175
	2002
1		Kyller Costa Gorgônio, Angelo Perkusich: Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse. ICSR 2002: 240-254

Coauthor Index

1	Jordi Cortadella	[2] [3] [4] [5]
2	Loreno Oliveira	[6]
3	Angelo Perkusich	[1] [6]
4	Leandro Dias da Silva	[6]
5	Fei Xia	[2] [3] [4] [7]
6	Alexandre Yakovlev (Alex Yakovlev)	[2] [3]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page