Publications
Publications
| 1998 | Preconditioned iterative methods for coupled discretizations of fluid flow problems |
Ima Journal of Numerical Analysis | 1998 | article | ||
| 1998 | Profinite categories and semidirect products |
Journal of Pure and Applied Algebra | 1998 | article | ||
| 1998 | The gap between partial and full |
International Journal of Algebra and Computation | 1998 | article | ||
| 1997 | An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals |
Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings | 1997 | inproceedings | ||
| 1997 | Compact bracket abstraction in combinatory logic |
Journal of Symbolic Logic | 1997 | article | ||
| 1997 | Free profinite R-trivial monoids |
International Journal of Algebra and Computation | 1997 | article | ||
| 1997 | Genetic and environmental factors regulating blood pressure in childhood: Prospective study from 0 to 3 years |
Journal of Human Hypertension | 1997 | article | ||
| 1997 | Index integral transformations of Titchmarsh type |
Journal of Computational and Applied Mathematics | 1997 | article | ||
| 1997 | Is autonomic control of the heart rate at rest altered by detraining? a study of heart rate variability in professional soccer players after the pretraining period and after the preparatory period for competitions [O controlo autonómico da frequência cardíaca em repouso e alterado pelo destreino? Estudo da variabilidade da frequência cardíaca em futebolistas profissionais após o defeso e após o período preparatorio das competições.] |
Revista portuguesa de cardiologia : orgão oficial da Sociedade Portuguesa de Cardiologia = Portuguese journal of cardiology : an official journal of the Portuguese Society of Cardiology | 1997 | article | ||
| 1997 | Monoids respecting n-chains of intervals |
Journal of Algebra | 1997 | article | ||
| 1997 |
On combinatory complete sets |
Journal of Functional Programming | 1997 | article | ||
| 1997 | On combinatory complete sets of proper combinators |
Journal of Functional Programming | 1997 | article | ||
| 1997 | Parallelization of an implicit algorithm for fluid flow problems |
Parallel and Distributed Processing For Computational Mechanics: Systems and Tools | 1997 | inproceedings | ||
| 1997 | Preconditioners for nonsymmetric linear systems in domain decomposition applied to a coupled discretization of Navier-Stokes equations |
Vector and Parallel Processing - Vecpar'96 | 1997 | article | ||
| 1997 | Preconditioners for nonsymmetric linear systems in domain decomposition applied to a coupled discretization of navier-stokes equations |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1997 | inproceedings | ||
| 1997 | Prime links in some skew-polynomial and skew-laurent rings |
Communications in Algebra | 1997 | article | ||
| 1997 | Solving linear Diophantine equations using the geometric structure of the solution space |
Rewriting Techniques and Applications | 1997 | article | ||
| 1997 | Solving linear Diophantine equations using the geometric structure of the solution space |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1997 | inproceedings | ||
| 1997 | The disappearance of the limit cycle in a mode interaction problem with Z(2) symmetry |
Nonlinearity | 1997 | article | ||
| 1997 | The pseudovariety J is hyperdecidable |
Rairo-informatique Theorique Et Applications-theoretical Informatics and Applications | 1997 | article | ||
| 1996 | A generalized Desargues configuration and the pure braid group |
Discrete Mathematics | 1996 | article | ||
| 1996 | A Syntactical Proof of Locality of da |
Ijac | 1996 | article | ||
| 1996 | Analytical and Numerical Multiscale Calculations for Eddy Viscosity |
Fluid Mechanics and Its Applications - IUTAM Symposium on Asymptotic Methods for Turbulent Shear Flows at High Reynolds Numbers | 1996 | incollection | ||
| 1996 | Complexification of gauge theories |
Journal of Geometry and Physics | 1996 | article | ||
| 1996 | Conjugacy and Transposition For Inverse Monoid Presentations |
International Journal of Algebra and Computation | 1996 | article |