MAGGIOLO, C: search on Z-Library

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

Don't use scam websites

51

Modular Verification of Interactive Systems with an Application to Biology

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

52

ε-transitions in Concurrent Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 192 KB

english, 2004

53

Monotonic hybrid systems

Ruggero Lanotte, Andrea Maggiolo-Schettini

Journal:

Journal of Computer and System Sciences

Year:

2005

Language:

english

File:

PDF, 575 KB

english, 2005

54

Epidemiological network analysis in HIV-1 B infected patients diagnosed in Italy between 2000 and 2008

Annapaola Callegaro, Valentina Svicher, Claudia Alteri, Alessandra Lo Presti, Daniela Valenti, Antonio Goglio, Marco Salemi, Eleonora Cella, Carlo Federico Perno, Massimo Ciccozzi, Franco Maggiolo

Journal:

Infection, Genetics and Evolution

Year:

2011

Language:

english

File:

PDF, 523 KB

english, 2011

55

High-energy electron detection onboard DEMETER: The IDP spectrometer, description and first results on the inner belt

J.A. Sauvaud, T. Moreau, R. Maggiolo, J.-P. Treilhou, C. Jacquey, A. Cros, J. Coutelier, J. Rouzaud, E. Penou, M. Gangloff

Journal:

Planetary and Space Science

Year:

2006

Language:

english

File:

PDF, 725 KB

english, 2006

56

Annual average and seasonal variations of residential radon concentration for all the Italian Regions

F. Bochicchio, G. Campos-Venuti, S. Piermattei, C. Nuccetelli, S. Risica, L. Tommasino, G. Torri, M. Magnoni, G. Agnesod, G. Sgorbati, M. Bonomi, L. Minach, F. Trotti, M.R. Malisan, S. Maggiolo, L. Ga

Journal:

Radiation Measurements

Year:

2005

Language:

english

File:

PDF, 210 KB

english, 2005

57

Design and verification of long-running transactions in a timed framework

Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Journal:

Science of Computer Programming

Year:

2008

Language:

english

File:

PDF, 1.98 MB

english, 2008

58

Weak bisimulation for Probabilistic Timed Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 485 KB

english, 2010

59

On disjunction of literals in triggers of statecharts transitions

Andrea Maggiolo-Schettini, Simone Tini

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 78 KB

english, 2002

60

Proving a compiler correct: A simple approach

G. Germano, A. Maggiolo-Schettini

Journal:

Journal of Computer and System Sciences

Year:

1975

Language:

english

File:

PDF, 523 KB

english, 1975

61

A comparison of Statecharts step semantics

Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 371 KB

english, 2003

62

Concurrency in timed automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 373 KB

english, 2003

63

Time-based expressivity of time Petri nets for system specification

Antonio Cerone, Andrea Maggiolo-Schettini

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 3.47 MB

english, 1999

64

Privacy in Real-Time Systems

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 281 KB

english, 2002

65

Projectable semantics for Statecharts

Andrea Maggiolo-Schettini, Simone Tini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 734 KB

english, 1998

66

Two semantics for Timed Default Concurrent Constraint Programming

Simone Tini, Andrea Maggiolo-Schettini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.02 MB

english, 1998

67

Gabapentin in painful HIV-related neuropathy: a report of 19 patients, preliminary observations

I. La Spina, D. Porazzi, F. Maggiolo, P. Bottura, F. Suter

Journal:

European Journal of Neurology

Year:

2001

Language:

english

File:

PDF, 10.80 MB

english, 2001

68

O213 CD4-guided STI in patients responding to HAART

F Maggiolo, M Airoldi, A Callegaro, C Martinelli, A Dolara, T Bini, G Gregis, P Quinzan, V Ravasio, F Suter

Journal:

Journal of the International AIDS Society

Year:

2008

Language:

english

File:

PDF, 64 KB

english, 2008

69

Effect of a fixed-dose combination of emtricitabine, tenofovir and efavirenz on adherence and treatment acceptability (ADONE study)

F Maggiolo, M Airoldi, MP Trotta, P Sette, L Bisi, C Mussini, F Bai, T Bini, G Orofino, A Gori

Journal:

Journal of the International AIDS Society

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

70

Impact of antiretroviral dosing and daily pill burden on viral rebound rates in naive patients receiving a tenofovir-based regimen

A Ammassari, P Lorenzini, F Maggiolo, G Sterrantino, A Corpolongo, G Rizzardini, N Abrescia, A Chirianni, M Foggia, C Mussini, N Gianotti, M Andreoni, CF Perno, A Antinori

Journal:

Journal of the International AIDS Society

Year:

2008

Language:

english

File:

PDF, 65 KB

english, 2008

71

Low-level residual viremia and risk of virological failure

G Cologni, L Soavi, S Leone, D Valenti, A Callegaro, G Gregis, F Suter, F Maggiolo

Journal:

Journal of the International AIDS Society

Year:

2010

Language:

english

File:

PDF, 176 KB

english, 2010

72

Once-daily S/GSK1349572 combination therapy in antiretroviral-naïve adults: rapid and potent 24-week antiviral responses in SPRING-1 (ING112276)

J Rockstroh, F Felizarta, F Maggiolo, F Pulido, HJ Stellbrink, O Tsybakova, P Yeni, S Almond, C Brothers, I Song, S Min

Journal:

Journal of the International AIDS Society

Year:

2010

Language:

english

File:

PDF, 184 KB

english, 2010

73

Classes of systolic Y-tree automata and a comparison with systolic trellis automata

E. Fachini, A. Maggiolo-Schettini, D. Sangiorgi

Journal:

Acta Informatica

Year:

1992

Language:

english

File:

PDF, 1.16 MB

english, 1992

74

Transformations of structures: An algebraic approach

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jozef Winkowski

Journal:

Theory of Computing Systems

Year:

1981

Language:

english

File:

PDF, 2.12 MB

english, 1981

75

A case ofPropionibacterium acnesspinal osteomyelitis

F. Suter, M. A. Silanos, G. Tabacchi, F. Maggiolo

Journal:

European Journal of Clinical Microbiology & Infectious Diseases

Year:

1992

Language:

english

File:

PDF, 255 KB

english, 1992

76

Teicoplanin versus cefamandole in the prevention of infection in total hip replacement

F. Suter, A. Avai, U. Fusco, M. Gerundini, S. Caprioli, F. Maggiolo

Journal:

European Journal of Clinical Microbiology & Infectious Diseases

Year:

1994

Language:

english

File:

PDF, 478 KB

english, 1994

77

Zidovudine and thymus humoral factor gamma-2 in the treatment of HIV infection: Preliminary clinical experience

F. Maggiolo, A. Taras, F. Suter, Maria Grazia Pravettoni, Manuela Leone, Antonella Ingrosso

Journal:

Year:

1997

Language:

english

File:

PDF, 430 KB

english, 1997

78

Equivalence of partial recursivity and computability by algorithms without concluding formulas

G. Germano, A. Maggiolo-Schettini

Journal:

Year:

1971

Language:

english

File:

PDF, 544 KB

english, 1971

79

La diagnosi del diabete nella vecchiaia

Journal:

Acta Diabetologica

Year:

1974

Language:

italian

File:

PDF, 975 KB

italian, 1974

80

A kernel language for programmed rewriting of (hyper)graphs

Andrea Maggiolo-Schettini, Józef Winkowski

Journal:

Acta Informatica

Year:

1996

Language:

english

File:

PDF, 1.28 MB

english, 1996

81

Parametric probabilistic transition systems for system design and analysis

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 258 KB

english, 2007

82

Bisimulations in calculi modelling membranes

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 786 KB

english, 2008

83

Reachability results for timed automata with unbounded data structures

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Journal:

Acta Informatica

Year:

2010

Language:

english

File:

PDF, 717 KB

english, 2010

84

A kernel language for programmed rewriting of (hyper)graphs

Andrea Maggiolo-Schettini, Józef Winkowski

Journal:

Acta Informatica

Year:

1996

Language:

english

File:

PDF, 243 KB

english, 1996

85

Higher Short-Term Virologic Efficacy of Three-Class Versus Two-Class Highly Active Antiretroviral Salvage Therapy in HIV-Infected Patients

F. Baldanti, S. Paolucci, R. Maserati, F. Maggiolo, A. Pan, F. Castelli, R. Gulminetti, G. Comolli, A. Chiesa, G. Gerna

Journal:

European Journal of Clinical Microbiology & Infectious Diseases

Year:

2000

Language:

english

File:

PDF, 172 KB

english, 2000

86

Automated analysis of timed security: a case study on web privacy

Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Journal:

International Journal of Information Security

Year:

2004

Language:

english

File:

PDF, 359 KB

english, 2004

87

Duality in Yang’s theory of gravity

Eckehard W. Mielke, Alí A. Rincón Maggiolo

Journal:

General Relativity and Gravitation

Year:

2005

Language:

english

File:

PDF, 252 KB

english, 2005

88

Spatial P systems

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei

Journal:

Natural Computing

Year:

2011

Language:

english

File:

PDF, 500 KB

english, 2011

89

Evolution of Antiretroviral Prescription and Response over a Period of 8 years: an Italian Multicentre Observational Prospective Cohort Study

L. Sighinolfi, C. Torti, C. Zeni, F. Ghinelli, F. Suter, F. Maggiolo, A. Antinori, G. Antonucci, F. Castelnuovo, N. Ladisa, M. Migliorino, S. Novati, A. De Luca, S. Lo Caputo, G. Paraninfo, C. Tinelli

Journal:

Year:

2008

Language:

english

File:

PDF, 285 KB

english, 2008

90

Hyperbilirubinemia during Atazanavir Treatment in 2,404 Patients in the Italian Atazanavir Expanded Access Program and MASTER Cohorts

C. Torti, G. Lapadula, A. Antinori, T. Quirino, R. Maserati, F. Castelnuovo, F. Maggiolo, A. De Luca, G. Paraninfo, F. Antonucci, G. Migliorino, A. Lazzarin, G. Di Perri, G. Rizzardini, R. Esposito, G

Journal:

Year:

2009

Language:

english

File:

PDF, 254 KB

english, 2009

91

Nonacceptability criteria and closure properties for the class of languages accepted by binary systolic tree automata

E. Fachini, A. Maggiolo Schettini, G. Resta, D. Sangiorgi

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 813 KB

english, 1991

92

S-duality in 3D gravity with torsion

Eckehard W. Mielke, Alí A. Rincón Maggiolo

Journal:

Annals of Physics

Year:

2007

Language:

english

File:

PDF, 270 KB

english, 2007

93

Automatic Analysis of the NRL Pump

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 348 KB

english, 2004

94

Compositional semantics and behavioral equivalences for P Systems

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 876 KB

english, 2008

95

An intermediate language for the stochastic simulation of biological systems

Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.75 MB

english, 2009

96

Formal Models of Timing Attacks on Web Privacy

Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 192 KB

english, 2002

97

Prevalence of mutations and determinants of genotypic resistance to etravirine (TMC125) in a large Italian resistance database (ARCA)

P Di Vincenzo, S Rusconi, F Adorni, P Vitiello, F Maggiolo, D Francisci, A Di Biagio, L Monno, A Antinori, E Boeri, G Punzi, C-F Perno, A Callegaro, B Bruzzone, M Zazzi, on behalf of the Antiretrovira

Journal:

Year:

2010

Language:

english

File:

PDF, 104 KB

english, 2010

98

The effect of hypoglycaemia and insulin coma on the total RNA content of isolated Purkinje cells

Iris W. Maggiolo Barbato, Libero Barbato

Journal:

Journal of Neurochemistry

Year:

1965

Language:

english

File:

PDF, 147 KB

english, 1965

99

Intraventricular Administration of Nalorphine to Mice implanted with Pellets of Morphine

MAGGIOLO, C., HUIDOBRO, F.

Journal:

Year:

1966

File:

PDF, 257 KB

1966

100

Biochemical modifications of avidin improve pharmacokinetics and biodistribution, and reduce immunogenicity

Chinol, M, Casalini, P, Maggiolo, M, Canevari, S, Omodeo, ES, Caliceti, P, Veronese, FM, Cremonesi, M, Chiolerio, F, Nardone, E

Journal:

British Journal of Cancer

Year:

1998

Language:

english

File:

PDF, 1.55 MB

english, 1998