Skip navigation
sign on to:
my account
receive email
updates
edit profile
language
Português
English
submit
communities
browse
Browse Items by:
Issue Date
Author
Advisor
Title
Subject
Document Type
Access Type
help
Home
Search
Search:
All of DSpace
CIDMA - Centro de Investigação e Desenvolvimento em Matemática e Aplicações
CIDMA - Algebra and Geometry Group
AGG - Artigos
AGG - Capítulo de livro
AGG - Comunicações
AGG - Livro
AGG - Relatórios
for
Current filters:
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Document type
Access type
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Item hits:
Issue Date
Title
Author(s)
Type
Access Type
2019
Generalising KAT to verify weighted computations
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis S.
article
2021
Towards a specification theory for fuzzy modal logic
Jain, Manisha
;
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis S.
bookPart
13-Feb-2021
A semantics and a logic for Fuzzy Arden Syntax
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luís Soares
article
2019
On the generation of equational dynamic logics for weighted imperative programs
Gomes, Leandro
;
Madeira, Alexandre
;
Jain, Manisha
;
Barbosa, Luis S.
bookPart
2019
Logics for Petri nets with propagating failures
Gomes, Leandro
;
Madeira, Alexandre
;
Benevides, Mario
bookPart
1-Mar-2020
Introducing synchrony in fuzzy automata
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis Soares
article
2023
Weighted synchronous automata
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, Luis Soares
article
Results 1-7 of 7 (Search time: 0.004 seconds).
previous
1
next
Discover
Author
7
Madeira, Alexandre
3
Barbosa, Luis S.
2
Barbosa, Luis Soares
2
Jain, Manisha
1
Barbosa, Luís Soares
1
Benevides, Mario
Subject
4
Dynamic logic
2
Fuzzy logic
2
Programs verification
2
Synchronous languages
1
Formal methods
1
Fuzzy automata
1
Fuzzy languages
1
Fuzzy relations
1
Graded tests
1
Hoare logic
.
next >
Date issued
1
2023
2
2021
1
2020
3
2019