Luís Soares Barbosa
Orcid: 0000-0002-5037-2588Affiliations:
- Universidade do Minho, Braga, Portugal
According to our database1,
Luís Soares Barbosa
authored at least 165 papers
between 1997 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Sci. Comput. Program., 2025
2024
Quantum Inf. Process., June, 2024
Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials.
Quantum, February, 2024
2023
Quantum Mach. Intell., June, 2023
Modelling and control of manufacturing systems subject to context recognition and switching.
Int. J. Prod. Res., May, 2023
IET Quantum Commun., 2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
Proceedings of the Companion Proceedings of the 7th International Conference on the Art, 2023
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023
2022
Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022
CoRR, 2022
2021
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
Proceedings of the 2nd IEEE/ACM International Workshop on Quantum Software Engineering, 2021
2020
A component-based framework for certification of components in a cloud of HPC services.
Sci. Comput. Program., 2020
Gov. Inf. Q., 2020
Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer.
Complex., 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Proceedings of the ICEGOV 2020: 13th International Conference on Theory and Practice of Electronic Governance, 2020
2019
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation.
Proceedings of the ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, 2019
Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
2018
Theor. Comput. Sci., 2018
Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018
Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, 2018
Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, 2018
Proceedings of the It's All About Coordination, 2018
2017
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017
Proceedings of the Dynamic Logic. New Trends and Applications, 2017
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017
Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis.
Proceedings of the 10th International Conference on Theory and Practice of Electronic Governance, 2017
Proceedings of the Digital Nations - Smart Cities, Innovation, and Sustainability, 2017
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017
Proceedings of the Electronic Government - 16th IFIP WG 8.5 International Conference, 2017
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services.
Proceedings of the CLOSER 2017, 2017
2016
Proceedings of the Theoretical Information Reuse and Integration, 2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, 2016
Proceedings of the 9th International Conference on Theory and Practice of Electronic Governance, 2016
Proceedings of the International Conference on Electronic Governance and Open Society, 2016
Proceedings of the Collaboration and Technology - 22nd International Conference, 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
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015
Comput. Sci. Inf. Syst., 2015
Comput. Lang. Syst. Struct., 2015
2014
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012.
Sci. Comput. Program., 2014
Selected contributions from the Open Source Software Certification (OpenCert) workshops.
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Log. Methods Comput. Sci., 2014
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014
Proceedings of the Software Engineering and Formal Methods, 2014
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014
Proceedings of the Eighth Brazilian Symposium on Software Components, 2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014
2013
Proceedings of the Proceedings 16th International Refinement Workshop, 2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Programming Languages - 17th Brazilian Symposium, 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013
Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013
Proceedings of the Collaboration and Technology - 19th International Conference, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2012
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012
Exploiting the FLOSS paradigm in collaborative e-learning: application to e-government.
Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance, 2012
2011
Proceedings of the Proceedings 15th International Refinement Workshop, 2011
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
Proceedings of the Third Workshop on Behavioural Modelling, 2011
2010
Special issue: Open Source Certification.
Comput. Syst. Sci. Eng., 2010
Certification of open-source software: A role for formal methods?
Comput. Syst. Sci. Eng., 2010
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
2009
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009
Proceedings of the Teaching Formal Methods, Second International Conference, 2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the Fundamentals of Software Engineering, 2009
Proceedings of the UML 2 Semantics and Applications, 2009
2008
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008
Proceedings of the SYNASC 2008, 2008
Proceedings of the 2008 IEEE Congress on Services, Part I, 2008
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007
Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006
Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006
2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005
2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Proceedings of the 10th Conference on Category Theory in Computer Science, 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Theoretical Aspects of Computing, 2004
Proceedings of the Formal Methods for Components and Objects, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
J. Univers. Comput. Sci., 2003
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003
2002
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002
2001
Proceedings of the Coalgebraic Methods in Computer Science, 2001
2000
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000
1999
Prototyping Processes.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1997
Proceedings of the Algebraic Methodology and Software Technology, 1997