Klein, Felix

1. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
   2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Synthesizing Functional Reactive Programs
   2019/05/23 by Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica +1 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
3. Double sine-Gordon class of universal coarsening dynamics in a spin-1 Bose gas
   2024/12/18 by Ido Siovitz, Anna-Maria E. Glück, Siovitz, Ido +13 · 2 citations
   Physics and Astronomy · #Cold Atom Physics and Bose-Einstein Condensates #FOS: Physical sciences #High Energy Physics - Phenomenology (hep-ph) #Quantum Gases (cond-mat.quant-gas) #Quantum many-body systems #Theoretical and Computational Physics