Claudio Gutierrez

1. Knowledge Graphs
   2020/03/04 by Aidan Hogan, Eva Blomqvist, Michael Cochez +17 · 3 voices · 148 citations
   Computer Science · Decision Sciences · #Advanced Graph Neural Networks #Data Quality and Management #Machine Learning and Algorithms
2. The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete
   2001/03/26 by Volker Diekert, Claudio Gutierrez, Diekert, Volker +3 · 2 citations
   Computer Science · #Data Structures and Algorithms (cs.DS) #F.2.2 #F.4 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.DS #cs.LO
3. A Formal Framework for Typing and Cast Semantics in SQL Engines
   2026/07/28 by Wenjia Ye, Matías Toro, Claudio Gutiérrez +4
   Computer Science · #Advanced Database Systems and Queries #Logic, programming, and type systems #Web Application Security Vulnerabilities