Vasile Alaiba

According to our database, Vasile Alaiba authored at least 3 papers between 2003 and 2009.

Collaborative distances:

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

2009

A rigorous methodology for specification and verification of business processes.

Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba

Formal Aspects Comput., 2009

2008

Agent architecture for building Robocode players with SWI-Prolog.

Vasile Alaiba, Armand Rotaru

Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

2003

Concurrent Negotiation Protocol for an Elevator Group Controller.

Cristian Masalagiu, Vasile Alaiba

Sci. Ann. Cuza Univ., 2003