Searching for authors named "Fabio Martinelli" – sorted by Relevance.
-
Dynamical Analysis Of Low Temperature Monte Carlo Cluster Algorithms
- DYNAMICAL ANALYSIS OF LOW TEMPERATURE MONTE CARLO CLUSTER ALGORITHMS by Fabio Martinelli Abstract
- Cited by 1 (1 self) – Add To MetaCart
-
Some New Results On The Kinetic Ising Model In A Pure Phase
- SOME NEW RESULTS ON THE KINETIC ISING MODEL IN A PURE PHASE T. BODINEAU AND FABIO MARTINELLI
- Cited by 5 (2 self) – Add To MetaCart
-
A Uniform Approach for the Analysis of Cryptographic Protocols (Extended Abstract)
- Focardi 1 and Fabio Martinelli 2 1 Dipartimento di Informatica, Universita Ca' Foscari di Venezia via
- Add To MetaCart
-
analysis of security and trust with Crypto-CCS
- -CCS ⋆ (Preliminary version) Fabio Martinelli and Marinella Petrocchi Istituto di Informatica e Telematica - C
- Add To MetaCart
-
Relaxation Time Of Anisotropic Simple Exclusion Processes And Quantum Heisenberg Models
- CAPUTO AND FABIO MARTINELLI Abstract. Motivated by an exact mapping between anisotropic half integer spin
- Cited by 4 (1 self) – Add To MetaCart
-
On the Layering Transition of an SOS Surface Interacting with a Wall. II. The Glauber Dynamics
- Filippo Cesi y and Fabio Martinelli z yDipartimento di Fisica, Universit`a "La Sapienza", P.le A. Moro
- Cited by 7 (1 self) – Add To MetaCart
-
A Uniform Approach for the Definition of Security Properties
- for the Denition of Security Properties ? Riccardo Focardi 1 and Fabio Martinelli 2 1 Dipartimento di
- Cited by 32 (13 self) – Add To MetaCart
-
F.: A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Science of Computer Programming 50(1–3
- ? Roberto Gorrieri 1 and Fabio Martinelli2 1 Dipartimento di Scienze dell'Informazione, Universit`a di
- Cited by 8 (0 self) – Add To MetaCart
-
Droplet Motion for the Conservative 2D Ising Lattice Gas Dynamics below the Critical Temperature
- Temperature Giorgio Favrin (1) , Enzo Marinari (2) , and Fabio Martinelli (3) (1) : Department
- Add To MetaCart
-
Improving grid service security with fine grain policies
- Security with Fine Grain Policies ⋆ Fabrizio Baiardi 1 , Fabio Martinelli 2 , Paolo Mori 2 , and Anna
- Cited by 2 (1 self) – Add To MetaCart

