Follow
Luis S. Barbosa
Luis S. Barbosa
Professor of Computer Science, Universidade do Minho
Verified email at di.uminho.pt - Homepage
Title
Cited by
Cited by
Year
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
5902020
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
1312018
Method and apparatus for time and frequency transfer in communication networks
J Aweya, LO Barbosa
US Patent 8,473,638, 2013
1042013
Towards a Calculus of State-based Software Components.
LS Barbosa
J. Univers. Comput. Sci. 9 (8), 891-909, 2003
902003
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
832011
Components as coalgebras
LS Barbosa
Universidade do Minho, 2001
772001
Components as coalgebras: The refinement dimension
S Meng, LS Barbosa
Theoretical Computer Science 351 (2), 276-294, 2006
542006
On refinement of generic state-based software components
S Meng, LS Barbosa
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
482004
Digital government and administrative burden reduction
L Veiga, T Janowski, LS Barbosa
Proceedings of the 9th International Conference on Theory and Practice of …, 2016
462016
Component identification through program slicing
NF Rodrigues, LS Barbosa
Electronic Notes in Theoretical Computer Science 160, 291-304, 2006
462006
Components as processes: An exercise in coalgebraic modeling
LS Barbosa
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000
452000
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
422004
State-based components made generic
LS Barbosa, JN Oliveira
Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003
392003
Transposing partial components—an exercise on coalgebraic refinement
LS Barbosa, JN Oliveira
Theoretical Computer Science 365 (1-2), 2-22, 2006
382006
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
372017
Process calculi à la Bird-Meertens
LS Barbosa
Electronic Notes in Theoretical Computer Science 44 (1), 47-66, 2001
332001
Software engineering for'quantum advantage'
LS Barbosa
Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020
312020
Specifying software connectors
MA Barbosa, LS Barbosa
International Colloquium on Theoretical Aspects of Computing, 52-67, 2004
302004
Digital governance for sustainable development
LS Barbosa
Digital Nations–Smart Cities, Innovation, and Sustainability: 16th IFIP WG 6 …, 2017
292017
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
292011
The system can't perform the operation now. Try again later.
Articles 1–20