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
Method and apparatus for time and frequency transfer in communication networks
J Aweya, LO Barbosa
US Patent 8,473,638, 2013
802013
Towards a calculus of state-based software components
LS Barbosa
Springer, 2003
782003
Components as coalgebras
LS Barbosa
712001
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
662011
Components as coalgebras: The refinement dimension
S Meng, LS Barbosa
Theoretical Computer Science 351 (2), 276-294, 2006
482006
On refinement of generic state-based software components
S Meng, LS Barbosa
International Conference on Algebraic Methodology and Software Technology…, 2004
452004
Components as processes: An exercise in coalgebraic modeling
LS Barbosa
International Conference on Formal Methods for Open Object-Based Distributed…, 2000
432000
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
412018
Component identification through program slicing
NF Rodrigues, LS Barbosa
Electronic Notes in Theoretical Computer Science 160, 291-304, 2006
412006
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
372003
Transposing partial components—an exercise on coalgebraic refinement
LS Barbosa, JN Oliveira
Theoretical Computer Science 365 (1-2), 2-22, 2006
342006
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
From algebras to objects: Generation and composition
AM Cruz, LS Barbosa, JNF Oliveira
Know-Center, Graz, Austria, 2005
242005
Bigraphical modelling of architectural patterns
A Sanchez, LS Barbosa, D Riesco
International Workshop on Formal Aspects of Component Software, 313-330, 2011
232011
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
192020
A single complete relational rule for coalgebraic refinement
CJ Rodrigues, JN Oliveira, LS Barbosa
Electronic Notes in Theoretical Computer Science 259, 3-19, 2009
192009
Hybridisation at work
R Neves, A Madeira, MA Martins, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 340-345, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20