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 | 508 | 2020 |
A taxonomy for planning and designing smart mobility services G Cledou, E Estevez, LS Barbosa Government Information Quarterly 35 (1), 61-76, 2018 | 128 | 2018 |
Method and apparatus for time and frequency transfer in communication networks J Aweya, LO Barbosa US Patent 8,473,638, 2013 | 105 | 2013 |
Towards a Calculus of State-based Software Components. LS Barbosa J. Univers. Comput. Sci. 9 (8), 891-909, 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 | 82 | 2011 |
Components as coalgebras LS Barbosa Universidade do Minho, 2001 | 77 | 2001 |
Components as coalgebras: The refinement dimension S Meng, LS Barbosa Theoretical Computer Science 351 (2), 276-294, 2006 | 53 | 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 |
Digital government and administrative burden reduction L Veiga, T Janowski, LS Barbosa Proceedings of the 9th International Conference on Theory and Practice of …, 2016 | 43 | 2016 |
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 | 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 | 37 | 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 |
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 | 29 | 2011 |
Digital governance for sustainable development LS Barbosa Digital Nations–Smart Cities, Innovation, and Sustainability: 16th IFIP WG 6 …, 2017 | 28 | 2017 |
Software engineering for'quantum advantage' LS Barbosa Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020 | 25 | 2020 |