Publications by Iliano Cervesato

2019
Cervesato I, Khan S, Reis G, Žunić D

2019 • Electronic Proceedings in Theoretical Computer Science • 1-14
Cervesato I, Khan S, Reis G, Zunic D

2019 • Journal of Automated Reasoning • 63(4):809-811
Cervesato I, Fernandez M

2018 • Mathematical Structures in Computer Science • 28(9):1506-1506
Cervesato I, Chaudhuri K

2018 • Mathematical Structures in Computer Science • 28(5):612-613
Alves S, Cervesato I

2017 • PROCEEDINGS OF THE 2017 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (ASIA CCS'17) • 483-493
Singh B, Evtyushkin D, Elwell J, Riley R, Cervesato I

2017 • Electronic Proceedings in Theoretical Computer Science •
Cervesato I, Fernandez M

2017 • Electronic Proceedings in Theoretical Computer Science • 238:
Cervesato I, Fernández M

2017 • Electronic Proceedings in Theoretical Computer Science • 238:
Cervesato I, Fernández M

2016 • Lecture Notes in Artificial Intelligence • 9718:113-129
Cervesato I, Lam ESL, Elgazar A

2016
Lam E, Cervesato I

2016 • Mathematical Structures in Computer Science • 26(5):868-906
Deng Y, Simmons RJ, Cervesato I

2016 • ACM Transactions on Architecture and Code Optimization • 12(4):
Elwell J, Riley R, Abu-Ghazaleh N, Ponomarev D, Cervesato I

2015 • Lecture Notes in Artificial Intelligence • 9037:51-66
Lam ESL, Cervesato I, Fatima N

2015 • Lecture Notes in Artificial Intelligence • 9450:515-531
Cervesato I, Lam ESL

2015 • Electronic Proceedings in Theoretical Computer Science • 176:
Alves S, Cervesato I, Chaudhuri K, Fernández M, Florido M, Gay S, Martini S, Paolini L, Della Rocca SR, Schürmann C, Simmons R, Vasconcelos V

2015 • Electronic Proceedings in Theoretical Computer Science •
Cervesato I, Schuermann C

2015
Cervesato I, Chaudhuri K

2015 • 2015 IEEE 11TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB) • 659-666
Lam ESL, Cervesato I, Elgazar A

2014
Lam ESL, Cervesato I

2014
Lam ESL, Cervesato I

2014 • Computers in Human Behavior • 41:319-326
Kumar S, Cervesato I, Gonzalez C

2014
Kumar S, Cervesato I, Gonzalez C

2014
Lam E, Cervesato I

2014 • Lecture Notes in Artificial Intelligence • 8858:19-38
Lam ESL, Cervesato I