PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. - Milan Ceska 002; Petr Pilar; Nicola Paoletti; Lubos Brim; Marta Z. Kwiatkowska (TACAS, 2016)

Learning Semantic Textual Similarity from Conversations. - Yinfei Yang; Steve Yuan; Daniel Cer; Sheng-yi Kong; Noah Constant; Petr Pilar; Heming Ge; Yun-Hsuan Sung; Brian Strope; Ray Kurzweil (Rep4NLP@ACL, 2018)