×
Compute Distance To:
Author ID: madeira.alexandre Recent zbMATH articles by "Madeira, Alexandre"
Published as: Madeira, Alexandre; Madeira, A.
External Links: MGP · ORCID

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 66 times in 33 Documents Cited by Year
Hybridization of institutions. Zbl 1343.03052
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S.
13
2011
Encoding hybridized institutions into first-order logic. Zbl 1362.03058
Diaconescu, Răzvan; Madeira, Alexandre
6
2016
An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.
5
2016
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
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
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
Refinement by interpretation in a general setting. Zbl 1342.68091
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S.
3
2009
A family of graded epistemic logics. Zbl 1433.68416
Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A.
3
2018
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
Hybridisation at work. Zbl 1396.68113
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.
2
2013
A fuzzy modal logic for fuzzy transition systems. Zbl 1452.68126
Jain, Manisha; Madeira, Alexandre; Martins, Manuel A.
2
2020
Behavioural and abstractor specifications revisited. Zbl 1396.68073
Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin
1
2018
Institutions for behavioural dynamic logic with binders. Zbl 1444.68119
Hennicker, Rolf; Madeira, Alexandre
1
2017
Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006
1
2018
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
1
2015
A coalgebraic perspective on logical interpretations. Zbl 1353.68185
Martins, M. A.; Madeira, A.; Barbosa, L. S.
1
2013
Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions. Zbl 07218617
Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre; Mindt, Felix
1
2020
Asymmetric combination of logics is functorial: a survey. Zbl 07152401
Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A.
1
2017
Observational semantics for dynamic logic with binders. Zbl 07152407
Hennicker, Rolf; Madeira, Alexandre
1
2017
Epistemic logics with structured knowledge. Zbl 1433.68423
Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F.
1
2019
The role of logical interpretations in program development. Zbl 1314.68190
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.
1
2014
Observational refinement process. Zbl 1283.68220
Madeira, Alexandre
1
2008
A fuzzy modal logic for fuzzy transition systems. Zbl 1452.68126
Jain, Manisha; Madeira, Alexandre; Martins, Manuel A.
2
2020
Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions. Zbl 07218617
Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre; Mindt, Felix
1
2020
Epistemic logics with structured knowledge. Zbl 1433.68423
Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F.
1
2019
A family of graded epistemic logics. Zbl 1433.68416
Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A.
3
2018
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
Behavioural and abstractor specifications revisited. Zbl 1396.68073
Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin
1
2018
Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006
1
2018
Institutions for behavioural dynamic logic with binders. Zbl 1444.68119
Hennicker, Rolf; Madeira, Alexandre
1
2017
Asymmetric combination of logics is functorial: a survey. Zbl 07152401
Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A.
1
2017
Observational semantics for dynamic logic with binders. Zbl 07152407
Hennicker, Rolf; Madeira, Alexandre
1
2017
Encoding hybridized institutions into first-order logic. Zbl 1362.03058
Diaconescu, Răzvan; Madeira, Alexandre
6
2016
An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.
5
2016
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
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
1
2015
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
Refinement by interpretation in a general setting. Zbl 1342.68091
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S.
3
2009
Observational refinement process. Zbl 1283.68220
Madeira, Alexandre
1
2008

Citations by Year