Search Results - Nieto-González, Juan C.
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
Automated Proofs for Computational Indistinguishability
Published in Computer journalGet full text
Article -
9
-
10
-
11
-
12
-
13
-
14
Regulation Of Neuronal Connexin-36 Channels by pH
Published in Biophysical journalGet full text
Article -
15
-
16
GeoProof: Proofs of Geographic Location for Cloud Computing Environment
Conference Proceeding -
17