Volgen
Luis S. Barbosa
Luis S. Barbosa
Professor of Computer Science, Universidade do Minho
Geverifieerd e-mailadres voor di.uminho.pt - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1492020
Method and apparatus for time and frequency transfer in communication networks
J Aweya, LO Barbosa
US Patent 8,473,638, 2013
892013
Towards a calculus of state-based software components
LS Barbosa
Springer, 2003
812003
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
762011
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
752018
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
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
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
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
322016
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
A dynamic logic for every season
A Madeira, R Neves, MA Martins, LS Barbosa
Brazilian Symposium on Formal Methods, 130-145, 2014
202014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20