Publications
Publications
| 2012 | A uniqueness result for a fractional differential equation |
Fractional Calculus and Applied Analysis | 2012 | article | ||
| 2012 | An Index Integral and Convolution Operator Related to the Kontorovich-Lebedev and Mehler-Fock Transforms |
Complex Analysis and Operator Theory | 2012 | article | ||
| 2012 | Association between dietary patterns and metabolic syndrome in a sample of portuguese adults |
Nutrition Journal | 2012 | article | ||
| 2012 | Biped robots: Effects of small perturbations on the generation of modular trajectories |
Journal of Numerical Analysis, Industrial and Applied Mathematics | 2012 | article | ||
| 2012 | Bivariate Extreme Statistics, Ii |
Revstat-statistical Journal | 2012 | article | ||
| 2012 | Certifying execution time |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings | ||
| 2012 | Complex-order forced van der Pol oscillator |
Journal of Vibration and Control | 2012 | article | ||
| 2012 | Convergence of Multipower Defect-Correction for spectral computations of integral operators |
Applied Mathematics and Computation | 2012 | article | ||
| 2012 | Deciding KAT and Hoare Logic with Derivatives |
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. | 2012 | inproceedings | ||
| 2012 | Deciding regular expressions (in-)equivalence in Coq |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings | ||
| 2012 | DEFORMATIONS OF MAXIMAL REPRESENTATIONS IN Sp(4, R) |
Quarterly Journal of Mathematics | 2012 | article | ||
| 2012 | Dense Area-preserving Homeomorphisms Have Zero Lyapunov Exponents |
Discrete and Continuous Dynamical Systems | 2012 | article | ||
| 2012 | Derivations of Finitary Incidence Rings |
Communications in Algebra | 2012 | article | ||
| 2012 |
Descriptional Complexity of Formal Systems |
2012 | book | ||
| 2012 | Diagnostic value of patterns of symptoms and signs of heart failure: application of latent class analysis with concomitant variables in a cross-sectional study |
Bmj Open | 2012 | article | ||
| 2012 | Double power law behavior in everyday Phenomena |
CHAOS 2012 - 5th Chaotic Modeling and Simulation International Conference, Proceedings | 2012 | inproceedings | ||
| 2012 | E-local pseudovarieties |
Semigroup Forum | 2012 | article | ||
| 2012 | Editorial |
Journal of Automata, Languages and Combinatorics | 2012 | article | ||
| 2012 | Equivalence of Human Odometry by Walk and Run Is Indifferent to Self-Selected Speed |
Journal of Motor Behavior | 2012 | article | ||
| 2012 | Evolution of synchrony under combination of coupled cell networks |
Nonlinearity | 2012 | article | ||
| 2012 | Exotic Dynamics in Networks of Coupled Rings of Cells |
International Journal of Bifurcation and Chaos | 2012 | article | ||
| 2012 | Finite Automata Minimization |
Handbook of Finite State Based Models and Applications. | 2012 | incollection | ||
| 2012 | Fixed Points of Endomorphisms of Certain Free Products |
Rairo-theoretical Informatics and Applications | 2012 | article | ||
| 2012 | Formal Power Series and the Invertibility of Finite Linear Transducers |
Fourth Workshop on Non-Classical Models for Automata and Applications - NCMA 2012, Fribourg, Switzerland, August 23-24, 2012. Proceedings | 2012 | inproceedings | ||
| 2012 | Fundamental solutions of the fractional two-parameter telegraph equation |
Integral Transforms and Special Functions | 2012 | article |