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
1982020
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
892018
Towards a calculus of state-based software components
LS Barbosa
Springer, 2003
852003
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011
762011
Components as coalgebras
LS Barbosa
732001
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
462004
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
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
352006
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
Process calculi à la Bird-Meertens
LS Barbosa
Electronic Notes in Theoretical Computer Science 44 (1), 47-66, 2001
302001
Specifying software connectors
MA Barbosa, LS Barbosa
Theoretical Aspects of Computing-ICTAC 2004: First International Colloquium …, 2005
292005
Hybrid specification of reactive systems: An institutional approach
A Madeira, JM Faria, MA Martins, LS Barbosa
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
272011
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
242017
Bigraphical modelling of architectural patterns
A Sanchez, LS Barbosa, D Riesco
Formal Aspects of Component Software: 8th International Symposium, FACS 2011 …, 2012
242012
From algebras to objects: Generation and composition
AM Cruz, LS Barbosa, JNF Oliveira
Know-Center, Graz, Austria, 2005
242005
The system can't perform the operation now. Try again later.
Articles 1–20