Automated Verification of Parallel Nested DFS

por Oortwijn, Wytse, Huisman, Marieke, Joosten, Sebastiaan J. C., van de Pol, Jaco
Publicado 2020

Modelling with ANIMO: between fuzzy logic and differential equations

por Schivo, Stefano, Scholma, Jetse, van der Vet, Paul E., Karperien, Marcel, Post, Janine N., van de Pol, Jaco, Langerak, Rom
Publicado 2016

An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation

por Khurana, Sakshi, Schivo, Stefano, Plass, Jacqueline R. M., Mersinis, Nikolas, Scholma, Jetse, Kerkhofs, Johan, Zhong, Leilei, van de Pol, Jaco, Langerak, Rom, Geris, Liesbet, Karperien, Marcel, Post, Janine N.
Publicado 2021