Reconciling qualitative, abstract, and scalable modeling of biological networks

por Paulevé, Loïc, Kolčák, Juraj, Chatain, Thomas, Haar, Stefan
Publicado 2020

Publisher Correction: Reconciling qualitative, abstract, and scalable modeling of biological networks

por Paulevé, Loïc, Kolčák, Juraj, Chatain, Thomas, Haar, Stefan
Publicado 2020

Relational Differential Dynamic Logic

por Kolčák, Juraj, Dubut, Jérémy, Hasuo, Ichiro, Katsumata, Shin-ya, Sprunger, David, Yamada, Akihisa
Publicado 2020

Graph transformation for enzymatic mechanisms

por Andersen, Jakob L, Fagerberg, Rolf, Flamm, Christoph, Fontana, Walter, Kolčák, Juraj, Laurent, Christophe V F P, Merkle, Daniel, Nøjgaard, Nikolai
Publicado 2021