DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2015.72,1656,"KrCh,ToHe",Nested weighted automata