المؤلفون: Henry, L, Jéron, T, Markey, N

المصدر: Formal Methods in System Design , 60 pp. 147-194. (2022)

مصطلحات موضوعية: Timed system, Game theory, Controllability, Conformance testing

وصف الملف: text

العلاقة: https://discovery.ucl.ac.uk/id/eprint/10163615/1/article.pdfTest; https://discovery.ucl.ac.uk/id/eprint/10163615Test/

الإتاحة: https://discovery.ucl.ac.uk/id/eprint/10163615/1/article.pdfTest
https://discovery.ucl.ac.uk/id/eprint/10163615Test/

المؤلفون: Markey, N., Moore, C., Hamilton, K., Cullen, L., McKenna, G.

المصدر: Markey , N , Moore , C , Hamilton , K , Cullen , L & McKenna , G 2021 , ' The impact of COVID-19 on preradiotherapy dental assessments in Northern Ireland ' , British Society of Gerodontology: Winter Scientific Meeting , London , 02/12/2021 - 02/12/2021 .

مصطلحات موضوعية: /dk/atira/pure/sustainabledevelopmentgoals/good_health_and_well_being, SDG 3 - Good Health and Well-being

وصف الملف: application/pdf

الإتاحة: https://pure.qub.ac.uk/en/publications/c1224b35-3c68-42be-abb8-15298c9d0988Test
https://pureadmin.qub.ac.uk/ws/files/292374526/Neill_Markey_poster.pdfTest

المؤلفون: Bouyer P., Kupferman O., Markey N., Maubert B., Murano A., Perelli G.

المساهمون: Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A., Perelli, G.

مصطلحات موضوعية: Strategy Logic, Multi-Agent System, Fuzzy Reasoning

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-099924114-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000761735101099; 28th International Joint Conference on Artificial Intelligence, IJCAI 2019; volume:2019-; firstpage:1588; lastpage:1594; numberofpages:7; journal:IJCAI; http://hdl.handle.net/11573/1403362Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074922709

الإتاحة: https://doi.org/10.24963/ijcai.2019/220Test
http://hdl.handle.net/11573/1403362Test

المؤلفون: Henry, L, Jéron, T, Markey, N

المصدر: In: International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2020: Formal Modeling and Analysis of Timed Systems. (pp. pp. 144-160). Springer, Cham (2020)

مصطلحات موضوعية: cs.LO, cs.FL, cs.LG

وصف الملف: text

العلاقة: https://discovery.ucl.ac.uk/id/eprint/10153454/1/2007.01637v2.pdfTest; https://discovery.ucl.ac.uk/id/eprint/10153454Test/

الإتاحة: https://discovery.ucl.ac.uk/id/eprint/10153454/1/2007.01637v2.pdfTest
https://discovery.ucl.ac.uk/id/eprint/10153454Test/

المؤلفون: Hunter, P, Bouyer, P, Markey, N, Ouaknine, J, Worrell, J

العلاقة: https://ora.ox.ac.uk/objects/uuid:3dd5c7f4-1f63-4968-9e80-b6af6c5690bcTest

الإتاحة: https://ora.ox.ac.uk/objects/uuid:3dd5c7f4-1f63-4968-9e80-b6af6c5690bcTest

المؤلفون: Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A., Perelli, G.

المساهمون: Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A., Perelli, G.

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000650971303063; ispartofbook:24th European Conference on Artificial Intelligence, ECAI 2020; 24th European Conference on Artificial Intelligence, ECAI 2020; volume:325; firstpage:2887; lastpage:2888; numberofpages:2; serie:FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS; http://hdl.handle.net/11588/828563Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85091769418; https://www.scopus.com/inward/record.uri?eid=2-s2.0-85091769418&doi=10.3233/FAIA200437&partnerID=40&md5=26ae2c26ee033a42f3b86e95bbc5c237Test

الإتاحة: https://doi.org/10.3233/FAIA200437Test
http://hdl.handle.net/11588/828563Test

المؤلفون: Cabri G., Dobson S., De Sanctis M., Bourcier J., Schiendorfer A., Dustdar S., Damiani F., Musolesi M., Wirsing M., Hillston J., Viroli M., Bortolussi L., Teuscher C., Massink M., Gallo F., Trubiani C., Spalazzese R., Iovino L., Pahl C., Klos V., Geihs K., Caporuscio M., Loreti M., Inverardi P., Lewis P., Markey N., Melgratti H., Bagnoli F., Clarke S., Di Marzo Serugendo G., Powers S., Mourshed M., Coore D.

المساهمون: Cabri, G., Dobson, S., De Sanctis, M., Bourcier, J., Schiendorfer, A., Dustdar, S., Damiani, F., Musolesi, M., Wirsing, M., Hillston, J., Viroli, M., Bortolussi, L., Teuscher, C., Massink, M., Gallo, F., Trubiani, C., Spalazzese, R., Iovino, L., Pahl, C., Klos, V., Geihs, K., Caporuscio, M., Loreti, M., Inverardi, P., Lewis, P., Markey, N., Melgratti, H., Bagnoli, F., Clarke, S., Di Marzo Serugendo, G., Powers, S., Mourshed, M., Coore, D.

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-5386-5175-9; ispartofbook:Proceedings - 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2018; 3rd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2018; firstpage:XVII; lastpage:XVIII; http://hdl.handle.net/11380/1264832Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85061541701

الإتاحة: https://doi.org/10.1109/FAS-W.2018.00009Test
http://hdl.handle.net/11380/1264832Test

المؤلفون: Bouyer, P., Fahrenberg, U., Guldstrand Larsen, K., Markey, N., Ouaknine, J., Worrell, J.

المصدر: Handbook of Model Checking

العلاقة: http://hdl.handle.net/21.11116/0000-0003-21A9-9Test

الإتاحة: https://doi.org/10.1007/978-3-319-10575-8_29Test
http://hdl.handle.net/21.11116/0000-0003-21A9-9Test

المؤلفون: Laroussinie, F., Markey, N., Schnoebelen, Ph.

المصدر: Theoretical Computer Science ; volume 353, issue 1-3, page 249-271 ; ISSN 0304-3975

مصطلحات موضوعية: General Computer Science, Theoretical Computer Science

الإتاحة: https://doi.org/10.1016/j.tcs.2005.11.020Test
https://api.elsevier.com/content/article/PII:S0304397505008698?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0304397505008698?httpAccept=text/plainTest

المؤلفون: Cabri, G., Dobson, S., De Sanctis, M., Bourcier, J., Schiendorfer, A., Dustdar, S., Damiani, F., Musolesi, M., Wirsing, M., Hillston, J., Viroli, M., Bortolussi, L., Teuscher, C., Massink, M., Gallo, F., Trubiani, C., Spalazzese, R., Iovino, L., Pahl, C., Klos, V., Geihs, K., Caporuscio, M., Loreti, M., Inverardi, P., Lewis, P., Markey, N., Melgratti, H., Bagnoli, F., Clarke, S., Di Marzo Serugendo, G., Powers, S., Mourshed, M., Coore, D.

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=od______3674::5cf8fb6eb0c984d401a0695a2966457fTest
https://hdl.handle.net/11380/1264832Test