Krebs, Andreas

1. A Formal Framework for Understanding Length Generalization in Transformers
   2024/10/03 by Huang, Xinting, Yang, Andy, Bhattamishra, Satwik +5 · 10 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG)
2. Team Semantics for the Specification and Verification of Hyperproperties
   2017/09/25 by Krebs, Andreas, Meier, Arne, Virtema, Jonni +1 · 1 citation
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Diminishable Parameterized Problems and Strict Polynomial Kernelization
   2016/11/11 by Henning Fernau, Till Fluschnik, Fernau, Henning +9 · 1 citation
   Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #FOS: Computer and information sciences #semigroups and automata theory
4. Difference hierarchies and duality with an application to formal\n languages
   2018/12/05 by Célia Borlido, Borlido, Célia, Mai Gehrke +5 · 1 citation
   Computer Science · #06D50 #68F05 #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #General Topology (math.GN) #Logic (math.LO) #Rough Sets and Fuzzy Logic #semigroups and automata theory