1. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
2. A Reinforcement Learning Approach to Age of Information in Multi-User Net-works with HARQ;ceran;IEEE JSAC,2021
3. GloVe: Global Vectors for Word Rep-resentation;pennington;Proc 2014 Conf Empirical Methods in Natural Language Processing,0
4. Architecture of Knowledge Graph construction Techniques;zhao;Int'1 ) Pure and Applied Mathematics,2018