Hybrid dynamics of stochastic programs
Uložené v:
| Vydané v: | Theoretical computer science Ročník 411; číslo 20; s. 2052 - 2077 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
28.04.2010
|
| ISSN: | 0304-3975 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Author | Bortolussi, Luca Policriti, Alberto |
|---|---|
| Author_xml | – sequence: 1 givenname: Luca surname: Bortolussi fullname: Bortolussi, Luca – sequence: 2 givenname: Alberto surname: Policriti fullname: Policriti, Alberto |
| BookMark | eNp9jztPwzAUhT0Uibb0B7BlYku4fsXJiCqgSJVY6Gw5foCjJq5sL_n3uIKJgbsc3SN9R_o2aDWH2SJ0j6HBgNvHsck6NQTKD6QB6FZoDRRYTXvBb9EmpRHKcdGu0cNhGaI3lVlmNXmdquCqlIP-Uil7XV1i-IxqSnfoxqlzsrvf3KLTy_PH_lAf31_f9k_HWhPGc927zlhnyWCUBtobPPDWWWMM40ZTC-AUZRpYy1VfGjGQgQnWMWo5F4ZzukX4Z1fHkFK0Tl6in1RcJAZ5lZOjLHLyKieByCJXGPGH0T6r7MOco_Lnf8hvwsJaJA |
| CitedBy_id | crossref_primary_10_1093_logcom_exr045 crossref_primary_10_1016_j_nahs_2022_101234 crossref_primary_10_1016_j_entcs_2020_06_007 crossref_primary_10_1016_j_tcs_2011_01_007 crossref_primary_10_1007_s13721_012_0010_x crossref_primary_10_1016_j_ic_2015_12_001 crossref_primary_10_3389_fbioe_2014_00027 crossref_primary_10_1016_j_ic_2014_01_016 crossref_primary_10_1016_j_tcs_2015_02_046 crossref_primary_10_1080_17445760_2025_2527713 crossref_primary_10_1109_ACCESS_2020_3025934 crossref_primary_10_1016_j_tcs_2011_12_063 |
| Cites_doi | 10.1007/s10009-004-0140-2 10.1007/s11786-008-0065-3 10.1016/j.entcs.2008.11.025 10.1016/S0020-0190(01)00214-9 10.1109/QEST.2005.12 10.1093/bioinformatics/btm362 10.1038/nature01259 10.1063/1.1475765 10.1385/CBB:38:3:271 10.1007/978-3-642-03073-4_5 10.4204/EPTCS.6.5 10.1007/3-540-61474-5_75 10.1109/CDC.2004.1430320 10.1038/35002125 10.1073/pnas.94.3.814 10.1007/s00285-006-0035-9 10.1021/j100540a008 10.1016/j.entcs.2006.07.012 10.1021/jp993732q 10.1063/1.1505860 10.1093/bib/bbn050 10.1049/sb:20045019 10.1007/s100090050008 10.1093/bioinformatics/btl172 10.1016/j.tcs.2008.04.012 10.1109/BIBM.2007.31 10.1073/pnas.092133899 10.1016/0021-9991(76)90041-3 10.2307/3212147 10.1063/1.481811 10.1038/nature01254 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.tcs.2010.02.008 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science |
| EndPage | 2077 |
| ExternalDocumentID | 10_1016_j_tcs_2010_02_008 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 29Q 4.4 457 4G. 5VS 7-5 71M 8P~ 9DU 9JN AABNK AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AATTM AAXKI AAXUO AAYFN AAYWO AAYXX ABAOU ABBOA ABDPE ABEFU ABFNM ABJNI ABMAC ABWVN ABXDB ACDAQ ACGFS ACLOT ACNNM ACRLP ACRPL ACVFH ACZNC ADBBV ADCNI ADEZE ADMUD ADNMO ADVLN AEBSH AEIPS AEKER AENEX AEUPX AEXQZ AFJKZ AFPUW AFTJW AGHFR AGQPQ AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD APXCP ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CITATION CS3 DU5 EBS EFJIC EFKBS EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MHUIS MO0 N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- ROL RPZ SCC SDF SDG SES SEW SPC SPCBC SSV SSW SSZ T5K TAE TN5 WH7 WUQ YNT ZMT ZY4 ~G- ~HD |
| ID | FETCH-LOGICAL-c245t-9f8defe2bdac039d1b56feddd45dc3e00fa34c0465a95dc7b2b474843e557d553 |
| ISICitedReferencesCount | 23 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000277557700006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0304-3975 |
| IngestDate | Sat Nov 29 05:15:02 EST 2025 Tue Nov 18 21:06:31 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 20 |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c245t-9f8defe2bdac039d1b56feddd45dc3e00fa34c0465a95dc7b2b474843e557d553 |
| PageCount | 26 |
| ParticipantIDs | crossref_primary_10_1016_j_tcs_2010_02_008 crossref_citationtrail_10_1016_j_tcs_2010_02_008 |
| PublicationCentury | 2000 |
| PublicationDate | 2010-04-28 |
| PublicationDateYYYYMMDD | 2010-04-28 |
| PublicationDate_xml | – month: 04 year: 2010 text: 2010-04-28 day: 28 |
| PublicationDecade | 2010 |
| PublicationTitle | Theoretical computer science |
| PublicationYear | 2010 |
| References | Calder (10.1016/j.tcs.2010.02.008_b22) 2006; 4230 Gonze (10.1016/j.tcs.2010.02.008_b26) 2002; 116 Davis (10.1016/j.tcs.2010.02.008_b23) 1993 Bortolussi (10.1016/j.tcs.2010.02.008_b12) 2008; vol. 5016 Bortolussi (10.1016/j.tcs.2010.02.008_b16) 2009; 2 Kwiatkowska (10.1016/j.tcs.2010.02.008_b39) 2004; 6 Geisweiller (10.1016/j.tcs.2010.02.008_b27) 2008; 404 Haseltine (10.1016/j.tcs.2010.02.008_b36) 2002; 117 10.1016/j.tcs.2010.02.008_b42 10.1016/j.tcs.2010.02.008_b44 Goldbeter (10.1016/j.tcs.2010.02.008_b31) 2002; 420 Batt (10.1016/j.tcs.2010.02.008_b19) 2007; 23 Elowitz (10.1016/j.tcs.2010.02.008_b24) 2000; 403 Antoniotti (10.1016/j.tcs.2010.02.008_b3) 2003; 38 10.1016/j.tcs.2010.02.008_b35 Saraswat (10.1016/j.tcs.2010.02.008_b49) 1993 10.1016/j.tcs.2010.02.008_b1 10.1016/j.tcs.2010.02.008_b33 Blossey (10.1016/j.tcs.2010.02.008_b5) 2008; 2 10.1016/j.tcs.2010.02.008_b4 10.1016/j.tcs.2010.02.008_b7 10.1016/j.tcs.2010.02.008_b6 10.1016/j.tcs.2010.02.008_b9 Alfonsi (10.1016/j.tcs.2010.02.008_b2) 2005; vol. 14 10.1016/j.tcs.2010.02.008_b8 Kurtz (10.1016/j.tcs.2010.02.008_b37) 1986 Bortolussi (10.1016/j.tcs.2010.02.008_b15) 2008; 13 Kurtz (10.1016/j.tcs.2010.02.008_b40) 1970; 7 Ghosh (10.1016/j.tcs.2010.02.008_b32) 2004; 1 Gillespie (10.1016/j.tcs.2010.02.008_b30) 2000; 113 Norris (10.1016/j.tcs.2010.02.008_b45) 1997 10.1016/j.tcs.2010.02.008_b21 Gibson (10.1016/j.tcs.2010.02.008_b25) 2000; 104 Vilar (10.1016/j.tcs.2010.02.008_b50) 2002; 99 Calzone (10.1016/j.tcs.2010.02.008_b20) 2006; 22 Gillespie (10.1016/j.tcs.2010.02.008_b28) 1976; 22 10.1016/j.tcs.2010.02.008_b17 Kitano (10.1016/j.tcs.2010.02.008_b38) 2002; 420 Pahle (10.1016/j.tcs.2010.02.008_b46) 2009; 10 10.1016/j.tcs.2010.02.008_b18 Gillespie (10.1016/j.tcs.2010.02.008_b29) 1977; 81 Müller (10.1016/j.tcs.2010.02.008_b43) 2006; 53 Henzinger (10.1016/j.tcs.2010.02.008_b34) 1997; 1 Ross (10.1016/j.tcs.2010.02.008_b48) 1996 10.1016/j.tcs.2010.02.008_b13 10.1016/j.tcs.2010.02.008_b14 Wilkinson (10.1016/j.tcs.2010.02.008_b51) 2006 McAdams (10.1016/j.tcs.2010.02.008_b41) 1997 Priami (10.1016/j.tcs.2010.02.008_b47) 2001; 80 10.1016/j.tcs.2010.02.008_b10 10.1016/j.tcs.2010.02.008_b11 |
| References_xml | – volume: 6 start-page: 128 issue: 2 year: 2004 ident: 10.1016/j.tcs.2010.02.008_b39 article-title: Probabilistic symbolic model checking with prism: A hybrid approach publication-title: International Journal on Software Tools for Technology Transfer doi: 10.1007/s10009-004-0140-2 – volume: 2 start-page: 465 issue: 3 year: 2009 ident: 10.1016/j.tcs.2010.02.008_b16 article-title: Hybrid dynamics of stochastic π-calculus publication-title: Mathematics in Computer Science doi: 10.1007/s11786-008-0065-3 – year: 1996 ident: 10.1016/j.tcs.2010.02.008_b48 – ident: 10.1016/j.tcs.2010.02.008_b10 doi: 10.1016/j.entcs.2008.11.025 – volume: 80 start-page: 25 issue: 1 year: 2001 ident: 10.1016/j.tcs.2010.02.008_b47 article-title: Application of a stochastic name-passing calculus to representation and simulation of molecular processes publication-title: Information Processing Letters doi: 10.1016/S0020-0190(01)00214-9 – volume: vol. 14 start-page: 1 year: 2005 ident: 10.1016/j.tcs.2010.02.008_b2 article-title: Adaptive simulation of hybrid stochastic and deterministic models for biochemical systems – ident: 10.1016/j.tcs.2010.02.008_b44 – year: 1993 ident: 10.1016/j.tcs.2010.02.008_b49 – ident: 10.1016/j.tcs.2010.02.008_b35 doi: 10.1109/QEST.2005.12 – volume: 23 start-page: 2415 issue: 18 year: 2007 ident: 10.1016/j.tcs.2010.02.008_b19 article-title: Robustness analysis and tuning of synthetic gene networks publication-title: Bioinformatics doi: 10.1093/bioinformatics/btm362 – volume: 420 start-page: 238 year: 2002 ident: 10.1016/j.tcs.2010.02.008_b31 article-title: Computational approaches to cellular rhythms publication-title: Nature doi: 10.1038/nature01259 – ident: 10.1016/j.tcs.2010.02.008_b11 – volume: 116 start-page: 10997 issue: 12 year: 2002 ident: 10.1016/j.tcs.2010.02.008_b26 article-title: Biochemical clocks and molecular noise: Theoretical study of robustness factors publication-title: Journal of Chemical Physics doi: 10.1063/1.1475765 – volume: 38 start-page: 271 issue: 3 year: 2003 ident: 10.1016/j.tcs.2010.02.008_b3 article-title: Model building and model checking for biochemical processes publication-title: Cell Biochemistry and Biophysics doi: 10.1385/CBB:38:3:271 – ident: 10.1016/j.tcs.2010.02.008_b18 doi: 10.1007/978-3-642-03073-4_5 – ident: 10.1016/j.tcs.2010.02.008_b17 doi: 10.4204/EPTCS.6.5 – volume: 13 issue: 1 year: 2008 ident: 10.1016/j.tcs.2010.02.008_b15 article-title: Modeling biological systems in concurrent constraint programming publication-title: Constraints – ident: 10.1016/j.tcs.2010.02.008_b4 doi: 10.1007/3-540-61474-5_75 – ident: 10.1016/j.tcs.2010.02.008_b7 doi: 10.1109/CDC.2004.1430320 – volume: 403 start-page: 335 year: 2000 ident: 10.1016/j.tcs.2010.02.008_b24 article-title: A synthetic oscillatory network of transcriptional regulators publication-title: Nature doi: 10.1038/35002125 – start-page: 814 issue: 94 year: 1997 ident: 10.1016/j.tcs.2010.02.008_b41 article-title: Stochastic mechanisms in gene expression publication-title: Proceedings of the National Academy of Sciences doi: 10.1073/pnas.94.3.814 – ident: 10.1016/j.tcs.2010.02.008_b42 – volume: 53 start-page: 905 year: 2006 ident: 10.1016/j.tcs.2010.02.008_b43 article-title: A generalized model of the repressilator publication-title: Journal of Mathematical Biology doi: 10.1007/s00285-006-0035-9 – volume: 81 issue: 25 year: 1977 ident: 10.1016/j.tcs.2010.02.008_b29 article-title: Exact stochastic simulation of coupled chemical reactions publication-title: Journal of Physical Chemistry doi: 10.1021/j100540a008 – ident: 10.1016/j.tcs.2010.02.008_b9 doi: 10.1016/j.entcs.2006.07.012 – ident: 10.1016/j.tcs.2010.02.008_b21 – volume: 104 start-page: 1876 issue: 9 year: 2000 ident: 10.1016/j.tcs.2010.02.008_b25 article-title: Efficient exact simulation of chemical systems with many species and many channels publication-title: Journal Physical Chemistry doi: 10.1021/jp993732q – ident: 10.1016/j.tcs.2010.02.008_b14 – volume: 117 issue: 15 year: 2002 ident: 10.1016/j.tcs.2010.02.008_b36 article-title: Approximate simulation of coupled fast and slow reactions for stochastic chemical kinetics publication-title: Journal of Chemical Physics doi: 10.1063/1.1505860 – volume: 10 start-page: 53 issue: 1 year: 2009 ident: 10.1016/j.tcs.2010.02.008_b46 article-title: Biochemical simulations: Stochastic, approximate stochastic and hybrid approaches publication-title: Brief Bioinformatics doi: 10.1093/bib/bbn050 – volume: 1 start-page: 170 issue: 1 year: 2004 ident: 10.1016/j.tcs.2010.02.008_b32 article-title: Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling publication-title: IEEE Systems Biology doi: 10.1049/sb:20045019 – volume: vol. 5016 start-page: 424 year: 2008 ident: 10.1016/j.tcs.2010.02.008_b12 article-title: Hybrid systems and biology: Continuous and discrete modeling for systems biology – volume: 1 start-page: 110 year: 1997 ident: 10.1016/j.tcs.2010.02.008_b34 article-title: Hytech: A model checker for hybrid systems publication-title: Software Tools for Technology Transfer doi: 10.1007/s100090050008 – volume: 22 start-page: 1805 year: 2006 ident: 10.1016/j.tcs.2010.02.008_b20 article-title: Biocham: An environment for modeling biological systems and formalizing experimental knowledge publication-title: Bioinformatics doi: 10.1093/bioinformatics/btl172 – year: 1986 ident: 10.1016/j.tcs.2010.02.008_b37 – volume: 404 start-page: 97 issue: 1-2 year: 2008 ident: 10.1016/j.tcs.2010.02.008_b27 article-title: Relating continuous and discrete pepa models of signalling pathways publication-title: Theoretical Computer Science doi: 10.1016/j.tcs.2008.04.012 – ident: 10.1016/j.tcs.2010.02.008_b13 – ident: 10.1016/j.tcs.2010.02.008_b1 – year: 1993 ident: 10.1016/j.tcs.2010.02.008_b23 – ident: 10.1016/j.tcs.2010.02.008_b6 doi: 10.1109/BIBM.2007.31 – volume: 99 start-page: 5991 issue: 9 year: 2002 ident: 10.1016/j.tcs.2010.02.008_b50 article-title: Mechanisms of noise resistance in genetic oscillators publication-title: Proceedings of the National Academy of Sciences doi: 10.1073/pnas.092133899 – ident: 10.1016/j.tcs.2010.02.008_b8 – volume: 22 year: 1976 ident: 10.1016/j.tcs.2010.02.008_b28 article-title: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions publication-title: Journal of Computational Physics doi: 10.1016/0021-9991(76)90041-3 – volume: 2 start-page: 17 issue: 1 year: 2008 ident: 10.1016/j.tcs.2010.02.008_b5 article-title: Compositionality, stochasticity and cooperativity in dynamic models of gene regulation publication-title: HFPS Journal – volume: 4230 start-page: 1 year: 2006 ident: 10.1016/j.tcs.2010.02.008_b22 article-title: Modelling the influence of rkip on the erk signalling pathway using the stochastic process algebra PEPA publication-title: Transactions on Computational Systems Biology – volume: 7 start-page: 49 year: 1970 ident: 10.1016/j.tcs.2010.02.008_b40 article-title: Solutions of ordinary differential equations as limits of pure jump markov processes publication-title: Journal of Applied Probability doi: 10.2307/3212147 – volume: 113 start-page: 297 issue: 1 year: 2000 ident: 10.1016/j.tcs.2010.02.008_b30 article-title: The chemical langevin equation publication-title: Journal of Chemical Physics doi: 10.1063/1.481811 – year: 2006 ident: 10.1016/j.tcs.2010.02.008_b51 – year: 1997 ident: 10.1016/j.tcs.2010.02.008_b45 – volume: 420 start-page: 206 year: 2002 ident: 10.1016/j.tcs.2010.02.008_b38 article-title: Computational systems biology publication-title: Nature doi: 10.1038/nature01254 – ident: 10.1016/j.tcs.2010.02.008_b33 |
| SSID | ssj0000576 |
| Score | 2.0742974 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 2052 |
| Title | Hybrid dynamics of stochastic programs |
| Volume | 411 |
| WOSCitedRecordID | wos000277557700006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 issn: 0304-3975 databaseCode: AIEXJ dateStart: 19950109 customDbUrl: isFulltext: true dateEnd: 20180131 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0000576 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3PS8MwFA7iPOjBH1Nx_qIH8eCYZG3TNMchkyk4PEzYraxJig7pxrrJ_O99aZK2TAbu4KWM0IW2X_PeS99734fQDW3HJKCStLyAUNigJGAHYwjksBB-0I5ZTDjPxSZovx8Oh-zVqPRluZwATdNwuWTTf4UaxgBs1Tq7AdzFpDAAvwF0OALscPwT8L1v1YTVFFpqPq_UgACPv48UI7Otx8qqQemg0szIjcpD07jGYrsOYTpcNqygfCe_KCt8cmZhRY2k-2VUofak-i1BpcF925tteqhUnoRpLRNrH31jDfWL4OKqucOafta4ThdrSZZfZll_IRjfz3lmqukUTWpY-iCbd19xTUXBoK1FG0cwRaSmiLAb5V3eNZcSBvas1nnqDp9LL0yozlObO7IZ7by2b-U6KjFJJbgYHKJ9sytwOhrNI7Ql0zo6sIobjjHAdbT3UrDsZsfoVkPtWKidSeKUUDsW6hP09tgdPPRaRveixV2fzFssCYVMpBuLEcceE2o5JVLA6iGCexLjZOT5HPsBGTEYobEb-4oS1pOEUEGId4q200kqz5ADiy3gPAgDFXpK6bNQel7CiQyJUCnnBsL2ziNuSOGVNslntPaJN9Bd8ZepZkRZf_L5JidfoN3ypbxE2_PZQl6hHf41_8hm1wbgH8tzWPM |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Hybrid+dynamics+of+stochastic+programs&rft.jtitle=Theoretical+computer+science&rft.au=Bortolussi%2C+Luca&rft.au=Policriti%2C+Alberto&rft.date=2010-04-28&rft.issn=0304-3975&rft.volume=411&rft.issue=20&rft.spage=2052&rft.epage=2077&rft_id=info:doi/10.1016%2Fj.tcs.2010.02.008&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_tcs_2010_02_008 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon |