Publikationer per år
Publikationer per år
- 4 resultat
Sökresultat
-
An Excursion Through Quantitative Model Refinement
Azimi Rashti, S., Czeizler, E., Gratie, D-E., Gratie, C., Iancu, B., Nebiat, I., Petre, I., Rogojin, V., Shadbahr, T. & Shokri-Manninen, F., 2015, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
2 Citeringar (Scopus) -
Fit-preserving refinement of the ErbB signalling pathway
Iancu, B., Sanwal, U., Gratie, C. & Petre, I., 2017, Turku Centre for Computer Science. 16 s. (TUCS technical report; nr. 1187)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
-
Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response
Gratie, D-E., Iancu, B., Azimi, S. & Petre, I., 2013, Turku Centre for Computer Science. 48 s. (TUCS Technical Report; nr. 1067)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
-
Reaction systems models for the heatshock response
Azimi, S., Iancu, B. & Petre, I., 2013, TUCS. 16 s. (TUCS Technical Reports ; vol. 1075)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell