Informática
Facultad
University of Pisa
Pisa, ItaliaPublicaciones en colaboración con investigadores/as de University of Pisa (9)
2019
-
Cartan subgroups and regular points of o-minimal groups
Journal of the London Mathematical Society, Vol. 100, Núm. 2, pp. 361-382
2017
-
Fleets of robots for environmentally-safe pest control in agriculture
Precision Agriculture, Vol. 18, Núm. 4, pp. 574-614
2013
-
Sensors in agriculture and forestry
Sensors (Switzerland)
2012
-
Topology of definable abelian groups in o-minimal structures
Bulletin of the London Mathematical Society, Vol. 44, Núm. 3, pp. 473-479
2006
-
Henselian Local Rings: Around a Work in Progress
Dagstuhl Seminar Proceedings
2000
-
Bisimilarity congruences for open terms and term graphs via tile logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999
-
Basicness of Semialgebraic Sets
Geometriae Dedicata, Vol. 78, Núm. 3, pp. 229-240
1994
-
An algorithmic criterion for basicness in dimension 2
Manuscripta Mathematica, Vol. 85, Núm. 1, pp. 45-66
-
Model for mathematical analysis of functional logic programs and their implementations
Elsevier Science Publishers B.V., pp. 410-415