. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Deciding Kleene Algebra Terms Equivalence in Coq CISTER-TR-141205 
David Pereira, Nelma Moreira, Simão Patrício Melo de SousaJournal of Logical and Algebraic Methods in Programming (JLAMP), Elsevier. May 2015, Volume 84, Issue 3, pp 377-401.
On the Use of Code Mobility Mechanisms in Real-Time Systems HURRAY-TR-111205J 
Luis Lino Ferreira, Luis Miguel NogueiraACM SIGBED Review - Special Issue on the 10th International Workshop on Real-time Networks (RTN 2011) (ACM SIGBED Rev), ACM New York. Dec 2011, Volume 8, Issue 4, pp 16-21. U.S.A..
Conference or Workshop Papers
On the Use of Code Mobility Mechanisms in Real-Time Systems HURRAY-TR-111205 
Luis Lino Ferreira, Luis Miguel Nogueirathe 10th International Workshop on Real-Time Networks (RTN 2011). 5, Jul, 2011. Porto, Portugal.
Managing contention of software transactional memory in real-time systems HURRAY-TR-101102 
António Barros, Luis Miguel Pinho31st IEEE Real-Time Systems Symposium (RTSS 2010). 30, Nov to 3, Dec, 2010, Work-In-Progress Session. San Diego, U.S.A..
A Framework for QoS-Aware Service-based Mobile Systems HURRAY-TR-101002 
Joel Gonçalves, Luis Lino FerreiraII Simpósio de Informática (Inforum 2010). 9 to 10, Oct, 2010, 711, pp 714. Braga, Portugal.