Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Sandro Etalle

Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Linking Unlinkability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Replacement Operation for CCP Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Modelling Mobility Aspects of Security Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Transformation System for CLP With Dynamic Scheduling and CCP

ACM SIGPLAN Notices
1997English

Integrity Constraints in Trust Management

2005English

POLIPO: Policies & OntoLogies for Interoperability, Portability, and autOnomy

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy