المؤلفون: Bonchi, F, Gadducci, F, Kissinger, A, Sobocinski, P, Zanasi, F

العلاقة: https://ora.ox.ac.uk/objects/uuid:5bf7e2ad-4107-488f-b883-0cf5e14964f1Test; https://doi.org/10.1017/S0960129522000317Test

الإتاحة: https://doi.org/10.1017/S0960129522000317Test
https://ora.ox.ac.uk/objects/uuid:5bf7e2ad-4107-488f-b883-0cf5e14964f1Test

المؤلفون: Rattay, T., Bajardi, P., Bologna, G., Bonchi, F., Cortellessa, G., Dekker, A., Fracasso, F., Joore, M., Paragios, N., Rivera, S., Roumen, C., van Soest, J., Traverso, A., Verhoeven, K., Koutsopoulos, I., Talbot, C.J.

المصدر: The Breast ; volume 68, page S54 ; ISSN 0960-9776

مصطلحات موضوعية: General Medicine, Surgery

الإتاحة: https://doi.org/10.1016/s0960-9776Test(23)00220-5
https://api.elsevier.com/content/article/PII:S0960977623002205?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0960977623002205?httpAccept=text/plainTest

المؤلفون: Bonchi F., Gadducci F., Kissinger A., Sobocinski P., Zanasi F.

المساهمون: Bonchi F., Gadducci F., Kissinger A., Sobocinski P., Zanasi F.

مصطلحات موضوعية: String diagram, double-pushout rewriting, category theory, Frobenius algebra

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000774368700006; volume:69; issue:2; firstpage:1; lastpage:58; numberofpages:58; journal:JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY; https://hdl.handle.net/11585/903901Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85127614327

الإتاحة: https://doi.org/10.1145/3502719Test
https://hdl.handle.net/11585/903901Test

المؤلفون: Bonchi F., Di Giorgio A., Zanasi F.

المساهمون: Bonchi F., Di Giorgio A., Zanasi F.

مصطلحات موضوعية: Duality, Farkas Lemma, Linear programming, String diagrams

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-212-9; ispartofbook:9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021; 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021; volume:211; firstpage:1; lastpage:19; numberofpages:19; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; https://hdl.handle.net/11585/904266Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85120651645; https://drops.dagstuhl.de/opus/volltexte/2021/15364Test/

الإتاحة: https://doi.org/10.4230/LIPIcs.CALCO.2021.9Test
https://hdl.handle.net/11585/904266Test
https://drops.dagstuhl.de/opus/volltexte/2021/15364Test/

المؤلفون: Bonchi F., Piedeleu R., Sobocinski P., Zanasi F.

المساهمون: Bonchi F., Piedeleu R., Sobocinski P., Zanasi F.

مصطلحات موضوعية: affine relation, contextual equivalence, full abstraction, signal flow graph, string diagrams

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-45230-8; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-45231-5; info:eu-repo/semantics/altIdentifier/wos/WOS:000719283800005; ispartofbook:Foundations of Software Science and Computation Structures. FoSSaCS 2020.; 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020; volume:12077; firstpage:77; lastpage:96; numberofpages:20; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11585/904855Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85084115850; https://link.springer.com/chapter/10.1007/978-3-030-45231-5_5Test

الإتاحة: https://doi.org/10.1007/978-3-030-45231-5_5Test
https://hdl.handle.net/11585/904855Test

المؤلفون: Bonchi F., Piedeleu R., Sobocinski P., Zanasi F.

المساهمون: Bonchi F., Piedeleu R., Sobocinski P., Zanasi F.

مصطلحات موضوعية: Bialgebraic semantic, String diagram, Structural operational semantics

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000721215200017; volume:281; firstpage:1; lastpage:33; numberofpages:33; journal:INFORMATION AND COMPUTATION; https://hdl.handle.net/11585/904705Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85109004037; https://www.sciencedirect.com/science/article/pii/S0890540121000821Test

الإتاحة: https://doi.org/10.1016/j.ic.2021.104767Test
https://hdl.handle.net/11585/904705Test
https://www.sciencedirect.com/science/article/pii/S0890540121000821Test

المؤلفون: Nanni M., Andrienko G., Barabasi A. -L., Boldrini C., Bonchi F., Cattuto C., Chiaromonte F., Comande G., Conti M., Cote M., Dignum F., Dignum V., Domingo-Ferrer J., Ferragina P., Giannotti F., Guidotti R., Helbing D., Kaski K., Kertesz J., Lehmann S., Lepri B., Lukowicz P., Matwin S., Jimenez D. M., Monreale A., Morik K., Oliver N., Passarella A., Passerini A., Pedreschi D., Pentland A., Pianesi F., Pratesi F., Rinzivillo S., Ruggieri S., Siebes A., Torra V., Trasarti R., Hoven J., Vespignani A.

المساهمون: Nanni, M., Andrienko, G., Barabasi, A. -L., Boldrini, C., Bonchi, F., Cattuto, C., Chiaromonte, F., Comande, G., Conti, M., Cote, M., Dignum, F., Dignum, V., Domingo-Ferrer, J., Ferragina, P., Giannotti, F., Guidotti, R., Helbing, D., Kaski, K., Kertesz, J., Lehmann, S., Lepri, B., Lukowicz, P., Matwin, S., Jimenez, D. M., Monreale, A., Morik, K., Oliver, N., Passarella, A., Passerini, A., Pedreschi, D., Pentland, A., Pianesi, F., Pratesi, F., Rinzivillo, S., Ruggieri, S., Siebes, A., Torra, V., Trasarti, R., Hoven, J., Vespignani, A.

مصطلحات موضوعية: Contact tracing, COVID-19, Mobility data analysi, Personal data store

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/33551673; info:eu-repo/semantics/altIdentifier/wos/WOS:000613989200001; volume:23; issue:S1; firstpage:1-6; lastpage:6; journal:ETHICS AND INFORMATION TECHNOLOGY; http://hdl.handle.net/11572/330883Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85100357558

الإتاحة: https://doi.org/10.1007/s10676-020-09572-wTest
http://hdl.handle.net/11572/330883Test

المؤلفون: Kori M., Ascari F., Bonchi F., Bruni R., Gori R., Hasuo I.

المساهمون: Constantin Enea, Akash Lal, Kori, M., Ascari, F., Bonchi, F., Bruni, R., Gori, R., Hasuo, I.

مصطلحات موضوعية: PDR Lattice theory Adjoints MDPs Over-approximation

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-37702-0; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-37703-7; ispartofbook:Computer Aided Verification, 35th International Conference, CAV 2023, Proceedings, Part II; CAV 2023, 35th International Conference on Computer Aided Verification; volume:13965; firstpage:41; lastpage:63; numberofpages:23; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Constantin Enea, Akash Lal; https://hdl.handle.net/11568/1204004Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85172236493

الإتاحة: https://doi.org/10.1007/978-3-031-37703-7_3Test
https://hdl.handle.net/11568/1204004Test

المؤلفون: Bonchi F., Piedeleu R., Sobocinski P., Zanasi F.

المساهمون: Bonchi F., Piedeleu R., Sobocinski P., Zanasi F.

مصطلحات موضوعية: Bialgebraic semantic, String Diagram, Structural Operational Semantics

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000721215200017; ispartofbook:30th International Conference on Concurrency Theory, CONCUR 2019; 30th International Conference on Concurrency Theory, CONCUR 2019; volume:140; firstpage:1; lastpage:17; numberofpages:17; serie:LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS; https://hdl.handle.net/11585/904262Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071628743; https://drops.dagstuhl.de/opus/volltexte/2019/10939Test/

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2019.37Test
https://hdl.handle.net/11585/904262Test
https://drops.dagstuhl.de/opus/volltexte/2019/10939Test/

المؤلفون: Galimberti E., Bonchi F., Gullo F., Lanciano T.

المساهمون: Galimberti E., Bonchi F., Gullo F., Lanciano T.

مصطلحات موضوعية: Cliques and quasi-clique, Community search, Core decomposition, Dense-subgraph extraction, Graph mining, Multilayer networks

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000522551000011; volume:14; issue:1; firstpage:1; lastpage:40; numberofpages:40; journal:ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA; http://hdl.handle.net/2318/1836597Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85079231249

الإتاحة: https://doi.org/10.1145/3369872Test
http://hdl.handle.net/2318/1836597Test