Tomer Kotek

1. On the automated verification of web applications with embedded SQL
   2016/10/06 by Shachar Itzhaky, Tomer Kotek, Itzhaky, Shachar +11 · 1 citation
   Computer Science · #68P15 #68Q60 #D.3.2 #Engineering and Information Technology #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Web Application Security Vulnerabilities
2. On the complexity of generalized chromatic polynomials
   2017/01/23 by Andrew Goodall, Miki Hermann, Goodall, A. +7 · 1 citation
   Computer Science · Mathematics · #05C15 #05C31 #05C85 #68Q17 #68W05 #Advanced Combinatorial Mathematics #Advanced Graph Theory Research #Combinatorics (math.CO) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Limits and Structures in Graph Theory
3. A logician's view of graph polynomials
   2017/03/07 by Johann A. Makowsky, Makowsky, J. A., Elena V. Ravve +3 · 1 citation
   Computer Science · Mathematics · #Advanced Graph Theory Research #Combinatorics (math.CO) #FOS: Mathematics #Graph theory and applications #Limits and Structures in Graph Theory #Logic (math.LO)