Angelo Montanari: search on Z-Library

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

Don't use scam websites

51

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - A Contraction Method to Decide MSO Theories of Deterministic Trees

Montanari, Angelo, Puppis, Gabriele

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

52

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT

Bresolin, Davide, Monica, Dario Della, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 233 KB

english, 2011

53

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

54

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - A Decidable Spatial Generalization of Metric Interval Temporal Logic

Bresolin, Davide, Sala, Pietro, Della Monica, Dario, Montanari, Angelo, Sciavicco, Guido

Year:

2010

Language:

english

File:

PDF, 343 KB

english, 2010

55

Foreword

Goranko, Valentin, Montanari, Angelo

Journal:

Journal of Applied Non-Classical Logics

Year:

2004

Language:

english

File:

PDF, 33 KB

english, 2004

56

Evaluation of IFN-γ polymorphism+874 T/A in patients with recurrent tonsillitis by PCR Real Time Mismatch Amplification Mutation Assay (MAMA Real Time PCR)

Bergallo, Massimiliano, Gambarino, Stefano, Loiacono, Elisa, Vergano, Luca, Galliano, Ilaria, Montanari, Paola, Astegiano, Sara, Tavormina, Paolo, Tovo, Pier-Angelo

Journal:

Year:

2015

Language:

english

File:

PDF, 344 KB

english, 2015

57

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Bresolin, Davide, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 483 KB

english, 2011

58

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Checking Interval Properties of Computations

Montanari, Angelo, Murano, Aniello, Perelli, Giuseppe, Peron, Adriano

Year:

2014

Language:

english

File:

PDF, 345 KB

english, 2014

59

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

Bresolin, Davide, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2009

Language:

english

File:

PDF, 365 KB

english, 2009

60

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - An optimal tableau for Right Propositional Neighborhood Logic over Trees

Bresolin, Davide, Montanari, Angelo, Sala, Pietro

Year:

2008

Language:

english

File:

PDF, 313 KB

english, 2008

61

[IEEE 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - Alicante, Spain (2007.06.28-2007.06.30)] 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - On the Equivalence of Automaton-Based Representations of Time Granularities

Lago, Ugo Dal, Montanari, Angelo, Puppis, Gabriele

Year:

2007

Language:

english

File:

PDF, 230 KB

english, 2007

62

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness

Montanari, Angelo, Sala, Pietro

Year:

2013

Language:

english

File:

PDF, 299 KB

english, 2013

63

PREFACE

MONTANARI, ANGELO, NAPOLI, MARGHERITA, PARENTE, MIMMO

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 81 KB

english, 2012

64

Comparison of Two Available RNA Extraction Protocols for microRNA Amplification in Serum Samples

Bergallo, Massimiliano, Gambarino, Stefano, Martino, Silvana, Montin, Davide, Montanari, Paola, Galliano, Ilaria, Tovo, Pier-Angelo

Journal:

Journal of Clinical Laboratory Analysis

Year:

2015

Language:

english

File:

PDF, 250 KB

english, 2015

65

CMV induces HERV-K and HERV-W expression in kidney transplant recipients

Bergallo, Massimiliano, Galliano, Ilaria, Montanari, Paola, Gambarino, Stefano, Mareschi, Katia, Ferro, Francesca, Fagioli, Franca, Tovo, Pier-Angelo, Ravanini, Paolo

Journal:

Journal of Clinical Virology

Year:

2015

Language:

english

File:

PDF, 477 KB

english, 2015

66

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Aceto, Luca, Della Monica, Dario, Goranko, Valentin, Ingólfsdóttir, Anna, Montanari, Angelo, Sciavicco, Guido

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

67

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Metric Propositional Neighborhood Logic with an Equivalence Relation

Montanari, Angelo, Pazzaglia, Marco, Sala, Pietro

Year:

2014

Language:

english

File:

PDF, 392 KB

english, 2014

68

1997 Index IEEE Transactions on Image Processing Vol. 6

Montanari, Angelo, Pazzaglia, Marco, Sala, Pietro

Journal:

IEEE Transactions on Image Processing

Year:

1997

Language:

english

File:

PDF, 889 KB

english, 1997

69

Modulation of Fronto-Cortical Activity by Modafinil: A Functional Imaging and Fos Study in the Rat

Gozzi, Alessandro, Colavito, Valeria, Seke Etet, Paul F, Montanari, Dino, Fiorini, Silvia, Tambalo, Stefano, Bifone, Angelo, Zucconi, Gigliola Grassi, Bentivoglio, Marina

Journal:

Neuropsychopharmacology

Year:

2012

Language:

english

File:

PDF, 917 KB

english, 2012

70

[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - The t4sql temporal query language

Combi, Carlo, Montanari, Angelo, Pozzi, Giuseppe

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

71

[ACM Press the 16th ACM SIGSPATIAL international conference - Irvine, California (2008.11.05-2008.11.07)] Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems - GIS '08 - A conceptual spatial model supporting topologically-consistent multiple representations

Gubiani, Donatella, Montanari, Angelo

Year:

2008

Language:

english

File:

PDF, 850 KB

english, 2008

72

Circadian Rhythms of Atrial Natriuretic Peptide, Blood Pressure and Heart Rate in Normal Subjects

Portaluppi, Francesco, Montanari, Loris, Bagni, Bruno, degli Uberti, Ettore, Trasforini, Giorgio, Margutti, Angelo

Journal:

Year:

1989

File:

PDF, 752 KB

1989

73

Thyroid Function and Autoimmunity during Interferon β-1b Treatment: A Multicenter Prospective Study

Durelli, Luca, Ferrero, Bruno, Oggero, Alessandra, Verdun, Elisabetta, Ghezzi, Angelo, Montanari, Enrico, Zaffaroni, Mauro

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2001

Language:

english

File:

PDF, 97 KB

english, 2001

74

Assessment of Normal-Appearing White and Gray Matter in Patients With Primary Progressive Multiple Sclerosis

Rovaris, Marco, Bozzali, Marco, Iannucci, Giuseppe, Ghezzi, Angelo, Caputo, Domenico, Montanari, Enrico, Bertolotto, Antonio, Bergamaschi, Roberto, Capra, Ruggero, Mancardi, Giovanni Luigi, Martinelli

Journal:

Archives of Neurology

Year:

2002

Language:

english

File:

PDF, 123 KB

english, 2002

75

Games, Automata, Logics, and Formal Verification (GandALF 2013)

Montanari, Angelo, Puppis, Gabriele, Villa, Tiziano

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 145 KB

english, 2015

76

[IEEE 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Kassel, Germany (2015.9.23-2015.9.25)] 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS

Molinari, Alberto, Montanari, Angelo, Peron, Adriano

Year:

2015

Language:

english

File:

PDF, 344 KB

english, 2015

77

Human Endogenous Retrovirus Expression in Primary Cutaneous T-Cell Lymphomas

Fava, Paolo, Bergallo, Massimiliano, Astrua, Chiara, Brizio, Matteo, Galliano, Ilaria, Montanari, Paola, Tovo, Pier Angelo, Novelli, Mauro, Savoia, Paola, Quaglino, Pietro, Fierro, Maria Teresa

Journal:

Year:

2015

Language:

english

File:

PDF, 609 KB

english, 2015

78

[IEEE 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Kassel, Germany (2015.9.23-2015.9.25)] 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Undecidability of Chop

Montanari, Angelo, Munoz-Velasco, Emilio, Sciavicco, Guido

Year:

2015

Language:

english

File:

PDF, 298 KB

english, 2015

79

Trends in temporal representation and reasoning

Chittaro, Luca, Montanari, Angelo

Journal:

The Knowledge Engineering Review

Year:

1996

Language:

english

File:

PDF, 826 KB

english, 1996

80

Temporalized logics and automata for time granularity

FRANCESCHET, MASSIMO, MONTANARI, ANGELO

Journal:

Theory and Practice of Logic Programming

Year:

2004

Language:

english

File:

PDF, 337 KB

english, 2004

81

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic

Molinari, Alberto, Montanari, Angelo, Peron, Adriano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 296 KB

english, 2016

82

Checking interval properties of computations

Molinari, Alberto, Montanari, Angelo, Murano, Aniello, Perelli, Giuseppe, Peron, Adriano

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

83

Adding one or more equivalence relations to the interval temporal logic

Montanari, Angelo, Pazzaglia, Marco, Sala, Pietro

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 625 KB

english, 2016

84

Development of a Low-Cost Stem-Loop Real-Time Quantification PCR Technique for EBV miRNA Expression Analysis

Bergallo, Massimiliano, Merlino, Chiara, Montin, Davide, Galliano, Ilaria, Gambarino, Stefano, Mareschi, Katia, Fagioli, Franca, Montanari, Paola, Martino, Silvana, Tovo, Pier-Angelo

Journal:

Molecular Biotechnology

Year:

2016

Language:

english

File:

PDF, 1.09 MB

english, 2016

85

Metric propositional neighborhood logic with an equivalence relation

Montanari, Angelo, Pazzaglia, Marco, Sala, Pietro

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 671 KB

english, 2016

86

[IEEE 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Regensburg, Germany (2007.09.3-2007.09.7)] 18th International Conference on Database and Expert Systems Applications (DEXA 2007) - Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema

Franceschet, Massimo, Montanari, Angelo, Gubiani, Donatella

Year:

2007

Language:

english

File:

PDF, 252 KB

english, 2007

87

Nocturnal hypertension in chronic renal failure. A chronobiological study

Portaluppi, Francesco, Montanari, Loris, Uberti, Ettore degli, Margutti, Angelo, Pansini, Rafaele

Journal:

Journal of Interdisiplinary Cycle Research

Year:

1990

Language:

english

File:

PDF, 328 KB

english, 1990

88

Circadian rhythms of atrial natriuretic peptide, renin, aldosterone, cortisol, blood pressure and heart rate in normal and hypertensive subjects

Portaluppi, Francesco, Bagni, Bruno, Uberti, Ettore degli, Montanari, Loris, Cavallini, Rosy, Trasforini, Giorgio, Margutti, Angelo, Ferlini, Michele, Zanella, Massimo, Parti, Monica

Journal:

Journal of Hypertension

Year:

1990

File:

PDF, 792 KB

1990

89

Modal Deduction in Second-Order Logic and Set Theory: II

Johan van Benthem, Giovanna D'Agostino, Angelo Montanari and Alberto Policriti

Journal:

Year:

1998

Language:

english

File:

PDF, 3.08 MB

english, 1998

90

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Interval Temporal Logics Model Checking

Montanari, Angelo

Year:

2016

Language:

english

File:

PDF, 75 KB

english, 2016

91

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

Gigante, Nicola, Montanari, Angelo, Mayer, Marta Cialdea, Orlandini, Andrea

Year:

2016

Language:

english

File:

PDF, 236 KB

english, 2016

92

Evaluation of Polymorphism Influence in the Finasteride

da Silva, Lucélia, Montanari, Cristina, Ângelo, Marilene, Cazedey, Edith Cristina, Bonfilio, Rudy, Araújo, Magali

Journal:

Acta Crystallographica Section A Foundations and Advances

Year:

2014

Language:

english

File:

PDF, 601 KB

english, 2014

93

A Comprehensive Review on Copemyl®

Annovazzi, Pietro, Bertolotto, Antonio, Brescia Morra, Vincenzo, Gasperini, Claudio, Montanari, Enrico, Navarra, Pierluigi, Patti, Francesco, Sormani, Maria Pia, Ghezzi, Angelo

Journal:

Neurology and Therapy

Year:

2017

Language:

english

File:

PDF, 764 KB

english, 2017

94

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives

Molinari, Alberto, Montanari, Angelo, Peron, Adriano

Journal:

Information and Computation

Year:

2017

Language:

english

File:

PDF, 2.05 MB

english, 2017

95

Absolute quantification of residual DNA in a new extracellular matrix derived from human reticular dermis (HADM) using real-time TaqMan® MGB-PCR

Bergallo, Massimiliano, Galliano, Ilaria, Montanari, Paola, Cambieri, Irene, Fumagalli, Mara, Casarin, Stefania, Ferravante, Angelo, Alotto, Daniela, Stella, Maurizio, Castagnoli, Carlotta

Journal:

Bio-Medical Materials and Engineering

Year:

2017

Language:

english

File:

PDF, 592 KB

english, 2017

96

Molecular Detection of Human Astrovirus in Children with Gastroenteritis, Northern Italy

Bergallo, Massimiliano, Galliano, Ilaria, Daprà, Valentina, Rassu, Marco, Montanari, Paola, Tovo, Pier-Angelo

Journal:

Pediatric Infectious Disease Journal

Year:

2018

Language:

english

File:

PDF, 1.51 MB

english, 2018

97

[IEEE 2017 International Conference on Localization and GNSS (ICL-GNSS) - Nottingham, United Kingdom (2017.6.27-2017.6.29)] 2017 International Conference on Localization and GNSS (ICL-GNSS) - Dealing with network changes in cellular fingerprint positioning systems

Viel, Andrea, Gallo, Paolo, Montanari, Angelo, Gubiani, Donatella, Torre, Andrea Dalla, Pittino, Federico, Marshall, Chris

Year:

2017

Language:

english

File:

PDF, 4.66 MB

english, 2017

98

[IEEE 2018 12th International Conference on the Properties and Applications of Dielectric Materials (ICPADM) - Xi'an (2018.5.20-2018.5.24)] 2018 12th International Conference on the Properties and Applications of Dielectric Materials (ICPADM) - Cable commissioning and diagnostic tests: The effect of voltage supply frequency on partial discharge behavior

Feng, Xianyong, Xiong, Qing, Gattozzi, Angelo, Montanari, Gian Carlo, Seri, Paolo, Hebner, Robert

Year:

2018

Language:

english

File:

PDF, 518 KB

english, 2018

99

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Bozzelli, Laura, Molinari, Alberto, Montanari, Angelo, Peron, Adriano, Sala, Pietro

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 1.02 MB

english, 2018

100

Transcriptional Activity of Human Endogenous Retroviruses in Response to Prenatal Exposure of Maternal Cigarette Smoking

Bergallo, Massimiliano, Galliano, Ilaria, Daprà, Valentina, Pirra, Alice, Montanari, Paola, Pavan, Marzia, Calvi, Cristina, Bertino, Enrico, Coscia, Alessandra, Tovo, Pier-Angelo

Journal:

American Journal of Perinatology

Year:

2018

Language:

english

File:

PDF, 147 KB

english, 2018