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
4122020
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
1182018
Method and apparatus for time and frequency transfer in communication networks
J Aweya, LO Barbosa
US Patent 8,473,638, 2013
1012013
Towards a calculus of state-based software components
LS Barbosa
Springer, 2003
862003
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
802011
Components as coalgebras
LS Barbosa
752001
Components as coalgebras: The refinement dimension
S Meng, LS Barbosa
Theoretical Computer Science 351 (2), 276-294, 2006
502006
On refinement of generic state-based software components
S Meng, LS Barbosa
Algebraic Methodology and Software Technology: 10th International Conference…, 2004
472004
Component identification through program slicing
NF Rodrigues, LS Barbosa
Electronic Notes in Theoretical Computer Science 160, 291-304, 2006
452006
Components as processes: An exercise in coalgebraic modeling
LS Barbosa
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1…, 2000
442000
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
Digital government and administrative burden reduction
L Veiga, T Janowski, LS Barbosa
Proceedings of the 9th International Conference on Theory and Practice of…, 2016
382016
State-based components made generic
LS Barbosa, JN Oliveira
Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003
382003
Transposing partial components—an exercise on coalgebraic refinement
LS Barbosa, JN Oliveira
Theoretical Computer Science 365 (1-2), 2-22, 2006
362006
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
332017
Process calculi la Bird-Meertens
LS Barbosa
Electronic Notes in Theoretical Computer Science 44 (1), 47-66, 2001
312001
Specifying software connectors
MA Barbosa, LS Barbosa
International Colloquium on Theoretical Aspects of Computing, 52-67, 2004
302004
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
282011
Digital governance for sustainable development
LS Barbosa
Digital Nations–Smart Cities, Innovation, and Sustainability: 16th IFIP WG 6…, 2017
262017
Bigraphical modelling of architectural patterns
A Sanchez, LS Barbosa, D Riesco
International Workshop on Formal Aspects of Component Software, 313-330, 2011
252011
The system can't perform the operation now. Try again later.
Articles 1–20