Vasile Alaiba

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba
A rigorous methodology for specification and verification of business processes. Formal Aspects Comput. 21 (5) (2009)
Vasile Alaiba, Armand Rotaru
Agent architecture for building Robocode players with SWI-Prolog. IMCSIT (2008)
Cristian Masalagiu, Vasile Alaiba
Concurrent Negotiation Protocol for an Elevator Group Controller. Sci. Ann. Cuza Univ. 13 (2003)