Home

2014
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2014).  The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects of Computing. 26, 865–918.
2008
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2008).  Behavioural theory at work: program transformations in a service-centred calculus. Formal Methods for Open Object-Based Distributed Systems. 59–77.
Cruz-Filipe, L., Rasga J., Sernadas A., & Sernadas C. (2008).  Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. Journal of Logic and Computation. 18, 885–911.
Sernadas, A., Cruz-Filipe L., Sernadas C., & Rasga J. (2008).  Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.
2007
Cruz-Filipe, L., Martins F., & Vasconcelos V. T. (2007).  The Automotive Case Study in the Sensoria Core Calculi.
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2007).  Bisimulations in SSCC.
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2007).  Bisimulations in SSCC. DI.
Chadha, R., Cruz-Filipe L., Mateus P., & Sernadas A. (2007).  Reasoning about probabilistic sequential programs. Theoretical Computer Science. 379, 142–165.