Publikationen in Zusammenarbeit mit Forschern von University of Pisa (9)

2019

  1. Cartan subgroups and regular points of o-minimal groups

    Journal of the London Mathematical Society, Vol. 100, Núm. 2, pp. 361-382

2017

  1. Fleets of robots for environmentally-safe pest control in agriculture

    Precision Agriculture, Vol. 18, Núm. 4, pp. 574-614

2013

  1. Sensors in agriculture and forestry

    Sensors (Switzerland)

2012

  1. Topology of definable abelian groups in o-minimal structures

    Bulletin of the London Mathematical Society, Vol. 44, Núm. 3, pp. 473-479

2006

  1. Henselian Local Rings: Around a Work in Progress

    Dagstuhl Seminar Proceedings

2000

  1. 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

  1. Basicness of Semialgebraic Sets

    Geometriae Dedicata, Vol. 78, Núm. 3, pp. 229-240

1994

  1. An algorithmic criterion for basicness in dimension 2

    Manuscripta Mathematica, Vol. 85, Núm. 1, pp. 45-66

  2. Model for mathematical analysis of functional logic programs and their implementations

    Elsevier Science Publishers B.V., pp. 410-415