Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Kyller Costa
Last name:	Gorgônio
DBLP:	55/5107
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 7 of 7  

Select a publication
Show	Title	Venue	Rating	Date
	Kyller Costa Gorgônio, Fei Xia. Modeling and verifying asynchronous communication mechanisms using coloured Petri nets.	8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008 2008	(0)	2008
	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.	Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco 2008	(0)	2008
	Kyller Costa Gorgônio, Jordi Cortadella. Hardware Synthesis for Asynchronous Communications Mechanisms.	XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 10-14 November 2008, Punta Arenas, Chile 2008	(0)	2008
	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia. A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings 2007	(0)	2007
	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev. Automating Synthesis of Asynchronous Communication Mechanisms.	Fundam. Inform. 2007, Volume 78	(0)	2007
	Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev. Automating Synthesis of Asynchronous Communication Mechanisms.	Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France 2005	(0)	2005
	Kyller Costa Gorgônio, Angelo Perkusich. Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse.	Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings 2002	(0)	2002

Your query returned 7 matches in the database.