Avanzini, Martin

1. On Kernel's Safety in the Spectre Era (Extended Version)
   2024/06/11 by Davide Davoli, Davoli, Davide, Martin Avanzini +3 · 3 voices
   #cs.CR
2. A Combination Framework for Complexity
   2013/02/05 by Martin Avanzini, Georg Moser, Avanzini, Martin +1 · 2 citations
   Computer Science · #Computational Complexity (cs.CC) #F.1.3 #F.3.2 #F.4.1 #F.4.2 #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Software Engineering Research
3. Dependency Pairs and Polynomial Path Orders
   2009/04/06 by Avanzini, Martin, Moser, Georg · 1 citation
   #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Symbolic Computation (cs.SC)
4. On Probabilistic Term Rewriting
   2018/02/27 by Avanzini, Martin, Lago, Ugo Dal, Yamada, Akihisa · 1 citation
   #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
5. Automated Expected Value Analysis of Recursive Programs
   2023/04/03 by Avanzini, Martin, Moser, Georg, Schaper, Michael · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)