Perfeziona i miei risultati

Document type

Collection spécifique

Lingua

Domaine

Public access from 1-ago-2019
Consortium of Swiss Academic Libraries

Size of web domains and interlinking behavior of higher education institutions in Europe

Lepori, Benedetto ; Aguillo, Isidro ; Seeber, Marco

In: Scientometrics, 2014, vol. 100, no. 2, p. 497-518

Public access from 1-ago-2019
Consortium of Swiss Academic Libraries

An extension of lazy abstraction with interpolation for programs with arrays

Alberti, Francesco ; Bruttomesso, Roberto ; Ghilardi, Silvio ; Ranise, Silvio ; Sharygina, Natasha

In: Formal Methods in System Design, 2014, vol. 45, no. 1, p. 63-109

Public access from 1-ago-2019
Consortium of Swiss Academic Libraries

Resolution proof transformation for compression and interpolation

Rollini, Simone ; Bruttomesso, Roberto ; Sharygina, Natasha ; Tsitovich, Aliaksei

In: Formal Methods in System Design, 2014, vol. 45, no. 1, p. 1-41

Public access from 1-ott-2019
Consortium of Swiss Academic Libraries

The effect of citation analysis on query expansion for patent retrieval

Mahdabi, Parvaz ; Crestani, Fabio

In: Information Retrieval, 2014, vol. 17, no. 5-6, p. 412-429

Consortium of Swiss Academic Libraries

A Monte Carlo permutation test for co-occurrence data

Kovács, Balázs

In: Quality & Quantity, 2014, vol. 48, no. 2, p. 955-960

Consortium of Swiss Academic Libraries

Interpersonal responsibilities and communicative intentions

Carassa, Antonella ; Colombetti, Marco

In: Phenomenology and the Cognitive Sciences, 2014, vol. 13, no. 1, p. 145-159