![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/publication/305671137/figure/fig1/AS:389582962085889@1469895224577/The-Cytoscape-user-interface-running-the-ANIMO-plug-in-The-Network-panel-in-the-centre_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Kannan_Govindaraj/publication/337891794/figure/fig2/AS:861018418847749@1582294196120/Dosage-dependent-effects-of-extra-cellular-ligands-The-initial-activity-level-of-each_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/publication/331328952/figure/tbl2/AS:752727911063562@1556475727193/Geometric-mean-sizes-of-the-automata-and-products_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Bernard_Berthomieu/publication/329011665/figure/fig2/AS:693794517286913@1542424911762/Tools-in-the-podium-for-each-examination_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Jaco_Pol/publication/232642209/figure/tbl1/AS:393420926406657@1470810266904/Time-performance-in-seconds-T-indicates-a-timeout-M-out-of-memory_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Kannan_Govindaraj/publication/337891794/figure/fig3/AS:861018418868225@1582294196147/Dose-dependent-effects-of-combinations-of-two-extra-cellular-ligands-The-initial_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Wil_Aalst/publication/326947562/figure/fig2/AS:843299300593664@1578069629105/Path-construction-using-Algorithm-1-on-the-example-from-Fig-2-for-a-maximum-fitting_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/publication/331328952/figure/fig1/AS:752727911067648@1556475727130/Application-of-Proposition-1-to-transform-the-TGRA-A-4-of-Fig-2-into-a-TFLA-B-4-The_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Bernard_Berthomieu/publication/329011665/figure/fig3/AS:693794517295107@1542424911817/Example-Model-Petri-Net-left-and-Dependency-Matrix-right_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science](https://www.researchgate.net/profile/Kannan_Govindaraj/publication/337891794/figure/fig1/AS:861018418868224@1582294196026/Building-ANIMO-models-for-growth-plate-and-articular-cartilage-A-Formation-of-growth_Q320.jpg)