According to our database1, Lorena Bourg authored at least 5 papers between 2005 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Unlocking innovation through 5G testbeds evolving today's apps for tomorrow's 5G.
Proceedings of the Fifth International Conference on Software Defined Systems, 2018
Social Spaces for Reseach and Innovation (SSRI): Users Leading Research and Innovation in Ambient Assisted Living.
Proceedings of the Handbook of Ambient Assisted Living, 2012
Text Simplification in Simplext. Making Text More Accessible.
Procesamiento del Lenguaje Natural, 2011
Monotonicity Analysis Can Speed Up Verification.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006
A strategy for efficient verification of relational specifications, based on monotonicity analysis.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005