Matúš Kalaš

6PUBLICATIONS
113CO-AUTHORS
Formal methods for softwareEcosystem functionAutomated software engineeringOrganisation of information and knowledge resourcesAccessible computing
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (6)

|Jun 17, 2024
The ELIXIR Biodiversity Community: Understanding short- and long-term changes in biodiversity.

Robert M Waterhouse, Anne-Françoise Adam-Blondon, Bachir Balech

|May 07, 2022
BioSimulators: a central registry of simulation engines and services for recommending specific tools.

Bilal Shaikh, Lucian P Smith, Dan Vasilescu

|Nov 22, 2021
Perspectives on automated composition of workflows in the life sciences.

Anna-Lena Lamprecht, Magnus Palmblad, Jon Ison

|Jun 17, 2021
Bioimage analysis workflows: community resources to navigate through a complex ecosystem.

Perrine Paul-Gilloteaux, Sébastien Tosi, Jean-Karim Hériché

|Oct 02, 2018
Norwegian e-Infrastructure for Life Sciences (NeLS).

Kidane M Tekle, Sveinung Gundersen, Kjetil Klepper

Pageof 1