Carlos Varela

According to our database, Carlos Varela authored at least 6 papers between 2003 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Equational and Inductive Reasoning for Maude in Athena.

Mateo Sanabria, Carlos Varela, Camilo Rocha, Nicolás Cardozo

CoRR, April, 2026

Verification of Autonomous Systems with Optimal Controllers.

Dylan Le, Joel McCandless, Carlos Varela, Radoslav Ivanov

CoRR, April, 2026

2007

Erlang/OTP Framework for Complex Management Applications Development.

Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge

Proceedings of the WEBIST 2007, 2007

2006

Formalisation of a Functional Risk Management System.

Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela

Proceedings of the ICEIS 2006, 2006

2004

On modelling agent systems with Erlang.

Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías

Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, 2004

2003

ARMISTICE: an experience developing management software with Erlang.

David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003