A rigorous methodology for specification and verification of business processes C Masalagiu, WN Chin, Ş Andrei, V Alaiba Formal Aspects of Computing 21, 495-510, 2009 | 11 | 2009 |
Agent architecture for building Robocode players with SWI-Prolog V Alaiba, A Rotaru 2008 International Multiconference on Computer Science and Information …, 2008 | 10 | 2008 |
Logic Engineering with Applications to Security C MASALAGIU, DV ALAIBA | 1* | |
TOWARDS A UNIFIED THEOREM OF SOUNDNESS AND COMPLETENESS FOR RESOLUTION IN DIFFERENT 2-VALUED LOGICS C Masalagiu, V Alaiba | | 2011 |
Concurrent Negotiation Protocol for an Elevator Group Controller. C Masalagiu, V Alaiba Sci. Ann. Cuza Univ. 13, 79-90, 2003 | | 2003 |
Multiconference on Computer Science and Information Technology V Alaiba, A Rotaru, G Cabri, L Leonardi, R Quitadamo, M Puviani, K Fuks, ... | | |