EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

chair8 [2018/11/05 21:35]
sergey +A Semantics for Hybrid Iteration
chair8 [2019/02/20 11:17] (current)
lutz
Line 16: Line 16:
 % 2018 % 2018
 % %
 +
 +@article{EvertEA19,
 +  author = {Stefan Evert and Philipp Heinrich and Klaus Henselmann and Ulrich Rabenstein 
 +            and Elisabeth Scherr and Martin Schmitt and Lutz Schr{\"o}der},
 +  title = {Combining Machine Learning and Semantic Features in the
 +           Classification of Corporate Disclosures},
 +  journal = {J. Logic, Language and Information (JoLLI)},
 +  year = {2019},
 +  comment = {<a href="https://www8.cs.fau.de/_media/research:papers:adhoc.pdf">[preprint]</a>},
 +  note = {to appear},
 +  }
 +  
 +@inproceedings{HausmannSchroder19,
 +   author = {Daniel Hausmann and Lutz Schr{\"o}der},
 +   title = {Optimal Satisfiability Checking for Arithmetic mu-Calculi},
 +   booktitle = {Proc. Foundations of Software Science and Computation Structures, FoSSaCS 2019},
 +   editor = {Mikolaj Bojanczyk and Alex Simpson},
 +   publisher = {Springer},
 +   series = {LNCS},
 +   note = {to appear},
 +   year = {2019},
 +   }
  
 @InProceedings{   GoncharovJakobEtAl18, @InProceedings{   GoncharovJakobEtAl18,