Manuel Aguilar Cornejo

2008
2	EE	José L. Quiroz-Fabian, Manuel Aguilar Cornejo, Graciela Román-Alonso, Miguel A. Castro-García: Model Checking for Integrating Dynamic Load Distribution into Parallel Applications. ENC 2008: 221-231
2001
1		Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma: Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. DAIS 2001: 229-244

Coauthor Index

1	Miguel A. Castro-García	[2]
2	Hubert Garavel	[1]
3	Radu Mateescu	[1]
4	Noel De Palma	[1]
5	José L. Quiroz-Fabian	[2]
6	Graciela Román-Alonso	[2]

Colors in the list of coauthors