Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
  
 

Publications of Karen Seidel

The following listing contains all publications of Karen Seidel. Further publications of the research group can be found on the current list of publications and the complete list of publications. Individual listings are available externally on DBLP or locally as PDF.

[ 2019 ] [ 2018 ] [ 2017 ] [ 2013 ]

2019 [ to top ]

  • Random Subgroups of Ratio... - Download
    Gao, Ziyuan; Jain, Sanjay; Khoussainov, Bakhadyr; Li, Wei; Melnikov, Alexander; Seidel, Karen; Stephan, FrankRandom Subgroups of Rationals. Mathematical Foundations of Computer Science (MFCS) 2019: 25:1-25:14
     

2018 [ to top ]

  • Learning from Informants:... - Download
    Aschenbach, Martin; Kötzing, Timo; Seidel, KarenLearning from Informants: Relations between Learning Success Criteria. ArXiv 2018: 37
    ArXiv preprint
     
  • Counting Homomorphisms to... - Download
    Göbel, Andreas; Lagodzinski, J. A. Gregor; Seidel, KarenCounting Homomorphisms to Trees Modulo a Prime. Mathematical Foundations of Computer Science (MFCS) 2018: 49:1-49:13
     

2017 [ to top ]

  • Zu mathematischen Argumen... - Download
    Seidel, KarenZu mathematischen Argumentationen eines Experten aus einer semiotischen Perspektive. Beiträge zum Mathematikunterricht 2017 2017: 897-900
     
  • Automatic Learning from R... - Download
    Hölzl, Rupert; Jain, Sanjay; Schlicht, Philipp; Seidel, Karen; Stephan, FrankAutomatic Learning from Repetitive Texts. Algorithmic Learning Theory (ALT) 2017: 129-150
     
  • Normal Forms in Semantic ... - Download
    Kötzing, Timo; Schirneck, Martin; Seidel, KarenNormal Forms in Semantic Language Identification. Algorithmic Learning Theory (ALT) 2017: 493-516
     

2013 [ to top ]

  • A minimal Prikry-type for... - Download
    Koepke, Peter; Räsch, Karen; Schlicht, PhilippA minimal Prikry-type forcing for singularizing a measurable cardinal. The Journal of Symbolic Logic 2013: 85-100