Search results for: Gavin Lowe
Formal Aspects of Computing > 2019 > 31 > 4 > 411-419
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 5 > 567-605
Concurrency and Computation: Practice and Experience > 29 > 4 > n/a - n/a
Lecture Notes in Computer Science > Formal Aspects in Security and Trust > Session 3. Secure Flow > 81-95
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 147-166
Lecture Notes in Computer Science > Formal Aspects in Security and Trust > Session 6. Protocols 2 > 233-247
Lecture Notes in Computer Science > Formal Aspects of Security > Intrusion Detection Systems and Liveness > 205-220
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 2 > 129-147
Science of Computer Programming > 2014 > 81 > Complete > 3-52
Electronic Notes in Theoretical Computer Science > 2009 > 250 > 2 > 49-68
Electronic Notes in Theoretical Computer Science > 2009 > 250 > 1 > 171-186
Electronic Notes in Theoretical Computer Science > 2009 > 250 > 1 > 153-170
Formal Aspects of Computing > 2008 > 20 > 3 > 277-294
Electronic Notes in Theoretical Computer Science > 2006 > 155 > Complete > 497-519
Theoretical Computer Science > 2005 > 340 > 1 > 82-101