Jakub Salagovic

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 3

Top Topics

Formal Representation

Biological Systems

Highly Expressive

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. SASB (2020)
T. Ded, David Safránek, Matej Troják, Matej Klement, Jakub Salagovic, Lubos Brim
Formal Biochemical Space with Semantics in Kappa and BNGL. Electron. Notes Theor. Comput. Sci. 326 (2016)
Matej Troják, David Safránek, Jakub Hrabec, Jakub Salagovic, Frantiska Romanovská, Jan Cervený
E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria. CMSB (2016)