Chalmers Research

Filtrera träfflistan

Institution

Samförfattande organisation

Publikationstyp

År

Raul Pardo Jimenez

Visar 14 publikationer

2025

Verification and Learning for Assured Autonomy

Raul Pardo Jimenez, Devdatt Dubhashi, Gerardo Schneider et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 185-189

Paper i proceeding

2019

Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier

Wolfgang Ahrendt, Richard Bubel, Joshua Ellul et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 228-243

Paper i proceeding

2018

MoVEMo - A structured approach for engineering reward functions

Piergiuseppe Mallozzi, Raul Pardo Jimenez, Vincent Duplessis et al

Proceedings - 2nd IEEE International Conference on Robotic Computing, IRC 2018, p. 250-257

Paper i proceeding

2018

Timed epistemic knowledge bases for social networks

Raul Pardo Jimenez, César Sánchez, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 185-202

Paper i proceeding

2017

Privacy Policies for Social Networks - A Formal Approach

Raul Pardo Jimenez

Doktorsavhandling

2017

Secure photo sharing in social networks

P. Picazo-Sanchez, Raul Pardo Jimenez, Gerardo Schneider

IFIP Advances in Information and Communication Technology, p. 79-92

Paper i proceeding

2017

Formalising privacy policies in social networks

Raul Pardo Jimenez, Musard Balliu, Gerardo Schneider

Journal of Logical and Algebraic Methods in Programming, p. 125-157

Artikel i vetenskaplig tidskrift

2017

Model checking social network models

Raul Pardo Jimenez, Gerardo Schneider

Electronic Proceedings in Theoretical Computer Science, EPTCS, p. 238-252

Paper i proceeding

2016

An automata-based approach to evolving privacy policies for social networks

Raul Pardo Jimenez, C. Colombo, Gordon J. Pace et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 285-301

Paper i proceeding

2016

On the runtime enforcement of evolving privacy policies in online social networks

Gordon J. Pace, Raul Pardo Jimenez, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 407-412

Paper i proceeding

Ladda ner till din dator

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Export i APA, Vancouver, IEEE som text, RTF/Word eller html-format.

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

RSS-flöde

Använder du en RSS-läsare eller vill göra en integration kan du använda denna länk som ger dig de senaste publikationerna i RSS-format.

Publikationer för Chalmers tekniska högskola

Projekt	Institution	Pågår
Informationsdriven säker Business Intelligence (DataBIN)	Data- och informationsteknik	2012–2016

Ladda ner till din dator

Det finns inga personer som matchar sökfrågan