default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexandre Madeira
Person information
- affiliation: University of Aveiro, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j19]Juliana Cunha
, Alexandre Madeira, Luís Soares Barbosa:
Specification of paraconsistent transition systems, revisited. Sci. Comput. Program. 240: 103196 (2025)- 2024
- [c43]David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença:
Reactive Graphs in Action. FACS 2024: 97-105 - [i4]David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença:
Reactive graphs in action (extended version). CoRR abs/2407.14705 (2024) - 2023
- [c42]Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Structured Specification of Paraconsistent Transition Systems. FSEN 2023: 1-17 - [c41]Luís Soares Barbosa, Alexandre Madeira:
Capturing Qubit Decoherence through Paraconsistent Transition Systems. Programming 2023: 109-110 - [c40]Jaime Santos, Daniel Figueiredo, Alexandre Madeira:
idDL2DL - Interval Syntax to dℒ. TASE 2023: 240-247 - [c39]Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
Stepwise Development of Paraconsistent Processes. TASE 2023: 327-343 - [e2]Alexandre Madeira, Manuel A. Martins:
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13710, Springer 2023, ISBN 978-3-031-43344-3 [contents] - 2022
- [j18]Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins:
Graded epistemic logic with public announcement. J. Log. Algebraic Methods Program. 125: 100732 (2022) - [j17]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Weighted synchronous automata. Math. Struct. Comput. Sci. 32(9): 1234-1253 (2022) - [c38]Benjamín R. C. Bedregal, Regivan H. N. Santiago, Alexandre Madeira, Manuel A. Martins:
Relating Kleene Algebras with Pseudo Uninorms. DaLí 2022: 37-55 - [c37]Ana Cruz, Alexandre Madeira, Luís Soares Barbosa:
Paraconsistent Transition Systems. LSFA 2022: 3-15 - [c36]Ana Cruz, Alexandre Madeira, Luís Soares Barbosa:
A Logic for Paraconsistent Transition Systems. NCL 2022: 270-284 - 2021
- [j16]Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33(6): 1209-1248 (2021) - [j15]Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122: 100698 (2021) - [j14]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
A semantics and a logic for Fuzzy Arden Syntax. Soft Comput. 25(9): 6789-6805 (2021) - [c35]Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins:
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN 2021: 53-68 - [c34]Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Towards a specification theory for fuzzy modal logic. TASE 2021: 175-182 - 2020
- [j13]Mario R. F. Benevides, Alexandre Madeira:
DaLí - Dynamic Logic, new trends and applications. J. Log. Algebraic Methods Program. 111: 100514 (2020)
2010 – 2019
- 2019
- [j12]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Generalising KAT to Verify Weighted Computations. Sci. Ann. Comput. Sci. 29(2): 141-184 (2019) - [j11]Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins:
On interval dynamic logic: Introducing quasi-action lattices. Sci. Comput. Program. 175: 1-16 (2019) - [c33]Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE 2019: 79-97 - [c32]Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides:
Logics for Petri Nets with Propagating Failures. FSEN 2019: 145-157 - [c31]José Proença, Alexandre Madeira:
Taming Hierarchical Connectors. FSEN 2019: 186-193 - [c30]Leandro Gomes, Alexandre Madeira, Manisha Jain, Luís Soares Barbosa:
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. ICFEM 2019: 154-169 - [c29]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Introducing Synchrony in Fuzzy Automata. LSFA 2019: 43-60 - [c28]Manisha Jain, Alexandre Madeira, Manuel A. Martins:
A Fuzzy Modal Logic for Fuzzy Transition Systems. LSFA 2019: 85-103 - [c27]Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt:
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí 2019: 19-34 - [i3]Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR abs/1902.03074 (2019) - [i2]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Generalising KAT to verify weighted computations. CoRR abs/1911.01146 (2019) - 2018
- [j10]Rolf Hennicker, Alexandre Madeira, Martin Wirsing:
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741: 32-43 (2018) - [j9]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018) - [c26]Alexandre Madeira:
Verification for Everyone? An Overview of Dynamic Logic. MLCSB 2018: 18-33 - [c25]Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides:
Epistemic Logics with Structured Knowledge. LSFA 2018: 137-149 - [e1]Alexandre Madeira, Mario R. F. Benevides:
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Lecture Notes in Computer Science 10669, Springer 2018, ISBN 978-3-319-73578-8 [contents] - [i1]Luís Soares Barbosa, Alexandre Madeira:
A Research Agenda on Quantum Algoritmics. ERCIM News 2018(113) (2018) - 2017
- [c24]Rolf Hennicker, Alexandre Madeira:
Institutions for Behavioural Dynamic Logic with Binders. ICTAC 2017: 13-31 - [c23]Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
On Kleene Algebras for Weighted Computation. SBMF 2017: 271-286 - [c22]Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins:
A Family of Graded Epistemic Logics. LSFA 2017: 45-59 - [c21]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Hierarchical Hybrid Logic. LSFA 2017: 167-184 - 2016
- [j8]Alexandre Madeira, Renato Neves, Manuel A. Martins:
An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 85(5): 1011-1037 (2016) - [j7]Razvan Diaconescu, Alexandre Madeira:
Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26(5): 745-788 (2016) - [j6]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016) - [j5]Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins:
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016) - [c20]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC 2016: 422-440 - [c19]Regivan H. N. Santiago, Benjamín R. C. Bedregal, Alexandre Madeira, Manuel A. Martins:
On Interval Dynamic Logic. SBMF 2016: 129-144 - [c18]Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins:
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55 - [c17]Rolf Hennicker, Alexandre Madeira:
Observational Semantics for Dynamic Logic with Binders. WADT 2016: 135-152 - [p1]Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30 - 2015
- [j4]Alejandro Sanchez, Alexandre Madeira, Luís Soares Barbosa:
On the verification of architectural reconfigurations. Comput. Lang. Syst. Struct. 44: 218-237 (2015) - [j3]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015) - [c16]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
A logic for n-dimensional hierarchical refinement. Refine@FM 2015: 40-56 - 2014
- [j2]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
The role of logical interpretations in program development. Log. Methods Comput. Sci. 10(1) (2014) - [c15]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves:
Paradigm integration in a specification course. IRI 2014: 492-499 - [c14]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145 - [c13]Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira:
Modelling and Verifying Smell-Free Architectures with the Archery Language. SEFM Workshops 2014: 147-163 - 2013
- [b1]Alexandre Madeira:
Foundations and techniques for software reconfigurability. University of Minho, Portugal, 2013 - [j1]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
A Coalgebraic Perspective on Logical Interpretations. Stud Logica 101(4): 783-825 (2013) - [c12]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345 - [c11]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) 2013: 45-75 - [c10]Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Giving Alloy a family. IRI 2013: 512-519 - [c9]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. SBLP 2013: 75-89 - [c8]Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... TASE 2013: 79-82 - [c7]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Bisimilarity and refinement for hybrid(ised) logics. Refine@IFM 2013: 84-98 - 2011
- [c6]Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa:
Hybridization of Institutions. CALCO 2011: 283-297 - [c5]Alexandre Madeira, José M. Faria, Manuel A. Martins, Luís Soares Barbosa:
Hybrid Specification of Reactive Systems: An Institutional Approach. SEFM 2011: 269-285 - [c4]César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by interpretation in π-institutions. Refine@FM 2011: 53-64
2000 – 2009
- 2009
- [c3]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement via Interpretation. SEFM 2009: 250-259 - [c2]Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa:
Refinement by Interpretation in a General Setting. REFINE@FMWeek 2009: 105-121 - 2008
- [c1]Alexandre Madeira:
Observational Refinement Process. Refine@FM 2008: 103-129
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-21 23:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
