‪Irene Lobo Valbuena‬ - ‪Google Scholar‬

Hanki oma profiili

Viittaukset

	Kaikki	2019 lähtien
Sitaatit	28	16
h-indeksi	3	2
i10-indeksi	2	0

0

6

3

20152016201720182019202020212022202320241 3 6 1 2 6 4 3 1

Muut kirjoittajat

Moa JohanssonAssociate Professor (Docent), Chalmers UniversityVahvistettu sähköpostiosoite verkkotunnuksessa chalmers.se

Irene Lobo Valbuena

Irene Lobo Valbuena

Chalmers University of Technology

Vahvistettu sähköpostiosoite verkkotunnuksessa chalmers.se

Functional Programming Domain Specific Languages Automated Reasoning


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
Conditional Lemma Discovery and Recursion Induction in Hipster I Lobo Valbuena, M Johansson Electronic Communications of the EASST 72, 2015	15	2015
Conditional Lemma Discovery and Recursion Induction in Hipster I Lobo Valbuena, M Johansson Proc. AVoCS 2, 15, 2015	15*	2015
Excess XSS: A comprehensive tutorial on cross-site scripting J Kallin, IL Valbuena Retrieve from https://excess-xss. com, 2016	10	2016
A comprehensive tutorial on cross-site scripting J Kallin, IL Valbuena Excess XSS.[Tinkle][Cituota: 2015 m. 01 27 d.] http://excess-xss. com, 0	3
Automated Discovery of Conditional Lemmas in Hipster I Lobo Valbuena		2015
Noninterference in the Presence of Collusion I Lobo Valbuena, D Sands
A comprehensive tutorial on cross-site scripting. 2016 J Kallin, I Lobo Valbuena

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–7