المؤلفون: Chiari M., Mandrioli D., Pontiggia F., Pradella M.

المساهمون: Chiari, M., Mandrioli, D., Pontiggia, F., Pradella, M.

مصطلحات موضوعية: Linear temporal logic, input-driven languages, model checking, operator precedence languages, precedence oriented temporal logic, visibly pushdown languages

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001080461200004; volume:45; issue:3; firstpage:1; lastpage:66; numberofpages:66; journal:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; https://hdl.handle.net/11311/1253477Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85173624993

الإتاحة: https://doi.org/10.1145/3608443Test
https://hdl.handle.net/11311/1253477Test

المؤلفون: Pontiggia F., Chiari M., Pradella M.

المساهمون: Calinescu, R., Păsăreanu, C.S., Pontiggia, F., Chiari, M., Pradella, M.

مصطلحات موضوعية: Exceptions, Linear Temporal Logic, Model Checking, Operator Precedence Languages, Software verification

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-92123-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-92124-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000850998600017; ispartofbook:Software Engineering and Formal Methods. SEFM 2021; 19th International Conference on Software Engineering and Formal Methods, SEFM 2021; volume:13085; firstpage:293; lastpage:311; numberofpages:19; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:Calinescu, R., Păsăreanu, C.S.; http://hdl.handle.net/11311/1199461Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85121923534; https://link.springer.com/chapter/10.1007/978-3-030-92124-8_17Test

الإتاحة: https://doi.org/10.1007/978-3-030-92124-8_17Test
http://hdl.handle.net/11311/1199461Test

المؤلفون: Pontiggia, F., Colombo, G., Micheletti, C., Orland, H.

مصطلحات موضوعية: Quantitative Biology - Biomolecules, Condensed Matter - Soft Condensed Matter, Physics - Biological Physics

الوصول الحر: http://arxiv.org/abs/q-bio/0612020Test

المؤلفون: Armocida, P, Arnone, G, Bernocchi, R, Canova, G, Casella, P, Costantini, R, Cucco, M, Della Casa, S, Dinoia, D, Gosetti, G, Letta, G, Ranieri Martinotti, F, Milani, D, Orfei, M, Pontiggia, F, Priarone, C, Rampello, D, Rutelli, F, Scaglioni, M, Ulivi, S, Valmarana, C, Cucco, Marco, Scaglioni, Massimo

المساهمون: Cucco, Marco, Scaglioni, Massimo

مصطلحات موضوعية: industria del cinema, pandemia, piattaforme, politiche culturali, economia dei media, cinema, Settore L-ART/06 - CINEMA, FOTOGRAFIA E TELEVISIONE

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-88-85095-97-7; firstpage:1; lastpage:108; numberofpages:108; https://hdl.handle.net/10807/226068Test

الإتاحة: https://hdl.handle.net/10807/226068Test

المؤلفون: Vento G., Ventura M. L., Pastorino R., van Kaam A. H., Carnielli V., Cools F., Dani C., Mosca F., Polglase G., Tagliabue P., Boni L., Cota F., Tana M., Tirone C., Aurilia C., Lio A., Cost S., D'Andrea V., Lucente M., Nigro G., Giordano L., Roma V., Villani P., Fusco F. P., Fasolato V., Colnaghi M. R., Matassa P. G., Vendettuoli V., Poggi C., Del Vecchi A., Petrillo F., Betta P., Mattia C., Garani G., Solinas A., Gitto E., Salvo V., Gargano G., Balestri E., Sandri F., Mescoli G., Martinelli S., Ilardi L., Ciarmoli E., Di Fabio S., Maranella E., Grassia C., Ausanio G., Rossi V., Motta A., Tina L. G., Maiolo K., Nobile S., Messner H., Staffler A., Ferrero F., Stasi I., Pieragostini L., Mondello I., Haass C., Consigli C., Vedovato S., Grison A., Maffei G., Presta G., Perniola R., Vitaliti M., Re M. P., De Curtis M., Cardilli V., Lago P., Tormena F., Orfeo L., Gizzi C., Massenzi L., Gazzolo D., Strozzi M. C. M., Bottino R., Pontiggia F., Berardi A., Guidotti I., Cacace C., Meli V., Quartulli L., Scorrano A., Casati A., Grappone L., Pillow J. J.

المساهمون: Vento, G., Ventura, M. L., Pastorino, R., van Kaam, A. H., Carnielli, V., Cools, F., Dani, C., Mosca, F., Polglase, G., Tagliabue, P., Boni, L., Cota, F., Tana, M., Tirone, C., Aurilia, C., Lio, A., Cost, S., D'Andrea, V., Lucente, M., Nigro, G., Giordano, L., Roma, V., Villani, P., Fusco, F. P., Fasolato, V., Colnaghi, M. R., Matassa, P. G., Vendettuoli, V., Poggi, C., Del Vecchi, A., Petrillo, F., Betta, P., Mattia, C., Garani, G., Solinas, A., Gitto, E., Salvo, V., Gargano, G., Balestri, E., Sandri, F., Mescoli, G., Martinelli, S., Ilardi, L., Ciarmoli, E., Di Fabio, S., Maranella, E., Grassia, C., Ausanio, G., Rossi, V., Motta, A., Tina, L. G., Maiolo, K., Nobile, S., Messner, H., Staffler, A., Ferrero, F., Stasi, I., Pieragostini, L., Mondello, I., Haass, C., Consigli, C., Vedovato, S., Grison, A., Maffei, G., Presta, G., Perniola, R., Vitaliti, M., Re, M. P., De Curtis, M., Cardilli, V., Lago, P., Tormena, F., Orfeo, L., Gizzi, C., Massenzi, L., Gazzolo, D., Strozzi, M. C. M., Bottino, R., Pontiggia, F., Berardi, A., Guidotti, I., Cacace, C., Meli, V., Quartulli, L., Scorrano, A., Casati, A., Grappone, L., Pillow, J. J.

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/33545093; info:eu-repo/semantics/altIdentifier/wos/WOS:000631356600002; volume:9; issue:2; firstpage:e12; lastpage:e12; journal:THE LANCET RESPIRATORY MEDICINE; http://hdl.handle.net/11380/1281691Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85100278489

الإتاحة: https://doi.org/10.1016/S2213-2600Test(21)00037-0
http://hdl.handle.net/11380/1281691Test

المؤلفون: Vento G., Ventura M. L., Pastorino R., van Kaam A. H., Carnielli V., Cools F., Dani C., Mosca F., Polglase G., Tagliabue P., Boni L., Cota F., Tana M., Tirone C., Aurilia C., Lio A., Costa S., D'Andrea V., Lucente M., Nigro G., Giordano L., Roma V., Villani P. E., Fusco F. P., Fasolato V., Colnaghi M. R., Matassa P. G., Vendettuoli V., Poggi C., Del Vecchio A., Petrillo F., Betta P., Mattia C., Garani G., Solinas A., Gitto E., Salvo V., Gargano G., Balestri E., Sandri F., Mescoli G., Martinelli S., Ilardi L., Ciarmoli E., Di Fabio S., Maranella E., Grassia C., Ausanio G., Rossi V., Motta A., Tina L. G., Maiolo K., Nobile S., Messner H., Staffler A., Ferrero F., Stasi I., Pieragostini L., Mondello I., Haass C., Consigli C., Vedovato S., Grison A., Maffei G., Presta G., Perniola R., Vitaliti M., Re M. P., De Curtis M., Cardilli V., Lago P., Tormena F., Orfeo L., Gizzi C., Massenzi L., Gazzolo D., Strozzi M. C. M., Bottino R., Pontiggia F., Berardi A., Guidotti I., Cacace C., Meli V., Quartulli L., Scorrano A., Casati A., Grappone L., Pillow J. J.

المساهمون: Vento, G., Ventura, M. L., Pastorino, R., van Kaam, A. H., Carnielli, V., Cools, F., Dani, C., Mosca, F., Polglase, G., Tagliabue, P., Boni, L., Cota, F., Tana, M., Tirone, C., Aurilia, C., Lio, A., Costa, S., D'Andrea, V., Lucente, M., Nigro, G., Giordano, L., Roma, V., Villani, P. E., Fusco, F. P., Fasolato, V., Colnaghi, M. R., Matassa, P. G., Vendettuoli, V., Poggi, C., Del Vecchio, A., Petrillo, F., Betta, P., Mattia, C., Garani, G., Solinas, A., Gitto, E., Salvo, V., Gargano, G., Balestri, E., Sandri, F., Mescoli, G., Martinelli, S., Ilardi, L., Ciarmoli, E., Di Fabio, S., Maranella, E., Grassia, C., Ausanio, G., Rossi, V., Motta, A., Tina, L. G., Maiolo, K., Nobile, S., Messner, H., Staffler, A., Ferrero, F., Stasi, I., Pieragostini, L., Mondello, I., Haass, C., Consigli, C., Vedovato, S., Grison, A., Maffei, G., Presta, G., Perniola, R., Vitaliti, M., Re, M. P., De Curtis, M., Cardilli, V., Lago, P., Tormena, F., Orfeo, L., Gizzi, C., Massenzi, L., Gazzolo, D., Strozzi, M. C. M., Bottino, R., Pontiggia, F., Berardi, A., Guidotti, I., Cacace, C., Meli, V., Quartulli, L., Scorrano, A., Casati, A., Grappone, L., Pillow, J. J.

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000631356600027; volume:9; issue:2; firstpage:159; lastpage:166; numberofpages:8; journal:THE LANCET RESPIRATORY MEDICINE; http://hdl.handle.net/11380/1208215Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85089297897

الإتاحة: https://doi.org/10.1016/S2213-2600Test(20)30179-X
http://hdl.handle.net/11380/1208215Test

المؤلفون: Vento G., Ventura M. L., Pastorino R., van Kaam A. H., Carnielli V., Cools F., Dani C., Mosca F., Polglase G., Tagliabue P., Boni L., Cota F., Tana M., Tirone C., Aurilia C., Lio A., Costa S., D'Andrea V., Lucente M., Nigro G., Giordano L., Roma V., Villani P. E., Fusco F. P., Fasolato V., Colnaghi M. R., Matassa P. G., Vendettuoli V., Poggi C., Del Vecchio A., Petrillo F., Betta P., Mattia C., Garani G., Solinas A., Gitto E., Salvo V., Gargano G., Balestri E., Sandri F., Mescoli G., Martinelli S., Ilardi L., Ciarmoli E., Di Fabio S., Maranella E., Grassia C., Ausanio G., Rossi V., Motta A., Tina L. G., Maiolo K., Nobile S., Messner H., Staffler A., Ferrero F., Stasi I., Pieragostini L., Mondello I., Haass C., Consigli C., Vedovato S., Grison A., Maffei G., Presta G., Perniola R., Vitaliti M., Re M. P., De Curtis M., Cardilli V., Lago P., Tormena F., Orfeo L., Gizzi C., Massenzi L., Gazzolo D., Strozzi M. C. M., Bottino R., Pontiggia F., Berardi A., Guidotti I., Cacace C., Meli V., Quartulli L., Scorrano A., Casati A., Grappone L., Pillow J. J.

المساهمون: Vento, G., Ventura, M. L., Pastorino, R., van Kaam, A. H., Carnielli, V., Cools, F., Dani, C., Mosca, F., Polglase, G., Tagliabue, P., Boni, L., Cota, F., Tana, M., Tirone, C., Aurilia, C., Lio, A., Costa, S., D'Andrea, V., Lucente, M., Nigro, G., Giordano, L., Roma, V., Villani, P. E., Fusco, F. P., Fasolato, V., Colnaghi, M. R., Matassa, P. G., Vendettuoli, V., Poggi, C., Del Vecchio, A., Petrillo, F., Betta, P., Mattia, C., Garani, G., Solinas, A., Gitto, E., Salvo, V., Gargano, G., Balestri, E., Sandri, F., Mescoli, G., Martinelli, S., Ilardi, L., Ciarmoli, E., Di Fabio, S., Maranella, E., Grassia, C., Ausanio, G., Rossi, V., Motta, A., Tina, L. G., Maiolo, K., Nobile, S., Messner, H., Staffler, A., Ferrero, F., Stasi, I., Pieragostini, L., Mondello, I., Haass, C., Consigli, C., Vedovato, S., Grison, A., Maffei, G., Presta, G., Perniola, R., Vitaliti, M., Re, M. P., De Curtis, M., Cardilli, V., Lago, P., Tormena, F., Orfeo, L., Gizzi, C., Massenzi, L., Gazzolo, D., Strozzi, M. C. M., Bottino, R., Pontiggia, F., Berardi, A., Guidotti, I., Cacace, C., Meli, V., Quartulli, L., Scorrano, A., Casati, A., Grappone, L., Pillow, J. J.

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/32687801; info:eu-repo/semantics/altIdentifier/wos/WOS:000631356600027; journal:THE LANCET RESPIRATORY MEDICINE; http://hdl.handle.net/11566/286799Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85089297897

الإتاحة: https://doi.org/10.1016/S2213-2600Test(20)30179-X
http://hdl.handle.net/11566/286799Test

المؤلفون: Pontiggia, F., Pachov, D.V., Clarkson, M.W., Villali, J., Hagan, M.F., Pande, V.S., Kern, D.

المصدر: Nature Communications ; volume 6, issue 1 ; ISSN 2041-1723

مصطلحات موضوعية: General Physics and Astronomy, General Biochemistry, Genetics and Molecular Biology, General Chemistry, Multidisciplinary

الإتاحة: https://doi.org/10.1038/ncomms8284Test
https://www.nature.com/articles/ncomms8284.pdfTest
https://www.nature.com/articles/ncomms8284Test

المؤلفون: Potestio, R., Aleksiev, T., Pontiggia, F., Cozzini, S., Micheletti, C.

مصطلحات موضوعية: Articles

وصف الملف: text/html

العلاقة: http://nar.oxfordjournals.org/cgi/content/short/38/suppl_2/W41Test; http://dx.doi.org/10.1093/nar/gkq293Test

الإتاحة: https://doi.org/10.1093/nar/gkq293Test
http://nar.oxfordjournals.org/cgi/content/short/38/suppl_2/W41Test

المؤلفون: Aleksiev, T., Potestio, R., Pontiggia, F., Cozzini, S., Micheletti, C.

مصطلحات موضوعية: STRUCTURAL BIOINFORMATICS

وصف الملف: text/html

العلاقة: http://bioinformatics.oxfordjournals.org/cgi/content/short/25/20/2743Test; http://dx.doi.org/10.1093/bioinformatics/btp512Test

الإتاحة: https://doi.org/10.1093/bioinformatics/btp512Test
http://bioinformatics.oxfordjournals.org/cgi/content/short/25/20/2743Test