Publications
Publications
| 2015 | Certifying execution time in multicores |
Science of Computer Programming | 2015 | article | ||
| 2015 | Conservative flows with various types of shadowing |
Chaos Solitons & Fractals | 2015 | article | ||
| 2015 | Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression |
CoRR | 2015 | misc | ||
| 2015 | Deciding Kleene algebra terms equivalence in Coq |
Journal of Logical and Algebraic Methods in Programming | 2015 | article | ||
| 2015 | Deciding synchronous Kleene algebra with derivatives |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015 | inproceedings | ||
| 2015 | Delay in the diagnosis of tuberculosis |
Revista Portuguesa De Pneumologia | 2015 | misc | ||
| 2015 | Dense heteroclinic tangencies near a Bykov cycle |
Journal of Differential Equations | 2015 | article | ||
| 2015 | Derivations of a parametric family of subalgebras of the Weyl algebra |
Journal of Algebra | 2015 | article | ||
| 2015 | Dietary patterns among 13-y-old Portuguese adolescents |
Nutrition | 2015 | article | ||
| 2015 | Discrete Dynamics for the Core-periphery Model |
Spatial Economic Analysis | 2015 | article | ||
| 2015 | Discrete Symmetric Planar Dynamics |
Dynamics, Games and Science | 2015 | inproceedings | ||
| 2015 | Dynamic Political Effects in a Neoclassic Growth Model with Healthcare and Creative Activities |
Dynamics, Games and Science | 2015 | inproceedings | ||
| 2015 | Dynamic States of a Unidirectional Ring of Chen Oscillators |
Proceedings of the International Conference of Numerical Analysis and Applied Mathematics 2014 (icnaam-2014) | 2015 | inproceedings | ||
| 2015 | Dynamics of Coinfection of HIV/AIDS and Tuberculosis with Exogeneous Reinfection |
Proceedings of the International Conference of Numerical Analysis and Applied Mathematics 2014 (icnaam-2014) | 2015 | inproceedings | ||
| 2015 | Dynamics of the birational maps arising from F-0 and dP(3) quivers |
Journal of Mathematical Analysis and Applications | 2015 | article | ||
| 2015 | Effect of drug-resistance in a fractional complex-order model for HIV infection |
IFAC Proceedings Volumes (IFAC-PapersOnline) | 2015 | inproceedings | ||
| 2015 | Effects of Dynamic Quarantine and Nonlinear Infection Rate in a Model for Computer Worms Propagation |
Proceedings of the International Conference of Numerical Analysis and Applied Mathematics 2014 (icnaam-2014) | 2015 | inproceedings | ||
| 2015 | Effects of Treatment, Awareness and Condom Use in a Coinfection Model For Hiv and Hcv in Msm |
Journal of Biological Systems | 2015 | article | ||
| 2015 | Electricity Day-ahead Markets: Computation of Nash Equilibria |
Journal of Industrial and Management Optimization | 2015 | article | ||
| 2015 | Endomorphism Rings of Modules Over Prime Rings |
Taiwanese Journal of Mathematics | 2015 | article | ||
| 2015 | Equations over free inverse monoids with idempotent variables |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015 | inproceedings | ||
| 2015 | Evidence-Based Decision About Test Scoring Rules in Clinical Anatomy Multiple-Choice Examinations |
Anatomical Sciences Education | 2015 | article | ||
| 2015 | Extremal dichotomy for uniformly hyperbolic systems |
Dynamical Systems-an International Journal | 2015 | article | ||
| 2015 | Factors influencing tuberculosis screening in healthcare workers in Portugal |
European Respiratory Journal | 2015 | misc | ||
| 2015 | Fetal-maternal interface impedance parallels local NADPH oxidase related superoxide production |
Redox Biology | 2015 | article |