المؤلفون: Ballis D., Brodo L., Falaschi M.

المساهمون: Ballis, D., Brodo, L., Falaschi, M.

مصطلحات موضوعية: formal method, Maude, natural computing, reaction system, rewriting logic, slicing

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001191550400001; volume:13; issue:6; firstpage:1139; journal:ELECTRONICS; https://hdl.handle.net/11390/1275124; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85188794423

الاتاحة: https://hdl.handle.net/11390/1275124
https://doi.org/10.3390/electronics13061139

المؤلفون: Brodo L., Bruni R., Falaschi M., Gori R., Levi F., Milazzo P.

المساهمون: Brodo, L., Bruni, R., Falaschi, M., Gori, R., Levi, F., Milazzo, P.

مصطلحات موضوعية: Bioinformatics, SOS rules, Reaction systems, Logic programming

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000919955600001; volume:35; issue:9; firstpage:6335; lastpage:6359; numberofpages:25; journal:NEURAL COMPUTING & APPLICATIONS; https://hdl.handle.net/11365/1247679; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85146792130; https://link.springer.com/article/10.1007/s00521-022-07935-6; https://rdcu.be/doFJ7

الاتاحة: https://hdl.handle.net/11365/1247679
https://doi.org/10.1007/s00521-022-07935-6
https://link.springer.com/article/10.1007/s00521-022-07935-6
https://rdcu.be/doFJ7

المؤلفون: Bowles J., Brodo L., Bruni R., Falaschi M., Gori R., Milazzo P.

المساهمون: Gori R., Milazzo P., Tribastone M., Bowles, J., Brodo, L., Bruni, R., Falaschi, M., Gori, R., Milazzo, P.

مصطلحات موضوعية: Clinical guidelines, Reaction systems, SOS semantics

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031716706; info:eu-repo/semantics/altIdentifier/isbn/9783031716713; info:eu-repo/semantics/altIdentifier/wos/WOS:001333144400003; ispartofbook:Computational Methods in Systems Biology; 22nd International Conference on Computational Methods in Systems Biology, CMSB 2024; volume:14971; firstpage:27; lastpage:44; numberofpages:18; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11365/1275914

الاتاحة: https://hdl.handle.net/11365/1275914
https://doi.org/10.1007/978-3-031-71671-3_3
https://link.springer.com/chapter/10.1007/978-3-031-71671-3_3

المؤلفون: Ballis D., Brodo L., Falaschi M., Olarte C.

المساهمون: Gori R., Milazzo P., Tribastone M., Ballis, D., Brodo, L., Falaschi, M., Olarte, C.

مصطلحات موضوعية: Maude, model checking, reaction systems, rewriting logic, SOS

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031716706; info:eu-repo/semantics/altIdentifier/isbn/9783031716713; info:eu-repo/semantics/altIdentifier/wos/WOS:001333144400001; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 22nd International Conference on Computational Methods in Systems Biology, CMSB 2024; volume:14971; firstpage:1; lastpage:18; numberofpages:18; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11365/1275915

الاتاحة: https://hdl.handle.net/11365/1275915
https://doi.org/10.1007/978-3-031-71671-3_1
https://link.springer.com/chapter/10.1007/978-3-031-71671-3_1

المؤلفون: Brodo L., Bruni R., Falaschi M.

المساهمون: Brodo, L., Bruni, R., Falaschi, M.

مصطلحات موضوعية: Reaction system, SOS semantic, Program slicing, Assertion, Monitors

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001233384600001; volume:23; issue:2; firstpage:217; lastpage:234; numberofpages:18; journal:NATURAL COMPUTING; https://hdl.handle.net/11388/339829; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85192055643

الاتاحة: https://hdl.handle.net/11388/339829
https://doi.org/10.1007/s11047-024-09976-3

المؤلفون: Brodo L., Bruni R., Falaschi M., Gori R., Milazzo P., Montagna V., Pulieri P.

المساهمون: Brodo, L., Bruni, R., Falaschi, M., Gori, R., Milazzo, P., Montagna, V., Pulieri, P.

Relation: journal:INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER; https://hdl.handle.net/11388/339778; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85196277692

الاتاحة: https://hdl.handle.net/11388/339778
https://doi.org/10.1007/s10009-024-00757-y

المؤلفون: Brodo L., Bruni R., Falaschi M.

المساهمون: Mario S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia, Brodo, L., Bruni, R., Falaschi, M.

مصطلحات موضوعية: Multi-party interaction, Process algebra, Reaction systems

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-31174-2; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-31175-9; ispartofbook:The art of modelling computational systems: a journey from logic and concurrency to security and privacy; volume:11760; firstpage:68; lastpage:85; numberofpages:18; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:Mario S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia; http://hdl.handle.net/11568/1029378; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075052669; https://link.springer.com/chapter/10.1007/978-3-030-31175-9_5

الاتاحة: http://hdl.handle.net/11568/1029378
https://doi.org/10.1007/978-3-030-31175-9_5
https://link.springer.com/chapter/10.1007/978-3-030-31175-9_5

المؤلفون: Brodo L., Bruni R., Falaschi M.

المساهمون: Arceri, V., Cortesi, A., Ferrara, P., Olliaro, M., Brodo, L., Bruni, R., Falaschi, M.

Relation: info:eu-repo/semantics/altIdentifier/isbn/9789811996009; info:eu-repo/semantics/altIdentifier/isbn/9789811996016; ispartofbook:Challenges of Software Verification; volume:238; firstpage:243; lastpage:264; numberofpages:22; serie:INTELLIGENT SYSTEMS REFERENCE LIBRARY; https://hdl.handle.net/11388/339849; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85171478837

الاتاحة: https://hdl.handle.net/11388/339849
https://doi.org/10.1007/978-981-19-9601-6_13

المؤلفون: Brodo L., Bruni R., Falaschi M.

المساهمون: M. Hanu, D. Inclezan, Brodo, L., Bruni, R., Falaschi, M.

مصطلحات موضوعية: Reaction systems, SOS semantics, Program slicing, Assertions, Monitors, Natural computation

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-24840-5; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-24841-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000968090200009; ispartofbook:Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023; Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023; volume:13880; firstpage:107; lastpage:124; numberofpages:18; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11365/1247714; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85148688730; https://link.springer.com/chapter/10.1007/978-3-031-24841-2_8

الاتاحة: https://hdl.handle.net/11365/1247714
https://doi.org/10.1007/978-3-031-24841-2_8
https://link.springer.com/chapter/10.1007/978-3-031-24841-2_8

المؤلفون: Brodo L., Olarte C.

المساهمون: Brodo, L., Olarte, C.

مصطلحات موضوعية: Concurrency theory, Constraint, Multiparty interactions

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000577848900003; volume:351; firstpage:25; lastpage:50; numberofpages:26; journal:ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/11388/240415; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85096507263

الاتاحة: http://hdl.handle.net/11388/240415
https://doi.org/10.1016/j.entcs.2020.08.003

المؤلفون: Borghini, A, Seghieri, C, Brodo, L, Breschi, M

المصدر: European Journal of Public Health ; volume 30, issue Supplement_5 ; ISSN 1101-1262 1464-360X

الاتاحة: https://doi.org/10.1093/eurpub/ckaa165.1284
http://academic.oup.com/eurpub/article-pdf/30/Supplement_5/ckaa165.1284/33818541/ckaa165.1284.pdf

المؤلفون: Ortega-Garcia, Javier, Fierrez, Julian, Alonso-Fernandez, Fernando, 1978, Galbally, J., Freire, M. R., Gonzalez-Rodriguez, J., Garcia-Mateo, C., Alba-Castro, J. -L, Gonzalez-Agulla, E., Otero-Muras, E., Garcia-Salicetti, S., Allano, L., Ly-Van, B., Dorizzi, B., Kittler, J., Bourlai, T., Poh, N., Deravi, F., Ng, M. W. R., Fairhurst, M., Hennebert, J., Humm, A., Tistarelli, M., Brodo, L., Richiardi, J., Drygajlo, A., Ganster, H., Sukno, F. M., Pavani, S. -K, Frangi, A., Akarun, L., Savran, A.

المصدر: IEEE Trans. on Pattern Analysis and Machine Intelligence. 32(6):1097-1111

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-21221
https://hh.diva-portal.org/smash/get/diva2:589125/FULLTEXT01.pdf

المؤلفون: Brodo L., Bruni R., Falaschi M., Gori R., Levi F., Milazzo P.

المساهمون: Brodo, L., Bruni, R., Falaschi, M., Gori, F., Levi, F., Milazzo, P., Brodo, L., Bruni, R., Falaschi, M., Gori, R., Levi, F., Milazzo, P.

مصطلحات موضوعية: Bioinformatic, SOS rule, Reaction system, Logic programming

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-90424-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-90425-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000763099600002; ispartofbook:Theory and Practice of Natural Computing; volume:13082 LNCS; firstpage:15; lastpage:32; numberofpages:18; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11388/303874; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85119881638

الاتاحة: https://hdl.handle.net/11388/303874
https://doi.org/10.1007/978-3-030-90425-8_2

المؤلفون: Bernini, A, Brodo, L, Degano, P, Falaschi, M, Hermith, D

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

Relation: Natural Computing; Bernini, A; Brodo, L; Degano, P; Falaschi, M; Hermith, D, Process calculi for biological processes, Natural Computing, 2018, 17 (2), pp. 345-373; http://hdl.handle.net/10072/421164

الاتاحة: http://hdl.handle.net/10072/421164
https://doi.org/10.1007/s11047-018-9673-2

المؤلفون: Bodei, C., Brodo, L., Gori, R., Levi, F., Bernini, A., Hermith, D.

المصدر: Theoretical Computer Science ; volume 696, page 11-51 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/j.tcs.2017.07.008
https://api.elsevier.com/content/article/PII:S0304397517305467?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0304397517305467?httpAccept=text/plain

المؤلفون: Brodo, L., Bruni, R., Falaschi, M.

المساهمون: Brodo, L., Bruni, R., Falaschi, M.

مصطلحات موضوعية: SOS rulesReaction systems, Logic programming, Assertions, Bisimulation, Hennessy-Milner logic

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000655272400002; volume:875; firstpage:1; lastpage:27; numberofpages:27; journal:THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/11365/1140022; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85103508598; https://www.sciencedirect.com/science/article/pii/S0304397521001778?via=ihub

الاتاحة: http://hdl.handle.net/11365/1140022
https://doi.org/10.1016/j.tcs.2021.03.024
https://www.sciencedirect.com/science/article/pii/S0304397521001778?via=ihub

المؤلفون: Brodo, L., Bruni, R., Falaschi, M.

المساهمون: Brodo, L., Bruni, R., Falaschi, M.

مصطلحات موضوعية: Assertion language, HM-logic, Process algebra, Reaction Systems

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000682950100005; volume:881; firstpage:62; lastpage:82; numberofpages:21; journal:THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/11365/1124081; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85090868572; https://www.sciencedirect.com/science/article/pii/S0304397520305004?via=ihub

الاتاحة: http://hdl.handle.net/11365/1124081
https://doi.org/10.1016/j.tcs.2020.09.001
https://www.sciencedirect.com/science/article/pii/S0304397520305004?via=ihub

المؤلفون: Bodei, C, Brodo, L, Bruni, R

المساهمون: Bodei, C, Brodo, L, Bruni, R

مصطلحات موضوعية: Bisimilarity as a congruence, Mobility, Multiparty interaction, Open interaction

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000595367200013; volume:275; firstpage:104587; journal:INFORMATION AND COMPUTATION; http://hdl.handle.net/11388/235208; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85084593101

الاتاحة: http://hdl.handle.net/11388/235208
https://doi.org/10.1016/j.ic.2020.104587

المؤلفون: Brodo, L, Olarte, C

المساهمون: Brodo, L, Olarte, C

مصطلحات موضوعية: CCS, Concurrency theory, Process calculi, Symbolic semantic, Verification

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000514111600001; volume:172; issue:1; firstpage:1; lastpage:38; numberofpages:38; journal:FUNDAMENTA INFORMATICAE; http://hdl.handle.net/11388/231929; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85083428948

الاتاحة: http://hdl.handle.net/11388/231929
https://doi.org/10.3233/FI-2020-1890

المؤلفون: BODEI, CHIARA, BRUNI, ROBERTO, BRODO L

المساهمون: Narciso Marti-Oliet andMiguel Palomino, Bodei, Chiara, Brodo, L, Bruni, Roberto

مصطلحات موضوعية: Link calculu, Ambient calculu, Multiparty interaction, Open Interaction

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783642376344; ispartofbook:Recent Trends in Algebraic Development Techniques, 21stInternational Workshop, WADT 2012, Salamanca, Spain, June7-10, 2012, Revised Selected Papers; Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012; volume:7841; firstpage:1; lastpage:23; numberofpages:23; journal:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Narciso Marti-Oliet andMiguel Palomino; http://hdl.handle.net/11568/209051; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84880072369

الاتاحة: http://hdl.handle.net/11568/209051
https://doi.org/10.1007/978-3-642-37635-1_1