Search results for: Isabelle Simplot-Ryl
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 54-65
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 355-370
Lecture Notes in Computer Science > Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems > Small Devices > 189-201
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Models and Calculi > 15-30
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 2. Tools and Mechanisms > 43-57
Lecture Notes in Computer Science > Ubiquitous Intelligence and Computing > Track 7: Security, Safety and Privacy > 988-997
IEEE Transactions on Parallel and Distributed Systems > 2013 > 24 > 7 > 1341 - 1354
IEEE Transactions on Parallel and Distributed Systems > 2012 > 23 > 8 > 1439 - 1452
2011 Proceedings IEEE INFOCOM > 1934 - 1942
Mathematical and Computer Modelling > 2011 > 53 > 3-4 > 522-537
Theoretical Computer Science > 2006 > 363 > 2 > 108-123