Concurrent Negotiation Protocol for an Elevator Group Controller. - Cristian Masalagiu; Vasile Alaiba (Sci. Ann. Cuza Univ., 2003)

Agent architecture for building Robocode players with SWI-Prolog. - Vasile Alaiba; Armand Rotaru (IMCSIT, 2008)

A rigorous methodology for specification and verification of business processes. - Cristian Masalagiu; Wei-Ngan Chin; Stefan Andrei; Vasile Alaiba (Formal Aspects Comput., 2009)