Edit Profile (opens in new tab) Madeira, Alexandre Compute Distance To: Compute Author ID: madeira.alexandre Published as: Madeira, Alexandre; Madeira, A. External Links: MGP · ORCID Documents Indexed: 30 Publications since 2008 2 Contributions as Editor Co-Authors: 15 Co-Authors with 31 Joint Publications 280 Co-Co-Authors all top 5 Co-Authors 1 single-authored 20 Martins, Manuel António 16 Barbosa, Luís Soares 9 Hennicker, Rolf 5 Benevides, Mario R. F. 5 Neves, Renato 3 Knapp, Alexander 2 Diaconescu, Răzvan 1 Bedregal, Benjamín René Callejas 1 Faria, José M. 1 Gomes, Leandro G. 1 Jain, Manisha 1 Mindt, Felix 1 Sánchez, Alejandro D. 1 Santiago, Regivan H. Nunes 1 Wirsing, Martin all top 5 Serials 4 Journal of Logical and Algebraic Methods in Programming 2 Theoretical Computer Science 2 Formal Aspects of Computing 1 Studia Logica 1 MSCS. Mathematical Structures in Computer Science 1 Computer Languages, Systems & Structures 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science Fields 24 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 23 Publications have been cited 66 times in 33 Documents Cited by ▼ Year ▼ Hybridization of institutions. Zbl 1343.03052Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. 13 2011 Encoding hybridized institutions into first-order logic. Zbl 1362.03058Diaconescu, Răzvan; Madeira, Alexandre 6 2016 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 5 2016 Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. 5 2016 A dynamic logic for every season. Zbl 1335.03030Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. 5 2015 Refinement in hybridised institutions. Zbl 1331.68149Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf 5 2015 Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S. 4 2011 Refinement by interpretation in a general setting. Zbl 1342.68091Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S. 3 2009 A family of graded epistemic logics. Zbl 1433.68416Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. 3 2018 A logic for the stepwise development of reactive systems. Zbl 1400.68125Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. 2 2018 Hybridisation at work. Zbl 1396.68113Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S. 2 2013 A fuzzy modal logic for fuzzy transition systems. Zbl 1452.68126Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. 2 2020 Behavioural and abstractor specifications revisited. Zbl 1396.68073Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin 1 2018 Institutions for behavioural dynamic logic with binders. Zbl 1444.68119Hennicker, 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.68071Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. 1 2015 A coalgebraic perspective on logical interpretations. Zbl 1353.68185Martins, M. A.; Madeira, A.; Barbosa, L. S. 1 2013 Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions. Zbl 07218617Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre; Mindt, Felix 1 2020 Asymmetric combination of logics is functorial: a survey. Zbl 07152401Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. 1 2017 Observational semantics for dynamic logic with binders. Zbl 07152407Hennicker, Rolf; Madeira, Alexandre 1 2017 Epistemic logics with structured knowledge. Zbl 1433.68423Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. 1 2019 The role of logical interpretations in program development. Zbl 1314.68190Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. 1 2014 Observational refinement process. Zbl 1283.68220Madeira, Alexandre 1 2008 A fuzzy modal logic for fuzzy transition systems. Zbl 1452.68126Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. 2 2020 Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions. Zbl 07218617Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre; Mindt, Felix 1 2020 Epistemic logics with structured knowledge. Zbl 1433.68423Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. 1 2019 A family of graded epistemic logics. Zbl 1433.68416Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A. 3 2018 A logic for the stepwise development of reactive systems. Zbl 1400.68125Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. 2 2018 Behavioural and abstractor specifications revisited. Zbl 1396.68073Hennicker, 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.68119Hennicker, Rolf; Madeira, Alexandre 1 2017 Asymmetric combination of logics is functorial: a survey. Zbl 07152401Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A. 1 2017 Observational semantics for dynamic logic with binders. Zbl 07152407Hennicker, Rolf; Madeira, Alexandre 1 2017 Encoding hybridized institutions into first-order logic. Zbl 1362.03058Diaconescu, Răzvan; Madeira, Alexandre 6 2016 An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023Madeira, Alexandre; Neves, Renato; Martins, Manuel A. 5 2016 Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. 5 2016 A dynamic logic for every season. Zbl 1335.03030Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. 5 2015 Refinement in hybridised institutions. Zbl 1331.68149Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf 5 2015 On the verification of architectural reconfigurations. Zbl 1387.68071Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. 1 2015 The role of logical interpretations in program development. Zbl 1314.68190Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S. 1 2014 Hybridisation at work. Zbl 1396.68113Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S. 2 2013 A coalgebraic perspective on logical interpretations. Zbl 1353.68185Martins, M. A.; Madeira, A.; Barbosa, L. S. 1 2013 Hybridization of institutions. Zbl 1343.03052Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S. 13 2011 Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S. 4 2011 Refinement by interpretation in a general setting. Zbl 1342.68091Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S. 3 2009 Observational refinement process. Zbl 1283.68220Madeira, Alexandre 1 2008 all cited Publications top 5 cited Publications all top 5 Cited by 41 Authors 18 Madeira, Alexandre 14 Martins, Manuel António 9 Barbosa, Luís Soares 6 Hennicker, Rolf 4 Benevides, Mario R. F. 3 Diaconescu, Răzvan 3 Knapp, Alexander 2 Gaĭnă, Daniel 2 Neves, Renato 1 Babenyshev, Sergey 1 Bensalem, Saddek 1 Caleiro, Carlos 1 Carreteiro, Marta 1 Ciobâcă, Ştefan 1 Di Nola, Antonio 1 Ehab, Nourhan 1 Faria, José M. 1 Fiadeiro, José Luiz 1 Gidey, Habtom Kashay 1 Grigolia, Revaz 1 Ismail, Haythem O. 1 Jain, Manisha 1 Jónás, Tamás 1 Lopes, Antónia 1 Marmsoler, Diego 1 Mereuta, Radu 1 Moore, Brandon M. 1 Pavlović, Duško 1 Rasga, João 1 Roggenbach, Markus 1 Rosenberger, Tobias 1 Roşu, Grigore 1 Sánchez, Alejandro D. 1 Şerbănuţă, Traian Florin 1 Sernadas, Amilcar C. 1 Sernadas, Cristina S. 1 Ştefănescu, Andrei 1 Ţuţu, Ionuţ 1 Viganò, Luca 1 Vitale, Gaetano 1 Wirsing, Martin all top 5 Cited in 12 Serials 5 Journal of Logical and Algebraic Methods in Programming 4 Formal Aspects of Computing 3 Theoretical Computer Science 2 Studia Logica 2 International Journal of Approximate Reasoning 2 Logica Universalis 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Logic, Language and Information 1 Annals of Mathematics and Artificial Intelligence 1 Computer Languages, Systems & Structures 1 Journal of Applied Logic 1 Logical Methods in Computer Science Cited in 5 Fields 24 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) Citations by Year