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
Sep-2017
Applying differential dynamic logic to reconfigurable biological networks
Figueiredo, Daniel
;
Martins, Manuel A.
;
Chaves, Madalena
article
2019
Molecular logic and computational synthetic biology: first international symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Chaves, Madalena
;
Martins, Manuel A.
book
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
May-2021
Special issue “International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18”
Veloz, Tomas
;
Chaves, Madalena
;
Martins, Manuel A.
article
Results 1-5 of 5 (Search time: 0.002 seconds).
previous
1
next
Discover
Author
5
Martins, Manuel A.
3
Figueiredo, Daniel
1
Rocha, Eugénio
1
Veloz, Tomas
Subject
1
Asynchronous versus synchronous u...
1
Attractor computation
1
Biological regulatory networks
1
Boolean models
1
Differential dynamic logic
1
Discrete controllers
1
Feedback interconnections
1
Hybrid systems
1
PRISM model checker
1
Reactive models
.
next >
Date issued
1
2021
1
2020
2
2019
1
2017