GianLuigi Ferrari: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

A Coordination-based Methodology for Security Protocol Verification

Giacomo Baldi, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 393 KB

english, 2005

52

A Logic for Graphs with QoS

Gianluigi Ferrari, Alberto Lluch-Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

53

Markov Chain-based performance analysis of multihop IEEE 802.15.4 wireless networks

Marco Martalò, Stefano Busanelli, Gianluigi Ferrari

Journal:

Performance Evaluation

Year:

2009

Language:

english

File:

PDF, 3.18 MB

english, 2009

54

On the semantics of durational actions

Flavio Corradini, GianLuigi Ferrari, Marco Pistore

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 251 KB

english, 2001

55

Types for access control

Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Betti Venneri

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 265 KB

english, 2000

56

Static Analysis for Stack Inspection

Massimo Bartoletti, Pierpaolo Degano, GianLuigi Ferrari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 196 KB

english, 2001

57

Tiles for Concurrent and Located Calculi

GianLuigi Ferrari, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.64 MB

english, 1997

58

Eager, Busy-Waiting and Lazy Actions Timed Computation

Flavio Corradini, GianLuigi Ferrari, Marco Pistore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.18 MB

english, 1997

59

Reduced expression of macrophage-associated antigens on alveolar mononuclear phagocytes from acquired immunodeficiency syndrome

Francesco Lanza, Luisa Ferrari, Laura Sighinolfi, Florio Ghinelli, Angela Latorraca, Sabrina Moretti, Lucio Trevisani, Alfredo Potena, Fabio Malavasi, Gianluigi Castoldi

Journal:

International Journal of Clinical & Laboratory Research

Year:

1993

Language:

english

File:

PDF, 511 KB

english, 1993

60

Noncoherent iterative decoding of spectrally efficient coded modulations

Gianluigi Ferrari, Giulio Colavolpe, Riccardo Raheli

Journal:

annals of telecommunications - annales des télécommunications

Year:

2001

Language:

english

File:

PDF, 1.19 MB

english, 2001

61

Electron transfer in crystals of the binary and ternary complexes of methylamine dehydrogenase with amicyanin and cytochromec551i as detected by EPR spectroscopy

Davide Ferrari, Marilena Valentin, Donatella Carbonera, Angelo Merli, Zhi-wei Chen, F.Scott Mathews, VictorL. Davidson, GianLuigi Rossi

Journal:

JBIC Journal of Biological Inorganic Chemistry

Year:

2004

Language:

english

File:

PDF, 737 KB

english, 2004

62

A symbolic framework for multi-faceted security protocol analysis

Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Journal:

International Journal of Information Security

Year:

2008

Language:

english

File:

PDF, 844 KB

english, 2008

63

Connectivity of ad hoc wireless networks: an alternative to graph-theoretic approaches

Sooksan Panichpapiboon, Gianluigi Ferrari, Ozan K. Tonguz

Journal:

Wireless Networks

Year:

2010

Language:

english

File:

PDF, 694 KB

english, 2010

64

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits

Michael Baldamus, Jesper Bengtson, Gianluigi Ferrari, Roberto Raggi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 201 KB

english, 2004

65

Event based choreography

Vincenzo Ciancia, Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 850 KB

english, 2010

66

Coalgebraic minimization of HD-automata for the -calculus using polymorphic types

Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 613 KB

english, 2005

67

Intelligent Versus Random Beavers—an Agent-Based Approach in Facing the Busy Beaver Problem

Alessandro Perrone, Gianluigi Ferraris

Journal:

Year:

2004

Language:

english

File:

PDF, 141 KB

english, 2004

68

Different Prion Conformers Target the Olfactory Pathway in Sporadic Creutzfeldt–Jakob Disease

Gianluigi Zanusso, Sergio Ferrari, Diego Benedetti, Marco Sbriccoli, Nicola Rizzuto, Salvatore Monaco

Journal:

Annals of the New York Academy of Sciences

Year:

2009

Language:

english

File:

PDF, 235 KB

english, 2009

69

Increased Expression of the Normal Cellular Isoform of Prion Protein in Inclusion-Body Myositis, Inflammatory Myopathies and Denervation Atrophy

Gianluigi Zanusso, Gaetano Vattemi, Sergio Ferrari, Massimo Tabaton, Elisa Pecini, Tiziana Cavallaro, Giuliano Tomelleri, Massimiliano Filosto, Paola Tonin, Ettore Nardelli, Nicola Rizzuto, Salvatore

Journal:

Brain Pathology

Year:

2001

Language:

english

File:

PDF, 360 KB

english, 2001

70

A 49-YEAR-OLD MAN WITH NEUROPSYCHIATRIC SYMPTOMS FOLLOWED BY PROGRESSIVE COGNITIVE DECLINE

Gianluigi Zanusso, Sergio Ferrari, Stefania Conte, Vittorio Mellina, Vittorio Sacchi, Nicola Rizzuto, Salvatore Monaco

Journal:

Brain Pathology

Year:

2006

Language:

english

File:

PDF, 328 KB

english, 2006

71

Mark, a Reasoning Kit for Mobility

Gianluigi Ferrari, C. Montangero, L. Semini, S. Semprini

Journal:

Automated Software Engineering

Year:

2002

Language:

english

File:

PDF, 96 KB

english, 2002

72

Human Mesenchymal Stem Cells Promote Survival of T Cells in a Quiescent State

Federica Benvenuto, Stefania Ferrari, Ezio Gerdoni, Francesca Gualandi, Francesco Frassoni, Vito Pistoia, Gianluigi Mancardi, Antonio Uccelli

Journal:

Year:

2007

Language:

english

File:

PDF, 400 KB

english, 2007

73

Tile Formats for Located and Mobile Systems

GianLuigi Ferrari, Ugo Montanari

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 746 KB

english, 2000

74

Oxidative Retinal Products and Ocular Damages in Diabetic Patients

Ignazio Grattagliano, Gianluigi Vendemiale, Francesco Boscia, Tommaso Micelli-Ferrari, Luigi Cardia, Emanuele Altomare

Journal:

Free Radical Biology and Medicine

Year:

1998

Language:

english

File:

PDF, 56 KB

english, 1998

75

Impact of the environment and the topology on the performance of hierarchical body area networks

Jean-Michel Dricot, Stéphane Van Roy, Gianluigi Ferrari, François Horlin, Philippe De Doncker

Journal:

EURASIP Journal on Wireless Communications and Networking

Year:

2011

Language:

english

File:

PDF, 491 KB

english, 2011

76

[IEEE 2008 3rd International Symposium on Communications, Control and Signal Processing (ISCCSP) - St. Julian's, Malta (2008.03.12-2008.03.14)] 2008 3rd International Symposium on Communications, Control and Signal Processing - Markov chain-based performance evaluation of IEEE 802.15.4 multihop wireless sensor networks

Martalo, Marco, Ferrari, Gianluigi, Busanelli, Stefano

Year:

2008

Language:

english

File:

PDF, 369 KB

english, 2008

77

Cognitive radio CDMA networking with spectrum sensing

Sanjay Dhar Roy, Sumit Kundu, Gianluigi Ferrari, Riccardo Raheli

Journal:

International Journal of Communication Systems

Year:

2012

Language:

english

File:

PDF, 1000 KB

english, 2012

78

Lymphocytes Isolated from the Peritoneal Fluid of Women with Advanced Ovarian Carcinoma Differ Significantly from Autologous Peripheral Blood Lymphocytes

Giovanni Melioli, Ivan Ferrari, Gianluigi Casartelli, Nicola Ragni

Journal:

Gynecologic Oncology

Year:

1993

File:

PDF, 401 KB

1993

79

Analysis of mammalian scrapie protein by novel monoclonal antibodies recognizing distinct prion protein glycoforms: an immunoblot and immunohistochemical study at the light and electron microscopic levels

Andrea Matucci, Gianluigi Zanusso, Matteo Gelati, Alessia Farinazzo, Michele Fiorini, Sergio Ferrari, Giancarlo Andrighetto, Tiziana Cestari, Maria Caramelli, Alessandro Negro, Michela Morbin, Roberto

Journal:

Brain Research Bulletin

Year:

2005

Language:

english

File:

PDF, 563 KB

english, 2005

80

Simultaneous occurrence of spongiform encephalopathy in a man and his cat in Italy

Gianluigi Zanusso, Ettore Nardelli, Anna Rosati, GianMaria Fabrizi, Seigio Ferrari, Antonella Carteri, Franco De Simone, Nicola Rizzuto, Salvatore Monaco

Journal:

Year:

1998

Language:

english

File:

PDF, 148 KB

english, 1998

81

Progressive multifocal leukoencephalopathy in a patient with Good's syndrome

Giovanna Squintani, Sergio Ferrari, Elena Bazzoli, Roberto Eleopra, Carlo La Monaca, Enrico Cagliari, Gianluigi Zanusso, Maria Cristina Mantovan, Salvatore Monaco

Journal:

International Journal of Infectious Diseases

Year:

2010

Language:

english

File:

PDF, 2.28 MB

english, 2010

82

Human peripheral nerve macrophages in normal and pathological conditions

Bruno Bonetti, Salvatore Monaco, Caterina Giannini, Sergio Ferrari, GianLuigi Zanusso, Nicola Rizzuto

Journal:

Journal of the Neurological Sciences

Year:

1993

Language:

english

File:

PDF, 2.62 MB

english, 1993

83

Cytogenetic analysis of different cellular populations in chronic myelomonocytic leukemia

Antonio Cuneo, Paolo Tomasi, Luisa Ferrari, Massimo Balboni, Nadia Piva, Franca Fagioli, Gianluigi Castoldi

Journal:

Cancer Genetics and Cytogenetics

Year:

1989

Language:

english

File:

PDF, 458 KB

english, 1989

84

Chromosome aberrations in CD34-positive acute myeloid leukemia: Correlation with clinicopathologic features

Franca Fagioli, Antonio Cuneo, Maria Gretel Carli, Antonella Bardi, Nadia Piva, Rita Previati, Gian Matteo Rigolin, Luisa Ferrari, Romedio Spanedda, Gianluigi Castoldi

Journal:

Cancer Genetics and Cytogenetics

Year:

1993

Language:

english

File:

PDF, 508 KB

english, 1993

85

Cross-layer design and analysis of WSN-based mobile target detection systems

Paolo Medagliani, Gianluigi Ferrari, Vincent Gay, Jérémie Leguay

Journal:

Ad Hoc Networks

Year:

2013

Language:

english

File:

PDF, 1.26 MB

english, 2013

86

Energy-efficient mobile target detection in Wireless Sensor Networks with random node deployment and partial coverage

Paolo Medagliani, Jérémie Leguay, Gianluigi Ferrari, Vincent Gay, Mario Lopez-Ramos

Journal:

Pervasive and Mobile Computing

Year:

2012

Language:

english

File:

PDF, 737 KB

english, 2012

87

HIV-associated PML presenting as epilepsia partialis continua

Sergio Ferrari, Salvatore Monaco, Michela Morbin, Gianluigi Zanusso, Laura Bertolasi, Roberto Cerini, Nicolo' Rizzuto

Journal:

Journal of the Neurological Sciences

Year:

1998

Language:

english

File:

PDF, 735 KB

english, 1998

88

Recursive analytical performance evaluation of broadcast protocols with silencing: application to VANETs

Busanelli, Stefano, Ferrari, Gianluigi, Gruppini, Roberto

Journal:

EURASIP Journal on Wireless Communications and Networking

Year:

2012

Language:

english

File:

PDF, 852 KB

english, 2012

89

[Signals and Communication Technology] LDPC Coded Modulations || || Front_matter

Franceschini, Michele, Ferrari, Gianluigi, Raheli, Riccardo

Year:

2009

Language:

english

File:

PDF, 198 KB

english, 2009

90

Clustered IEEE 802.15.4 Sensor Networks with Data Aggregation: Energy Consumption and Probability of Error

Martalo, Marco, Buratti, Chiara, Ferrari, Gianluigi, Verdone, Roberto

Journal:

IEEE Wireless Communications Letters

Year:

2013

Language:

english

File:

PDF, 138 KB

english, 2013

91

[Signals and Communication Technology] Sensor Networks || Data Aggregation in Wireless Sensor Networks: A Multifaceted Perspective

Ferrari, Gianluigi

Year:

2009

Language:

english

File:

PDF, 1.01 MB

english, 2009

92

A novel batch-based group key management protocol applied to the Internet of Things

Veltri, Luca, Cirani, Simone, Busanelli, Stefano, Ferrari, Gianluigi

Journal:

Ad Hoc Networks

Year:

2013

Language:

english

File:

PDF, 1.26 MB

english, 2013

93

[Signals and Communication Technology] Sensor Networks || Self-Organization of Sensor Networks with Heterogeneous Connectivity

Ferrari, Gianluigi

Year:

2009

Language:

english

File:

PDF, 774 KB

english, 2009

94

On spectrum sensing in cognitive radio CDMA networks with beamforming

Dhar Roy, Sanjay, Kundu, Sumit, Ferrari, Gianluigi, Raheli, Riccardo

Journal:

Physical Communication

Year:

2013

Language:

english

File:

PDF, 1021 KB

english, 2013

95

[Signals and Communication Technology] Sensor Networks ||

Ferrari, Gianluigi

Year:

2009

Language:

english

File:

PDF, 9.72 MB

english, 2009

96

[IEEE 2011 11th International Conference on ITS Telecommunications (ITST) - St. Petersburg, Russia (2011.08.23-2011.08.25)] 2011 11th International Conference on ITS Telecommunications - Clustered vehicular networks: Decentralized detection “on the move”

Busanelli, Stefano, Martalo, Marco, Ferrari, Gianluigi

Year:

2011

Language:

english

File:

PDF, 2.30 MB

english, 2011

97

[IEEE 2013 9th International Wireless Communications and Mobile Computing Conference (IWCMC 2013) - Sardinia, Italy (2013.07.1-2013.07.5)] 2013 9th International Wireless Communications and Mobile Computing Conference (IWCMC) - Data storage and retrieval with RPL routing

Gonizzi, Pietro, Ferrari, Gianluigi, Medagliani, Paolo, Leguay, Jeremie

Year:

2013

Language:

english

File:

PDF, 802 KB

english, 2013

98

[Signals and Communication Technology] LDPC Coded Modulations ||

Franceschini, Michele, Ferrari, Gianluigi, Raheli, Riccardo

Year:

2009

Language:

english

File:

PDF, 198 KB

english, 2009

99

Real-time automated detection of clonic seizures in newborns

Pisani, Francesco, Spagnoli, Carlotta, Pavlidis, Elena, Facini, Carlotta, Kouamou Ntonfo, Guy Mathurin, Ferrari, Gianluigi, Raheli, Riccardo

Journal:

Clinical Neurophysiology

Year:

2014

Language:

english

File:

PDF, 2.04 MB

english, 2014

100

Information fusion in wireless sensor networks with source correlation

Ferrari, Gianluigi, Martalò, Marco, Abrardo, Andrea

Journal:

Information Fusion

Year:

2014

Language:

english

File:

PDF, 609 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски