Raúl Pardo

According to our database1, Raúl Pardo
  • authored at least 11 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Formalising privacy policies in social networks.
J. Log. Algebr. Meth. Program., 2017

Model Checking Social Network Models.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
CoRR, 2017

Secure Photo Sharing in Social Networks.
Proceedings of the ICT Systems Security and Privacy Protection, 2017

2016
Specification of Evolving Privacy Policies for Online Social Networks.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
Proceedings of the Runtime Verification - 16th International Conference, 2016

On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2014
A Formal Privacy Policy Framework for Social Networks.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013
GPU Powered ROSA Analyzer.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

2012
ROSA Analyser: An automatized approach to analyse processes of ROSA
Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012

Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors.
Proceedings of the 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2012


  Loading...