Marco ROVERI: search on Z-Library

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

Don't use scam websites

51

Polymeric admixtures effects on calcium carbonate crystallization: relevance to cement industries and biomineralization

Falini, Giuseppe, Manara, Silvia, Fermani, Simona, Roveri, Norberto, Goisis, Marco, Manganelli, Giuseppe, Cassar, Luigi

Journal:

Year:

2007

Language:

english

File:

PDF, 592 KB

english, 2007

52

[IEEE 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE) - Cambridge, MA, USA (2009.07.13-2009.07.15)] 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design - Codesign of dependable systems: A component-based modeling language

Bozzano, Marco, Cimatti, Alessandro, Roveri, Marco, Katoen, Joost-Pieter, Nguyen, Viet Yen, Noll, Thomas

Year:

2009

Language:

english

File:

PDF, 253 KB

english, 2009

53

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Cavada, Roberto, Cimatti, Alessandro, Franz¿en, Anders, Kalyanasundaram, Krishnamani, Roveri, Marco, Shyamasundar, R.K.

Year:

2007

Language:

english

File:

PDF, 206 KB

english, 2007

54

[Lecture Notes in Computer Science] Quality of Service in Multiservice IP Networks Volume 2601 ||

Marsan, Marco Ajmone, Corazza, Giorgio, Listanti, Marco, Roveri, Aldo

Year:

2003

Language:

english

File:

PDF, 11.59 MB

english, 2003

55

Age refinement of the Messinian salinity crisis onset in the Mediterranean

Manzi, Vinicio, Gennari, Rocco, Hilgen, Frits, Krijgsman, Wout, Lugli, Stefano, Roveri, Marco, Sierro, Francisco J.

Journal:

Year:

2013

Language:

english

File:

PDF, 2.01 MB

english, 2013

56

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Object Models with Temporal Constraints

Cimatti, Alessandro, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Year:

2008

Language:

english

File:

PDF, 385 KB

english, 2008

57

Safety assessment of AltaRica models via symbolic model checking

Bozzano, Marco, Cimatti, Alessandro, Lisagor, Oleg, Mattarei, Cristian, Mover, Sergio, Roveri, Marco, Tonetta, Stefano

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 997 KB

english, 2015

58

[IEEE 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - La Coruna, Spain (2006.7.12-2006.7.12)] 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - Genetic Techniques for Pattern Extraction in Particle Boards Images

Gamassi, Marco, Piuri, Vincenzo, Scotti, Fabio, Roveri, Manuel

Year:

2006

Language:

english

File:

PDF, 7.08 MB

english, 2006

59

[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 - Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation

Cimatti, Alessandro, Hunsberger, Luke, Micheli, Andrea, Posenato, Roberto, Roveri, Marco

Year:

2014

Language:

english

File:

PDF, 431 KB

english, 2014

60

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - From PSL to NBA: a Modular Symbolic Encoding

Cimatti, Alessandro, Roveri, Marco, Semprini, Simone, Tonetta, Stefano

Year:

2006

Language:

english

File:

PDF, 483 KB

english, 2006

61

[Lecture Notes in Computer Science] Quality of Service in Multiservice IP Networks Volume 2601 || An Adaptive QoS-routing Algorithm for IP Networks Using Genetic Algorithms

Marsan, Marco Ajmone, Corazza, Giorgio, Listanti, Marco, Roveri, Aldo

Year:

2003

Language:

english

File:

PDF, 940 KB

english, 2003

62

Solving strong controllability of temporal problems with uncertainty using SMT

Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco

Journal:

Year:

2015

Language:

english

File:

PDF, 2.56 MB

english, 2015

63

Analysis of the electric field behavior in the vicinity of a triple junction, using finite elements method computational simulations

Sant'Anna, Guilherme Mauad, Roveri, Davi Sabbag, Bertan, Hilton Henrique, Mologni, Juliano Fujioka, Braga, Edmundo Silva, Robert Alves, Marco Antonio

Journal:

Journal of Electrostatics

Year:

2015

Language:

english

File:

PDF, 2.14 MB

english, 2015

64

SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA

BLOEM, RODERICK, CIMATTI, ALESSANDRO, PILL, INGO, ROVERI, MARCO

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 891 KB

english, 2007

65

[Lecture Notes in Computer Science] Quality of Service in Multiservice IP Networks Volume 2601 || Adaptive MPEG-4 Video Streaming with Bandwidth Estimation

Marsan, Marco Ajmone, Corazza, Giorgio, Listanti, Marco, Roveri, Aldo

Year:

2003

Language:

english

File:

PDF, 303 KB

english, 2003

66

Different corrosive effects on hydroxyapatite nanocrystals and amine fluoride-based mouthwashes on dental titanium brackets: a comparative in vitro study

Roveri, Norberto, Marco, Lelli, Marchisio, Olivia, Ismaela, Foltran, Genovesi, Annamaria, Montebugnoli, Giulia, Massimo, Marcaccio, Ugo, Covani

Journal:

International Journal of Nanomedicine

Year:

2013

Language:

english

File:

PDF, 3.59 MB

english, 2013

67

[Lecture Notes in Computer Science] Quality of Service in Multiservice IP Networks Volume 2601 || End-to-End Bandwidth Estimation for Congestion Control in Packet Networks

Marsan, Marco Ajmone, Corazza, Giorgio, Listanti, Marco, Roveri, Aldo

Year:

2003

Language:

english

File:

PDF, 1.15 MB

english, 2003

68

[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 6371 || Formal Analysis of BPMN Models Using Event-B

Kowalewski, Stefan, Roveri, Marco

Year:

2010

Language:

english

File:

PDF, 1.90 MB

english, 2010

69

Remineralization and repair of enamel surface by biomimetic Zn-carbonate hydroxyapatite containing toothpaste: a comparative in vivo study

Lelli, Marco, Putignano, Angelo, Marchetti, Marco, Foltran, Ismaela, Mangani, Francesco, Procaccini, Maurizio, Roveri, Norberto, Orsini, Giovanna

Journal:

Frontiers in Physiology

Year:

2014

Language:

english

File:

PDF, 2.18 MB

english, 2014

70

Surface Enamel Remineralization: Biomimetic Apatite Nanocrystals and Fluoride Ions Different Effects

Roveri, Norberto, Battistella, Elisa, Bianchi, Claudia Letizia, Foltran, Ismaela, Foresti, Elisabetta, Iafisco, Michele, Lelli, Marco, Naldoni, Alberto, Palazzo, Barbara, Rimondini, Lia

Journal:

Journal of Nanomaterials

Year:

2009

Language:

english

File:

PDF, 2.79 MB

english, 2009

71

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Verification and performance evaluation of aadl models

Bozzano, Marco, Cimatti, Alessandro, Roveri, Marco, Katoen, Joost-Pieter, Nguyen, Viet Yen, Noll, Thomas

Year:

2009

Language:

english

File:

PDF, 339 KB

english, 2009

72

[ACM Press Proceeding of the 1st workshop - Waikiki, Honolulu, HI, USA (2011.05.28-2011.05.28)] Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11 - OthelloPlay

Cavada, Roberto, Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco, Susi, Angelo, Tonetta, Stefano

Year:

2011

Language:

english

File:

PDF, 81 KB

english, 2011

73

Metalated nucleotide chemisorption on hydroxyapatite

Benedetti, Michele, Antonucci, Daniela, De Castro, Federica, Girelli, Chiara R., Lelli, Marco, Roveri, Norberto, Fanizzi, Francesco P.

Journal:

Journal of Inorganic Biochemistry

Year:

2015

Language:

english

File:

PDF, 887 KB

english, 2015

74

Adsorption of the cis-[Pt(NH3)2(P2O7)]2− (phosphaplatin) on hydroxyapatite nanocrystals as a smart way to selectively release activated cis-[Pt(NH3)2Cl2] (cisplatin) in tumor tissues

Benedetti, Michele, De Castro, Federica, Romano, Alessandro, Migoni, Danilo, Piccinni, Barbara, Verri, Tiziano, Lelli, Marco, Roveri, Norberto, Fanizzi, Francesco P.

Journal:

Journal of Inorganic Biochemistry

Year:

2016

Language:

english

File:

PDF, 614 KB

english, 2016

75

HRELTL: A temporal logic for hybrid systems

Cimatti, Alessandro, Roveri, Marco, Tonetta, Stefano

Journal:

Information and Computation

Year:

2015

Language:

english

File:

PDF, 566 KB

english, 2015

76

Comment on “Carbonate deposition and diagenesis in evaporitic environments: The evaporative and sulphur-bearing limestones during the settlement of the Messinian Salinity Crisis in Sicily and Calabria” by Caruso et al., 2015. Palaeo3, 429, 136–162

Manzi, Vinicio, Gennari, Rocco, Lugli, Stefano, Minelli, Nicola, Roveri, Marco, Reghizzi, Matteo, Charlotte Schreiber, B.

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2016

Language:

english

File:

PDF, 2.30 MB

english, 2016

77

Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking

Griggio, Alberto, Roveri, Marco

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

78

Dynamic controllability via Timed Game Automata

Cimatti, Alessandro, Hunsberger, Luke, Micheli, Andrea, Posenato, Roberto, Roveri, Marco

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1.20 MB

english, 2016

79

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Cavada, Roberto, Cimatti, Alessandro, Franz´en, Anders, Kalyanasundaram, Krishnamani, Roveri, Marco, Shyamasundar, R.K.

Year:

2007

Language:

english

File:

PDF, 206 KB

english, 2007

80

[American Institute of Aeronautics and Astronautics 13th International Conference on Space Operations 2014 - Pasadena, CA ()] 13th International Conference on Space Operations 2014 - Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure

Steel, Robin, Hoffmann, Alexander, Niezette, Marc, Cimatti, Alessandro, Roveri, Marco, Kapellos, Konstantinos, Donati, Alessandro, Policella, Nicola

Year:

2014

Language:

english

File:

PDF, 736 KB

english, 2014

81

Hydroxyapatite nanocrystals as a smart, pH sensitive, delivery system for kiteplatin

Lelli, Marco, Roveri, Norberto, Marzano, Cristina, Hoeschele, James D., Curci, Alessandra, Margiotta, Nicola, Gandin, Valentina, Natile, Giovanni

Journal:

Dalton Transactions

Year:

2016

Language:

english

File:

PDF, 974 KB

english, 2016

82

Redox status in a model of cancer stem cells

Zaccarin, Mattia, Bosello-Travain, Valentina, Di Paolo, Maria Luisa, Falda, Marco, Maiorino, Matilde, Miotto, Giovanni, Piccolo, Stefano, Roveri, Antonella, Ursini, Fulvio, Venerando, Rina, Toppo, Ste

Journal:

Archives of Biochemistry and Biophysics

Year:

2016

Language:

english

File:

PDF, 985 KB

english, 2016

83

Sedimentary and tectonic evolution of the Vena del Gesso basin (Northern Apennines, Italy): Implications for the onset of the Messinian salinity crisis

Roveri, Marco, Manzi, Vinicio, Ricci Lucchi, Franco, Rogledi, Sergio

Journal:

Base of the Kiaman Its definition and global stratigraphic significance

Year:

2003

Language:

english

File:

PDF, 5.79 MB

english, 2003

84

Isotope stratigraphy (87Sr/86Sr, δ18O, δ13C) of the Sorbas basin (Betic Cordillera, Spain): Paleoceanographic evolution across the onset of the Messinian salinity crisis

Reghizzi, Matteo, Gennari, Rocco, Douville, Eric, Lugli, Stefano, Manzi, Vinicio, Montagna, Paolo, Roveri, Marco, Sierro, Francisco Javier, Taviani, Marco

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

85

How dry was the Mediterranean during the Messinian salinity crisis?

Vasiliev, Iuliana, Mezger, Eveline M., Lugli, Stefano, Reichart, Gert-Jan, Manzi, Vinicio, Roveri, Marco

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2017

Language:

english

File:

PDF, 1.15 MB

english, 2017

86

The onset of the Messinian salinity crisis in the deep Eastern Mediterranean basin

Manzi, Vinicio, Gennari, Rocco, Lugli, Stefano, Persico, Davide, Reghizzi, Matteo, Roveri, Marco, Schreiber, B.C., Calvo, Rani, Gavrieli, Ittai, Gvirtzman, Zohar

Journal:

Year:

2018

Language:

english

File:

PDF, 1.33 MB

english, 2018

87

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || Towards a Reference Dataset of Microservice-Based Applications

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 297 KB

english, 2018

88

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || From (Incomplete) TOSCA Specifications to Running Applications, with Docker

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 815 KB

english, 2018

89

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || A Refinement Approach to Analyse Critical Cyber-Physical Systems

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 497 KB

english, 2018

90

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 778 KB

english, 2018

91

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || Using Coq for Formal Modeling and Verification of Timed Connectors

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 816 KB

english, 2018

92

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || Intercepting Blackhole Attacks in MANETs: An ASM-based Model

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 457 KB

english, 2018

93

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || A Formal Framework for Specifying and Verifying Microservices Based Process Flows

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 1.16 MB

english, 2018

94

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || Generalized Oracle for Testing Machine Learning Computer Programs

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 205 KB

english, 2018

95

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || A Computational Model of Internet Addiction Phenomena in Social Networks

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 1.63 MB

english, 2018

96

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10729 || A Framework for Modelling Variable Microservices as Software Product Lines

Cerone, Antonio, Roveri, Marco

Year:

2018

Language:

english

File:

PDF, 959 KB

english, 2018

97

Miocene to Pleistocene osmium isotopic records of the Mediterranean sediments

Kuroda, Junichiro, Jiménez-Espejo, Francisco J., Nozaki, Tatsuo, Gennari, Rocco, Lugli, Stefano, Manzi, Vinicio, Roveri, Marco, Flecker, Rachel, Sierro, Francisco J., Yoshimura, Toshihiro, Suzuki, Kat

Journal:

Paleoceanography

Year:

2016

Language:

english

File:

PDF, 2.15 MB

english, 2016

98

Lactoferrin Adsorbed onto Biomimetic Hydroxyapatite Nanocrystals Controlling - In Vivo - the Helicobacter pylori Infection

Fulgione, Andrea, Nocerino, Nunzia, Iannaccone, Marco, Roperto, Sante, Capuano, Federico, Roveri, Norberto, Lelli, Marco, Crasto, Antonio, Calogero, Armando, Pilloni, Argenia Paola, Capparelli, Rosann

Journal:

Year:

2016

Language:

english

File:

PDF, 4.42 MB

english, 2016

99

Orbitally-forced hydrological balance during the Messinian salinity crisis: insights from strontium isotopes ( 87 Sr/ 86 Sr) in the Vena del Gesso basin (Northern Apennines, Italy)

Reghizzi, Matteo, Lugli, Stefano, Manzi, Vinicio, Rossi, Francesco Paolo, Roveri, Marco

Journal:

Paleoceanography and Paleoclimatology

Year:

2018

Language:

english

File:

PDF, 938 KB

english, 2018

100

A new chronostratigraphic and palaeoenvironmental framework for the end of the Messinian salinity crisis in the Sorbas Basin (Betic Cordillera, southern Spain)

Roveri, Marco, Gennari, Rocco, Persico, Davide, Rossi, Francesco Paolo, Lugli, Stefano, Manzi, Vinicio, Reghizzi, Matteo, Taviani, Marco, Wang, Xiang-dong

Journal:

Geological Journal

Year:

2018

File:

PDF, 2.02 MB

2018

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Български