• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (8):

• Sepinoud Azimi, Steady States of Constrained Reaction Systems. Theoretical Computer Science , 1–7, 2017.
• Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre, Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems. International Journal of Foundations of Computer Science 28(8), 1007–1020, 2017.
• Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca, Complexity of Model Checking for Reaction Systems. Theoretical Computer Science 623, 103–113, 2016.
• Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre, Dependency Graphs and Mass Conservation in Reaction Systems. Theoretical Computer Science 598, 23–39, 2015.
• Sepinoud Azimi, Charmi Panchal, Eugen Czeizler, Ion Petre, Reaction Systems Models for the Self-Assembly of Intermediate Filaments. Annals of University of Bucharest LXII(2), 9–24, 2015.
• Sepinoud Azimi, Bogdan Iancu, Ion Petre, Reaction System Models for the Heat Shock Response. Fundamenta Informaticae 131, 1–14 , 2014.
• Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Simple Gene Assembly as a Rewriting of Directed Overlap-Inclusion Graphs. Theoretical Computer Science 454, 30–37, 2012.
• Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Vladimir Rogojin, Directed Overlap-Inclusion Graphs as Representations of Ciliate Genes. Fundamenta Informaticae 110(1-4), 29–44, 2011.

Articles in proceedings (2):

• Charmi Panchal, Sepinoud Azimi, Ion Petre, Generating the Logicome of a Biological Network. In: Botón-Fernández María,, Martín-Vide Carlos,, Santander-Jiménez Sergio,, Miguel A. Vega-Rodríguez (Eds.), Algorithms for Computational Biology, Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science), 38–49, Springer, 2016.
• Bogdan Iancu, Diana-Elena Gratie, Sepinoud Azimi, Ion Petre, On the Implementation of Quantitative Model Refinement. In: Adrian-Horia Dediu, Carlos-Martin Vide, Bianca Truthe (Eds.), Algorithms for Computational Biology, Lecture Notes in Computer Science 8542, 95–106, Springer, 2014.

Chapters in edited books (5):

• Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre, WEBRSIM: A Web-Based Reaction Systems Simulator. In: Carmen Graciani, Agustín Riscos-Núñez, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa (Eds.), Enjoying Natural Computing, 170–181, Springer, 2018.
• Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre, Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems, 201–2014, Taylor & Francis, 2016.
• Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri, An Excursion Through Quantitative Model Refinement. In: Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron (Eds.), Membrane Computing, Lecture Notes in Computer Science 9504, 25–47, Springer, 2015.
• Sepinoud Azimi, Ion Petre, Quantitative Model Refinement for Guarded Command Models. In: Marian Gheorghe, Ion Petre, Mario J. Perez-Jimenez, Grzegorz Rozenberg, Arto Salomaa (Eds.), Multidisciplinary Creativity, 196–206, Spandugino, 2015.
• Sepinoud Azimi, Ion Petre, The Reduction Power of Simple Operations for Gene Assembly in Ciliates. In: Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.), Discrete Mathematics and Computer Science, 23–36, The Publishing House of the Romanian Academy, 2014.

TUCS General Series (2):

• Sepinoud Azimi, Hendrik Jan Hoogeboom, Jetty Kleijn, Marloes van der Nat, Ion Petre, Arto Salomaa (Eds.), A Magician in Science: Liber Amicorum Grzegorz Rozenberg, TUCS General Publication, TUCS, 2017.
• Sepinoud Azimi, Joonas Jalonen, Jarkko Kari, Ion Petre (Eds.), Computability in Europe 2017, TUCS General Publication, 2017.

Ph.D. thesis (1):

• Sepinoud Azimi, Computational Models for and from Biology: Simple Gene Assembly and Reaction Systems. TUCS Dissertations 205. 2015.

Technical reports (14):

• Sergiu Ivanov, Vladimir Rogojin, Sepinoud Azimi, Ion Petre, WEBRSIM: A Web-Based Reaction Systems Simulator. TUCS Technical Reports 1195, TUCS, 2018.
• Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre, Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems. TUCS Technical Reports 1167, TUCS, 2016.
• Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri, An Excursion Through Quantitative Model Refinement. TUCS Technical Reports 1150, Turku Centre for Computer Science (TUCS), 2015.
• Sepinoud Azimi, Charmi Panchal, Eugen Czeizler, Ion Petre, Reaction Systems Models for the Self-Assembly of Intermediate Filaments. TUCS Technical Reports 1131, TUCS, 2015.
• Charmi Panchal, Sepinoud Azimi, Ion Petre, Generating Logicome of a Biological Network. TUCS Technical Reports 1139, Turku Centre for Computer Science (TUCS), 2015.
• Sepinoud Azimi, Exact String Matching with Reaction Systems. TUCS Technical Reports 1104, TUCS, 2014.
• Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca, Complexity of Model Checking for Reaction Systems. TUCS Technical Reports 1122, TUCS, 2014.
• Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre, Dependency Graphs and Mass Conservation in Reaction Systems. TUCS Technical Reports 1123, TUCS, 2014.
• Sepinoud Azimi, Ion Petre, The Reduction Power of Simple Operations for Gene Assembly. TUCS Technical Reports 1113, TUCS, 2014.
• Sepinoud Azimi, Bogdan Iancu, Ion Petre, Reaction Systems Models for the Heat Shock Response. TUCS Technical Reports 1075, TUCS, 2013.
• Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre, Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. TUCS Technical Reports 1067, TUCS, 2013.
• Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Simple Gene Assembly as a Rewriting of Directed Overlap-Inclusion Graphs. TUCS Technical Reports 1030, Turku Centre for Computer Science, 2011.
• Sepinoud Azimi, Tero Harju, Miika Langille, Ion Petre, Vladimir Rogojin, Directed Overlap-Inclusion Graphs as Representations of Ciliate Genes. TUCS Technical Reports 1001, Turku Centre for Computer Science, 2011.
• Sepinoud Azimi, Yury Nikulin, A Short Note on Efficiency of Two Heuristics for the Robust Traveling Salesman Problem. TUCS Technical Reports 987, Turku Centre for Computer Science, 2010.