Skip to main content

 

Logic, Geometry and Dynamical Systems

Papers in international journals / books / book chapters / book editors

Authors Title Journal
Bezerra, J., Duarte, P. Upper bound on the regularity of the Lyapunov exponent for random products of matrices Communications in Mathematical Physics, 403
Ferreira, F., Enes, J. A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables Mathematics for Computation

 

Nonlinear Analysis and Differencial Equations

Papers in international journals / books / book chapters / book editors

Authors Title Journal
Gidoni, P., Margheri, A., Rebelo, C., Z. Angew Limit cycles for dynamic crawling locomotors with periodic prescribed shape Zeitschrift für angewandte Mathematik und Physik, 74(2)
     

 

Operations Research and Optimization

Papers in international journals / books / book chapters / book editors

Authors Title Journal
Gouveia, L., Paias, A., Ponte, M. The travelling salesman problem with positional consistency constraints: An application to healthcare services European Journal of Operational Research, 308 (3)