Phillips, Iain

1. An Axiomatic Theory for Reversible Computation
   2023/07/25 by Lanese, Ivan, Phillips, Iain, Ulidowski, Irek · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Know Your Neighborhood: General and Zero-Shot Capable Binary Function Search Powered by Call Graphlets
   2024/06/02 by Joshua Collyer, Tim Watson, Collyer, Joshua +3 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #Data Management and Algorithms #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Information Retrieval and Search Behavior #Machine Learning (cs.LG) #Natural Language Processing Techniques
3. Dependence and Independence for Reversible Process Calculi
   2024/10/04 by Aubert, Clément, Phillips, Iain, Ulidowski, Irek · 1 citation
   #68Q85 #F.4.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)