default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDdblp keys for Patrick Cousot
- > Home > Persons > Patrick Cousot
Patrick Cousot
Keys
# of data records = 126
homepages/c/PCousot journals/pacmpl/Cousot24 books/sp/24/Cousot24 conf/birthday/Cousot23 journals/corr/abs-2310-15340 journals/toplas/DengC22 conf/birthday/Cousot22 journals/corr/abs-2209-14945 journals/tcs/Cousot21 conf/birthday/Cousot21 journals/pacmpl/CousotGR19 conf/ictac/Cousot19 conf/lopstr/Cousot19 conf/sas/Cousot19 conf/sas/YinCL0C19 conf/sas/DengC19 conf/sas/Cousot19a journals/corr/abs-1907-08251 conf/cav/CousotGR18 conf/popl/AlglaveC17 journals/corr/AlglaveC16 journals/corr/AlglaveCM16 journals/dagstuhl-reports/AlglaveCU16 journals/ftpl/BertraneCCFMMR15 conf/ppdp/Cousot15 conf/sas/ChenC15 conf/tase/Cousot15 conf/vmcai/Cousot15 conf/csl/CousotC14 conf/popl/CousotC14 journals/dagstuhl-reports/CousotKS14 conf/fase/TrippPCCG13 conf/vmcai/CousotCFL13 journals/jacm/CousotCM12 conf/esop/CousotM12 conf/nfm/Cousot12 conf/oopsla/LogozzoBFCC12 conf/oopsla/CousotCLB12 conf/popl/CousotC12 journals/sigsoft/BertraneCCFMMR11 journals/tcs/CousotC11 conf/esop/ChenMWC11 conf/fossacs/CousotCM11 conf/popl/CousotCL11 conf/vmcai/CousotCL11 conf/birthday/CousotCM10a conf/birthday/CousotCM10 conf/vmcai/ChenMWC10 series/natosec/CousotC10 journals/fmsd/CousotCFMMR09 journals/iandc/CousotC09 journals/stt/KastnerFWNHCCFMMRS09 journals/tcs/CousotCG09 conf/sas/ChenMWC09 journals/cacm/HincheyJCCBM08 conf/aplas/ChenMC08 conf/emsoft/Cousot07 conf/isola/Cousot07 conf/sas/CousotGR07 conf/sefm/Cousot07 conf/tase/CousotCFMMMR07 journals/entcs/CousotC07 journals/corr/abs-cs-0701193 conf/asian/CousotCFMMMR06 conf/birthday/CousotC06 conf/aplas/Cousot05 conf/esop/CousotCFMMMR05 conf/vmcai/Cousot05 conf/vstte/Cousot05 conf/ifip/CousotC04 conf/popl/CousotC04 journals/tcs/CousotC03 conf/birthday/Cousot03 conf/pldi/BlanchetCCFMMMR03 conf/vmcai/Cousot03 conf/getco/2002 journals/tcs/Cousot02 conf/birthday/BlanchetCCFMMMR02 conf/cav/CousotC02 conf/cc/CousotC02 conf/popl/CousotC02 conf/spin/Cousot02 conf/getco/2001 conf/dagstuhl/Cousot01 conf/emsoft/CousotC01 conf/iclp/Cousot01 journals/entcs/CousotC01 conf/sas/2001 conf/popl/CousotC00 conf/sara/Cousot00 conf/getco/2000 journals/ase/CousotC99 journals/csur/Cousot99 journals/sigplan/Cousot97 conf/amast/CousotC97 conf/popl/Cousot97 conf/sas/Cousot97 journals/entcs/Cousot97 journals/csur/Cousot96 journals/csur/Cousot96a conf/lomaps/NielsonCDDJMT96 conf/agp/Cousot95 conf/cav/CousotC95 conf/fpca/CousotC95 conf/iccl/CousotC94 journals/tcs/CousotC93 conf/ershov/CousotC93 conf/sas/1993 journals/jlp/CousotC92 journals/logcom/CousotC92 conf/plilp/CousotC92 conf/popl/CousotC92 conf/iclp/Cousot91 conf/sas/CousotC91 conf/sas/CousotC91a books/el/leeuwen90/Cousot90 journals/iandc/CousotC89 journals/acta/CousotC87 conf/icalp/CousotC80 conf/popl/CousotC79 books/hal/Cousot78 conf/popl/CousotH78 conf/ifip2/CousotC77 conf/ldrs/CousotC77 conf/popl/CousotC77 journals/sigart/CousotC77
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-25 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
