Publications
Publications
| 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 | 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 | ||
| 2012 | Further Results on Monoids Acting on Trees |
International Journal of Algebra and Computation | 2012 | article | ||
| 2012 | Geometric Orbits |
Mathematical Intelligencer | 2012 | article | ||
| 2012 | Global generic dynamics close to symmetry |
Journal of Differential Equations | 2012 | article | ||
| 2012 | Groups and automata: a perfect match |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012 | inproceedings | ||
| 2012 | Heuristic search for the stacking problem |
International Transactions in Operational Research | 2012 | article | ||
| 2012 | Hexapod robots: New CPG model for generation of trajectories |
Journal of Numerical Analysis, Industrial and Applied Mathematics | 2012 | article | ||
| 2012 | Hysteresis in the Dynamics of Employment |
Metroeconomica | 2012 | article |