VIAF

Virtual International Authority File

Search

Cousot, Patrick National Library of France ISNI Sudoc [ABES], France

Cousot, Patrick, 1948- National Library of the Netherlands National Library of the Czech Republic Library of Congress/NACO NUKAT Center of Warsaw University Library

Patrick Cousot Wikidata

VIAF ID: 72073515 (Personal)

Permalink: http://viaf.org/viaf/72073515

ISNI: 0000  0001  0986  3767 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (5)

Open Section Close SectionWorks

Title Sources
Algebraic model based on the Petri nets for parallel systems study. Sudoc [ABES], France
ANALYSE D'ECHAPPEMENT. APPLICATIONS A ML ET JAVA (TM) Sudoc [ABES], France
Analyse statique de systèmes synchrones communicants à horloges imparfaites par interprétation abstraite à temps-continu Sudoc [ABES], France
Analysis of probabilistic programs by abstract interpretation Sudoc [ABES], France
Bulletin of the working group on machine oriented higher level languages Bulletin du groupe de travail sur les langages d'implémentation de systèmes Sudoc [ABES], France
Définition interprétative et implantation de langages de programmation National Library of France Sudoc [ABES], France
DEMONSTRATION AUTOMATIQUE EN LOGIQUE CLASSIQUE : COMPLEXITE ET METHODES Sudoc [ABES], France
Domaines numériques abstraits faiblement relationnels Sudoc [ABES], France
INTERPRETATION ABSTRAITE APPLIQUEE A LA COMPILATION ET LA PARALLELISATION EN PROGRAMMATION LOGIQUE Sudoc [ABES], France
Introduction à l'algorithmique et à la programmation en Pascal : Exercices et corrigés National Library of France Sudoc [ABES], France
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes Sudoc [ABES], France
Un modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles Sudoc [ABES], France
REPRESENTATION D'ENSEMBLES D'ARBRES POUR L'INTERPRETATION ABSTRAITE Sudoc [ABES], France
SAS 2001 National Library of the Netherlands
Semantic analysis of dynamic daba structures applied to the special of LISP like languages. Sudoc [ABES], France
SEMANTIQUES DES LANGAGES IMPERATIFS D'ORDRE SUPERIEUR ET INTERPRETATION ABSTRAITE Sudoc [ABES], France
Static analysis : 8th International symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Static analysis of communicating imperfectly-clocked synchronous systems using continuous-time abstract domains. Sudoc [ABES], France
Static analysis / Patrick Cousot [et al.] (eds.). - Berlin, 1993. NUKAT Center of Warsaw University Library
Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings National Library of the Netherlands Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library
Structures de données et de programmes Sudoc [ABES], France
Système d'exploitation UNIX et réseaux d'ordinateurs 2e année, majeure 2 National Library of France Sudoc [ABES], France
Utilisation de l'interprèteur Pascal du Macintosh Sudoc [ABES], France
UTILISATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE POUR LA MODELISATION DU MOUVEMENT D'OBJETS ANIMES Sudoc [ABES], France
Weakly relational numerical abstract domains. Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section History of VIAF ID:72073515 (12)