Centro de Matemática da Universidade do Porto (CMUP)
Centro de Matemática da Universidade do Porto

AuthID: I-000-1C6
Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 3595

143 Team Members
Filters -> Year: 2025
941
TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
INDEXED IN: DBLP CrossRef: 2
942
TITLE: Fractional Model for Type 1 Diabetes
AUTHORS: Ana R M Carvalho; Carla M A Pinto ; João M de Carvalho ;
PUBLISHED: 2020, SOURCE: Mathematical Modelling and Optimization of Engineering Problems - Nonlinear Systems and Complexity, PAGES: 175-185
INDEXED IN: CrossRef: 3
943
TITLE: Fusion of Clinical, Self-Reported, and Multisensor Data for Predicting Falls  Full Text
AUTHORS: Silva, J; Sousa, I; Cardoso, JS ;
PUBLISHED: 2020, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 24, ISSUE: 1, PAGES: 50-56
INDEXED IN: Scopus WOS DBLP CrossRef
944
TITLE: GENERATING MAXIMAL SUBGROUPS OF FINITE ALMOST SIMPLE GROUPS
AUTHORS: Lucchini, ANDREA; Marion, C ; Tracey, G;
PUBLISHED: 2020, SOURCE: FORUM OF MATHEMATICS SIGMA, VOLUME: 8
INDEXED IN: Scopus WOS CrossRef
945
TITLE: Genome-Wide Scan for Five Brain Oscillatory Phenotypes Identifies a New QTL Associated with Theta EEG Band  Full Text
AUTHORS: Rebelo, MA; Gomez, C; Gomes, I; Poza, J; Martins, S ; Maturana Candelas, A; Ruiz Gomez, SJ; Duraes, L; Sousa, P; Figueruelo, M; Rodriguez, M; Pita, C; Arenas, M; Alvarez, L; Hornero, R; Pinto, N ; Lopes, AM ;
PUBLISHED: 2020, SOURCE: BRAIN SCIENCES, VOLUME: 10, ISSUE: 11, PAGES: 1-22
INDEXED IN: Scopus WOS CrossRef: 1
946
TITLE: Geometry of the Stable Ruled Surface Over an Elliptic Curve  Full Text
AUTHORS: Arame Diaw ;
PUBLISHED: 2020, SOURCE: Bulletin of the Brazilian Mathematical Society, New Series, VOLUME: 52, ISSUE: 3, PAGES: 645-662
INDEXED IN: CrossRef Unpaywall
947
TITLE: Gibbs states and Gibbsian specifications on the space Double-struck capital R-N  Full Text
AUTHORS: Lopes, AO; Vargas, V ;
PUBLISHED: 2020, SOURCE: DYNAMICAL SYSTEMS-AN INTERNATIONAL JOURNAL, VOLUME: 35, ISSUE: 2, PAGES: 216-241
INDEXED IN: Scopus WOS CrossRef: 4
948
TITLE: Global Survey of Outcomes of Neurocritical Care Patients: Analysis of the PRINCE Study Part 2  Full Text
AUTHORS: Rao, CPV; Suarez, JI; Martin, RH; Bauza, C; Georgiadis, A; Calvillo, E; Hemphill, JC; Sung, G; Oddo, M; Taccone, FS; LeRoux, PD; Domeniconi, G; Camputaro, LA; Villalobos, M; Allasia, M; Goldenberg, FD; Teran, MD; Rosciani, F; Alvarez, H; Costilla, M; Videtta, W; Perez, D; Raffa, P; Seppelt, I; Rodgers, H; Paxton, J; Bhonagiri, D; Aneman, A; Jenkinson, E; Bradford, C; Finfer, S; Yarad, E; Bass, F; Hammond, N; O'Connor, A; Bird, S; Smith, R; Barge, D; Shilkin, J; Woods, W; Roberts, B; O'Leary, M; Vallance, S; Helbok, R; Beer, R; Pfaulser, B; Schiefecker, A; Almemari, A; Mukaddam, S; Taccone, FS; Wittebole, X; Berghe, C; Dujardin, MF; Renard, S; Hantson, P; Biston, P; Meyfroidt, G; da Silva, IRF; de Oliveira, J; Neto, AR; Domingues, JRS; Rodrigues, PMD; Teitelbaum, J; Chapman, M; McCredie, V; Marinoff, N; Perez, A; Kutsogiannis, DJ; Bernard, F; Kramer, A; Moretti, JI; Aguilera, S; Poch, EJ; Romero, C; Wong, GKC; Song, J; Xu, G; Mejia Mantilla, JH; Madrinan Navia, H; Martinez, JE; Ochoa, ME; Bautista, D; Varga, M; Gomez, M; Ciro, JD; Gil, B; Murillo, R; Hernandez, O; Ramirez Arce, J; Breitenfeld, T; Gallardo, AJL; Delgado, HJL; Gonzalez, JRY; Hache Marliere, M; Pinto, DB; Llano, M; Salgado, E; Jibaja, M; Wright, JC; Harvey, D; Verma, V; Hopkins, P; Chan, A; Welbourne, J; Dowling, S; Katila, A; Lasocki, S; Wartenberg, K; Hobohm, C; Poli, S; Schirotzek, I; Bosel, J; Schoenenberger, S; Francken, S; Shieber, S; Kern, A; Falla, J; Herrera, EA; Gilvaz, PC; Goyal, K; Sokhal, N; Sohal, J; Aggarwal, DG; Ray, B; Pattnaik, S; Garg, S; Dixit, S; Rawal, R; Samavedam, S; Madhusudan, M; Paul, G; Mishra, S; Shushma, P; Shukla, U; Sinha, V; Vanamoorthy, P; Vadi, S; Mokhtari, M; Rasulo, F; Pegoli, M; Bilotta, F; Nagayama, M; Kobata, H; Vosylius, S; Abdullah, JM; Granillo, JF; Mijangos Mendez, JC; Horn, J; Muller, MCA; Kuiper, M; Abdo, WF; McArthur, C; Newby, L; Hashmi, M; Shiraz, SA; Abrego, GC; Coronel, EB; Rivera, OS; Paucar, JLC; Gomez, O; Palo, JE; Lokin, J; Misiewska Kaczur, A; Dias, C ; Amorim, P; Andre, S; Rodriguez Vega, G; Gritsan, A; Titova, Y; Al Jabbary, A; Al Zahrani, AR; Pelunkova, L; Zraiki, H; Deeb, AM; Al Bshabshe, A; Al Jehani, H; Al Suwaidan, F; Svigelj, V; Ramos Gomez, LA; Aguilar, G; Badenes, R; Pou, JAL; Zavala, E; Julian, FB; Barrachina, LG; Tegedor, BV; Tena, SA; Krauchi, OR; Tamayo, G; Sanchez, B; Gonzalezluengo, RI; Puvanendiran, S; Merlani, P; Laiwattana, D; Promsin, P; Nazliel, B; Eriksson, E; Chalela, J; Miller, DW; Guisado, R; Gordon, E; Murthy, HHK; Paulson, A; Rajajee, V; Sheehan, K; Williamson, C; Ball, R; Allan, P; Berkeley, J; Muehlschlegel, S; Carandang, R; Hall, W; Sarwal, A; Damani, R; Maldonado, N; Tan, B; Gupta, P; Lazaridis, C; Bershad, EM; Ansari, S; Martinez, J; Singares, ES; Manno, E; Provencio, JJ; Chaudhry, B; McBride, M; Dhar, R; Roberts, D; Allen, M; Schumacher, HC; Habre, W; Sheth, K; Greer, D; Kunze, K; Varelas, P; Tack, L; Porter, NS; Junker, C; Rodricks, M; Tuppeny, M; Basignani, C; Napolitano, S; Anderson, G; Donaldson, K; Davis, R; Sternberg, S; Giraldo, EA; Tran, H; Coplin, WM; Badjatia, N; Fathy, A; Reshi, RA; Bonomo, J; Seder, D; Connolyy, LS; McCrum, B; Carter, T; Treggiari, M; Dickinson, M; Rison, RA; Mirski, M; John, S; Bleck, TP; Malek, A; Trim, T; Smith, M; Athar, MK; Rincon, F; Altaweel, L; Vespa, P; Emanuel, B; Eskiogly, E; McNett, M; Sukumaran, AV; Shutter, L; Milzman, D; Glassner, S; OPhelan, K; Rosenthal, E; Hemphill, JC; Kottapally, M; Smith, WS; Ko, N; Josephson, SA; Kim, A; Singhal, NS; Ahmad, A; Meeker, M; Hirsch, KG; Nair, D; Chou, S; Santos, G; Clark, S; Feske, S; Henderson, G; Sorond, F; Vaitkevicius, H; Chung, D; Kim, J; Amatangelo, M; Kapinos, G; Torbey, M; Kahn, DE; Chang, C; Koenig, M; Gorman, M; Langdon, JR; Dissin, J; Cross, L; Peled, H; Claassen, J; Ali, A; Layon, A; Miller, A; Wilensky, EM; Kumar, M; Levine, JM; Maldonado, IL; Schneck, M; Lele, A; Sarma, AK; Yazbeck, MF; Johnston, G; Jarquin Valdivia, AA; Johnson, L; Kuisle, L; Sajjad, R; Glickman, S; Garvin, R; Parra, A; DeFilippis, M; Fletcher, JJ; Freeman, WD; Rao, VA; Olmecah, HM; Dugan, G; Medary, IB; Hoesch, R; Brehaut, SS; Afshinnik, A; Moreda, M; Graffagnino, C; Laskowitz, DT; Naidech, A; Francis, B; Berman, M; Tesoro, E; Medow, J; Jordan, D; Aiyagari, V; Rosengart, A; De Georgia, M; Bowling, S; Sharaby, M; Nathan, B; Landry, R; Hebert, C; Hubner, KE; Karanjia, N; Hightower, B; Cummings, K; Kirkwood, J; Frank, JI; Hassan, A; Sanchez, O; Cordina, S; Mora, JE; Bui, TV; ...More
PUBLISHED: 2020, SOURCE: NEUROCRITICAL CARE, VOLUME: 32, ISSUE: 1, PAGES: 88-103
INDEXED IN: Scopus WOS CrossRef: 42
949
TITLE: Globalization of group cohomology in the sense of Alvares-Alves-Redondo  Full Text
AUTHORS: Mikhailo Dokuchaev; Mykola Khrypchenko ; Juan J Jacobo Simon;
PUBLISHED: 2020, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 546, PAGES: 604-640
INDEXED IN: Scopus WOS CrossRef
950
951
TITLE: Heuristics for packing semifluids  Full Text
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2020, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 282, ISSUE: 3, PAGES: 823-834
INDEXED IN: Scopus WOS DBLP CrossRef: 1
952
TITLE: Homogeneous G-structures  Full Text
AUTHORS: Alfonso Giuseppe Tortorella ; Luca Vitagliano; Ori Yudilevich;
PUBLISHED: 2020, SOURCE: Annali di Matematica Pura ed Applicata, VOLUME: 199, ISSUE: 6, PAGES: 2357-2380
INDEXED IN: Scopus CrossRef
953
TITLE: How Secure Is Your Mobile Health?
AUTHORS: Ana Ferreira ; Rute Almeida ; Joana Muchagata ;
PUBLISHED: 2020, SOURCE: 15th Mediterranean Conference on Medical and Biological Engineering and Computing (MEDICON) in XV MEDITERRANEAN CONFERENCE ON MEDICAL AND BIOLOGICAL ENGINEERING AND COMPUTING - MEDICON 2019, VOLUME: 76, PAGES: 1377-1384
INDEXED IN: Scopus WOS CrossRef: 1
954
TITLE: Hyperbolicity through stable shadowing for generic geodesic flows  Full Text
AUTHORS: Bessa, M ; Dias, JL; Torres, MJ;
PUBLISHED: 2020, SOURCE: PHYSICA D-NONLINEAR PHENOMENA, VOLUME: 406, PAGES: 132423
INDEXED IN: Scopus WOS CrossRef: 1
955
TITLE: Identification of clusters of asthma control: A preliminary analysis of the inspirers studies [Identificar clusters de controlo da asma: Uma análise preliminar dos estudos inspirers]
AUTHORS: Jácome, C ; Amaral, R ; Almeida, R ; Pereira, AM ; Couto, M; Araújo, L; Alves Correia, M; Pereira, M; Ferreira Magalhães, M; Loureiro, CC; Catarata, MJ; Santos, LM; Cabral, S; Pereira, J; Ramos, B; Lopes, C; Mendes, A; Lopes, A; Rodrigues, JCC; Oliveira, G; Aguiar, AP; Afonso, I; Carvalho, J; Arrobas, AM; Costa, J; Valério, M; Pereira, M; Almeida, T; Dias, J; Bom, AT; Azevedo, J; Ribeiro, C; Alves, M; Pinto, PL; Neuparth, N; Neves, AC; Palhinha, A; Marques, JG; Martins, P; Trincão, DP; Bom, FT; Santos, MA; Branco, J; Costa, A; Neto, AS; Santalha, M; Lozoya, C; Santos, N; Silva, D; Vasconcelos, MJ; Barata, LT; Teixeira, MF; Pinto, D; Alves, RR; Moreira, AS; Pinto, CS; Silva, PM; Alves, C; Câmara, R; Coelho, D; Diana Bordalo ; Carvalho, F; Fernandes, R; Ferreira, R; de Oliveira, JF; Menezes, F; Gomes, R; Calix, MJ; Marques, A; Cardoso, J; Emiliano, M; Gerardo, R; Nunes, C; Ferreira, JA; Lopes, I; Alves, A; Fonseca, JA ; ...More
PUBLISHED: 2020, SOURCE: Revista Portuguesa de Imunoalergologia, VOLUME: 28, ISSUE: 4, PAGES: 231-240
INDEXED IN: Scopus CrossRef Handle
956
TITLE: Implicitization of tensor product surfaces via virtual projective resolutions
AUTHORS: Eliana Duarte ; Alexandra Seceleanu;
PUBLISHED: 2020, SOURCE: Mathematics of Computation, VOLUME: 89, ISSUE: 326, PAGES: 3023-3056
INDEXED IN: Scopus CrossRef
957
TITLE: Improved 3D tracking and automated classification of rodents' behavioral activity using depth-sensing cameras
AUTHORS: Geros, A; Magalhaes, A; Aguiar, P ;
PUBLISHED: 2020, SOURCE: BEHAVIOR RESEARCH METHODS, VOLUME: 52, ISSUE: 5, PAGES: 2156-2167
INDEXED IN: Scopus WOS CrossRef: 13
958
TITLE: INDUSTRY 5.0 EXPECTATIONS OF ENGINEERING CRITICAL THINKING
AUTHORS: Jorge Mendonça; Carla Pinto ; Lurdes Babo;
PUBLISHED: 2020, SOURCE: EDULEARN Proceedings - EDULEARN20 Proceedings
INDEXED IN: CrossRef: 1
959
TITLE: Inference for bivariate integer-valued moving average models based on binomial thinning operation  Full Text
AUTHORS: SILVA, ISABEL ; Maria Eduarda Silva ; Cristina Torres ;
PUBLISHED: 2020, SOURCE: JOURNAL OF APPLIED STATISTICS, VOLUME: 47, ISSUE: 13-15, PAGES: 2546-2564
INDEXED IN: Scopus WOS CrossRef: 6
960
TITLE: Infinite automaton semigroups and groups have infinite orbits  Full Text
AUTHORS: Daniele D'Angeli; Dominik Francoeur; Emanuele Rodaro; Jan Philipp Wächter ;
PUBLISHED: 2020, SOURCE: Journal of Algebra, VOLUME: 553, PAGES: 119-137
INDEXED IN: CrossRef: 2

Results per Page: 20.
Page 48 of 180. Total results: 3595.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service