Luboš Brim | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

David Šafránek
4 publications
Nikola Benes
3 publications
Matej Troják
2 publications
Samuel Pastva
1 publication

research

∙ 01/12/2022

Biochemical Space Language in Relation to Multiset Rewriting Systems

This technical report relates Biochemical Space Language (BCSL) to Multi...

0 Matej Troják, et al. ∙

research

∙ 08/30/2021

BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs

Edge-coloured directed graphs provide an essential structure for modelli...

0 Nikola Benes, et al. ∙

research

∙ 01/21/2020

Executable Biochemical Space for Specification and Analysis of Biochemical Systems

We present the second generation of a rule-based language called Biochem...

0 Matej Troják, et al. ∙