Achraf Makni

	2007
4		Achraf Makni, Rafik Bouaziz, Faïez Gargouri: Performance Evaluation of an Optimistic Concurrency Control Algorithm Ensuring Strong Consistency for Transaction Time Relations. Enterprise Information Systems and Web Technologies 2007: 258-265
3		Achraf Makni, Rafik Bouaziz, Faïez Gargouri: Formal verification of a new optimistic concurrency control algorithm for temporal databases. SEDE 2007: 235-242
	2006
2		Achraf Makni, Rafik Bouaziz, Faïez Gargouri: Formal Verification of an Access Concurrency Control Algorithm for Transaction Time Relations. ICEIS (1) 2006: 269-272
1		Achraf Makni, Rafik Bouaziz, Faïez Gargouri: Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. TIME 2006: 160-167

Coauthor Index

1	Rafik Bouaziz	[1] [2] [3] [4]
2	Faïez Gargouri	[1] [2] [3] [4]