Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 70
| Issue Date | Title | Author(s) | Type | Access Type |
| 2019 | Generalising KAT to verify weighted computations | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. | article |  |
| Dec-2019 | Completeness in Equational Hybrid Propositional Type Theory | Manzano, Maria; Martins, Manuel; Huertas, Antonia | article |  |
| 16-Aug-2019 | Epistemic logics with structured knowledge | Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F. | article | |
| 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 |  |
| 13-Jun-2019 | Spontaneous scalarisation of charged black holes: coupling dependence and dynamical features | Fernandes, Pedro G. S.; Herdeiro, Carlos A. R.; Pombo, Alexandre M.; Radu, Eugen; Sanchis-Gual, Nicolas | article | |
| 3-Jul-2019 | Spontaneously scalarized Kerr black holes in extended scalar-tensor-Gauss-Bonnet gravity | Cunha, Pedro V. P.; Herdeiro, Carlos A. R.; Radu, Eugen | article | |
| 7-Oct-2019 | Einstein-Maxwell-scalar black holes: classes of solutions, dyons and extremality | Astefanesei, D.; Herdeiro, C.; Pombo, 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 | |
| Aug-2019 | Spherical tiling with GeoGebra | Breda, Ana; Santos, José dos | article | |
| 2019 | Optimal impulse control of dynamical systems | Piunovskiy, Alexey; Plakhov, Alexander; Torres, Delfim F. M.; Zhang, Yi | article | |
| 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 | Product preservation and stable units for reflections into idempotent subvarieties | Xarez, João José; Xarez, Isabel Andrade | article | |
| Jun-2019 | The number of parking functions with center of a given length | Duarte, Rui; Guedes de Oliveira, António | article | |
| 1-Apr-2019 | On Herbrand’s Theorem for Hybrid Logic | Costa, Diana; Martins, Manuel; Marcos, João | article | |
| 15-Apr-2019 | On interval dynamic logic: Introducing quasi-action lattices | Santiago, Regivan; Bedregal, Benjamín; Madeira, Alexandre; Martins, Manuel A. | article | |
| 5-Oct-2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. | article | |
| 10-Feb-2019 | Partial parking functions | Duarte, Rui; Guedes de Oliveira, António | article | |
| 2018 | Spherical geometry and spherical tilings with GeoGebra | Breda, Ana; Santos, José Manuel dos | article | |
| 30-Sep-2019 | A Dawson-like clustering of human mitochondrial DNA sequences based on protein coding region | Soares, Inês; Duarte, Rui; Guedes de Oliveira, António; Amorim, António | article | |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 70
