Pedro Ângelo

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 8

Top Topics

Detection Of Moving Objects

Lambda Calculus

Top Venues

Publications

Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP (2023)
Sónia Rafael, Mattia Mertens, Pedro Ângelo, Mónica Mendes
From overtourism to REC-OVERtourism. A digital experience for sustainable tourism. KUI (2023)
Pedro Ângelo, Mário Florido
Type Inference for Rank-2 Intersection Types Using Set Unification. ICTAC (2022)
Pedro Ângelo, Mário Florido
A Typed Lambda Calculus with Gradual Intersection Types. PPDP (2022)
Juliana Maria Moreira Soares, João Pedro Farinha Nunes da Costa, Pedro Ângelo, Mónica Mendes
Expanded Boundaries: Art and Non-human Essence as Playful Inspirations for Children's Prosthetics. TEI (2021)
Pedro Ângelo, Mário Florido
Type Inference for Rank 2 Gradual Intersection Types. TFP (2019)
Catarina Sampaio, Luísa Ribas, Pedro Ângelo
Data Self-Portrait. ARTECH (2019)
Mónica Mendes, Pedro Ângelo, Nuno Correia, Valentina Nisi
Appropriating Video Surveillance for Art and Environmental Awareness: Experiences from ARTiVIS. Sci. Eng. Ethics 24 (3) (2018)
Mónica Mendes, Pedro Ângelo, Nuno Correia, Valentina Nisi, Nuno Jardim Nunes, Donovan Costa
Hug a tree in Africa. PDC (2) (2014)
Mónica Mendes, Pedro Ângelo, Valentina Nisi, Nuno Correia
Digital art, HCI and environmental awareness evaluating play with fire. NordiCHI (2012)
Mónica Mendes, Pedro Ângelo, Valentina Nisi, Nuno Correia
Play with fire. Advances in Computer Entertainment Technology (2011)
Mónica Mendes, Pedro Ângelo, Nuno Correia
Hug@ree: a RTiVISS experience. Tangible and Embedded Interaction (2011)