| Data governance: Organizing data for trustworthy Artificial Intelligence M Janssen, P Brous, E Estevez, LS Barbosa, T Janowski Government information quarterly 37 (3), 101493, 2020 | 676 | 2020 |
| A taxonomy for planning and designing smart mobility services G Cledou, E Estevez, LS Barbosa Government Information Quarterly 35 (1), 61-76, 2018 | 135 | 2018 |
| Towards a calculus of state-based software components LS Barbosa Springer, 2003 | 89 | 2003 |
| Hybridization of institutions MA Martins, A Madeira, R Diaconescu, LS Barbosa International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011 | 86 | 2011 |
| Components as coalgebras LS Barbosa | 78 | 2001 |
| Components as coalgebras: The refinement dimension S Meng, LS Barbosa Theoretical Computer Science 351 (2), 276-294, 2006 | 54 | 2006 |
| On refinement of generic state-based software components S Meng, LS Barbosa Algebraic Methodology and Software Technology: 10th International Conference …, 2004 | 50 | 2004 |
| Digital government and administrative burden reduction L Veiga, T Janowski, LS Barbosa Proceedings of the 9th International Conference on Theory and Practice of …, 2016 | 48 | 2016 |
| Component identification through program slicing NF Rodrigues, LS Barbosa Electronic Notes in Theoretical Computer Science 160, 291-304, 2006 | 46 | 2006 |
| Components as processes: An exercise in coalgebraic modeling LS Barbosa International Conference on Formal Methods for Open Object-Based Distributed …, 2000 | 46 | 2000 |
| On semantics and refinement of UML statecharts: a coalgebraic view S Meng, Z Naixiao, LS Barbosa Proceedings of the Second International Conference on Software Engineering …, 2004 | 42 | 2004 |
| State-based components made generic LS Barbosa, JN Oliveira Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003 | 40 | 2003 |
| Transposing partial components—an exercise on coalgebraic refinement LS Barbosa, JN Oliveira Theoretical Computer Science 365 (1-2), 2-22, 2006 | 37 | 2006 |
| Administrative burden reduction over time: Literature review, trends and gap analysis MM Nielsen, NR Carvalho, LG Veiga, LS Barbosa Proceedings of the 10th International Conference on Theory and Practice of …, 2017 | 35 | 2017 |
| Software engineering for'quantum advantage' LS Barbosa Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020 | 33 | 2020 |
| Process calculi à la Bird-Meertens LS Barbosa Electronic Notes in Theoretical Computer Science 44 (1), 47-66, 2001 | 32 | 2001 |
| Specifying software connectors MA Barbosa, LS Barbosa International Colloquium on Theoretical Aspects of Computing, 52-67, 2004 | 31 | 2004 |
| Hybrid specification of reactive systems: An institutional approach A Madeira, JM Faria, MA Martins, LS Barbosa International Conference on Software Engineering and Formal Methods, 269-285, 2011 | 30 | 2011 |
| Digital governance for sustainable development LS Barbosa Digital Nations–Smart Cities, Innovation, and Sustainability: 16th IFIP WG 6 …, 2017 | 28 | 2017 |
| Bigraphical modelling of architectural patterns A Sanchez, LS Barbosa, D Riesco International Workshop on Formal Aspects of Component Software, 313-330, 2011 | 24 | 2011 |
