BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × The Netherlands
1 × United Kingdom
2 × Canada
2 × France
2 × Portugal
2 × USA
Collaborated with:
P.Degano U.Montanari E.Tuosto M.Pistore G.Mezzetti R.Pugliese R.Gorrieri M.Bartoletti V.Ciancia S.Gnesi G.Ristori L.Galletta E.Moggi A.Asperti R.D.Nicola R.Zunino G.Ferro
Talks about:
nomin (3) model (3) mobil (3) local (3) base (3) resourc (2) program (2) process (2) environ (2) control (2)

Person: Gian Luigi Ferrari

DBLP DBLP: Ferrari:Gian_Luigi

Contributed to:

SEFM 20142014
CIAA 20132013
CIAA 20122012
FoSSaCS 20072007
QAPL 20072007
FoSSaCS 20052005
FoSSaCS 20022002
SAC 20012001
SAIG 20012001
CAV 19981998
TACAS 19971997
POPL 19901990
TAPSOFT, Vol.2: ADC 19911991
TAPSOFT, Vol.1: CAAP 19911991

Wrote 16 papers:

SEFM-2014-DeganoFG #adaptation #reliability #static analysis
A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
CIAA-2013-DeganoFM #model checking #towards
Towards Nominal Context-Free Model-Checking (PD, GLF, GM), pp. 109–121.
CIAA-2012-DeganoFM #automaton #resource management
Nominal Automata for Resource Usage Control (PD, GLF, GM), pp. 125–137.
FoSSaCS-2007-BartolettiDFZ #analysis #resource management
Types and Effects for Resource Usage Analysis (MB, PD, GLF, RZ), pp. 32–47.
QAPL-2007-CianciaF #algebra #logic #modelling
Co-Algebraic Models for Quantitative Spatial Logics (VC, GLF), pp. 43–58.
FoSSaCS-2005-BartolettDF #data access #policy
History-Based Access Control with Local Policies (MB, PD, GLF), pp. 316–332.
FoSSaCS-2005-FerrariMT #calculus #model checking
Model Checking for Nominal Calculi (GLF, UM, ET), pp. 1–24.
FoSSaCS-2002-FerrariMP #algebra #calculus
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation (GLF, UM, MP), pp. 129–158.
SAC-2001-FerrariT #calculus #debugging #mobile
A debugging calculus for mobile ambients (GLF, ET).
SAIG-2001-FerrariMP #metaprogramming #named
MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
CAV-1998-FerrariGMPR #mobile #process #verification
Verifying Mobile Processes in the HAL Environment (GLF, SG, UM, MP, GR), pp. 511–515.
TACAS-1997-FerrariFGMPR #automation #mobile #process #verification
An Automated Based Verification Environment for Mobile Processes (GLF, GF, SG, UM, MP, GR), pp. 275–289.
POPL-1990-AspertiFG #proving
Implicative Formulae in the “Proofs as Computations” Analogy (AA, GLF, RG), pp. 59–71.
ADC-1991-FerrariGM #theorem
An Extended Expansion Theorem (GLF, RG, UM), pp. 29–48.
CAAP-1991-Ferrari #incremental #on the
On Causality Observed Incrementally, Finally (GLF), pp. 26–41.
TAPSOFT-1997-NicolaFP #locality #programming
Locality Based Linda: Programming with Explicit Localities (RDN, GLF, RP), pp. 712–726.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.