Concepedia

Luís Soares Barbosa

LS

Statistics

Publications

26

Citations

1.2K

H-Index

13

Active since

2001

Affiliations

University of Minho(Current)

United Nations University

Peking University

United Nations University Institute on Globalization, Culture and Mobility

Luís Soares Barbosa is an author at University of Minho specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningSystems EngineeringSoftware DesignProgram AnalysisSoftware AnalysisManagement

Publications per year

2001–2023

26

Publications

26

Data governance: Organizing data for trustworthy Artificial Intelligence

Marijn Janssen, Paul Brous, Elsa Estévez et al. · Government Information Quarterly · 2020 · 586 citations · Full text

Trustworthy Artificial Intelligence, Engineering, Data Trust +7

A taxonomy for planning and designing smart mobility services

Guillermina Cledou, Elsa Estévez, Luís Soares Barbosa · Government Information Quarterly · 2018 · 113 citations · Full text

Mobility Protocol, Engineering, Smart City +7

Components as coalgebras: The refinement dimension

Meng Sun, Luís Soares Barbosa · Theoretical Computer Science · 2005 · 56 citations · Full text

Towards a Calculus of State-based Software Components

Luís Soares Barbosa · RepositóriUM (Universidade do Minho) · 2020 · 48 citations · Full text

Digital Government and Administrative Burden Reduction

Linda Gonçalves Veiga, Tomasz Janowski, Luís Soares Barbosa · 2016 · 41 citations · Full text

Bureaucracy, Public Policy, Administrative Process +12

1–5 of 26