The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Catuscia Palamidessi" ( http://dblp.L3S.de/Authors/Catuscia_Palamidessi )

URL (Homepage):  http://www.lix.polytechnique.fr/~catuscia/  Author page on DBLP  Author page in RDF  Community of Catuscia Palamidessi in ASPL-2

Publication years (Num. hits)
1984-1991 (22) 1992-1994 (21) 1995-1997 (16) 1998-2001 (18) 2002-2005 (19) 2006-2007 (29) 2008-2009 (16) 2010-2011 (21) 2012-2013 (20) 2014-2015 (20) 2016-2017 (16) 2018-2019 (12)
Publication types (Num. hits)
article(101) inproceedings(119) proceedings(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33 occurrences of 30 keywords

Results
Found 231 publication records. Showing 230 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Giovanni Cherubin, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi F-BLEAU: Fast Black-box Leakage Estimation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marco Romanelli 0002, Catuscia Palamidessi, Konstantinos Chatzikokolakis 0001 Generating Optimal Privacy-Protection Mechanisms via Machine Learning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar Alonzo Church Award 2018 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Yusuke Kawamoto 0001, Catuscia Palamidessi Leakage and Protocol Composition in a Game-Theoretic Perspective. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Yusuke Kawamoto 0001, Catuscia Palamidessi A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Anna Pazii Metric-based local differential privacy for statistical applications. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Yusuke Kawamoto 0001, Catuscia Palamidessi A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Search on Bibsonomy Entropy The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Yusuke Kawamoto 0001, Catuscia Palamidessi Leakage and Protocol Composition in a Game-Theoretic Perspective. Search on Bibsonomy POST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi, Marco Romanelli 0002 Feature Selection with Rényi Min-Entropy. Search on Bibsonomy ANNPR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lefki Kacem, Catuscia Palamidessi Geometric Noise for Locally Private Counting Queries. Search on Bibsonomy PLAS@CCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Anna Pazii Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. Search on Bibsonomy CSF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Valentina Castiglioni, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi A Logical Characterization of Differential Privacy via Behavioral Metrics. Search on Bibsonomy FACS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Ehab ElSalamouny, Catuscia Palamidessi, Anna Pazii Methods for Location Privacy: A comparative overview. Search on Bibsonomy Foundations and Trends in Privacy and Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Ehab ElSalamouny, Catuscia Palamidessi Efficient Utility Improvement for Location Privacy. Search on Bibsonomy PoPETs The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone Quantifying leakage in the presence of unreliable sources of information. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi Alonzo Church Award 2017 - Call for Nominations. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2017 DBLP  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Yusuke Kawamoto 0001, Catuscia Palamidessi Information Leakage Games. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Serge Haddad, Ali Kassem 0001, Catuscia Palamidessi Trading Optimality for Performance in Location Privacy. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yusuke Kawamoto 0001, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi On the Compositionality of Quantitative Information Flow. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Serge Haddad, Ali Kassem 0001, Catuscia Palamidessi Trading Optimality for Performance in Location Privacy. Search on Bibsonomy VALUETOOLS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Yusuke Kawamoto 0001, Catuscia Palamidessi Information Leakage Games. Search on Bibsonomy GameSec The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Christelle Braun Compositional methods for information-hiding. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yusuke Kawamoto 0001, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi On the Compositionality of Quantitative Information Flow. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi Slicing Concurrent Constraint Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi Preserving differential privacy under finite-precision semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Valeria Vignudelli Up-To Techniques for Generalized Bisimulation Metrics. Search on Bibsonomy CONCUR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith Axioms for Information Leakage. Search on Bibsonomy CSF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi Slicing Concurrent Constraint Programs. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati Constructing elastic distinguishability metrics for location privacy. Search on Bibsonomy PoPETs The full citation details ... 2015 DBLP  BibTeX  RDF
1Miguel E. Andrés, Catuscia Palamidessi, Geoffrey Smith Preface to the special issue on quantitative information flow. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati Constructing elastic distinguishability metrics for location privacy. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Pierpaolo Degano, Catuscia Palamidessi On the information leakage of differentially-private mechanisms. Search on Bibsonomy Journal of Computer Security The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati Location privacy via geo-indistinguishability. Search on Bibsonomy SIGLOG News The full citation details ... 2015 DBLP  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi Abstract interpretation of temporal concurrent constraint programs. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi A Declarative View of Signaling Pathways. Search on Bibsonomy Programming Languages with Applications to Biology and Security The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges. Search on Bibsonomy POST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati Location Privacy via Geo-Indistinguishability. Search on Bibsonomy ICTAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati Geo-indistinguishability: A Principled Approach to Location Privacy. Search on Bibsonomy ICDCIT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Optimal Geo-Indistinguishable Mechanisms for Location Privacy. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang (eds.) Foundational aspects of security. Search on Bibsonomy Journal of Computer Security The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Catuscia Palamidessi (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ehab ElSalamouny, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms. Search on Bibsonomy Horizons of the Mind The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.) Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday Search on Bibsonomy Horizons of the Mind The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Optimal Geo-Indistinguishable Mechanisms for Location Privacy. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Daniel Gebler, Catuscia Palamidessi, Lili Xu Generalized Bisimulation Metrics. Search on Bibsonomy CONCUR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith Additive and Multiplicative Notions of Leakage, and Their Capacities. Search on Bibsonomy CSF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati A Predictive Differentially-Private Mechanism for Mobility Traces. Search on Bibsonomy Privacy Enhancing Technologies The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yusuke Kawamoto 0001, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Compositionality Results for Quantitative Information Flow. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi Abstract Interpretation of Temporal Concurrent Constraint Programs. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi Preserving differential privacy under finite-precision semantics. Search on Bibsonomy QAPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati A Predictive Differentially-Private Mechanism for Location Privacy. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Catuscia Palamidessi Quantitative Approaches to Information Protection. Search on Bibsonomy WoLLIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ehab ElSalamouny, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi A Differentially Private Mechanism of Optimal Utility for a Region of Priors. Search on Bibsonomy POST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miguel E. Andrés, Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Geo-indistinguishability: differential privacy for location-based systems. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi, Mark Dermot Ryan (eds.) Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers Search on Bibsonomy TGC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Miguel E. Andrés, Nicolás Emilio Bordenabe, Catuscia Palamidessi Broadening the Scope of Differential Privacy Using Metrics. Search on Bibsonomy Privacy Enhancing Technologies The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi Quantitative Security Analysis (Dagstuhl Seminar 12481). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miguel E. Andrés, Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Geo-Indistinguishability: Differential Privacy for Location-Based Systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Ivan Gazeau, Dale Miller 0001, Catuscia Palamidessi A non-local method for robustness analysis of floating point programs Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Giunti, Catuscia Palamidessi, Frank D. Valencia Hide and New in the Pi-Calculus Search on Bibsonomy EXPRESS/SOS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi, Marco Stronati Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems Search on Bibsonomy QAPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden Epistemic Strategies and Games on Concurrent Processes. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi Quantitative information flow in interactive systems. Search on Bibsonomy Journal of Computer Security The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia Spatial and Epistemic Modalities in Constraint-Based Process Calculi. Search on Bibsonomy CONCUR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Geoffrey Smith Measuring Information Leakage Using Generalized Gain Functions. Search on Bibsonomy CSF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Mödersheim, Catuscia Palamidessi (eds.) Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers Search on Bibsonomy TOSCA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Pierpaolo Degano, Catuscia Palamidessi Differential Privacy: on the trade-off between Utility and Information Leakage Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi On the relation between Differential Privacy and Quantitative Information Flow Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova Information hiding in probabilistic concurrent systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia Deriving Labels and Bisimilarity for Concurrent Constraint Programming. Search on Bibsonomy FoSSaCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Pierpaolo Degano, Catuscia Palamidessi Differential Privacy: On the Trade-Off between Utility and Information Leakage. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi On the Relation between Differential Privacy and Quantitative Information Flow. Search on Bibsonomy ICALP (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Quantitative Information Flow and Applications to Differential Privacy. Search on Bibsonomy FOSAD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Making random choices invisible to the scheduler. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Pierpaolo Degano, Catuscia Palamidessi Differential Privacy versus Quantitative Information Flow Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Daniele Gorla, Catuscia Palamidessi Preface. Search on Bibsonomy Journal of Computer Security The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi Compositionality of Secure Information Flow. Search on Bibsonomy MPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi Information Flow in Interactive Systems. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith Computing the Leakage of Information-Hiding Systems. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés Interactive Information Flow - (Invited Talk). Search on Bibsonomy ARSPA-WITS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi Compositional modelling of signalling pathways in timed concurrent constraint programming. Search on Bibsonomy BCB The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia Concurrent and Reactive Constraint Programming. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi Reconciling Belief and Vulnerability in Information Flow. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2010 DBLP  DOI  BibTeX  RDF quantitative and probabilistic models, Security, uncertainty, information flow, accuracy, information hiding, vulnerability, belief, data confidentiality
1Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum Safe Equivalences for Security Properties. Search on Bibsonomy IFIP TCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi Entropy and Attack Models in Information Flow - (Invited Talk). Search on Bibsonomy IFIP TCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova Information Hiding in Probabilistic Concurrent Systems. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi Probabilistic Information Flow. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christelle Braun, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi Quantitative Notions of Leakage for One-try Attacks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Explicit fairness in testing semantics Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Simon Kramer 0001, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Romain Beauxis, Catuscia Palamidessi Probabilistic and nondeterministic aspects of anonymity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi Foreword. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma 0001, Frank D. Valencia (eds.) SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny Probable Innocence in the Presence of Independent Knowledge. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi A framework for abstract interpretation of timed concurrent constraint programs. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
1Catuscia Palamidessi, Frank D. Valencia Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 230 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license