Reaction system models for the heat shock response S Azimi, B Iancu, I Petre Fundamenta Informaticae 131 (3-4), 299-312, 2014 | 66 | 2014 |
Dependency graphs and mass conservation in reaction systems S Azimi, C Gratie, S Ivanov, I Petre Theoretical Computer Science 598, 23-39, 2015 | 38 | 2015 |
Complexity of model checking for reaction systems S Azimi, C Gratie, S Ivanov, L Manzoni, I Petre, AE Porreca Theoretical Computer Science 623, 103-113, 2016 | 36 | 2016 |
Scenario-based testing of a ship collision avoidance system I Porres, S Azimi, J Lilius 2020 46th Euromicro Conference on Software Engineering and Advanced …, 2020 | 27 | 2020 |
Steady states of constrained reaction systems S Azimi Theoretical Computer Science 701, 20-26, 2017 | 25 | 2017 |
Evolutionary computational platform for the automatic discovery of nanocarriers for cancer treatment NR Stillman, I Balaz, MA Tsompanas, M Kovacevic, S Azimi, S Lafond, ... npj Computational Materials 7 (150), 2021 | 22 | 2021 |
Reaction systems models for the self-assembly of intermediate filaments S Azimi, C Panchal, E Czeizler, I Petre Ann. Univ. Buchar 62 (2), 9-24, 2015 | 17 | 2015 |
Towards integrated digital-twins: An application framework for autonomous maritime surface vessel development M Raza, H Prokopova, S Huseynzade, S Azimi, S Lafond Journal of Marine Science and Engineering 10 (10), 1469, 2022 | 15 | 2022 |
Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. DE Gratie, B Iancu, S Azimi, I Petre From Action Systems to Distributed Systems, 201-214, 2016 | 12 | 2016 |
On the implementation of quantitative model refinement B Iancu, DE Gratie, S Azimi, I Petre Algorithms for Computational Biology: First International Conference, AlCoB …, 2014 | 11 | 2014 |
A survey of machine learning approaches for surface maritime navigation S Azimi, J Salokannel, S Lafond, J Lilius, M Salokorpi, I Porres Maritime Transport VIII: proceedings of the 8th International Conference on …, 2020 | 10 | 2020 |
WEBRSIM: A web-based reaction systems simulator S Ivanov, V Rogojin, S Azimi, I Petre Enjoying Natural Computing: Essays Dedicated to Mario de Jesús Pérez-Jiménez …, 2018 | 10 | 2018 |
Multi-stability, limit cycles, and period-doubling bifurcation with reaction systems S Azimi, C Panchal, A Mizera, I Petre International Journal of Foundations of Computer Science 28 (08), 1007-1020, 2017 | 10 | 2017 |
On the Verification and Validation of AI Navigation Algorithms I Porres, S Azimi, S Lafond, J Lilius, J Salokannel, M Salokorpi Global Oceans 2020: Singapore–US Gulf Coast, 1-8, 2020 | 9 | 2020 |
Improving Students Performance in Small-Scale Online Courses - A Machine Learning-Based Intervention S Azimi, T Popa, Carmen-Gabriela, Cucić International Journal of Learning Analytics and Artificial Intelligence for …, 2020 | 7 | 2020 |
Complexity of model checking for reaction systems S Azimi, C Gratie, S Ivanov, L Manzoni, I Petre, A Porreca TUCS Technical Report No 1122, October 2014 1122, 1-17, 2014 | 7 | 2014 |
SimuShips--A High Resolution Simulation Dataset for Ship Detection with Precise Annotations M Raza, H Prokopova, S Huseynzade, S Azimi, S Lafond OCEANS 2022; Hampton Roads, 2022 | 5 | 2022 |
Identifying gender bias in blockbuster movies through the lens of machine learning MJ Haris, A Upreti, M Kurtaran, F Ginter, S Lafond, S Azimi Humanities and Social Sciences Communications 10 (1), 1-8, 2023 | 4 | 2023 |
Neurally adjusted ventilatory assist in ventilated very preterm infants: A crossover study A Oda, V Parikka, L Lehtonen, S Azimi, I Porres, H Soukka Pediatric Pulmonology 56 (12), 3857-3862, 2021 | 4 | 2021 |
Predicting efficacy of drug-carrier nanoparticle designs for cancer treatment: a machine learning-based solution MR Kibria, RI Akbar, P Nidadavolu, O Havryliuk, S Lafond, S Azimi Scientific Reports 13 (1), 1-13, 2023 | 3 | 2023 |