Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation

by José A. Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier Calleja, Fernando Royo
Published 2015-05-01

Snakes on the Balearic islands: an invasion tale with implications for native biodiversity conservation.

by Iolanda Silva-Rocha, Daniele Salvi, Neftalí Sillero, Jose A Mateo, Miguel A Carretero
Published 2015-01-01