2005 Collaboration Evaluation
3rd Year Students
Tomas BARROS
. PhD student Project OASIS.
Formal Specification and Verification of Distributed Component Systems
(
PDF
)
Mauricio REYES
. PhD student Project EPIDAURE.
Gonzalo ROBLEDO
. PhD student Project COMORE.
Mauricio ARAYA
. PhD student Project TROPICS.
2nd Year Students
Javier BUSTOS
. PhD student Project OASIS.
Balancing Active Objects on a P2P Infrastructure
(
PDF
)
Carlos GRANDON
. PhD student Project COPRIN.
Solving Distance CSP with Uncertainties
(
PDF
)
Nelson MORALES
. PhD student Project MASCOTTE.
Gathering in Radio Static Networks.
(
PDF
)
1st Year Students
Angela GANZ. PhD student Project OMEGA
Approximating the Stationary Solution of the Mc-Kean Vlasov Equation
(
PDF
)
Marcelo MOISAN
. PhD student Project COMORE.
Interval Observers for Non Monotone Systems Application to Byoprocess Models.
(
PDF
)
Marcos ZUÑIGA. PhD student Project ORION.
Alfredo ILLANES. PhD student Project SOSSO2 INRIA-Rennes.
Zero Year Students (Arriving students)
Marcela RIVERA. Project OASIS.
Efficient Automatic tools for model -cheking distributed Java applications
(PDF)
Maria José ESCOBAR
Patricio REYES
Antonio CANSADO. PhD student Project OASIS.
Mario LEYTON. PhD student Project OASIS.
Skeletons and Component Reconfiguration for the Grid.
(PDF)
Offsite Students
Vicente ACUNA
Michel TESMER
Carito VARGAS