default search action

combined dblp search
author search
venue search
publication search

ask others

Narjes Berregeb

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/ZaabarB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/ZaabarB07
Imen Zaabar, Narjes Berregeb:
Reasoning about Cryptographic Protocols in Observational Theories. ECBS 2007: 539-548
2006
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/Berregeb06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/Berregeb06
Narjes Berregeb:
Proving Properties for Behavioural Specifications with Term Observation. J. Univers. Comput. Sci. 12(10): 1413-1425 (2006)
2004
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dmtcs/BerregebRT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dmtcs/BerregebRT04
Narjes Berregeb, Riadh Robbana, Ashish Tiwari:
Towards automated proofs of observational properties. Discret. Math. Theor. Comput. Sci. 6(2): 143-162 (2004)
[j1]
- view
  - electronic edition @ iajit.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iajit/BerregebR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iajit/BerregebR04
Narjes Berregeb, Riadh Robbana:
On the Verification by Approximation of Duration Systems. Int. Arab J. Inf. Technol. 1(2): 147-155 (2004)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BerregebBR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BerregebBR98
Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch:
Observational Proofs with Critical Contexts. FASE 1998: 38-53
1996
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BerregebBR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BerregebBR96
Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch:
Automated Verification by Induction with Associative-Commutative Operators. CAV 1996: 220-231
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/BerregebBR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BerregebBR96
Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch:
SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. RTA 1996: 428-431

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.