E-LIB Suche - Ergebnisse für: Madeira, Alexandre

1

Capturing Qubit Decoherence through Paraconsistent Transiti..:

, In: Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming,

Barbosa, Luís Soares ; Madeira, Alexandre - p. 109-110 , 2023

Link: https://dl.acm.org/doi/1..

2

idDL2DL – Interval Syntax to $$d\mathcal {L}$$:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Santos, Jaime ; Figueiredo, Daniel ; Madeira, Alexandre - p. 240-247 , 2023

Link: https://doi.org/10.1007/..

3

Structured Specification of Paraconsistent Transition Syste..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Cunha, Juliana ; Madeira, Alexandre ; Barbosa, Luís Soares - p. 1-17 , 2023

Link: https://doi.org/10.1007/..

4

Stepwise Development of Paraconsistent Processes:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Cunha, Juliana ; Madeira, Alexandre ; Barbosa, Luís Soares - p. 327-343 , 2023

Link: https://doi.org/10.1007/..

5

Recent Trends in Algebraic Development Techniques: 26th IFI..

Lecture Notes in Computer Science, 13710

Madeira, Alexandre ; Martins, Manuel A - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

6

Relating Kleene Algebras with Pseudo Uninorms:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,

Bedregal, Benjamin ; Santiago, Regivan ; Madeira, Alexandre. - p. 37-55 , 2023

Link: https://doi.org/10.1007/..

7

Graded epistemic logic with public announcement:

Benevides, Mário ; Madeira, Alexandre ; Martins, Manuel A.
Journal of Logical and Algebraic Methods in Programming. 125 (2022) - p. 100732 , 2022

Link: https://doi.org/10.1016/..

8

Weighted synchronous automata:

Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares
Mathematical Structures in Computer Science. 32 (2022) 9 - p. 1234-1253 , 2022

Link: https://doi.org/10.1017/..

9

Adding Proof Calculi to Epistemic Logics with Structured Kn..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Benevides, Mario ; Madeira, Alexandre ; Martins, Manuel A. - p. 53-68 , 2021

Link: https://doi.org/10.1007/..

10

Observational interpretations of hybrid dynamic logic with ..:

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre
Journal of Logical and Algebraic Methods in Programming. 122 (2021) - p. 100698 , 2021

Link: https://doi.org/10.1016/..

11

Hybrid dynamic logic institutions for event/data-based syst..:

Hennicker, Rolf ; Knapp, Alexander ; Madeira, Alexandre
Formal Aspects of Computing. 33 (2021) 6 - p. 1209-1248 , 2021

Link: https://doi.org/10.1007/..

12

A semantics and a logic for Fuzzy Arden Syntax:

Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luís Soares
Soft Computing. 25 (2021) 9 - p. 6789-6805 , 2021

Link: https://doi.org/10.1007/..

13

A Fuzzy Modal Logic for Fuzzy Transition Systems:

Jain, Manisha ; Madeira, Alexandre ; Martins, Manuel A.
Electronic Notes in Theoretical Computer Science. 348 (2020) - p. 85-103 , 2020

Link: https://doi.org/10.1016/..

14

DaLí - Dynamic Logic, new trends and applications:

Benevides, Mario R.F. ; Madeira, Alexandre
Journal of Logical and Algebraic Methods in Programming. 111 (2020) - p. 100514 , 2020

Link: https://doi.org/10.1016/..

15

Introducing Synchrony in Fuzzy Automata:

Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares
Electronic Notes in Theoretical Computer Science. 348 (2020) - p. 43-60 , 2020

Link: https://doi.org/10.1016/..