Sepinoud Azimi Rashti

E-post: sepinoud.azimi@abo.fi
Mobiltelefon: +358-503018690
Telefon: +358-2-2153315


Referentgranskade publikationer

A3 Bokavsnitt, kapitel i forskningsböcker
WEBRSIM: A Web-Based Reaction Systems Simulator (2018)
Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre
Springer
Visa på utgivarens sida
C2 Redigerat verk
Computability in Europe 2017 (2017)
Sepinoud Azimi, Joonas Jalonen, Jarkko Kari, Ion Petre
Turku Centre for Computer Science
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Steady states of constrained reaction systems (2017)
Sepinoud Azimi
Theoretical Computer Science
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Complexity of model checking for reaction systems (2016)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre , Antonio E. Porreca
Theoretical Computer Science
Visa på utgivarens sida
A4 Konferenspublikationer
Generating the Logicome of a Biological Network (2016)
Charmi Panchal, Sepinoud Azimi, Ion Petre
Springer
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
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
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Dependency Graphs and Mass Conservation in Reaction Systems (2015)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre
Theoretical Computer Science
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Quantitative model refinement for guarded command models (2015)
Sepinoud Azimi, Ion Petre
Spandugino
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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 Konferenspublikationer
On the Implementation of Quantitative Model Refinement (2014)
Iancu B, Gratie D, Azimi S, Petre I
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Reaction System Models for the Heat Shock Response (2014)
Sepinoud Azimi, Bogdan Iancu, Ion Petre
Fundamenta Informaticae
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
The Reduction Power of Simple Operations for Gene Assembly in Ciliates (2014)
Sepinoud Azimi, Ion Petre
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Simple Gene Assembly as a Rewriting of Directed Overlap-Inclusion Graphs (2012)
Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre
Theoretical Computer Science
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Directed Overlap-Inclusion Graphs as Representations of Ciliate Genes (2011)
Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Vladimir Rogojin
Fundamenta Informaticae
Visa på utgivarens sida


Övriga publikationer

E3 Redigerat populärverk
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 Publicerad utvecklings- eller forskningsrapport eller studie
Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems (2016)
Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
Generating the Logicome of a Biological Network (2015)
Charmi Panchal, Sepinoud Azimi, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Reaction Systems Models for the Self-Assembly of Intermediate Filaments (2015)
Sepinoud Azimi, Charmi Panchal, Eugen Czeizler, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Complexity of Model Checking for Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Dependency Graphs and Mass Conservation in Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre

Senast uppdaterad 2018-19-09 vid 19:54

Kom i kontakt