Searching for authors named "Catuscia Palamidessi" – sorted by Relevance.
63 documents found, showing 1 through 10.
Next 10 →
-
Algebraic Properties of Idempotent Substitutions
- …Algebraic Properties of Idempotent Substitutions Catuscia Palamidessi Dipartimento di Informatica…
- Cited by 39 (3 self) – Add To MetaCart
-
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi
- … of the Synchronous and the Asynchronous #-calculi + Catuscia Palamidessi Department of Computer Science…
- Cited by 111 (14 self) – Add To MetaCart
-
Axiomatizations for probabilistic finite-state
- … Axiomatizations for probabilistic finite-state behaviors Yuxin Deng1? and Catuscia Palamidessi2…
- Add To MetaCart
-
Foundational Aspects of Syntax
- …Foundational Aspects of Syntax 1 Dale Miller and Catuscia Palamidessi Department of Computer…
- Cited by 8 (5 self) – Add To MetaCart
-
Axiomatizations for probabilistic finite-state behaviors
- … Axiomatizations for Probabilistic Finite-State Behaviors Yuxin Deng1? and Catuscia Palamidessi2…
- Cited by 14 (3 self) – Add To MetaCart
-
Concurrent constraint programming with process mobility
- …Concurrent Constraint Programming with Process Mobility David Gilbert 1 and Catuscia Palamidessi 2…
- Cited by 4 (0 self) – Add To MetaCart
-
Linear Constraint Systems as High-level Nets
- ….best@(email omitted); Catuscia Palamidessi DISI, Universit`a di Genova, Via Dodecaneso, 35, I-16146 Genova, Italy. Email…
- Cited by 1 (1 self) – Add To MetaCart
-
A framework to analyze probabilistic protocols and its application to the partial secrets exchange
- … Exchange Konstantinos Chatzikokolakis and Catuscia Palamidessi LIX, École Polytechnique, 91128 Palaiseau…
- Cited by 9 (5 self) – Add To MetaCart
-
Making random choices invisible to the scheduler
- … Palamidessi INRIA and LIX, École Polytechnique, Palaiseau, France {kostas,catuscia…
- Cited by 3 (3 self) – Add To MetaCart
-
Probability of error in information-hiding protocols
- … Palamidessi INRIA and LIX, École Polytechnique Palaiseau, France {kostas,catuscia…
- Cited by 4 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
