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
Nonlinear dynamics of spinning bosonic stars: formation and stability
Sanchis-Gual, N.
;
Di Giovanni, F.
;
Zilhão, M.
;
Herdeiro, C.
;
Cerdá-Durán, P.
;
Font, J. A.
;
Radu, E.
article
21-Oct-2019
Charged black holes with axionic-type couplings: classes of solutions and dynamical scalarization
Fernandes, Pedro G. S.
;
Herdeiro, Carlos A. R.
;
Pombo, Alexandre M.
;
Radu, Eugen
;
Sanchis-Gual, Nicolas
article
10-Oct-2019
Balancing a static black ring with a phantom scalar field
Kleihaus, Burkhard
;
Kunz, Jutta
;
Radu, Eugen
article
2019
Packing of R3 by crosses
Cruz, Catarina M. N.
;
Breda, Ana M. D'Azevedo
bookPart
1-Apr-2019
On Herbrand’s Theorem for Hybrid Logic
Costa, Diana
;
Martins, Manuel A.
;
Marcos, João
article
2019
Reactive models for biological regulatory networks
Figueiredo, Daniel
;
Barbosa, Luís Soares
bookPart
1-Feb-2019
Gravitating solitons and black holes with synchronised hair in the four dimensional O(3) sigma-model
Herdeiro, C.
;
Perapechka, I.
;
Radu, E.
;
Shnir, Ya
article
2019
Verification for Everyone? An Overview of Dynamic Logic
Madeira, Alexandre
bookPart
2019
A hybrid dynamic logic for event/data-based systems
Hennicker, Rolf
;
Madeira, Alexandre
;
Knapp, Alexander
bookPart
2019
A digital puzzle game for the elderly
Barros, P.
;
Almeida, M. R.
;
Breda, A.
;
Rocha, E.
bookPart
Results 21-30 of 33 (Search time: 0.003 seconds).
previous
1
2
3
4
next
Discover
Author
8
Madeira, Alexandre
7
Martins, Manuel A.
4
Radu, Eugen
3
Duarte, Rui
3
Gomes, Leandro
3
Guedes de Oliveira, António
3
Herdeiro, C.
3
Herdeiro, Carlos A. R.
3
Radu, E.
2
Almeida, M. R.
.
next >
Subject
5
Dynamic logic
4
Black holes
2
Formal methods
2
GeoGebra
2
Hybrid logic
2
Ish arrangement
2
Programs verification
2
Scalarization
2
Serious game
2
Shi arrangement
.
next >