Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious RobotsDevismes, Stéphane ; Lamani, Anissa ; Petit, Franck ; Raymond, Pascal ; Tixeuil, SébastienComputer journal, 2021-01, Vol.64 (1), p.132-154 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
|
2 |
Material Type: Artigo
|
A Modern View on Forward SecurityBoyd, Colin ; Gellert, KaiComputer journal, 2021-04, Vol.64 (4), p.639-652 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
|
3 |
Material Type: Artigo
|
A Divide & Conquer Approach to Leads-to Model CheckingPhyo, Yati ; Minh Do, Canh ; Ogata, KazuhiroComputer journal, 2021-02, Vol.65 (6), p.1353-1364 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
|
4 |
Material Type: Artigo
|
Theoretical Estimation on the Success Rate of the Asymptotic Higher Order Optimal DistinguisherZhang, Hailong ; Yang, WeiComputer journal, 2021-08, Vol.64 (8), p.1277-1292 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
|
5 |
Material Type: Artigo
|
Fog-assisted Energy Efficient Cyber Physical System for Panic-based Evacuation during DisastersSahil, ; Sood, Sandeep KumarComputer journal, 2021-04, Vol.65 (6), p.1540-1559 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
|
6 |
Material Type: Artigo
|
A framework for modelling trojans and computer virus infectionTHIMBLEBY, H ; ANDERSON, S ; CAIRNS, PComputer journal, 1998-01, Vol.41 (7), p.444-458 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
Detecting Substitutions and Transpositions of CharactersAbdel-Ghaffar, Khaled A. SComputer journal, 1998-01, Vol.41 (4), p.270-277 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |