Mats Neovius

According to our database, Mats Neovius authored at least 17 papers between 2005 and 2022.

Collaborative distances:

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

2022

Rating consistency is consistently underrated: an exploratory analysis of movie-tag rating inconsistency.

Denis Kotkov, Alan Medlar, Umesh Raj Satyal, Alexandr V. Maslov, Mats Neovius, Dorota Glowacka

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

The Tag Genome Dataset for Books.

Denis Kotkov, Alan Medlar, Alexandr V. Maslov, Umesh Raj Satyal, Mats Neovius, Dorota Glowacka

Proceedings of the CHIIR '22: ACM SIGIR Conference on Human Information Interaction and Retrieval, Regensburg, Germany, March 14, 2022

2021

Revisiting the Tag Relevance Prediction Problem.

Denis Kotkov, Alexandr V. Maslov, Mats Neovius

Proceedings of the SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2021

2020

ClusterExplorer: Enable User Control over Related Recommendations via Collaborative Filtering and Clustering.

Denis Kotkov, Qian Zhao, Kati Launis, Mats Neovius

Proceedings of the RecSys 2020: Fourteenth ACM Conference on Recommender Systems, 2020

In Quest of Transition Books.

Denis Kotkov, Kati Launis, Mats Neovius

Proceedings of the Digital Humanities in the Nordic Countries 5th Conference, 2020

2018

Exploring Library Loan Data for Modelling the Reading Culture: Project LibDat.

Mats Neovius, Kati Launis, Olli Nurmi

Proceedings of the Digital Humanities in the Nordic Countries 3rd Conference, 2018

2017

Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud.

Marin Aranitasi, Benjamin Byholm, Mats Neovius

Proceedings of the 28th International Workshop on Database and Expert Systems Applications, 2017

Anomaly Detection for Soft Security in Cloud based Auditing of Accounting Systems.

Mats Neovius, Bob Duncan

Proceedings of the CLOSER 2017, 2017

2016

A Provably Correct Resilience Mediator Pattern.

Mats Neovius, Mauno Rönkkö, Marina Waldén

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

A Theory of Service Dependency.

Mats Neovius, Luigia Petre, Kaisa Sere

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

2014

On Proving Recoverability of Smart Electrical Grids.

Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2009

The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-demand Streaming.

Petter Sandvik, Mats Neovius

Proceedings of the First International Conference on Advances in P2P Systems, 2009

2008

Forming a context-sensitive web of trust by relying on sentimentally like-minded.

Mats Neovius, Fredrik Degerlund, Lu Yan

Int. J. Pervasive Comput. Commun., 2008

Formal Modular Modelling of Context-Awareness.

Mats Neovius, Kaisa Sere

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Formal Transformation of Platform Independent Models into Platform Specific Models.

Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

A Formal Model of Context-Awareness and Context-Dependency.

Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005

An Abstract Model for Incentive-Enhanced Trust in P2P Networks.

Mats Neovius

Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005