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
1842020
Method and apparatus for time and frequency transfer in communication networks
J Aweya, LO Barbosa
US Patent 8,473,638, 2013
912013
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
832018
Towards a calculus of state-based software components
LS Barbosa
Springer, 2003
832003
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
782011
Components as coalgebras
LS Barbosa
742001
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
International Conference on Algebraic Methodology and Software Technology…, 2004
462004
Components as processes: An exercise in coalgebraic modeling
LS Barbosa
International Conference on Formal Methods for Open Object-Based Distributed…, 2000
432000
Component identification through program slicing
NF Rodrigues, LS Barbosa
Electronic Notes in Theoretical Computer Science 160, 291-304, 2006
422006
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
402004
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
Digital government and administrative burden reduction
L Veiga, T Janowski, LS Barbosa
Proceedings of the 9th International Conference on Theory and Practice of…, 2016
332016
Specifying software connectors
MA Barbosa, LS Barbosa
International Colloquium on Theoretical Aspects of Computing, 52-67, 2004
292004
Process calculi la Bird-Meertens
LS Barbosa
Electronic Notes in Theoretical Computer Science 44 (1), 47-66, 2001
292001
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
272011
Bigraphical modelling of architectural patterns
A Sanchez, LS Barbosa, D Riesco
International Workshop on Formal Aspects of Component Software, 313-330, 2011
242011
From algebras to objects: Generation and composition
AM Cruz, LS Barbosa, JNF Oliveira
Know-Center, Graz, Austria, 2005
242005
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
232017
The system can't perform the operation now. Try again later.
Articles 1–20