Fully Abstract Operation Contracts. - Richard Bubel; Reiner Hähnle; Maria Pelevina (ISoLA (2), 2014)

Modeling Degrees of Fairness for Collaborations. - Florian Volk; Maria Pelevina; Sheikh Mahbub Habib; Sascha Hauke; Max Mühlhäuser (TrustCom, 2014)

Realization and Extension of Abstract Operation Contracts for Program Logic. - Maria Pelevina (CoRR, 2015)

Making Sense of Word Embeddings. - Maria Pelevina; Nikolay Arefiev; Chris Biemann; Alexander Panchenko (Rep4NLP@ACL, 2016)