• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 132 matches

• 2024
• 
  Mohammad Arafah, Iain Phillips, Asma Adnane:
  Evaluating the impact of generative adversarial models on the performance of anomaly intrusion detection. IET Networks 13(1): 28-44 (2024)
• 
  Tom Purves, Konstantinos G. Kyriakopoulos, Siân Jenkins, Iain Phillips, Tim Dudman:
  Causally aware reinforcement learning agents for autonomous cyber defence. Knowl. Based Syst. 304: 112521 (2024)
• 
  Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
  An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Log. 25(2): 11:1-11:40 (2024)
• 
  Edwin Sutherland, Iain Phillips:
  Low-Carb BGP: A Carbon-Aware Inter-Domain Routing Extension to BGP. ANRW 2024
• 
  Joshua Collyer, Tim Watson, Iain Phillips:
  Know Your Neighborhood: General and Zero-Shot Capable Binary Function Search Powered by Call Graphlets. CoRR abs/2406.02606 (2024)
• 2023
• 
  Josh Collyer, Tim Watson, Iain Phillips:
  FASER: Binary Code Similarity Search through the use of Intermediate Representations. CAMLIS 2023: 193-202
• 
  James I. Madeley, Iain Phillips:
  Towards a Compact Routed Internet. StudentWorkshop@CoNEXT 2023: 13-14
• 
  Adnan Taib, George Partridge, Iain T. Darker, Peter Phillips, Yan Chen:
  Identifying and preventing fatigue in digital breast tomosynthesis. Medical Imaging: Image Perception, Observer Performance, and Technology Assessment 2023
• 
  Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal:
  Towards a Taxonomy for Reversible Computation Approaches. RC 2023: 24-39
• 
  Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
  An Axiomatic Theory for Reversible Computation. CoRR abs/2307.13360 (2023)
• 
  Josh Collyer, Tim Watson, Iain Phillips:
  FASER: Binary Code Similarity Search through the use of Intermediate Representations. CoRR abs/2310.03605 (2023)
• 2022
• 
  Mikel Williams-Lekuona, Georgina Cosma, Iain W. Phillips:
  A Framework for Enabling Unpaired Multi-Modal Learning for Deep Cross-Modal Hashing Retrieval. J. Imaging 8(12): 328 (2022)
• 
  Eva Graversen, Iain Phillips, Nobuko Yoshida:
  Event structures for the reversible early internal π-calculus. J. Log. Algebraic Methods Program. 124: 100720 (2022)
• 
  Talal A. Edwan, Iain W. Phillips, Lin Guan, Jon Crowcroft, Ashraf A. Tahat, Bashar E. A. Badr:
  Revisiting legacy high-speed TCP congestion control variants: An optimisation-theoretic analysis of multi-mode TCP. Simul. Model. Pract. Theory 118: 102542 (2022)
• 
  Ali Albinali, Russell Lock, Iain Phillips:
  A SoA for Open Government Data: A Case Study of COVID Impacts on SMEs. EGOV-CeDEM-ePart-* 2022
• 
  Toyin Sofoluwe, Fung Po Tso, Iain W. Phillips:
  Mitigating cyber threats at the network edge. IMC 2022: 776-777
• 
  George J. W. Partridge, Peter Phillips, Iain T. Darker, Yan Chen:
  Investigating reading strategies and eye behaviours associated with high diagnostic performance when reading digital breast tomosynthesis (DBT) images. Medical Imaging: Image Perception, Observer Performance, and Technology Assessment 2022
• 2021
• 
  Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida:
  Event structure semantics of (controlled) reversible CCS. J. Log. Algebraic Methods Program. 121: 100686 (2021)
• 
  Dorina Roy, Amanda Koh, Alastair G. Gale, Peter Phillips, William Teh, Michael Michell, Nisha Sharma, Iain T. Darker, Mitchell Searjeant, Ellhia Sudin, Yan Chen:
  Employing eye tracking to identify the onset of fatigue in Digital Breast Tomosynthesis (DBT) readers for a national breast cancer screening programme. Medical Imaging: Image Perception, Observer Performance, and Technology Assessment 2021
• 
  Ivan Lanese, Iain Phillips:
  Forward-Reverse Observational Equivalences in CCSK. RC 2021: 126-143
• 2020
• 
  Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
  A parametric framework for reversible π-calculi. Inf. Comput. 275: 104644 (2020)
• 
  Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
  An Axiomatic Approach to Reversible Computation. FoSSaCS 2020: 442-461
• 
  Eva Graversen, Iain Phillips, Nobuko Yoshida:
  Event Structures for the Reversible Early Internal π-Calculus. RC 2020: 71-90
• 
  Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
  Towards a Formal Account for Software Transactional Memory. RC 2020: 255-263
• 
  Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski:
  Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC 2020: 35-53
• 
  Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
  Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40
• 
  Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida:
  Event structures for the reversible early internal Pi-calculus. CoRR abs/2004.01211 (2020)
• 2019
• 
  Eva Graversen, Iain Phillips, Nobuko Yoshida:
  Towards a categorical representation of reversible event structures. J. Log. Algebraic Methods Program. 104: 16-59 (2019)
• 
  Farhan Ahmad, Asma Adnane, Chaker Abdelaziz Kerrache, Fatih Kurugollu, Iain Phillips:
  On the Design, Development and Implementation of Trust Evaluation Mechanism in Vehicular Networks. AICCSA 2019: 1-7
• 
  Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski:
  Reversible Causal Nets and Reversible Event Structures. CoRR abs/1910.10987 (2019)

skipping 102 more matches