×

Palamidessi, Catuscia

Compute Distance To:
Author ID: palamidessi.catuscia Recent zbMATH articles by "Palamidessi, Catuscia"
Published as: Palamidessi, Catuscia; Palamidessi, C.
External Links: MGP
Documents Indexed: 100 Publications since 1984, including 1 Book
19 Contributions as Editor
Biographic References: 1 Publication
Co-Authors: 99 Co-Authors with 110 Joint Publications
2,179 Co-Co-Authors
all top 5

Co-Authors

9 single-authored
23 Chatzikokolakis, Konstantinos
13 Valencia, Frank D.
11 Falaschi, Moreno
10 de Boer, Frank S.
9 Alvim, Mário S.
8 Andrés, Miguel E.
6 Gabbrielli, Maurizio
6 Levi, Giorgio
6 Miller, Dale Allen
5 Olarte, Carlos
5 Rutten, Jan J. M. M.
4 Braun, Christelle
4 Cacciagrano, Diletta Romana
4 Corradini, Flavio
4 Deng, Yuxin
4 Kok, Joost N.
4 Panangaden, Prakash
3 Di Pierro, Alessandra
3 Gazeau, Ivan
3 Herescu, Oltea Mihaela
3 Kawamoto, Yusuke
3 Martelli, Maurizio
3 van Rossum, Peter
2 Abramsky, Samson
2 Beauxis, Romain
2 ElSalamouny, Ehab
2 Giovannetti, Elio
2 Italiano, Giuseppe Francesco
2 Knight, Sophia
2 Marriott, Kim
2 McDowell, Raymond C.
2 McIver, Annabelle K.
2 Mislove, Michael W.
2 Moiso, Corrado
2 Morgan, Carroll C.
2 Nielsen, Mogens
2 Pang, Jun
2 Phillips, Iain W.
2 Stronati, Marco
2 Vigliotti, Maria Grazia
1 Ábrahám, Erika
1 Apt, Krzysztof Rafal
1 Aranda, Jesús
1 Aristizábal, Andrés
1 Bertolino, Marco
1 Bhargava, Mohit
1 Biswas, Sayan
1 Bonchi, Filippo
1 Bosco, Pier Giorgio
1 Bro Miltersen, Peter
1 Caires, Luís
1 Castellani, Ilaria
1 Chiarugi, Davide
1 Dahl, Veronica
1 Di Giusto, Cinzia
1 Etalle, Sandro
1 Furbach, Ulrich
1 Gebler, Daniel E.
1 Giacobazzi, Roberto
1 Gilbert, David
1 Giunti, Marco
1 Glaser, Hugh
1 Gorla, Daniele
1 Goubault-Larrecq, Jean
1 Granese, Federica
1 Hamadou, Sardaouna
1 Jung, Kangsoo
1 Kashefi, Elham
1 Kerber, Manfred
1 Kramer, Simon
1 Kucera, Antonin
1 Lau, Kung-Kiu
1 Longo, Giuseppe
1 López, Hugo A.
1 Marchiori, Elena
1 Meinke, Karl
1 Mödersheim, Sebastian Alexander
1 Moniz Pereira, Luís
1 Monteiro, Luís
1 Parrow, Joachim
1 Paul, Thierry
1 Pérez, Jorge A.
1 Pino, Luis F.
1 Ranzato, Francesco
1 Rueda, Camilo
1 Ryan, Mark Dermot
1 Sagiv, Yehoshua
1 Sassone, Vladimiro
1 Segala, Roberto
1 Sokolova, Ana
1 Stuckey, Peter James
1 Troina, Angelo
1 Tůma, Petr
1 Turrini, Andrea
1 van Breugel, Franck
1 Vignudelli, Valeria
1 Xu, Lili
1 Yung, Moti
1 Ziegler, Axelle

Publications by Year

Citations contained in zbMATH Open

83 Publications have been cited 521 times in 309 Documents Cited by Year
Declarative modeling of the operational behavior of logic languages. Zbl 0699.68113
Falaschi, M.; Levi, G.; Palamidessi, C.; Martelli, M.
39
1989
Anonymity protocols as noisy channels. Zbl 1147.68394
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
28
2008
Temporal concurrent constraint programming: Denotation, logic and applications. Zbl 1018.68019
Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D.
23
2002
Probabilistic asynchronous \(\pi\)-calculus. Zbl 0961.68088
Herescu, Oltea Mihaela; Palamidessi, Catuscia
22
2000
Probabilistic anonymity. Zbl 1134.68426
Bhargava, Mohit; Palamidessi, Catuscia
20
2005
Nondeterminism and infinite computations in constraint programming. Zbl 0872.68103
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
17
1995
Algebraic properties of idempotent substitutions. Zbl 0765.68180
Palamidessi, Catuscia
15
1990
A fully abstract model for concurrent constraint programming. Zbl 0967.68516
de Boer, Frank S.; Palamidessi, Catuscia
15
1991
Kernel-LEAF: A logic plus functional language. Zbl 0717.68013
Giovannetti, Elio; Levi, Giorgio; Moiso, Corrado; Palamidessi, Catuscia
14
1991
Quantitative notions of leakage for one-try attacks. Zbl 1337.94006
Braun, Christelle; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
13
2009
Embedding as a tool for language comparison. Zbl 0788.68014
de Boer, Frank S.; Palamidessi, Catuscia
13
1994
A model-theoretic reconstruction of the operational semantics of logic programs. Zbl 0788.68088
Falaschi, Moreno; Levi, Giorgio; Martelli, Maurizio; Palamidessi, Catuscia
11
1993
Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
11
2005
A randomized encoding of the \(\pi\)-calculus with mixed choice. Zbl 1080.68080
Palamidessi, Catuscia; Herescu, Oltea Mihaela
11
2005
A congruence format for name-passing calculi. Zbl 1273.68216
Ziegler, Axelle; Miller, Dale; Palamidessi, Catuscia
11
2006
Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290
Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D.
11
2012
Computing the leakage of information-hiding systems. Zbl 1284.68161
Andrés, Miguel E.; Palamidessi, Catuscia; van Rossum, Peter; Smith, Geoffrey
11
2010
Tutorial on separation results in process calculi via leader election problems. Zbl 1143.68056
Vigliotti, Maria Grazia; Phillips, Iain; Palamidessi, Catuscia
9
2007
Weak relative pseudo-complements of closure operators. Zbl 0901.06003
Giacobazzi, R.; Palamidessi, C.; Ranzato, F.
9
1996
Encoding transition systems in sequent calculus. Zbl 1028.68095
McDowell, Raymond; Miller, Dale; Palamidessi, Catuscia
9
2003
Probable innocence revisited. Zbl 1153.94451
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
9
2006
Generalized bisimulation metrics. Zbl 1417.68123
Chatzikokolakis, Konstantinos; Gebler, Daniel; Palamidessi, Catuscia; Xu, Lili
9
2014
Separation of synchronous and asynchronous communication via testing. Zbl 1273.68251
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
9
2006
Making random choices invisible to the scheduler. Zbl 1151.68517
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
8
2007
Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081
Deng, Yuxin; Palamidessi, Catuscia
8
2007
On the asynchronous nature of the asynchronous \(\pi \)-calculus. Zbl 1143.68470
Beauxis, Romain; Palamidessi, Catuscia; Valencia, Frank D.
8
2008
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055
de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M.
7
1992
Compositional methods for information-hiding. Zbl 1138.68402
Braun, Christelle; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
7
2008
Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196
Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank
6
2011
Information hiding in probabilistic concurrent systems. Zbl 1216.68182
Andrés, Miguel E.; Palamidessi, Catuscia; van Rossum, Peter; Sokolova, Ana
6
2011
Axiomatizations for probabilistic finite-state behaviors. Zbl 1119.68125
Deng, Yuxin; Palamidessi, Catuscia
6
2005
Confluence in concurrent constraint programming. Zbl 0901.68032
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
5
1997
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
5
1989
Concurrent constraint programming with process mobility. Zbl 0983.68617
Gilbert, David; Palamidessi, Catuscia
5
2000
A temporal concurrent constraint programming calculus. Zbl 1067.68662
Palamidessi, Catuscia; Valencia, Frank D.
5
2001
Anonymity protocols as noisy channels. Zbl 1211.94025
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
5
2007
Declarative diagnosis of temporal concurrent constraint programs. Zbl 1213.68204
Falaschi, M.; Olarte, C.; Palamidessi, C.; Valencia, F.
5
2007
Weak probabilistic anonymity. Zbl 1277.68027
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
5
2007
A framework for analyzing probabilistic protocols and its application to the partial secrets exchange. Zbl 1151.68516
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
4
2005
A framework for analyzing probabilistic protocols and its application to the partial secrets exchange. Zbl 1132.68026
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
4
2007
Separation of synchronous and asynchronous communication via testing. Zbl 1143.68051
Cacciagrano, D.; Corradini, F.; Palamidessi, C.
4
2007
Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
4
1997
Information flow in interactive systems. Zbl 1287.68017
Alvim, Mário S.; Andrés, Miguel E.; Palamidessi, Catuscia
4
2010
Abstract interpretation of temporal concurrent constraint programs. Zbl 1379.68060
Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
4
2015
A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Zbl 0591.68038
Falaschi, M.; Levi, G.; Palamidessi, C.
3
1984
A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
3
1993
On recursion, replication and scope mechanisms in process calculi. Zbl 1147.68587
Aranda, Jesús; Di Giusto, Cinzia; Palamidessi, Catuscia; Valencia, Frank D.
3
2007
On the relation between differential privacy and quantitative information flow. Zbl 1333.68088
Alvim, Mário S.; Andrés, Miguel E.; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
3
2011
A declarative approach for first-order built-in’s of Prolog. Zbl 0815.68035
Apt, Krzysztof R.; Marchiori, Elena; Palamidessi, Catuscia
3
1994
Recursion vs replication in process calculi: Expressiveness. Zbl 1169.68551
Palamidessi, Catuscia; Valencia, Frank D.
3
2005
Semantic models for concurrent logic languages. Zbl 0744.68087
de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C.
3
1991
An algebraic perspective of constraint logic programming. Zbl 0865.68025
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
3
1997
Probabilistic and nondeterministic aspects of anonymity. Zbl 1273.68268
Palamidessi, Catuscia
3
2006
Negation as instantiation. Zbl 0835.68107
Di Pierro, Alessandra; Martelli, Maurizio; Palamidessi, Catuscia
2
1995
Contributions to the semantics of logic perpetual processes. Zbl 0661.68012
Levi, Giorgio; Palamidessi, Catuscia
2
1988
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Zbl 1186.68325
Kramer, Simon; Palamidessi, Catuscia; Segala, Roberto; Turrini, Andrea; Braun, Christelle
2
2009
Preserving differential privacy under finite-precision semantics. Zbl 1419.94036
Gazeau, Ivan; Miller, Dale; Palamidessi, Catuscia
2
2016
A probabilistic applied pi-calculus. Zbl 1137.68448
Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo
2
2007
On the compositionality of quantitative information flow. Zbl 1464.68042
Kawamoto, Yusuke; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
2
2017
The replacement operation for CCP programs. Zbl 0964.68021
Bertolino, Marco; Etalle, Sandro; Palamidessi, Catuscia
2
2000
Making random choices invisible to the scheduler. Zbl 1205.68239
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
2
2010
Safe equivalences for security properties. Zbl 1202.68217
Alvim, Mário S.; Andrés, Miguel E.; Palamidessi, Catuscia; Van Rossum, Peter
2
2010
Up-to techniques for generalized bisimulation metrics. Zbl 1392.68290
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Vignudelli, Valeria
2
2016
On the declarative semantics of Horn clause logic-based languages. Zbl 0687.03014
Palamidessi, Catuscia
1
1989
The formal semantics of processes and streams in logic programming. Zbl 0605.68006
Falaschi, M.; Levi, G.; Palamidessi, C.
1
1986
Preface to the special issue on quantitative information flow. Zbl 1362.00027
1
2015
Separation results via leader election problems. Zbl 1196.68161
Vigliotti, Maria Grazia; Phillips, Iain; Palamidessi, Catuscia
1
2006
Principles of declarative programming. 10th international symposium, PLILP ’98. Held jointly with the 6th international conference, ALP ’98, Pisa, Italy, September 16–18, 1998. Proceedings. Zbl 0896.00029
1
1998
Encoding transition systems in sequent calculus. (Preliminary report). Zbl 0908.03049
McDowell, Raymond; Miller, Dale; Palamidessi, Catuscia
1
1996
Location privacy via geo-indistinguishability. Zbl 1471.68090
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Stronati, Marco
1
2015
Compositional methods for information-hiding. Zbl 1362.68205
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Braun, Christelle
1
2016
On the generalized dining philosophers problem. Zbl 1333.68278
Herescu, Oltea Mihaela; Palamidessi, Catuscia
1
2001
A declarative view of signaling pathways. Zbl 1443.92092
Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
1
2015
Slicing concurrent constraint programs. Zbl 1485.68046
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2017
A declarative framework for security: Secure concurrent constraint programming. Zbl 1131.68410
López, Hugo A.; Palamidessi, Catuscia; Pérez, Jorge A.; Rueda, Camilo; Valencia, Frank D.
1
2006
Quantitative information flow and applications to differential privacy. Zbl 1344.68067
Alvim, Mário S.; Andrés, Miguel E.; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
1
2011
Concurrent and reactive constraint programming. Zbl 1285.68031
Gabbrielli, Maurizio; Palamidessi, Catuscia; Valencia, Frank D.
1
2010
Fair \(\pi\). Zbl 1277.68168
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
1
2007
Hide and new in the \(\pi\)-calculus. Zbl 1459.68029
Giunti, Marco; Palamidessi, Catuscia; Valencia, Frank D.
1
2012
Dynamic slicing for concurrent constraint languages. Zbl 07350036
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
Quantifying leakage in the presence of unreliable sources of information. Zbl 1371.68073
Hamadou, Sardaouna; Palamidessi, Catuscia; Sassone, Vladimiro
1
2017
An axiomatization of information flow measures. Zbl 1423.68159
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
1
2019
Leakage and protocol composition in a game-theoretic perspective. Zbl 1427.68034
Alvim, Mário S.; Chatzikokolakis, Konstantinos; Kawamoto, Yusuke; Palamidessi, Catuscia
1
2018
Dynamic slicing for concurrent constraint languages. Zbl 07350036
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2020
An axiomatization of information flow measures. Zbl 1423.68159
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
1
2019
Leakage and protocol composition in a game-theoretic perspective. Zbl 1427.68034
Alvim, Mário S.; Chatzikokolakis, Konstantinos; Kawamoto, Yusuke; Palamidessi, Catuscia
1
2018
On the compositionality of quantitative information flow. Zbl 1464.68042
Kawamoto, Yusuke; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
2
2017
Slicing concurrent constraint programs. Zbl 1485.68046
Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia
1
2017
Quantifying leakage in the presence of unreliable sources of information. Zbl 1371.68073
Hamadou, Sardaouna; Palamidessi, Catuscia; Sassone, Vladimiro
1
2017
Preserving differential privacy under finite-precision semantics. Zbl 1419.94036
Gazeau, Ivan; Miller, Dale; Palamidessi, Catuscia
2
2016
Up-to techniques for generalized bisimulation metrics. Zbl 1392.68290
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Vignudelli, Valeria
2
2016
Compositional methods for information-hiding. Zbl 1362.68205
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Braun, Christelle
1
2016
Abstract interpretation of temporal concurrent constraint programs. Zbl 1379.68060
Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
4
2015
Preface to the special issue on quantitative information flow. Zbl 1362.00027
1
2015
Location privacy via geo-indistinguishability. Zbl 1471.68090
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Stronati, Marco
1
2015
A declarative view of signaling pathways. Zbl 1443.92092
Chiarugi, Davide; Falaschi, Moreno; Olarte, Carlos; Palamidessi, Catuscia
1
2015
Generalized bisimulation metrics. Zbl 1417.68123
Chatzikokolakis, Konstantinos; Gebler, Daniel; Palamidessi, Catuscia; Xu, Lili
9
2014
Spatial and epistemic modalities in constraint-based process calculi. Zbl 1364.68290
Knight, Sophia; Palamidessi, Catuscia; Panangaden, Prakash; Valencia, Frank D.
11
2012
Hide and new in the \(\pi\)-calculus. Zbl 1459.68029
Giunti, Marco; Palamidessi, Catuscia; Valencia, Frank D.
1
2012
Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196
Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank
6
2011
Information hiding in probabilistic concurrent systems. Zbl 1216.68182
Andrés, Miguel E.; Palamidessi, Catuscia; van Rossum, Peter; Sokolova, Ana
6
2011
On the relation between differential privacy and quantitative information flow. Zbl 1333.68088
Alvim, Mário S.; Andrés, Miguel E.; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
3
2011
Quantitative information flow and applications to differential privacy. Zbl 1344.68067
Alvim, Mário S.; Andrés, Miguel E.; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
1
2011
Computing the leakage of information-hiding systems. Zbl 1284.68161
Andrés, Miguel E.; Palamidessi, Catuscia; van Rossum, Peter; Smith, Geoffrey
11
2010
Information flow in interactive systems. Zbl 1287.68017
Alvim, Mário S.; Andrés, Miguel E.; Palamidessi, Catuscia
4
2010
Making random choices invisible to the scheduler. Zbl 1205.68239
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
2
2010
Safe equivalences for security properties. Zbl 1202.68217
Alvim, Mário S.; Andrés, Miguel E.; Palamidessi, Catuscia; Van Rossum, Peter
2
2010
Concurrent and reactive constraint programming. Zbl 1285.68031
Gabbrielli, Maurizio; Palamidessi, Catuscia; Valencia, Frank D.
1
2010
Quantitative notions of leakage for one-try attacks. Zbl 1337.94006
Braun, Christelle; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
13
2009
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Zbl 1186.68325
Kramer, Simon; Palamidessi, Catuscia; Segala, Roberto; Turrini, Andrea; Braun, Christelle
2
2009
Anonymity protocols as noisy channels. Zbl 1147.68394
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
28
2008
On the asynchronous nature of the asynchronous \(\pi \)-calculus. Zbl 1143.68470
Beauxis, Romain; Palamidessi, Catuscia; Valencia, Frank D.
8
2008
Compositional methods for information-hiding. Zbl 1138.68402
Braun, Christelle; Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
7
2008
Tutorial on separation results in process calculi via leader election problems. Zbl 1143.68056
Vigliotti, Maria Grazia; Phillips, Iain; Palamidessi, Catuscia
9
2007
Making random choices invisible to the scheduler. Zbl 1151.68517
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
8
2007
Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081
Deng, Yuxin; Palamidessi, Catuscia
8
2007
Anonymity protocols as noisy channels. Zbl 1211.94025
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia; Panangaden, Prakash
5
2007
Declarative diagnosis of temporal concurrent constraint programs. Zbl 1213.68204
Falaschi, M.; Olarte, C.; Palamidessi, C.; Valencia, F.
5
2007
Weak probabilistic anonymity. Zbl 1277.68027
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
5
2007
A framework for analyzing probabilistic protocols and its application to the partial secrets exchange. Zbl 1132.68026
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
4
2007
Separation of synchronous and asynchronous communication via testing. Zbl 1143.68051
Cacciagrano, D.; Corradini, F.; Palamidessi, C.
4
2007
On recursion, replication and scope mechanisms in process calculi. Zbl 1147.68587
Aranda, Jesús; Di Giusto, Cinzia; Palamidessi, Catuscia; Valencia, Frank D.
3
2007
A probabilistic applied pi-calculus. Zbl 1137.68448
Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo
2
2007
Fair \(\pi\). Zbl 1277.68168
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
1
2007
A congruence format for name-passing calculi. Zbl 1273.68216
Ziegler, Axelle; Miller, Dale; Palamidessi, Catuscia
11
2006
Probable innocence revisited. Zbl 1153.94451
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
9
2006
Separation of synchronous and asynchronous communication via testing. Zbl 1273.68251
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia
9
2006
Probabilistic and nondeterministic aspects of anonymity. Zbl 1273.68268
Palamidessi, Catuscia
3
2006
Separation results via leader election problems. Zbl 1196.68161
Vigliotti, Maria Grazia; Phillips, Iain; Palamidessi, Catuscia
1
2006
A declarative framework for security: Secure concurrent constraint programming. Zbl 1131.68410
López, Hugo A.; Palamidessi, Catuscia; Pérez, Jorge A.; Rueda, Camilo; Valencia, Frank D.
1
2006
Probabilistic anonymity. Zbl 1134.68426
Bhargava, Mohit; Palamidessi, Catuscia
20
2005
Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
11
2005
A randomized encoding of the \(\pi\)-calculus with mixed choice. Zbl 1080.68080
Palamidessi, Catuscia; Herescu, Oltea Mihaela
11
2005
Axiomatizations for probabilistic finite-state behaviors. Zbl 1119.68125
Deng, Yuxin; Palamidessi, Catuscia
6
2005
A framework for analyzing probabilistic protocols and its application to the partial secrets exchange. Zbl 1151.68516
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia
4
2005
Recursion vs replication in process calculi: Expressiveness. Zbl 1169.68551
Palamidessi, Catuscia; Valencia, Frank D.
3
2005
Encoding transition systems in sequent calculus. Zbl 1028.68095
McDowell, Raymond; Miller, Dale; Palamidessi, Catuscia
9
2003
Temporal concurrent constraint programming: Denotation, logic and applications. Zbl 1018.68019
Nielsen, Mogens; Palamidessi, Catuscia; Valencia, Frank D.
23
2002
A temporal concurrent constraint programming calculus. Zbl 1067.68662
Palamidessi, Catuscia; Valencia, Frank D.
5
2001
On the generalized dining philosophers problem. Zbl 1333.68278
Herescu, Oltea Mihaela; Palamidessi, Catuscia
1
2001
Probabilistic asynchronous \(\pi\)-calculus. Zbl 0961.68088
Herescu, Oltea Mihaela; Palamidessi, Catuscia
22
2000
Concurrent constraint programming with process mobility. Zbl 0983.68617
Gilbert, David; Palamidessi, Catuscia
5
2000
The replacement operation for CCP programs. Zbl 0964.68021
Bertolino, Marco; Etalle, Sandro; Palamidessi, Catuscia
2
2000
Principles of declarative programming. 10th international symposium, PLILP ’98. Held jointly with the 6th international conference, ALP ’98, Pisa, Italy, September 16–18, 1998. Proceedings. Zbl 0896.00029
1
1998
Confluence in concurrent constraint programming. Zbl 0901.68032
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
5
1997
Constraint logic programming with dynamic scheduling: A semantics based on closure operators. Zbl 0882.68035
Falaschi, Moreno; Gabbrielli, Maurizio; Marriott, Kim; Palamidessi, Catuscia
4
1997
An algebraic perspective of constraint logic programming. Zbl 0865.68025
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
3
1997
Weak relative pseudo-complements of closure operators. Zbl 0901.06003
Giacobazzi, R.; Palamidessi, C.; Ranzato, F.
9
1996
Encoding transition systems in sequent calculus. (Preliminary report). Zbl 0908.03049
McDowell, Raymond; Miller, Dale; Palamidessi, Catuscia
1
1996
Nondeterminism and infinite computations in constraint programming. Zbl 0872.68103
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
17
1995
Negation as instantiation. Zbl 0835.68107
Di Pierro, Alessandra; Martelli, Maurizio; Palamidessi, Catuscia
2
1995
Embedding as a tool for language comparison. Zbl 0788.68014
de Boer, Frank S.; Palamidessi, Catuscia
13
1994
A declarative approach for first-order built-in’s of Prolog. Zbl 0815.68035
Apt, Krzysztof R.; Marchiori, Elena; Palamidessi, Catuscia
3
1994
A model-theoretic reconstruction of the operational semantics of logic programs. Zbl 0788.68088
Falaschi, Moreno; Levi, Giorgio; Martelli, Maurizio; Palamidessi, Catuscia
11
1993
A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
3
1993
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055
de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M.
7
1992
A fully abstract model for concurrent constraint programming. Zbl 0967.68516
de Boer, Frank S.; Palamidessi, Catuscia
15
1991
Kernel-LEAF: A logic plus functional language. Zbl 0717.68013
Giovannetti, Elio; Levi, Giorgio; Moiso, Corrado; Palamidessi, Catuscia
14
1991
Semantic models for concurrent logic languages. Zbl 0744.68087
de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C.
3
1991
Algebraic properties of idempotent substitutions. Zbl 0765.68180
Palamidessi, Catuscia
15
1990
Declarative modeling of the operational behavior of logic languages. Zbl 0699.68113
Falaschi, M.; Levi, G.; Palamidessi, C.; Martelli, M.
39
1989
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
5
1989
On the declarative semantics of Horn clause logic-based languages. Zbl 0687.03014
Palamidessi, Catuscia
1
1989
Contributions to the semantics of logic perpetual processes. Zbl 0661.68012
Levi, Giorgio; Palamidessi, Catuscia
2
1988
The formal semantics of processes and streams in logic programming. Zbl 0605.68006
Falaschi, M.; Levi, G.; Palamidessi, C.
1
1986
A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Zbl 0591.68038
Falaschi, M.; Levi, G.; Palamidessi, C.
3
1984
all top 5

Cited by 432 Authors

32 Palamidessi, Catuscia
15 Falaschi, Moreno
14 Olarte, Carlos
13 Chatzikokolakis, Konstantinos
13 Gabbrielli, Maurizio
13 Valencia, Frank D.
9 Rueda, Camilo
8 Meo, Maria Chiara
8 Tini, Simone
7 de Boer, Frank S.
7 Deng, Yuxin
7 Pimentel, Elaine
7 Vidal, Germán
6 Alpuente, María
6 Alvim, Mário S.
6 Comini, Marco
6 Giacobazzi, Roberto
6 Guzmán, Michell
6 Levi, Giorgio
5 Bonchi, Filippo
5 Boreale, Michele
5 Gorla, Daniele
5 Ranzato, Francesco
4 Andrés, Miguel E.
4 Legay, Axel
4 Loreti, Michele
4 Malacaria, Pasquale
4 McIver, Annabelle K.
4 Morgan, Carroll C.
4 Nigam, Vivek
4 Rutten, Jan J. M. M.
3 Andova, Suzana
3 Antoy, Sergio
3 Bacci, Giovanni
3 Biondi, Fabrizio
3 Bonsangue, Marcello Maria
3 Braun, Christelle
3 Brogi, Antonio
3 Busi, Nadia
3 Cacciagrano, Diletta Romana
3 Cao, Yongzhi
3 Castiglioni, Valentina
3 Cervesato, Iliano
3 Chiarugi, Davide
3 Corradini, Flavio
3 de Bakker, Jacobus W.
3 De Nicola, Rocco
3 Di Pierro, Alessandra
3 Fu, Yuxi
3 Georgievska, Sonja
3 Knight, Sophia
3 Kok, Joost N.
3 Larsen, Kim Guldstrand
3 Miller, Dale Allen
3 Montanari, Ugo G.
3 Nestmann, Uwe
3 Perchy, Salim
3 Pérez, Jorge A.
3 Sassone, Vladimiro
3 Silva, Alexandra
3 Tiu, Alwen Fernanto
3 van Glabbeek, Robert Jan
3 Villanueva, Alicia
3 Wang, Hanpin
3 Yoshida, Nobuko
2 Aceto, Luca
2 Albert, Elvira
2 Aranda, Jesús
2 Arrighi, Pablo
2 Bacci, Giorgio
2 Bérard, Béatrice
2 Bidinger, Philippe
2 Bossi, Annalisa
2 Bravetti, Mario
2 Brodo, Linda
2 Chen, Weien
2 Chothia, Tom
2 Clark, David
2 Clarke, Dave
2 Codish, Michael
2 Compagnoni, Adriana B.
2 Correa, Francisco José
2 Datta, Anupam
2 del Mar Gallardo, María
2 Fábregas, Ignacio
2 Gadducci, Fabio
2 García-Pérez, Álvaro
2 Gebler, Daniel E.
2 Gorrieri, Roberto
2 Gupta, Vineet
2 Hamadou, Sardaouna
2 Hanus, Michael
2 Hasuo, Ichiro
2 Hermith, Diana
2 Ingólfsdóttir, Anna
2 Jagadeesan, Radha
2 Kilpack, Martha L. H.
2 König, Barbara
2 Lanotte, Ruggero
2 Magidin, Arturo
...and 332 more Authors

Citations by Year