Publications by Iliano Cervesato

2012 67-78
Lam ESL, Cervesato I

2012 • EPiC series in computing • 7:96-78
Sans T, Cervesato I

2012
Deng Y, Cervesato I, Simmons RJ

2012 • Electronic Proceedings in Theoretical Computer Science • 50-60
Deng Y, Cervesato I, Simmons RJ

2012
Cervesato I

2012 • International Journal of Foundations of Computer Science • 23(7):1419-1421
Durand-Lose J, Margenstern M, Sutner K

2012 1-12
Cervesato I, Pfenning F, Sacchini JL, Schürmann C, Simmons RJ

2011 • International Journal of Information Security • 10(2):107-134
Backes M, Cervesato I, Jaggard AD, Scedrov A, Tsay J-K

2011 103-107
Cervesato I

2011 283-287
Karatsolis A, Cervasato I, Harras K, Cooper Y, Oflazer K, Abu-Ghazaleh N, Sans T

2011 • Qatar Foundation Annual Research Forum Proceedings • 2011(1):
Cervesato I

2010 • Qatar Foundation Annual Research Forum Proceedings • 2010(1):
Sans T, Cervesato I

2010 • Qatar Foundation Annual Research Forum Proceedings • 2010(1):
Cervesato I

2010 • Science of Computer Programming • 75(10):809-810
Canal C, Pasareanu CS

2009 • Information and Computation • 207(10):1044-1077
Cervesato I, Scedrov A

2008 • Information and Computation • 206(2-4):402-424
Cervesato I, Jaggard AD, Scedrov A, Tsay J-K, Walstad C

2008 • Electronic Notes in Theoretical Computer Science • 199:67-87
Watkins K, Cervesato I, Pfenning F, Walker D

2007 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4435:167-+
Cervesato I, Jaggard AD, Scedrov A, Tsay J-K, Walstad C

2007 • Knowledge engineering review (Print) • 22(3):221-236
Cervesato I

2007
Cervesato I, Pfenning F, Sacchini JL, Schurmann C, Simmons RJ

2007 • IEEE Transactions on Dependable and Secure Computing • 4(3):216-227
Cervesato I, Meadows C

2007 • Higher-Order and Symbolic Computation • 20(1-2):3-35
Cervesato I, Stehr M-O

2006 • Aaai Fall Symposium Technical Report • FS-06-04:1-8
Cervesato I

2006 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4189:362-383
Backes M, Cervesato I, Jaggard AD, Scedrov A, Tsay J-K

2006
Cervesato I, Meadows C, Pavlovic D