Palamidessi, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Comments on “logic programming with equations”

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi

Journal:

The Journal of Logic Programming

Year:

1991

Language:

english

File:

PDF, 343 KB

english, 1991

2

Constructing elastic distinguishability metrics for location privacy

Chatzikokolakis, Konstantinos, Palamidessi, Catuscia, Stronati, Marco

Journal:

Proceedings on Privacy Enhancing Technologies

Year:

2015

Language:

english

File:

PDF, 1.79 MB

english, 2015

3

Encoding transition systems in sequent calculus

Raymond McDowell, Dale Miller, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 243 KB

english, 2003

4

On the Expressive Power of Temporal Concurrent Constraint Programming Languages: (invited talk)

Catuscia Palamidessi, Mogens Nielsen, Frank D. Valencia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 30 KB

english, 2002

5

Encoding Transition Systems in Sequent Calculus: Preliminary Report

Raymond McDowell, Dale Miller, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 799 KB

english, 1996

6

Anonymity protocols as noisy channels

Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 368 KB

english, 2008

7

A quantitative doxastic logic for probabilistic processes and applications to information-hiding

Kramer, Simon, Palamidessi, Catuscia, Segala, Roberto, Turrini, Andrea, Braun, Christelle

Journal:

Journal of Applied Non-Classical Logics

Year:

2009

Language:

english

File:

PDF, 333 KB

english, 2009

8

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3580 || Approximation Algorithms for Euclidean Group TSP

Caires, Luís, Italiano, Giuseppe F., Monteiro, Luís, Palamidessi, Catuscia, Yung, Moti

Year:

2005

Language:

english

File:

PDF, 207 KB

english, 2005

9

[IEEE [Conference Record] GLOBECOM '92 - Communications for Global Users: IEEE - Orlando, FL, USA (6-9 Dec. 1992)] [Conference Record] GLOBECOM '92 - Communications for Global Users: IEEE - Planning of high-speed SDH systems in the Italian trunk network

Mazzei, U., Palamidessi, A.

Year:

1992

Language:

english

File:

PDF, 433 KB

english, 1992

10

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Comparing the expressive power of the synchronous and the asynchronous π-calculus

Palamidessi, Catuscia

Year:

1997

File:

PDF, 799 KB

1997

11

Vertigoby Louise DeSalvo

Review by: CHRISTINE PALAMIDESSI MOORE

Journal:

Italian Americana

Year:

1997

Language:

english

File:

PDF, 289 KB

english, 1997

12

[Lecture Notes in Computer Science] Logic Programming Volume 2916 || A Distinct-Head Folding Rule

Palamidessi, Catuscia

Year:

2003

Language:

english

File:

PDF, 66 KB

english, 2003

13

[Lecture Notes in Computer Science] Principles of Declarative Programming Volume 1490 || Integrating constraint propagation in complete solving of linear diophantine systems

Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl

Year:

1998

Language:

english

File:

PDF, 978 KB

english, 1998

14

Meeting Dario Fo

CHRISTINE PALAMIDESSI MOORE

Journal:

Italian Americana

Year:

1999

Language:

english

File:

PDF, 319 KB

english, 1999

15

A RAB35-p85/PI3K axis controls oscillatory apical protrusions required for efficient chemotactic migration

Salvatore, Corallino, Malinverno, Chiara, Neumann, Beate, Tischer, Christian, Palamidessi, Andrea, Frittoli, Emanuela, Panagiotakopoulou, Magdalini, Disanza, Andrea, Malet-Engra, Gema, Nastaly, Paulin

Journal:

Nature Communications

Year:

2018

Language:

english

File:

PDF, 7.43 MB

english, 2018

16

Is cell migration a selectable trait in the natural evolution of cancer development?

Disanza, Andrea, Bisi, Sara, Frittoli, Emanuela, Malinverno, Chiara, Marchesi, Stefano, Palamidessi, Andrea, Rizvi, Abrar, Scita, Giorgio

Journal:

Philosophical Transactions Biological Sciences

Year:

2019

Language:

english

File:

PDF, 1.37 MB

english, 2019

17

Kernel-LEAF: A logic plus functional language

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Journal:

Journal of Computer and System Sciences

Year:

1991

Language:

english

File:

PDF, 2.89 MB

english, 1991

18

Structural operational semantics for AKL

Seif Haridi, Sverker Janson, Catuscia Palamidessi

Journal:

Future Generation Computer Systems

Year:

1992

Language:

english

File:

PDF, 1017 KB

english, 1992

19

Semantic models for concurrent logic languages

F.S. de Boer, J.J.M.M. Rutten, J.N. Kok, C. Palamidessi

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 2.06 MB

english, 1991

20

Nondeterminism and infinite computations in constraint programming

Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 2.88 MB

english, 1995

21

A Congruence Format for Name-passing Calculi

Axelle Ziegler, Dale Miller, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 351 KB

english, 2006

22

Probabilistic and Nondeterministic Aspects of Anonymity

Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 220 KB

english, 2006

23

Preface

Daniele Gorla, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 99 KB

english, 2007

24

Preface

Catuscia Palamidessi, Frank D. Valencia

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 103 KB

english, 2008

25

Preface

Samson Abramsky, Michael Mislove, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 98 KB

english, 2009

26

Quantitative Notions of Leakage for One-try Attacks

Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 311 KB

english, 2009

27

Preface: Volume 16, Issue 2

Ilaria Castellani, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

28

Anonymity in Probabilistic and Nondeterministic Systems

Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 141 KB

english, 2006

29

Separation of Synchronous and Asynchronous Communication Via Testing

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 282 KB

english, 2006

30

Expressiveness of Probabilistic π-calculus

Sylvain Pradalier, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 347 KB

english, 2006

31

Fair Π

Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 458 KB

english, 2007

32

Increasing ventilator surge capacity in disasters: Ventilation of four adult-human-sized sheep on a single ventilator with a modified circuit

Lorenzo Paladino, Mark Silverberg, Jean G. Charchaflieh, Julie K. Eason, Brian J. Wright, Nicholas Palamidessi, Bonnie Arquilla, Richard Sinert, Seth Manoach

Journal:

Year:

2008

Language:

english

File:

PDF, 471 KB

english, 2008

33

Reply to Letter: One ventilator multiple patients—What the data really supports

Lorenzo Paladino, Mark Silverberg, Jean G. Charchaflieh, Julie K. Eason, Brian J. Wright, Nicholas Palamidessi, Bonnie Arquilla, Richard Sinert, Seth Manoach

Journal:

Year:

2008

Language:

english

File:

PDF, 53 KB

english, 2008

34

Probable innocence revisited

Konstantinos Chatzikokolakis, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 302 KB

english, 2006

35

Axiomatizations for probabilistic finite-state behaviors

Yuxin Deng, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 541 KB

english, 2007

36

Preface

Giuseppe F. Italiano, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 102 KB

english, 2007

37

Separation of synchronous and asynchronous communication via testing

D. Cacciagrano, F. Corradini, C. Palamidessi

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 368 KB

english, 2007

38

Tutorial on separation results in process calculi via leader election problems

Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 467 KB

english, 2007

39

A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange

Konstantinos Chatzikokolakis, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 342 KB

english, 2007

40

Probabilistic and nondeterministic aspects of anonymity

Romain Beauxis, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.63 MB

english, 2009

41

Information hiding in probabilistic concurrent systems

Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 479 KB

english, 2011

42

Isoxazoles—II : Mannich bases

W. Barbieri, L. Bernardi, S. Coda, V. Colò, G. Diqual, G. Palamidessi

Journal:

Year:

1967

Language:

english

File:

PDF, 527 KB

english, 1967

43

Isoxazoles—I : 3-Aminoisoxazolin-5-ones and 5-aminoisoxazolin-3-ones

W. Barbieri, L. Bernardi, S. Coda, V. Colò, G. Palamidessi

Journal:

Year:

1967

Language:

english

File:

PDF, 814 KB

english, 1967

44

Stable α-amino ethers - pyrazine and pyrimidine derivatives

Wanda Barbieri, Luigi Bernardi, Giorgio Palamidessi, Mariano Tacchi Venturi

Journal:

Tetrahedron Letters

Year:

1968

Language:

english

File:

PDF, 263 KB

english, 1968

45

Foreword

Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 32 KB

english, 2001

46

Confluence in concurrent constraint programming

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.29 MB

english, 1997

47

Foreword: Volume 7

Catuscia Palamidessi, Joachim Parrow

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 44 KB

english, 1997

48

Preface: Volume 16, Issue 2

Ilaria Castellani, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 43 KB

english, 1998

49

Contributions to the semantics of logic perpetual processes

Giorgio Levi, Catuscia Palamidessi

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 1.10 MB

english, 1988

50

A declarative approach for first-order built-in's of Prolog

Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1994

Language:

english

File:

PDF, 1.69 MB

english, 1994