Collection's Items (Sorted by Submit Date in Descending order): 61 to 80 of 140
Issue Date | Title | Author(s) | Type | Access Type |
Feb-2020 | Cartesian closed exact completions in topology | Clementino, Maria Manuel; Hofmann, Dirk; Ribeiro, Willian | article | |
Apr-2019 | Limits in categories of Vietoris coalgebras | Hofmann, Dirk; Neves, Renato; Nora, Pedro | article | |
2018 | Generating the algebraic theory of C(X): the case of partially ordered compact spaces | Hofmann, Dirk; Neves, Renato; Nora, Pedro | article | |
25-May-2018 | Enriched Stone-type dualities | Hofmann, Dirk; Nora, Pedro | article | |
2018 | Convergence and quantale-enriched categories | Hofmann, Dirk; Reis, Carla D. | article | |
2018 | Topology from enrichment: the curious case of partial metrics | Hofmann, Dirk; Stubbe, Isar | article | |
Aug-2020 | Systematic maximum sum rank codes | Almeida, Paulo; Martínez-Peñas, Umberto; Napp, Diego | article | |
1-Mar-2020 | Introducing synchrony in fuzzy automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis Soares | article | |
Mar-2020 | A fuzzy modal logic for fuzzy transition systems | Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. | article | |
Mar-2020 | Boolean dynamics revisited through feedback interconnections | Chaves, Madalena; Figueiredo, Daniel; Martins, Manuel A. | article | |
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 A.; 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 | |
Collection's Items (Sorted by Submit Date in Descending order): 61 to 80 of 140