Second-order logic on equivalence relations. - G. Georgiev; Tinko Tinchev (J. Appl. Non Class. Logics, 2008)

In-situ networks on test-sites in support of space earth observations. - R. Kancheva; D. Borisova; G. Georgiev (WHISPERS, 2009)