Search results for: Ron van der Meyden
Theoretical Computer Science > 2016 > 631 > C > 16-42
Theoretical Computer Science > 2013 > 484 > Complete > 70-92
Theoretical Computer Science > 2013 > 467 > Complete > 68-88
2011 IEEE Symposium on Security and Privacy > 196 - 211
Theoretical Computer Science > 2010 > 411 > 47 > 4123-4147
Electronic Notes in Theoretical Computer Science > 2007 > 168 > Complete > 61-75
Studia Logica > 2003 > 75 > 1 > 93-123
Information and Computation > 1998 > 140 > 2 > 115-157
Journal of Computer and System Sciences > 1997 > 54 > 1 > 113-135