Nalaganje ...
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Št. navedb na leto
Podvojene navedbe
Naslednji članki v Učenjaku so združeni. Pri teh se za
skupno število navedb
upošteva le prvi članek.
Združene navedbe
Ta števec navedb vsebuje navedbe naslednjih člankov v Učenjaku. Tisti, ki so označeni z
*
, se morda razlikujejo od člankov v profilu.
Dodajanje soavtorjev
Soavtorji
Spremljaj
Novi članki tega avtorja
Novi navedki člankov tega avtorja
Novi članki, povezani z raziskavami tega avtorja
E-poštni naslov za obvestila
Končano
Moj profil
Moja knjižnica
Podatki o navedbah
Opozorila
Nastavitve
Prijava
Prijava
Ustvarite profil
Navedeno
Vse
Od leta 2019
Navedbe
1
1
indeks h
1
1
indeks i10
0
0
Javni dostop
Prikaži vse
Prikaži vse
1 članek
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
Tamara Rezk
INRIA
Preverjeni e-poštni naslov na inria.fr
Xavier Rival
Directeur de Recherche, INRIA
Preverjeni e-poštni naslov na inria.fr
Spremljaj
Ignacio Tiraboschi
PhD Student, ENS Paris -
INRIA
Preverjeni e-poštni naslov na inria.fr
Static analysis of security properties
Članki
Navedeno
Javni dostop
Soavtorji
Naslov
Razvrsti
Razvrsti po navedbah
Razvrsti po letniku
Razvrsti po naslovu
Navedeno
Navedeno
Leto
Sound symbolic execution via abstract interpretation and its application to security
I Tiraboschi, T Rezk, X Rival
International Conference on Verification, Model Checking, and Abstract …
, 2023
1
2023
Generalización de meta-programas con tipado dependiente en Mtac2
I Tiraboschi
FAMAF, UNC
, 2020
2020
Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2
I Tiraboschi, JO Kaiser, B Ziliani
Workshop on Type-driven Development (TyDe)
, 2020
2020
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–3
Pokaži več
Zasebnost
Pogoji
Pomoč
O Učenjaku
Pomoč za Iskanje Google