AGG - Artigos : [73] Collection home page
RSS Feed



Browse
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 73
Issue DateTitleAuthor(s)TypeAccess Type
1-Mar-2020Introducing synchrony in fuzzy automataGomes, Leandro; Madeira, Alexandre; Barbosa, Luis SoaresarticleopenAccess
Mar-2020A fuzzy modal logic for fuzzy transition systemsJain, Manisha; Madeira, Alexandre; Martins, Manuel A.articlerestrictedAccess
Mar-2020Boolean dynamics revisited through feedback interconnectionsChaves, Madalena; Figueiredo, Daniel; Martins, Manuel A.articleopenAccess
2019Generalising KAT to verify weighted computationsGomes, Leandro; Madeira, Alexandre; Barbosa, Luis S.articleopenAccess
Dec-2019Completeness in Equational Hybrid Propositional Type TheoryManzano, Maria; Martins, Manuel; Huertas, AntoniaarticleembargoedAccess
16-Aug-2019Epistemic logics with structured knowledgeMadeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F.articleembargoedAccess
2019Nonlinear dynamics of spinning bosonic stars: formation and stabilitySanchis-Gual, N.; Di Giovanni, F.; Zilhão, M.; Herdeiro, C.; Cerdá-Durán, P.; Font, J. A.; Radu, E.articlerestrictedAccess
13-Jun-2019Spontaneous scalarisation of charged black holes: coupling dependence and dynamical featuresFernandes, Pedro G. S.; Herdeiro, Carlos A. R.; Pombo, Alexandre M.; Radu, Eugen; Sanchis-Gual, NicolasarticlerestrictedAccess
3-Jul-2019Spontaneously scalarized Kerr black holes in extended scalar-tensor-Gauss-Bonnet gravityCunha, Pedro V. P.; Herdeiro, Carlos A. R.; Radu, EugenarticleopenAccess
7-Oct-2019Einstein-Maxwell-scalar black holes: classes of solutions, dyons and extremalityAstefanesei, D.; Herdeiro, C.; Pombo, A.; Radu, E.articleopenAccess
21-Oct-2019Charged black holes with axionic-type couplings: classes of solutions and dynamical scalarizationFernandes, Pedro G. S.; Herdeiro, Carlos A. R.; Pombo, Alexandre M.; Radu, Eugen; Sanchis-Gual, NicolasarticleopenAccess
10-Oct-2019Balancing a static black ring with a phantom scalar fieldKleihaus, Burkhard; Kunz, Jutta; Radu, EugenarticleopenAccess
Aug-2019Spherical tiling with GeoGebraBreda, Ana; Santos, José dosarticleopenAccess
2019Optimal impulse control of dynamical systemsPiunovskiy, Alexey; Plakhov, Alexander; Torres, Delfim F. M.; Zhang, YiarticleopenAccess
1-Feb-2019Gravitating solitons and black holes with synchronised hair in the four dimensional O(3) sigma-modelHerdeiro, C.; Perapechka, I.; Radu, E.; Shnir, YaarticleopenAccess
2019Product preservation and stable units for reflections into idempotent subvarietiesXarez, João José; Xarez, Isabel AndradearticleopenAccess
Jun-2019The number of parking functions with center of a given lengthDuarte, Rui; Guedes de Oliveira, AntónioarticleembargoedAccess
1-Apr-2019On Herbrand’s Theorem for Hybrid LogicCosta, Diana; Martins, Manuel; Marcos, JoãoarticleembargoedAccess
15-Apr-2019On interval dynamic logic: Introducing quasi-action latticesSantiago, Regivan; Bedregal, Benjamín; Madeira, Alexandre; Martins, Manuel A.articleembargoedAccess
5-Oct-2018A logic for the stepwise development of reactive systemsMadeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A.articleembargoedAccess
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 73