sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000109863767 | 1 hits
Person
ISNI: 
0000 0001 0986 3767
Name: 
Cousot, Patrick
Patrick Cousot
Patrick Cousot (Frans informaticus)
Patrick Cousot (fransk ingeniør og informatikar)
Patrick Cousot (fransk ingeniør og informatiker)
Patrick Cousot (fransk ingenjör och datavetare)
Patrick Cousot (French computer scientist)
Dates: 
1948-
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
Related names: 
Bolliet, Louis
Demazure, Michel (1937-....))
Griffiths, Michael (1940-....))
Miné, Antoine (1977-...))
Monniaux, David (1976-))
Rauzy, Antoine
Roucairol, Gérard
Stransky, Jan (1961-....))
Vautherin, Jacques
Titles: 
Algebraic model based on the Petri nets for parallel systems study.
ANALYSE D'ECHAPPEMENT. APPLICATIONS A ML ET JAVA (TM)
Analyse statique de systèmes synchrones communicants à horloges imparfaites par interprétation abstraite à temps-continu
Analysis of probabilistic programs by abstract interpretation
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
Définition interprétative et implantation de langages de programmation
DEMONSTRATION AUTOMATIQUE EN LOGIQUE CLASSIQUE : COMPLEXITE ET METHODES
Domaines numériques abstraits faiblement relationnels
INTERPRETATION ABSTRAITE APPLIQUEE A LA COMPILATION ET LA PARALLELISATION EN PROGRAMMATION LOGIQUE
Introduction à l'algorithmique et à la programmation en Pascal cours et exercices corrigés
Introduction à l'algorithmique et à la programmation en Pascal leçon de présentation
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
modèle algébrique, basé sur les réseaux de Petri, pour l'étude des systèmes parallèles, Un
REPRESENTATION D'ENSEMBLES D'ARBRES POUR L'INTERPRETATION ABSTRAITE
SAS 2001
Semantic analysis of dynamic daba structures applied to the special of LISP like languages.
SEMANTIQUES DES LANGAGES IMPERATIFS D'ORDRE SUPERIEUR ET INTERPRETATION ABSTRAITE
Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings
Static analysis of communicating imperfectly-clocked synchronous systems using continuous-time abstract domains.
Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings
Structures de données et de programmes
Système d'exploitation Unix et réseaux d'ordinateurs : 2e année, Majeure 2
Utilisation de l'interprèteur Pascal du Macintosh
UTILISATION DES TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE POUR LA MODELISATION DU MOUVEMENT D'OBJETS ANIMES
Weakly relational numerical abstract domains.
Notes: 
Sources: 
VIAF LC NKC NUKAT SUDOC WKD
BOWKER
NTA