Sepinoud Azimi Rashti

Research Associate, Information Technology common
Email: sepinoud.azimi@abo.fi
Mobile: +358-503018690
Phone: +358-2-2153315


Peer-reviewed publications

A3 Book section, Chapters in research books
WEBRSIM: A Web-Based Reaction Systems Simulator (2018)
Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre
Springer
View on publisher's site
C2 Edited book
Computability in Europe 2017 (2017)
Sepinoud Azimi, Joonas Jalonen, Jarkko Kari, Ion Petre
Turku Centre for Computer Science
A1 Journal article (refereed)
Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems (2017)
Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre
International Journal of Foundations of Computer Science
View on publisher's site
A1 Journal article (refereed)
Steady states of constrained reaction systems (2017)
Sepinoud Azimi
Theoretical Computer Science
View on publisher's site
A1 Journal article (refereed)
Complexity of model checking for reaction systems (2016)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre , Antonio E. Porreca
Theoretical Computer Science
View on publisher's site
A4 Conference proceedings
Generating the Logicome of a Biological Network (2016)
Charmi Panchal, Sepinoud Azimi, Ion Petre
Springer
View on publisher's site
A3 Book section, Chapters in research books
Quantitative model refinement in four different frameworks, with applications to the heat shock response (2016)
Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre
CRC Press
View on publisher's site
A4 Conference proceedings
An excursion through quantitative model refinement (2015)
Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri
Springer
View on publisher's site
A1 Journal article (refereed)
Dependency Graphs and Mass Conservation in Reaction Systems (2015)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre
Theoretical Computer Science
View on publisher's site
A3 Book section, Chapters in research books
Quantitative model refinement for guarded command models (2015)
Sepinoud Azimi, Ion Petre
Spandugino
A1 Journal article (refereed)
Reaction Systems Models for the Self-Assembly of Intermediate Filaments (2015)
Azimi S, Panchal C, Czeizler E, Petre I
Analele Universitatii Bucuresti : Matematica-Informatica
A4 Conference proceedings
On the Implementation of Quantitative Model Refinement (2014)
Iancu B, Gratie D, Azimi S, Petre I
Lecture Notes in Computer Science
Springer
View on publisher's site
A1 Journal article (refereed)
Reaction System Models for the Heat Shock Response (2014)
Sepinoud Azimi, Bogdan Iancu, Ion Petre
Fundamenta Informaticae
View on publisher's site
A3 Book section, Chapters in research books
The Reduction Power of Simple Operations for Gene Assembly in Ciliates (2014)
Sepinoud Azimi, Ion Petre
A1 Journal article (refereed)
Simple Gene Assembly as a Rewriting of Directed Overlap-Inclusion Graphs (2012)
Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre
Theoretical Computer Science
View on publisher's site
A1 Journal article (refereed)
Directed Overlap-Inclusion Graphs as Representations of Ciliate Genes (2011)
Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Vladimir Rogojin
Fundamenta Informaticae
View on publisher's site


Other publications

E3 Edited popular book
A Magician in Science: Liber Amicorum Grzegorz Rozenberg (2017)
Sepinoud Azimi, Hendrik Jan Hoogeboom, Jetty Kleijn, Marloes van der Nat, Ion Petre, Arto Salomaa
Turku Centre for Computer Science
D4 Published development or research report or study
Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems (2016)
Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre
D4 Published development or research report or study
An Excursion Through Quantitative Model Refinement (2015)
Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri
D4 Published development or research report or study
Generating the Logicome of a Biological Network (2015)
Charmi Panchal, Sepinoud Azimi, Ion Petre
D4 Published development or research report or study
Reaction Systems Models for the Self-Assembly of Intermediate Filaments (2015)
Sepinoud Azimi, Charmi Panchal, Eugen Czeizler, Ion Petre
D4 Published development or research report or study
Complexity of Model Checking for Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca
D4 Published development or research report or study
Dependency Graphs and Mass Conservation in Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre

Last updated on 2018-19-09 at 19:54

Get in contact