Maria Pelevina

According to our database, Maria Pelevina authored at least 4 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Making Sense of Word Embeddings.

Maria Pelevina, Nikolay Arefiev, Chris Biemann, Alexander Panchenko

Proceedings of the 1st Workshop on Representation Learning for NLP, 2016

2015

Realization and Extension of Abstract Operation Contracts for Program Logic.

Maria Pelevina

CoRR, 2015

2014

Modeling Degrees of Fairness for Collaborations.

Florian Volk, Maria Pelevina, Sheikh Mahbub Habib, Sascha Hauke, Max Mühlhäuser

Proceedings of the 13th IEEE International Conference on Trust, 2014

Fully Abstract Operation Contracts.

Richard Bubel, Reiner Hähnle, Maria Pelevina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014