Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Pierpaolo Degano

On Quantitative Security Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Automata for Analysing Service Contracts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

From Models to Languages

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

A Computational Approach to the Functional Screening of Genomes

PLoS Computational Biology
Molecular NeuroscienceEvolutionEcologyGeneticsBehaviorMolecular BiologySystematicsSimulationCellularComputational TheoryMathematicsModeling
2007English

Specification Languages for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

Ν-Types for Effects and Freshness Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Model Checking Usage Policies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy