Hugo Daniel Macedo

Activities

Activities per year 2018 2018 2020 2024

• 4 Peer review of manuscripts
• 2 Member of committee, council or board
• 1 Participation in or organisation af a conference
• 1 Editor of unfinished research anthology/collection
• 1 More
  • 1 Visiting an external academic institution

Activities per year

Search results

• Instituto Superior Técnico

  Macedo, H. D. (Visiting researcher)

  Aug 2024 → …

  Activity: Visiting an external institution types › Visiting an external academic institution

• 20th Overture Workshop (Event)

  Pezzoni, A. (Member), Ishikawa, F. (Member), Macedo, H. D. (Member), Araki, K. (Member), Pierce, K. (Member), Lausdahl, K. (Member), Verhoef, M. (Member), Frasheri, M. (Member), Battle, N. (Member), Masci, P. (Member), Larsen, P. G. (Member), Oda, T. (Member) & Bandur, V. (Member)

  22 Aug 2022

  Activity: Presentations, memberships, ownership and other activities › Member of committee, council or board

• 18th International Overture Workshop (Event)

  Macedo, H. D. (Editor)

  7 Dec 2020

  Activity: Publication peer-review and editorial work types › Editor of unfinished research anthology/collection › Communication

• HUBCAP

  Schultz, C. P. L. (Participant), Macedo, H. D. (Participant), Boudjadar, J. (Participant), Bødskov, L. B. (Organizer), Esterle, L. (Participant), Jordal, N. B. (Organizer), Larsen, P. G. (Organizer) & Kulik, T. (Participant)

  21 Jan 2020 → 23 Jan 2020

  Activity: Participating in or organising an event types › Participation in or organisation af a conference

• 18th International Overture Workshop (Event)

  Macedo, H. D. (Member)

  2020

  Activity: Presentations, memberships, ownership and other activities › Member of committee, council or board

• 23rd International Conference on Formal Methods for Industrial Critical Systems (Event)

  Macedo, H. D. (Reviewer)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research

• 6TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (Event)

  Macedo, H. D. (Editor)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research

• 22nd International Symposium on Formal Methods (Event)

  Macedo, H. D. (Editor)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research

• 1st International Workshop on Robotics Software Engineering (Event)

  Macedo, H. D. (Editor)

  2018

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research