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
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
2016
Relating bisimulations with attractors in boolean network models
Figueiredo, Daniel
bookPart
Sep-2017
Applying differential dynamic logic to reconfigurable biological networks
Figueiredo, Daniel
;
Martins, Manuel A.
;
Chaves, Madalena
article
22-Sep-2017
Bisimulation for reactive frames
Figueiredo, Daniel
;
Martins, Manuel A.
conferenceObject
19-Nov-2020
Reversal Fuzzy Switch Graphs
Campos, Suene
;
Santiago, Regivan
;
Martins, Manuel A.
;
Figueiredo, Daniel
article
2019
Reactive models for biological regulatory networks
Figueiredo, Daniel
;
Barbosa, Luís Soares
bookPart
2018
A note on reactive transitions and Reo connectors
Figueiredo, Daniel
;
Martins, Manuel A.
;
Barbosa, Luís Soares
bookPart
Mar-2020
Boolean dynamics revisited through feedback interconnections
Chaves, Madalena
;
Figueiredo, Daniel
;
Martins, Manuel A.
article
2019
rPrism: a software for reactive weighted state transition models
Figueiredo, Daniel
;
Rocha, Eugénio
;
Martins, Manuel A.
;
Chaves, Madalena
bookPart
Results 1-8 of 8 (Search time: 0.004 seconds).
previous
1
next
Discover
Author
6
Martins, Manuel A.
3
Chaves, Madalena
2
Barbosa, Luís Soares
1
Campos, Suene
1
Rocha, Eugénio
1
Santiago, Regivan
Subject
3
Biological regulatory networks
2
Bisimulation
1
Asynchronous versus synchronous u...
1
Attractor computation
1
Boolean models
1
Differential dynamic logic
1
Discrete controllers
1
Feedback interconnections
1
Fuzzy Switch Graphs
1
Fuzzy systems
.
next >
Date issued
2
2020
2
2019
1
2018
2
2017
1
2016