BibTeX records: Diana-Elena Gratie

• > Home > Persons > Diana-Elena Gratie

@incollection{DBLP:books/crc/p/GratieIAP16,
  author       = {Diana{-}Elena Gratie and
                  Bogdan Iancu and
                  Sepinoud Azimi and
                  Ion Petre},
  editor       = {Luigia Petre and
                  Emil Sekerinski},
  title        = {Quantitative Model Refinement in Four Different Frameworks, with Applications
                  to the Heat Shock Response},
  booktitle    = {From Action Systems to Distributed Systems - The Refinement Approach},
  pages        = {201--214},
  publisher    = {Chapman and Hall/CRC},
  year         = {2016},
  url          = {https://doi.org/10.1201/b20053-20},
  doi          = {10.1201/B20053-20},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/crc/p/GratieIAP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/GratieP15,
  author       = {Diana{-}Elena Gratie and
                  Ion Petre},
  editor       = {Monika Heiner and
                  Annegret Katrin Wagler},
  title        = {Full structural model refinement as type refinement of colored Petri
                  nets},
  booktitle    = {Proceedings of the 6th International Workshop on Biological Processes
                  {\&} Petri Nets co-located with 36th International Conference
                  on Application and Theory of Petri Nets and Concurreny {(PETRI} {NETS}
                  2015), Brussels, Belgium, June 22, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1373},
  pages        = {70--84},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1373/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/GratieP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/membrane/AzimiCGGIIPRSS15,
  author       = {Sepinoud Azimi and
                  Eugen Czeizler and
                  Cristian Gratie and
                  Diana{-}Elena Gratie and
                  Bogdan Iancu and
                  Nebiat Ibssa and
                  Ion Petre and
                  Vladimir Rogojin and
                  Tolou Shadbahr and
                  Fatemeh Shokri},
  editor       = {Grzegorz Rozenberg and
                  Arto Salomaa and
                  Jos{\'{e}} M. Sempere and
                  Claudio Zandron},
  title        = {An Excursion Through Quantitative Model Refinement},
  booktitle    = {Membrane Computing - 16th International Conference, {CMC} 2015, Valencia,
                  Spain, August 17-21, 2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9504},
  pages        = {25--47},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28475-0\_3},
  doi          = {10.1007/978-3-319-28475-0\_3},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/membrane/AzimiCGGIIPRSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GratieG16,
  author       = {Diana{-}Elena Gratie and
                  Cristian Gratie},
  editor       = {Lo{\"{\i}}c Paulev{\'{e}} and
                  Nathalie Th{\'{e}}ret},
  title        = {Composition Colored Petri Nets for the Refinement of Reaction-based
                  Models},
  booktitle    = {6th International Workshop on Static Analysis and Systems Biology,
                  {SASB} 2015, Saint-Malo, France, September 8, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {326},
  pages        = {51--72},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.018},
  doi          = {10.1016/J.ENTCS.2016.09.018},
  timestamp    = {Thu, 10 Nov 2022 13:41:16 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GratieG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alcob/IancuGAP14,
  author       = {Bogdan Iancu and
                  Diana{-}Elena Gratie and
                  Sepinoud Azimi and
                  Ion Petre},
  editor       = {Adrian{-}Horia Dediu and
                  Carlos Mart{\'{\i}}n{-}Vide and
                  Bianca Truthe},
  title        = {On the Implementation of Quantitative Model Refinement},
  booktitle    = {Algorithms for Computational Biology - First International Conference,
                  AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns},
  series       = {Lecture Notes in Computer Science},
  volume       = {8542},
  pages        = {95--106},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07953-0\_8},
  doi          = {10.1007/978-3-319-07953-0\_8},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/alcob/IancuGAP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfm/GratieIP13,
  author       = {Diana{-}Elena Gratie and
                  Bogdan Iancu and
                  Ion Petre},
  editor       = {Marco Bernardo and
                  Erik P. de Vink and
                  Alessandra Di Pierro and
                  Herbert Wiklicky},
  title        = {{ODE} Analysis of Biological Systems},
  booktitle    = {Formal Methods for Dynamical Systems - 13th International School on
                  Formal Methods for the Design of Computer, Communication, and Software
                  Systems, {SFM} 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {7938},
  pages        = {29--62},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38874-3\_2},
  doi          = {10.1007/978-3-642-38874-3\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfm/GratieIP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}