Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Všechny
Od 2019
Citace
15
15
h-index
2
2
i10-index
1
1
0
12
6
2022
2023
2024
1
11
3
Spoluautoři
Arthur Charguéraud
Inria
E-mailová adresa ověřena na: inria.fr
François Pottier
Inria Paris
E-mailová adresa ověřena na: inria.fr
Sam Westrick
Carnegie Mellon University
E-mailová adresa ověřena na: cs.cmu.edu
Stephanie Balzer
Carnegie Mellon University
E-mailová adresa ověřena na: cs.cmu.edu
Yann Régis-Gianas
IRIF, CNRS, INRIA, Paris Diderot University
E-mailová adresa ověřena na: pps.univ-paris-diderot.fr
Sledovat
Alexandre Moine
Inria Paris
E-mailová adresa ověřena na: inria.fr -
Domovská stránka
computer science
formal verification
separation logic
Články
Citace
Spoluautoři
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
A High-Level Separation Logic for Heap Space under Garbage Collection
A Moine, A Charguéraud, F Pottier
Proceedings of the ACM on Programming Languages 7 (POPL)
, 2023
11
2023
Specification and Verification of a Transient Stack
A Moine, A Charguéraud, F Pottier
International Conference on Certified Programs and Proofs (CPP)
, 2022
3
2022
DisLog: A Separation Logic for Disentanglement
A Moine, S Westrick, S Balzer
Proceedings of the ACM on Programming Languages 8 (POPL), 302-331
, 2024
1
2024
Détection de définitions OCaml similaires (ou comment ne plus voir double à dos de chameau)
A Moine, Y Régis-Gianas
Journées Francophones des Langages Applicatifs (JFLA), 144
, 2020
2020
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–4
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě