Vasile Alaiba
Vasile Alaiba
Faculty of Computer Science, Alexandru Ioan Cuza University
Bestätigte E-Mail-Adresse bei info.uaic.ro - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A rigorous methodology for specification and verification of business processes
C Masalagiu, WN Chin, Ş Andrei, V Alaiba
Formal aspects of computing 21 (5), 495-510, 2009
112009
Agent architecture for building Robocode players with SWI-Prolog
V Alaiba, A Rotaru
2008 International Multiconference on Computer Science and Information …, 2008
52008
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, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6