Sepinoud Azimi
Cited by
Cited by
Reaction system models for the heat shock response
S Azimi, B Iancu, I Petre
Fundamenta Informaticae 131 (3-4), 299-312, 2014
Dependency graphs and mass conservation in reaction systems
S Azimi, C Gratie, S Ivanov, I Petre
Theoretical Computer Science 598, 23-39, 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
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
Steady states of constrained reaction systems
S Azimi
Theoretical Computer Science 701, 20-26, 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
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
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
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
On the implementation of quantitative model refinement
B Iancu, DE Gratie, S Azimi, I Petre
Algorithms for Computational Biology: First International Conference, AlCoB …, 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
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
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
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
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
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
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
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
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
Computational modeling of the eukaryotic heat shock response: The bionetgen implementation, the petri net implementation and the prism implementation (2013)
B Iancu, D Gratie, S Azimi, I Petre
The system can't perform the operation now. Try again later.
Articles 1–20