Search results for: Simone Tini
Fundamenta Informaticae > 2020 > Vol. 171, nr 1-4 > 221--237
Journal of Computer and System Sciences > 2018 > 92 > C > 113-151
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 394-408
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Rule Formats and Bisimulation > 63-78
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 402-416
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 129-143
Theoretical Computer Science > 2014 > 551 > Complete > 1-21
Theoretical Computer Science > 2012 > 431 > Complete > 96-116
Journal of Logic and Algebraic Programming > 2010 > 79 > 6 > 304-316
Theoretical Computer Science > 2010 > 411 > 22-24 > 2202-2222
Theoretical Computer Science > 2008 > 395 > 1 > 77-100
Information and Computation > 2007 > 205 > 11 > 1575-1607
Electronic Notes in Theoretical Computer Science > 2007 > 175 > 1 > 77-88
Journal of Logic and Algebraic Programming > 2004 > 60-61 > Complete > 353-400