An Abstract Model for Incentive-Enhanced Trust in P2P Networks. - Mats Neovius (EUC Workshops, 2005)

A Formal Model of Context-Awareness and Context-Dependency. - Mats Neovius; Kaisa Sere; Lu Yan; Manoranjan Satpathy (SEFM, 2006)

Formal Transformation of Platform Independent Models into Platform Specific Models. - Pontus Boström; Mats Neovius; Ian Oliver; Marina Waldén (B, 2007)

Formal Modular Modelling of Context-Awareness. - Mats Neovius; Kaisa Sere (FMCO, 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)

The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-demand Streaming. - Petter Sandvik; Mats Neovius (AP2PS, 2009)

On Proving Recoverability of Smart Electrical Grids. - Seppo Horsmanheimo; Maryam Kamali; Mikko Kolehmainen; Mats Neovius; Luigia Petre; Mauno Rönkkö; Petter Sandvik (NASA Formal Methods, 2014)

A Theory of Service Dependency. - Mats Neovius; Luigia Petre; Kaisa Sere (Refine@FM, 2015)

A Provably Correct Resilience Mediator Pattern. - Mats Neovius; Mauno Rönkkö; Marina Waldén (From Action Systems to Distributed Systems, 2016)

Anomaly Detection for Soft Security in Cloud based Auditing of Accounting Systems. - Mats Neovius; Bob Duncan (CLOSER, 2017)

Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud. - Marin Aranitasi; Benjamin Byholm; Mats Neovius (DEXA Workshops, 2017)

Exploring Library Loan Data for Modelling the Reading Culture: Project LibDat. - Mats Neovius; Kati Launis; Olli Nurmi (DHN, 2018)

In Quest of Transition Books. - Denis Kotkov; Kati Launis; Mats Neovius (DHN, 2020)

ClusterExplorer: Enable User Control over Related Recommendations via Collaborative Filtering and Clustering. - Denis Kotkov; Qian Zhao; Kati Launis; Mats Neovius (RecSys, 2020)

Revisiting the Tag Relevance Prediction Problem. - Denis Kotkov; Alexandr V. Maslov; Mats Neovius (SIGIR, 2021)

The Tag Genome Dataset for Books. - Denis Kotkov; Alan Medlar; Alexandr V. Maslov; Umesh Raj Satyal; Mats Neovius; Dorota Glowacka (CHIIR, 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 (SAC, 2022)