A randomized encoding of the π-calculus with mixed choice
- Catuscia Palamidessi
- Oltea Mihaela Herescu
- 2005
- Theoretical Computer Science
Conference paper
Publications
25371 results for Science
Universally composable password-based key exchange
- Ran Canetti
- Shai Halevi
- et al.
- 2005
- Eurocrypt 2005
Conference paperTag-KEM/DEM: A new framework for hybrid encryption and a new analysis of Kurosawa-Desmedt KEM
- Masayuki Abe
- Rosario Gennaro
- et al.
- 2005
- Eurocrypt 2005
Conference paperCompact e-cash
- Jan Camenisch
- Susan Hohenberger
- et al.
- 2005
- Eurocrypt 2005
Conference paperAn inexact-suffix-tree-based algorithm for detecting extensible patterns
- Abhijit Chattaraj
- Laxmi Parida
- 2005
- Theoretical Computer Science
PaperThin-film transformations and volatile products in the formation of nanoporous low- k polymethylsilsesquioxane-based dielectric
- P. Lazzeri
- L. Vanzetti
- et al.
- 2005
- Journal of Vacuum Science and Technology B: Microelectronics and Nanometer Structures
PaperEtching silicon-containing bilayer resists in ammonia-based plasmas
- Siddhartha Panda
- Richard Wise
- et al.
- 2005
- Journal of Vacuum Science and Technology B: Microelectronics and Nanometer Structures
PaperSource code that talks: An exploration of eclipse task comments and their implication to repository mining
- Annie T.T. Ying
- James L. Wright
- et al.
- 2005
- MSR 2005
Conference paperElectron effective mass in ultrathin oxide silicon MOSFET inversion layers
- M. Dragosavac
- D.J. Paul
- et al.
- 2005
- Semiconductor Science and Technology
PaperAn exploration of how comments are used for marking related code fragments
- Annie T.T. Ying
- James L. Wright
- et al.
- 2005
- MACS 2005
Conference paper