Meier, Arne

1. Paradigms for Parameterized Enumeration
   2013/06/10 by Creignou, Nadia, Meier, Arne, Müller, Julian-Steffen +2 · 2 citations
   #03D15 #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Probabilistic team semantics
   2018/03/06 by Durand, Arnaud, Hannula, Miika, Kontinen, Juha +2 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Approximation and Dependence via Multiteam Semantics
   2015/10/30 by Durand, Arnaud, Hannula, Miika, Kontinen, Juha +2 · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
4. Model Checking and Validity in Propositional and Modal Inclusion Logics
   2016/09/22 by Hella, Lauri, Kuusisto, Antti, Meier, Arne +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
5. 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)
6. Temporal Team Semantics Revisited
   2021/10/25 by Gutsfeld, Jens Oliver, Meier, Arne, Ohrem, Christoph +1 · 1 citation
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
7. A logic-based framework for database repairs
   2023/06/27 by Fröhlich, Nicolas, Meier, Arne, Pardal, Nina +1 · 1 citation
   #68P15 #68T27 #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)