Searching for authors named "Fabio Martinelli" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

31 documents found, showing 1 through 10. Next 10 →

Dynamical Analysis Of Low Temperature Monte Carlo Cluster Algorithms
by Fabio Martinelli — 1992
…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
by T. Bodineau, Fabio Martinelli — 2002
…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)
by R. Foccardi, Fabio Martinelli — 1999
… 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
by Fabio Martinelli, Marinella Petrocchi
…-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
by Pietro Caputo, Fabio Martinelli — 2002
… 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
by Filippo Cesi, Fabio Martinelli — 1994 — I. Equilibrium Results. J. Stat. Phys
… 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
by Riccardo Focardi, Fabio Martinelli — 1999
… 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
by Roberto Gorrieri, Fabio Martinelli — 2004 — Science of Computer Programming
… ? 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
by Giorgio Favrin, Enzo Marinari, Fabio Martinelli
… Temperature Giorgio Favrin (1) , Enzo Marinari (2) , and Fabio Martinelli (3) (1) : Department…
Add To MetaCart

Improving grid service security with fine grain policies
by Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli — 2004 — In Proc. of On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004
… Security with Fine Grain Policies ⋆ Fabrizio Baiardi 1 , Fabio Martinelli 2 , Paolo Mori 2 , and Anna…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB