المؤلفون: Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 310, Iss Proc. F-IDE 2019, Pp 63-69 (2019)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1912.10634v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/8b3afbd784ae44c99c8d1b43c7e40d40

المؤلفون: Rui Couto, José C. Campos, Nuno Macedo, Alcino Cunha

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 284, Iss Proc. F-IDE 2018, Pp 37-52 (2018)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1811.10817v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/749595b777b4472c94eabd1837e734fc

المؤلفون: João Mendes Moreira, Alcino Cunha, Nuno Macedo

المصدر: F1000Research, Vol 4 (2015)

مصطلحات موضوعية: Data Sharing, Publishing & Peer Review, Medicine, Science

وصف الملف: electronic resource

Relation: http://f1000research.com/articles/4-181/v1; https://doaj.org/toc/2046-1402

URL الوصول: https://doaj.org/article/ccd7f9f9448a464184a8cb9c723e6ce2

المؤلفون: Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

المصدر: Journal of Automated Reasoning. 66:861-904

مصطلحات موضوعية: Computational Theory and Mathematics, Artificial Intelligence, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a3f33649a2f604d44a1ba3957f7ba84a
https://doi.org/10.1007/s10817-022-09642-2

المؤلفون: Alcino Cunha, Nuno Macedo, Eunsuk Kang

المصدر: Rigorous State-Based Methods ISBN: 9783031331626

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::97bbef3a7db5cf15eed3e28b4c978c69
https://doi.org/10.1007/978-3-031-33163-3_23

المؤلفون: Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo

المصدر: Rigorous State-Based Methods ISBN: 9783031331626

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a6f521e305599c1abbf9fee8049bcc4a
https://doi.org/10.1007/978-3-031-33163-3_16

المؤلفون: Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha

المصدر: Rigorous State-Based Methods ISBN: 9783031331626

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ac27f4fdcac199d8c9a05641b5f3085e
https://doi.org/10.1007/978-3-031-33163-3_20

المؤلفون: Andre Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira

المصدر: 2022 Sixth IEEE International Conference on Robotic Computing (IRC).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::54620daf84adb475e64342066670b8fc
https://doi.org/10.1109/irc55401.2022.00028

المؤلفون: Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha

المصدر: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::19b1adf5ffaab75269fcbd1b83b58a29
https://doi.org/10.1145/3540250.3549154

المؤلفون: João Martins, José M. Fonseca, Rafael Costa, José C. Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira

المصدر: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::58f086cf363dfbb785fc565860556708
https://doi.org/10.1145/3550355.3552439