Publications
Assessing paternities with inconclusive STR results: the suitability of bi-allelic markers. Forensic Science International: Genetics. 2013;7(1):16-21.Edit
Distinguishing kinship from genealogical likelihoods. Forensic Science International: Genetics Supplement Series. 2009;2:453-454.Edit
Stability of quadruped robots' trajectories subjected to discrete perturbations. Nonlinear Dynam.. 2012;70:2089-2094.Edit
Density of first Poincaré returns, periodic orbits, and Kolmogorov-Sinai entropy. Commun. Nonlinear Sci. Numer. Simul.. 2011;16:863-875.Edit
Estimating relatedness with no prior specification of any genealogy: The role of the X-chromosome. Forensic Science International: Genetics Supplement Series. 2013;4.Edit
X-chromosome markers in kinship testing: A generalisation of the IBD approach identifying situations where their contribution is crucial. Forensic Science International: Genetics. 2011;5:27-32.Edit
Persistence of low levels of plasma viremia and of the latent reservoir in patients under ART: a fractional-order approach. Commun. Nonlinear Sci. Numer. Simul.. 2017;43:251-260.Edit
Biped robots: effects of small perturbations on the generation of modular trajectories. JNAIAM. J. Numer. Anal. Ind. Appl. Math.. 2012;7:27-37.Edit
DNA Commission of the International Society for Forensic Genetics: Recommendations on the validation of software programs performing biostatistical calculations for forensic genetics applications. Forensic Science International: Genetics. 2016;25:191-197.Edit
A general method to assess the utility of the X-chromosomal markers in kinship testing. Forensic Science International: Genetics. 2012;6:198-207.Edit
Mathematical model for HIV dynamics in HIV-specific helper cells. Commun. Nonlinear Sci. Numer. Simul.. 2014;19:693-701.Edit
The Karimojong from Uganda: Genetic characterization using an X-STR decaplex system. Forensic Science International: Genetics. 2009;3.Edit
Complex-order forced van der Pol oscillator. J. Vib. Control. 2012;18:2201-2209.Edit
[2017-24] Stability of a heteroclinic network and its cycles: a case study from Boussinesq convection .Edit
[2017-36] A pair of rigid surfaces with p_g=q=2 and K^2=8 whose universal cover is not the bidisk .Edit
Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete. In: Computability in Europe, CiE 2011. Vol LNCS, 6735.; 2011. 2. p. 230-238p. Edit
Synchronizing automata with finitely many minimal synchronizing words. Information and Computation. 2011;209(3):568-579.Edit
Finitely generated synchronizing automata. In: Language and Automata Theory and Applications, LATA 2009. Vol LNCS, 5457.; 2009. 6. p. 672-683p. Edit
State complexity for code operators. International Journal of Foundations of Computer Science. 2011;22(7):1669-1681.Edit
State complexity of prefix, suffix, bifix and infix op- erators on regular languages. Vol LNCS, 6224 2010.Edit