| 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 | 470 | 2020 |
| A taxonomy for planning and designing smart mobility services G Cledou, E Estevez, LS Barbosa Government Information Quarterly 35 (1), 61-76, 2018 | 121 | 2018 |
| Method and apparatus for time and frequency transfer in communication networks J Aweya, LO Barbosa US Patent 8,473,638, 2013 | 104 | 2013 |
| Towards a Calculus of State-based Software Components. LS Barbosa J. Univers. Comput. Sci. 9 (8), 891-909, 2003 | 88 | 2003 |
| Hybridization of institutions MA Martins, A Madeira, R Diaconescu, LS Barbosa International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011 | 80 | 2011 |
| Components as coalgebras LS Barbosa Universidade do Minho, 2001 | 76 | 2001 |
| Components as coalgebras: The refinement dimension S Meng, LS Barbosa Theoretical Computer Science 351 (2), 276-294, 2006 | 52 | 2006 |
| On refinement of generic state-based software components S Meng, LS Barbosa Algebraic Methodology and Software Technology: 10th International Conference …, 2004 | 48 | 2004 |
| Component identification through program slicing NF Rodrigues, LS Barbosa Electronic Notes in Theoretical Computer Science 160, 291-304, 2006 | 45 | 2006 |
| Components as processes: An exercise in coalgebraic modeling LS Barbosa Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000 | 44 | 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 |
| Digital government and administrative burden reduction L Veiga, T Janowski, LS Barbosa Proceedings of the 9th International Conference on Theory and Practice of …, 2016 | 41 | 2016 |
| State-based components made generic LS Barbosa, JN Oliveira Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003 | 39 | 2003 |
| Transposing partial components—an exercise on coalgebraic refinement LS Barbosa, JN Oliveira Theoretical Computer Science 365 (1-2), 2-22, 2006 | 38 | 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 | 36 | 2017 |
| Process calculi à la Bird-Meertens LS Barbosa Electronic Notes in Theoretical Computer Science 44 (1), 47-66, 2001 | 33 | 2001 |
| Specifying software connectors MA Barbosa, LS Barbosa International Colloquium on Theoretical Aspects of Computing, 52-67, 2004 | 30 | 2004 |
| Digital governance for sustainable development LS Barbosa Digital Nations–Smart Cities, Innovation, and Sustainability: 16th IFIP WG 6 …, 2017 | 28 | 2017 |
| 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 | 28 | 2011 |
| From algebras to objects: Generation and composition AM Cruz, LS Barbosa, JNF Oliveira Know-Center, Graz, Austria, 2005 | 24 | 2005 |
