Publications

Publications
Currently viewing:
Filter by Publication Type

Page 1 of 13 Results 1 to 10 of 129

  • Preface: Communications in Computer and Information Science

    Ferrando, A., Cardoso, R. C.

    4th Workshop on Agents and Robots for reliable Engineered Autonomy, AREA 2024, pp. v-vi

    Contributions to Journals: Editorials

  • Farm Explorer: A Tool for Calculating Transparent Greenhouse Gas Emissions

    Markovic, M., Germano, S., Garijo, D., Edwards, P., Li, A., Ayall, T. A., Ramsey, R., Leontidis, G.

    Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

  • Maximally Permissive Reward Machines

    Varricchione, G., Alechina, N., Dastani, M., Logan, B.

    Contributions to Conferences: Papers

  • Assessment of Radiation-Induced Soft Error on Unmanned Surface Vehicles

    Fleck, M. A., Pereira, E. G., Gava, J. F., Silva, H. B., Moraes, F. G., Calazans, N. L. V., Meneguzzi, F., Bastos, R. P., Reis, R. A. L., Ost, L., Garibotti, R.

    IEEE Transactions on Nuclear Science, vol. 71, no. 8, pp. 1589 - 1597

    Contributions to Journals: Articles

Show 10 | 25 | 50 | 100 results per page