MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Catuscia Palamidessi – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

63 documents found, showing 1 through 10. Next 10 →

ATOM

Algebraic Properties of Idempotent Substitutions
by Catuscia Palamidessi — 1996 — Proc. of the 17th International Colloquium on Automata, Languages and Programming, volume 443 of Lecture Notes in Computer Science
…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
by Catuscia Palamidessi — 2002
… of the Synchronous and the Asynchronous #-calculi + Catuscia Palamidessi Department of Computer Science…
Cited by 111 (14 self) – Add To MetaCart

Research Overview and Plans
by Catuscia Palamidessi March, Catuscia Palamidessi
…Research Overview and Plans Catuscia Palamidessi March 25, 2002 Contents 1 Research activity…
Add To MetaCart

Axiomatizations for probabilistic finite-state
by Yuxin Deng, Catuscia Palamidessi
… Axiomatizations for probabilistic finite-state behaviors Yuxin Deng1? and Catuscia Palamidessi2…
Add To MetaCart

Foundational Aspects of Syntax
by Dale Miller, Catuscia Palamidessi — 1999
…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
by Yuxin Deng, Catuscia Palamidessi — 2005 — In Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures
… 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
by David Gilbert, Catuscia Palamidessi — 2000 — In Proc. of the CL 2000, LNAI
…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
by Eike Best, Catuscia Palamidessi — 1996 — Proc. CONCUR'96. Springer LNCS 1119
….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
by Konstantinos Chatzikokolakis, Catuscia Palamidessi — 2006 — In the Proceedings of International Symposium on Trustworthy Global Computing (TGC’05
… 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
by Konstantinos Chatzikokolakis, Catuscia Palamidessi — 2007 — In Proc. of CONCUR’07). To appear
… Palamidessi INRIA and LIX, École Polytechnique, Palaiseau, France {kostas,catuscia…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB