
Search the dblp DataBase
Narjes Berregeb:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
Automated Verification by Induction with AssociativeCommutative Operators. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:220231 [Conf]
 Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
Observational Proofs with Critical Contexts. [Citation Graph (0, 0)][DBLP] FASE, 1998, pp:3853 [Conf]
 Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
SPIKEAC: A System for Proofs by Induction in AssociativeCommutative Theories. [Citation Graph (0, 0)][DBLP] RTA, 1996, pp:428431 [Conf]
 Narjes Berregeb, Riadh Robbana
On the Verification by Approximation of Duration Systems. [Citation Graph (0, 0)][DBLP] Int. Arab J. Inf. Technol., 2004, v:1, n:2, pp:147155 [Journal]
 Narjes Berregeb
Proving Properties for Behavioural Specifications with Term Observation. [Citation Graph (0, 0)][DBLP] J. UCS, 2006, v:12, n:10, pp:14131425 [Journal]
 Narjes Berregeb, Riadh Robbana, Ashish Tiwari
Towards automated proofs of observational properties. [Citation Graph (0, 0)][DBLP] Discrete Mathematics & Theoretical Computer Science, 2004, v:6, n:2, pp:143162 [Journal]
Reasoning about Cryptographic Protocols in Observational Theories. [Citation Graph (, )][DBLP]
Search in 0.016secs, Finished in 0.016secs
