Search results for: Stephanie Delaune
Information and Computation > 2017 > 255 > P1 > 94-125
Journal of Logical and Algebraic Methods in Programming > 2017 > 87 > C > 127-144
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 103-117
Lecture Notes in Computer Science > STACS 2007 > Session 10B > 634-645
2016 IEEE Symposium on Security and Privacy (SP) > 564 - 581
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 352-363
Lecture Notes in Computer Science > Automated Reasoning > Applications > 412-426
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2009. Information Security and Privacy > 24-38
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 10. Rewriting, Termination and Productivity > 355-370
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 196-210
Lecture Notes in Computer Science > Automata, Languages and Programming > Secrecy and Protocol Analysis > 132-143
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 3. Proof-Theory 1 > 128-142