×

Barbosa, Luís Soares

Compute Distance To:
Author ID: barbosa.luis-soares Recent zbMATH articles by "Barbosa, Luís Soares"
Published as: Barbosa, Luís S.; Barbosa, Luis S.; Barbosa, Luís Soares; Barbosa, L. S.; Barbosa, Luis Soares; Soares Barbosa, Luís; Barbosa, Luis

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 93 times in 52 Documents Cited by Year
Hybridization of institutions. Zbl 1343.03052
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S.
13
2011
Components as coalgebras: the refinement dimension. Zbl 1086.68031
Meng, Sun; Barbosa, Luís S.
7
2006
Transposing partial components–an exercise on coalgebraic refinement. Zbl 1118.68047
Barbosa, Luís S.; Oliveira, José N.
7
2006
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A.
5
2016
A dynamic logic for every season. Zbl 1335.03030
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.
5
2015
State-based components made generic. Zbl 1270.68185
Barbosa, L. S.; Oliveira, J. N.
4
2003
Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190
Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S.
4
2011
Continuity as a computational effect. Zbl 1355.68059
Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.
4
2016
On refinement of generic state-based software components. Zbl 1108.68400
Meng, Sun; Barbosa, Luís S.
3
2004
Components as processes: An exercise in coalgebraic modeling. Zbl 0968.68103
Barbosa, L. S.
3
2000
Calculating invariants as coreflexive bisimulations. Zbl 1170.68426
Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra
3
2008
Refinement by interpretation in a general setting. Zbl 1342.68091
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S.
3
2009
A logic for the stepwise development of reactive systems. Zbl 1400.68125
Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A.
2
2018
Languages and models for hybrid automata: a coalgebraic perspective. Zbl 1400.68112
Neves, Renato; Barbosa, Luís S.
2
2018
Hybrid automata as coalgebras. Zbl 1400.68111
Neves, Renato; Barbosa, Luis S.
2
2016
Coinductive interpreters for process calculi. Zbl 1019.68519
Barbosa, Luís Soares; Oliveira, José Nuno
2
2002
A coalgebraic semantic framework for component-based development in UML. Zbl 1272.68105
Meng, Sun; Aichernig, Bernhard K.; Barbosa, Luís S.; Naixiao, Zhang
2
2005
Hybridisation at work. Zbl 1396.68113
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.
2
2013
An exercise on transition systems. Zbl 1279.68265
Ribeiro, Paula R.; Barbosa, L. S.; Wang, Shuling
2
2008
Specifying software connectors. Zbl 1108.68489
Barbosa, Marco Antonio; Barbosa, Luís Soares
2
2005
On refinement of software architectures. Zbl 1169.68367
Meng, Sun; Barbosa, Luís S.; Zhang, Naixiao
2
2005
A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017
Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta
1
2014
A coalgebraic perspective on logical interpretations. Zbl 1353.68185
Martins, M. A.; Madeira, A.; Barbosa, L. S.
1
2013
The role of logical interpretations in program development. Zbl 1314.68190
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.
1
2014
Process calculi à la Bird-Meertens. Zbl 1260.68257
Barbosa, Luís S.
1
2001
A perspective on service orchestration. Zbl 1167.68361
Barbosa, Marco A.; Barbosa, Luis S.
1
2009
A coordination model for interactive components. Zbl 1274.68063
Barbosa, Marco A.; Barbosa, Luis S.; Campos, José C.
1
2010
Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Zbl 1430.03006
1
2020
Asymmetric combination of logics is functorial: a survey. Zbl 07152401
Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A.
1
2017
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
1
2015
Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Zbl 1430.03006
1
2020
A logic for the stepwise development of reactive systems. Zbl 1400.68125
Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A.
2
2018
Languages and models for hybrid automata: a coalgebraic perspective. Zbl 1400.68112
Neves, Renato; Barbosa, Luís S.
2
2018
Asymmetric combination of logics is functorial: a survey. Zbl 07152401
Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A.
1
2017
Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A.
5
2016
Continuity as a computational effect. Zbl 1355.68059
Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.
4
2016
Hybrid automata as coalgebras. Zbl 1400.68111
Neves, Renato; Barbosa, Luis S.
2
2016
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
A dynamic logic for every season. Zbl 1335.03030
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.
5
2015
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
1
2015
A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017
Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta
1
2014
The role of logical interpretations in program development. Zbl 1314.68190
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.
1
2014
Hybridisation at work. Zbl 1396.68113
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.
2
2013
A coalgebraic perspective on logical interpretations. Zbl 1353.68185
Martins, M. A.; Madeira, A.; Barbosa, L. S.
1
2013
Hybridization of institutions. Zbl 1343.03052
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S.
13
2011
Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190
Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S.
4
2011
A coordination model for interactive components. Zbl 1274.68063
Barbosa, Marco A.; Barbosa, Luis S.; Campos, José C.
1
2010
Refinement by interpretation in a general setting. Zbl 1342.68091
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S.
3
2009
A perspective on service orchestration. Zbl 1167.68361
Barbosa, Marco A.; Barbosa, Luis S.
1
2009
Calculating invariants as coreflexive bisimulations. Zbl 1170.68426
Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra
3
2008
An exercise on transition systems. Zbl 1279.68265
Ribeiro, Paula R.; Barbosa, L. S.; Wang, Shuling
2
2008
Components as coalgebras: the refinement dimension. Zbl 1086.68031
Meng, Sun; Barbosa, Luís S.
7
2006
Transposing partial components–an exercise on coalgebraic refinement. Zbl 1118.68047
Barbosa, Luís S.; Oliveira, José N.
7
2006
A coalgebraic semantic framework for component-based development in UML. Zbl 1272.68105
Meng, Sun; Aichernig, Bernhard K.; Barbosa, Luís S.; Naixiao, Zhang
2
2005
Specifying software connectors. Zbl 1108.68489
Barbosa, Marco Antonio; Barbosa, Luís Soares
2
2005
On refinement of software architectures. Zbl 1169.68367
Meng, Sun; Barbosa, Luís S.; Zhang, Naixiao
2
2005
On refinement of generic state-based software components. Zbl 1108.68400
Meng, Sun; Barbosa, Luís S.
3
2004
State-based components made generic. Zbl 1270.68185
Barbosa, L. S.; Oliveira, J. N.
4
2003
Coinductive interpreters for process calculi. Zbl 1019.68519
Barbosa, Luís Soares; Oliveira, José Nuno
2
2002
Process calculi à la Bird-Meertens. Zbl 1260.68257
Barbosa, Luís S.
1
2001
Components as processes: An exercise in coalgebraic modeling. Zbl 0968.68103
Barbosa, L. S.
3
2000

Citations by Year