Luis S. Barbosa
Luis S. Barbosa
Dirección de correo verificada de di.uminho.pt
Título
Citado por
Citado por
Año
Towards a calculus of state-based software components
LS Barbosa
Springer, 2003
762003
Components as coalgebras
LS Barbosa
682001
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
642011
Components as coalgebras: The refinement dimension
S Meng, LS Barbosa
Theoretical Computer Science 351 (2), 276-294, 2006
442006
On refinement of generic state-based software components
S Meng, LS Barbosa
International Conference on Algebraic Methodology and Software Technology …, 2004
432004
Components as processes: An exercise in coalgebraic modeling
LS Barbosa
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
412000
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
392004
Component identification through program slicing
NF Rodrigues, LS Barbosa
Electronic Notes in Theoretical Computer Science 160, 291-304, 2006
372006
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
332006
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
292018
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
282001
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
262011
Bigraphical modelling of architectural patterns
A Sanchez, LS Barbosa, D Riesco
International Workshop on Formal Aspects of Component Software, 313-330, 2011
222011
From algebras to objects: Generation and composition
AM Cruz, LS Barbosa, JNF Oliveira
Know-Center, Graz, Austria, 2005
212005
Coinductive interpreters for process calculi
LS Barbosa, JN Oliveira
International Symposium on Functional and Logic Programming, 183-197, 2002
182002
Hybridisation at work
R Neves, A Madeira, MA Martins, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 340-345, 2013
172013
Calculating invariants as coreflexive bisimulations
LS Barbosa, JN Oliveira, A Silva
International Conference on Algebraic Methodology and Software Technology, 83-99, 2008
172008
A relational model for confined separation logic
S Wang, LS Barbosa, JN Oliveira
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of …, 2008
172008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20