Publicações
Publications
| 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 | ||
| 1996 | Conjugacy and transposition for inverse monoid presentations |
International Journal of Algebra and Computation | 1996 | article | ||
| 1996 | Heart rate variability in brain death |
Clinical Autonomic Research | 1996 | article | ||
| 1996 | Index Transforms |
1996 | book | ||
| 1996 | Index Transforms |
1996 | book | ||
| 1996 | Index Transforms |
1996 | book | ||
| 1996 | Instant chaos is chaos in slow motion |
Journal of Mathematical Analysis and Applications | 1996 | article | ||
| 1996 | Methodological developments in decision trees. An application to protein secondary structure prediction |
Ordinal and Symbolic Data Analysis | 1996 | inproceedings | ||
| 1996 | Niche Search: An Evolutionary Algorithm for Global Optimisation |
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 | 1996 | inproceedings | ||
| 1996 | On free inverse monoid languages |
Rairo-informatique Theorique Et Applications-theoretical Informatics and Applications | 1996 | article | ||
| 1996 | Singularities of equations of Hodgkin-Huxley type |
Dynamics and Stability of Systems | 1996 | article | ||
| 1995 | A fast method for finding the basis of non-negative solutions to a linear diophantine equation |
Journal of Symbolic Computation | 1995 | article | ||
| 1995 | A New Translation Algorithm from Lambda Calculus into Combinatory Logic |
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings | 1995 | inproceedings | ||
| 1995 | Columnwise block LU factorization using BLAS kernels on VAX 6520/2VP |
Computing Systems in Engineering | 1995 | article | ||
| 1995 | Constraint Categorial Grammars |
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings | 1995 | inproceedings | ||
| 1995 | Discrete-time Piecewise-linear Filtering With Small Observation Noise |
Ieee Transactions on Automatic Control | 1995 | misc | ||
| 1995 | Eddy Viscosity of 3-dimensional Flow |
Journal of Fluid Mechanics | 1995 | article |