Radhia Cousot (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Radhia Cousot" in English language version.

refsWebsite

Global rank English rank

6,325^th place

8,806^th place

1,185^th place

840^th place

207^th place

136^th place

2^nd place

2^nd place

2semanticscholar.org

11^th place

8^th place

low place

low place

2,402^nd place

5,549^th place

low place

low place

low place

low place

5,196^th place

3,635^th place

1staticanalysis.org

low place

low place

absint.com

"Astrée Runtime Error Analyzer". www.absint.com.

acm.org

dl.acm.org

Cousot, Patrick; Cousot, Radhia (1 January 1977). "Abstract interpretation". Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. ACM. pp. 238–252. CiteSeerX 10.1.1.216.8213. doi:10.1145/512950.512973. S2CID 207614632 – via dl.acm.org.
Cousot, Patrick; Cousot, Radhia (1 January 1979). "Systematic design of program analysis frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM. pp. 269–282. CiteSeerX 10.1.1.207.2895. doi:10.1145/567752.567778. S2CID 1547466 – via dl.acm.org.

cnrs.fr

"Institut des sciences de l'information et de leurs interactions - CNRS - Disparition de Radhia Cousot". www.cnrs.fr.

computer.org

"Harlan D. Mills Award • IEEE Computer Society". www.computer.org.

doi.org

Cousot, Patrick; Cousot, Radhia (1 January 1977). "Abstract interpretation". Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. ACM. pp. 238–252. CiteSeerX 10.1.1.216.8213. doi:10.1145/512950.512973. S2CID 207614632 – via dl.acm.org.
Cousot, Patrick; Cousot, Radhia (1 January 1979). "Systematic design of program analysis frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM. pp. 269–282. CiteSeerX 10.1.1.207.2895. doi:10.1145/567752.567778. S2CID 1547466 – via dl.acm.org.

ens.fr

di.ens.fr

"R. Cousot, Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles". www.di.ens.fr.
"Radhia Cousot best young researcher paper award". www.di.ens.fr.

astree.ens.fr

"Home page of the Astrée Static Analyzer at ENS". ens.fr.

psu.edu

citeseerx.ist.psu.edu

Cousot, Patrick; Cousot, Radhia (1 January 1977). "Abstract interpretation". Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. ACM. pp. 238–252. CiteSeerX 10.1.1.216.8213. doi:10.1145/512950.512973. S2CID 207614632 – via dl.acm.org.
Cousot, Patrick; Cousot, Radhia (1 January 1979). "Systematic design of program analysis frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM. pp. 269–282. CiteSeerX 10.1.1.207.2895. doi:10.1145/567752.567778. S2CID 1547466 – via dl.acm.org.

semanticscholar.org

api.semanticscholar.org

Cousot, Patrick; Cousot, Radhia (1 January 1977). "Abstract interpretation". Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. ACM. pp. 238–252. CiteSeerX 10.1.1.216.8213. doi:10.1145/512950.512973. S2CID 207614632 – via dl.acm.org.
Cousot, Patrick; Cousot, Radhia (1 January 1979). "Systematic design of program analysis frameworks". Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '79. ACM. pp. 269–282. CiteSeerX 10.1.1.207.2895. doi:10.1145/567752.567778. S2CID 1547466 – via dl.acm.org.

sigplan.org

"Programming Languages Achievement Award". www.sigplan.org.

staticanalysis.org

"Static Analysis Symposia Central Site". staticanalysis.org.

wikipedia.org

fr.wikipedia.org

In the 1980s, there existed in France two levels of PhDs, the higher one, the Doctorate ès Sciences/State Doctorate being necessary to access professorships. It has since been replaced by the habilitation.