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
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!
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!
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!
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: 3702
143 Team MembersFilters -> Year: 2025
3561
TITLE: A generalized Desargues configuration and the pure braid group Full Text
AUTHORS: Cordovil, R; deOliveira, AG ; LasVergnas, M;
PUBLISHED: 1996, SOURCE: DISCRETE MATHEMATICS, VOLUME: 160, ISSUE: 1-3, PAGES: 105-113
AUTHORS: Cordovil, R; deOliveira, AG ; LasVergnas, M;
PUBLISHED: 1996, SOURCE: DISCRETE MATHEMATICS, VOLUME: 160, ISSUE: 1-3, PAGES: 105-113
3562
TITLE: A Syntactical Proof of Locality of da
AUTHORS: Jorge Almeida ;
PUBLISHED: 1996, SOURCE: IJAC, VOLUME: 6, ISSUE: 2, PAGES: 165-178
AUTHORS: Jorge Almeida ;
PUBLISHED: 1996, SOURCE: IJAC, VOLUME: 6, ISSUE: 2, PAGES: 165-178
3563
TITLE: Analytical and Numerical Multiscale Calculations for Eddy Viscosity
AUTHORS: Wirth, A; Gama, S ; Frisch, U;
PUBLISHED: 1996, SOURCE: Fluid Mechanics and Its Applications - IUTAM Symposium on Asymptotic Methods for Turbulent Shear Flows at High Reynolds Numbers, PAGES: 257-266
AUTHORS: Wirth, A; Gama, S ; Frisch, U;
PUBLISHED: 1996, SOURCE: Fluid Mechanics and Its Applications - IUTAM Symposium on Asymptotic Methods for Turbulent Shear Flows at High Reynolds Numbers, PAGES: 257-266
INDEXED IN: 
CrossRef
CrossRef3564
TITLE: Complexification of gauge theories Full Text
AUTHORS: Loll, R; Mourao, JM ; Tavares, JN ;
PUBLISHED: 1996, SOURCE: JOURNAL OF GEOMETRY AND PHYSICS, VOLUME: 18, ISSUE: 1, PAGES: 1-24
AUTHORS: Loll, R; Mourao, JM ; Tavares, JN ;
PUBLISHED: 1996, SOURCE: JOURNAL OF GEOMETRY AND PHYSICS, VOLUME: 18, ISSUE: 1, PAGES: 1-24
3565
TITLE: CONJUGACY AND TRANSPOSITION FOR INVERSE MONOID PRESENTATIONS
AUTHORS: PEDRO V SILVA ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 06, ISSUE: 05, PAGES: 607-622
AUTHORS: PEDRO V SILVA ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 06, ISSUE: 05, PAGES: 607-622
3566
TITLE: Conjugacy and transposition for inverse monoid presentations
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 6, ISSUE: 5, PAGES: 607-622
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: International Journal of Algebra and Computation, VOLUME: 6, ISSUE: 5, PAGES: 607-622
INDEXED IN: 
Scopus
Scopus3567
TITLE: Heart rate variability in brain death
AUTHORS: Freitas, J ; Puig, J; Rocha, AP ; Lago, P ; Teixeira, J; Carvalho, MJ; Costa, O ; deFreitas, AF;
PUBLISHED: 1996, SOURCE: CLINICAL AUTONOMIC RESEARCH, VOLUME: 6, ISSUE: 3, PAGES: 141-146
AUTHORS: Freitas, J ; Puig, J; Rocha, AP ; Lago, P ; Teixeira, J; Carvalho, MJ; Costa, O ; deFreitas, AF;
PUBLISHED: 1996, SOURCE: CLINICAL AUTONOMIC RESEARCH, VOLUME: 6, ISSUE: 3, PAGES: 141-146
3568
3569
3570
3571
TITLE: Instant chaos is chaos in slow motion Full Text
AUTHORS: Labouriau, IS ; Ana Dias ;
PUBLISHED: 1996, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 199, ISSUE: 1, PAGES: 138-148
AUTHORS: Labouriau, IS ; Ana Dias ;
PUBLISHED: 1996, SOURCE: JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, VOLUME: 199, ISSUE: 1, PAGES: 138-148
3572
TITLE: Methodological developments in decision trees. An application to protein secondary structure prediction
AUTHORS: Lerman, IC; DaCosta, JFP ;
PUBLISHED: 1996, SOURCE: International Conference on Ordinal and Symbolic Data Analysis (OSDA 95) in ORDINAL AND SYMBOLIC DATA ANALYSIS, PAGES: 179-188
AUTHORS: Lerman, IC; DaCosta, JFP ;
PUBLISHED: 1996, SOURCE: International Conference on Ordinal and Symbolic Data Analysis (OSDA 95) in ORDINAL AND SYMBOLIC DATA ANALYSIS, PAGES: 179-188
INDEXED IN: 
WOS
WOS3573
TITLE: Niche Search: An Evolutionary Algorithm for Global Optimisation
AUTHORS: João Pedro Pedroso ;
PUBLISHED: 1996, SOURCE: International Conference on Evolutionary Computation - 4th International Conference on Parallel Problem Solving from Nature, PPSN 1996 in Parallel Problem Solving from Nature - PPSN IV, International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996, Proceedings, VOLUME: 1141, PAGES: 430-440
AUTHORS: João Pedro Pedroso ;
PUBLISHED: 1996, SOURCE: International Conference on Evolutionary Computation - 4th International Conference on Parallel Problem Solving from Nature, PPSN 1996 in Parallel Problem Solving from Nature - PPSN IV, International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996, Proceedings, VOLUME: 1141, PAGES: 430-440
3574
TITLE: On free inverse monoid languages
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 30, ISSUE: 4, PAGES: 349-378
AUTHORS: Silva, PV ;
PUBLISHED: 1996, SOURCE: RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 30, ISSUE: 4, PAGES: 349-378
3575
TITLE: Singularities of equations of Hodgkin-Huxley type
AUTHORS: Labouriau, IS ; Ruas, MAS;
PUBLISHED: 1996, SOURCE: DYNAMICS AND STABILITY OF SYSTEMS, VOLUME: 11, ISSUE: 2, PAGES: 91-108
AUTHORS: Labouriau, IS ; Ruas, MAS;
PUBLISHED: 1996, SOURCE: DYNAMICS AND STABILITY OF SYSTEMS, VOLUME: 11, ISSUE: 2, PAGES: 91-108
3576
TITLE: Strange attractors in saddle-node cycles: Prevalence and globality
AUTHORS: Diaz, LJ; Rocha, J ; Viana, M;
PUBLISHED: 1996, SOURCE: INVENTIONES MATHEMATICAE, VOLUME: 125, ISSUE: 1, PAGES: 37-74
AUTHORS: Diaz, LJ; Rocha, J ; Viana, M;
PUBLISHED: 1996, SOURCE: INVENTIONES MATHEMATICAE, VOLUME: 125, ISSUE: 1, PAGES: 37-74
3577
TITLE: A fast method for finding the basis of non-negative solutions to a linear diophantine equation Full Text
AUTHORS: Filgueiras, M ; Tomas, AP ;
PUBLISHED: 1995, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 19, ISSUE: 6, PAGES: 507-526
AUTHORS: Filgueiras, M ; Tomas, AP ;
PUBLISHED: 1995, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 19, ISSUE: 6, PAGES: 507-526
3578
TITLE: A New Translation Algorithm from Lambda Calculus into Combinatory Logic
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 359-370
AUTHORS: Sabine Broda ; Luís Damas ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 359-370
3579
TITLE: Columnwise block LU factorization using BLAS kernels on VAX 6520/2VP Full Text
AUTHORS: Vasconcelos, PB ; filomena dias d' almeida ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 423-429
AUTHORS: Vasconcelos, PB ; filomena dias d' almeida ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 423-429
3580
TITLE: Constraint Categorial Grammars
AUTHORS: Luís Damas ; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 347-358
AUTHORS: Luís Damas ; Nelma Moreira ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990, PAGES: 347-358
