EN | DE
Theoretische Informatik

Differences

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

Link to this comparison view

thorsten [2018/09/17 16:23]
thorsten Mention implementation
thorsten [2018/12/12 12:21] (current)
thorsten
Line 13: Line 13:
   * Highlights of Logic, Games, and Automata 2018: [[https://wwwcip.cs.fau.de/~re06huxa/coalgpartref-poster.pdf|Poster]] and [[https://wwwcip.cs.fau.de/~re06huxa/coalgpartref-highlights-talk.pdf|Slides]]   * Highlights of Logic, Games, and Automata 2018: [[https://wwwcip.cs.fau.de/~re06huxa/coalgpartref-poster.pdf|Poster]] and [[https://wwwcip.cs.fau.de/~re06huxa/coalgpartref-highlights-talk.pdf|Slides]]
   * [[http://drops.dagstuhl.de/opus/volltexte/2017/7793/pdf/LIPIcs-CONCUR-2017-32.pdf|Concur 2017 Paper]] (appendix on [[https://arxiv.org/abs/1705.08362|arxiv]])   * [[http://drops.dagstuhl.de/opus/volltexte/2017/7793/pdf/LIPIcs-CONCUR-2017-32.pdf|Concur 2017 Paper]] (appendix on [[https://arxiv.org/abs/1705.08362|arxiv]])
-  * Ongoing implementationto be published+  * Implementation[[https://gitlab.cs.fau.de/i8/copar|CoPaR]]
  
 === Theses === === Theses ===