• 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 (2):

• Diana-Elena Gratie, Cristian Gratie, Composition Colored Petri Nets for the Refinement of Reaction-based Models. Electronic Notes in Theoretical Computer Science 326, 51–72, 2016.
• Diana-Elena Gratie, Ion Petre, Hiding the combinatorial state space explosion of biomodels through colored Petri nets. Annals of University of Bucharest LXI, 23–41, 2014.

Articles in proceedings (2):

• Diana-Elena Gratie, Ion Petre, Full Structural Model Refinement as Type Refinement of Colored Petri Nets. In: Monika Heiner, Annegret K. Wagler (Eds.), Proceedings of the 6th International Workshop on Biological Processes & Petri Nets, Ceur Workshop Proceedings 1373, 70–84, CEUR Workshop Proceedings, 2015.
• 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 (2):

• 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.
• Diana-Elena Gratie, Bogdan Iancu, Ion Petre, ODE analysis of biological systems. In: Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (Eds.), Formal Methods for Dynamical Systems, Lecture Notes in Computer Science 7938, 29–62, Springer, 2013.

Ph.D. thesis (1):

• Diana-Elena Gratie, Refinement of Biomodels Using Petri Nets. TUCS Dissertations 216. 2016.

Technical reports (7):

• Diana-Elena Gratie, Cristian Gratie, Composition Colored Petri Nets for the Refinement of Reaction-Based Models. TUCS Technical Reports 1146, TUCS, 2015.
• Diana-Elena Gratie, Ion Petre, Full Structural Model Refinement as Type Refinement of Colored Petri Nets. TUCS Technical Reports 1135, TUCS, 2015.
• Diana-Elena Gratie, Ion Petre, A New Class of Colored Petri Nets for Model Refinement. TUCS Technical Reports 1100, 2014.
• Diana-Elena Gratie, Ion Petre, Hiding the Combinatorial State Space Explosion of Biomodels Through Colored Petri Nets. TUCS Technical Reports 1119, TUCS, 2014.
• 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.
• Diana-Elena Gratie, Bogdan Iancu, Ion Petre, ODE Analysis of Biological Systems. TUCS Technical Reports 1072, TUCS, 2013.
• Diana-Elena Gratie, Ion Petre, Quantitative Petri Nets Models for the Heat Shock Response. TUCS Technical Reports 1068, TUCS, 2013.