‪Irene Lobo Valbuena‬ - ‪Google Scholar‬

รับโปรไฟล์ของฉันเอง

อ้างโดย

	ทั้งหมด	ตั้งแต่ปี 2019
การอ้างอิง	28	16
ดัชนี h	3	2
ดัชนี i10	2	0

0

6

3

20152016201720182019202020212022202320241 3 6 1 2 6 4 3 1

ผู้เขียนร่วม

Moa JohanssonAssociate Professor (Docent), Chalmers Universityยืนยันอีเมลแล้วที่ chalmers.se

ติดตาม

Irene Lobo Valbuena

Irene Lobo Valbuena

Chalmers University of Technology

ยืนยันอีเมลแล้วที่ chalmers.se

Functional Programming Domain Specific Languages Automated Reasoning


ชื่อ เรียงตามการอ้างอิง เรียงตามปี เรียงตามชื่อ	อ้างโดย อ้างโดย	ปี
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

ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง

บทความ 1–7