Login

in_proceedings

Using TURN Servers for Censorship Evasion

InProceedings

Published in 14/07/2025

Authors

Afonso Vilalonga, Kevin Gallagher, Osman Yaǧan, João S. Resende, Henrique Domingos,

Traffic Shaping for Network Protocols: A Modular and Developer-Friendly Framework

InProceedings

Published in 14/07/2025

Authors

Hugo Santos Pereira, Afonso Vilalonga, Kevin Gallagher, Henrique Domingos,

Show and Guide: Instructional-Plan Grounded Vision and Language Model

InProceedings

Published in 30/11/2024

Authors

Diogo Silva, David Semedo, João Magalhães,

Multi-trait User Simulation with Adaptive Decoding for Conversational Task Assistants

InProceedings

Published in 30/11/2024

Authors

Rafael Ferreira, David Semedo, João Magalhães,

Multilingual Vision-Language Pre-training for the Remote Sensing Domain

InProceedings

Published in 22/11/2024

Authors

João Daniel Silva, João Magalhães, Devis Tuia, Bruno Martins,

On Abstracting over the Irrelevant in Answer Set Programming

InProceedings

Published in 08/11/2024

Authors

Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite,

Abstract Dialectical Frameworks are Boolean Networks

InProceedings

Published in 09/10/2024

Authors

Jesse Heyninck, João Leite, Matthias Knorr,

Exploring Virtual Reality in Exposure Therapy for Sensory Food Aversion

InProceedings

Published in 25/09/2024

Authors

Gabriel Marques, Rui Nóbrega, Rui Neves Madeira,

Practical Deductive Verification of OCaml Programs

InProceedings

Published in 13/09/2024

Authors

Mário Pereira,

Behavioural Up/down Casting For Statically Typed Languages

InProceedings

Published in 12/09/2024

Authors

Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, Joao Mota, António Ravara,