Seguir
Luis S. Barbosa
Luis S. Barbosa
Professor of Computer Science, Universidade do Minho
Email confirmado em di.uminho.pt - Página inicial
Título
Citado por
Citado por
Ano
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
4452020
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
1212018
Method and apparatus for time and frequency transfer in communication networks
J Aweya, LO Barbosa
US Patent 8,473,638, 2013
1032013
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
272017
Bigraphical modelling of architectural patterns
A Sanchez, LS Barbosa, D Riesco
International Workshop on Formal Aspects of Component Software, 313-330, 2011
252011
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20