Nuno Oliveira
Orcid: 0000-0002-5133-1745Affiliations:
- INESC TEC, High Assurance Software Laboratory
- University of Minho, Braga, Computer Science and Technology Center
According to our database1,
Nuno Oliveira
authored at least 30 papers
between 2009 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2021
Proceedings of the 10th Symposium on Languages, Applications and Technologies, 2021
2016
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016
2015
Reasoning about software reconfigurations: The behavioural and structural perspectives.
Sci. Comput. Program., 2015
J. Softw. Eng. Res. Dev., 2015
J. Internet Serv. Inf. Secur., 2015
Comput. Sci. Inf. Syst., 2015
2014
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014
Proceedings of the Eighth Brazilian Symposium on Software Components, 2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the CSEDU 2014, 2014
2013
Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
2012
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012
2011
Comput. Sci. Inf. Syst., 2011
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011
2010
Comput. Sci. Inf. Syst., 2010
Comput. Sci. Inf. Syst., 2010
Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010
Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010
Proceedings of the Local Proceedings of the Fourteenth East-European Conference on Advances in Databases and Information Systems, 2010
2009
Proceedings of the 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2009
Proceedings of the International Multiconference on Computer Science and Information Technology, 2009
Proceedings of the International Multiconference on Computer Science and Information Technology, 2009
Proceedings of the International Multiconference on Computer Science and Information Technology, 2009