Theoretical Aspects of Computing - ICTAC 2015 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319251493, 9783319251509
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying Android’s Permission Model

2015 ◽  
pp. 485-504 ◽  
Author(s):  
Gustavo Betarte ◽  
Juan Diego Campo ◽  
Carlos Luna ◽  
Agustín Romano

Location Privacy via Geo-Indistinguishability

2015 ◽  
pp. 28-38 ◽  
Author(s):  
Konstantinos Chatzikokolakis ◽  
Catuscia Palamidessi ◽  
Marco Stronati
Keyword(s):  
Location Privacy

scholarly journals Converging from Branching to Linear Metrics on Markov Chains

2015 ◽  
pp. 349-367 ◽  
Author(s):  
Giorgio Bacci ◽  
Giovanni Bacci ◽  
Kim G. Larsen ◽  
Radu Mardare
Keyword(s):  
Markov Chains

scholarly journals Newton Series, Coinductively

2015 ◽  
pp. 91-109 ◽  
Author(s):  
Henning Basold ◽  
Helle Hvid Hansen ◽  
Jean-Éric Pin ◽  
Jan Rutten
Load More ...
Sign in / Sign up

Export Citation Format

Share Document