Hugo Daniel Macedo

1. A Survey of Practical Formal Methods for Security
   2021/09/03 by Tomáš Kulík, Kulik, Tomas, Brijesh Dongol +11 · 3 citations
   Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Information and Cyber Security #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
2. Typing linear algebra: A biproduct-oriented approach
   2012/08/23 by Hugo Daniel Macedo, José Nuno Oliveira, José N. Oliveira · 3 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques