Cosmo, Roberto: search on Z-Library

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

Don't use scam websites

1

Scaling up functional programming education: under the hood of the OCaml MOOC

Canou, Benjamin, Di Cosmo, Roberto, Henry, Grégoire

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 614 KB

english, 2017

2

Apparent Treatment Resistant Hypertension, Blood Pressure Control and the Progression of Chronic Kidney Disease in Patients with Type 2 Diabetes

Viazzi, Francesca, Greco, Eulalia, Ceriello, Antonio, Fioretto, Paola, Giorda, Carlo, Guida, Pietro, Russo, Giuseppina, De Cosmo, Salvatore, Pontremoli, Roberto

Journal:

Kidney & Blood Pressure Research

Year:

2018

Language:

english

File:

PDF, 1.27 MB

english, 2018

3

[IEEE 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) - London, ON, Canada (2020.2.18-2020.2.21)] 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Dependency Solving Is Still Hard, but We Are Getting Better at It

Abate, Pietro, Di Cosmo, Roberto, Gousios, Georgios, Zacchiroli, Stefano

Year:

2020

File:

PDF, 260 KB

2020

4

Software provenance tracking at the scale of public source code

Rousseau, Guillaume, Di Cosmo, Roberto, Zacchiroli, Stefano

Journal:

Empirical Software Engineering

Year:

2020

File:

PDF, 2.25 MB

2020

5

Remarks on isomorphisms in typed lambda calculi with empty and sum types

Marcelo Fiore, Roberto Di Cosmo, Vincent Balat

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 265 KB

english, 2006

6

A calculus for parallel computations over multidimensional dense arrays

Roberto Di Cosmo, Zheng Li, Susanna Pelagatti

Journal:

Computer Languages, Systems & Structures

Year:

2007

Language:

english

File:

PDF, 704 KB

english, 2007

7

Supporting software evolution in component-based FOSS systems

Roberto Di Cosmo, Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 1.73 MB

english, 2011

8

Combining algebraic rewriting, extensional lambda calculi, and fixpoints

Roberto Di Cosmo, Delia Kesner

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.35 MB

english, 1996

9

Interaction of DIO2 T92A and PPARγ2 P12A Polymorphisms in the Modulation of Metabolic Syndrome

Mirella Fiorito, Isabella Torrente, Salvatore De Cosmo, Valentina Guida, Alessia Colosimo, Sabrina Prudente, Elisabetta Flex, Rossella Menghini, Roberto Miccoli, Giuseppe Penno, Fabio Pellegrini, Vitt

Journal:

Year:

2007

Language:

english

File:

PDF, 118 KB

english, 2007

10

Erratum to: The nutritional risk in oncology: a study of 1,453 cancer outpatients

Federico Bozzetti, Luigi Mariani, Salvatore Lo Vullo, Maria Luisa Amerio, Roberto Biffi, Riccardo Caccialanza, Giorgio Capuano, Isabel Correja, Luca Cozzaglio, Angelo Di Leo, Leonardo Di Cosmo, Concet

Journal:

Supportive Care in Cancer

Year:

2012

File:

PDF, 57 KB

2012

11

The nutritional risk in oncology: a study of 1,453 cancer outpatients

Federico Bozzetti, Luigi Mariani, Salvatore Lo Vullo, Maria Luisa Amerio, Roberto Biffi, Riccardo Caccialanza, Giovanni Capuano, Isabel Correja, Luca Cozzaglio, Angelo Di Leo, Leonardo Di Cosmo, Conce

Journal:

Supportive Care in Cancer

Year:

2012

Language:

english

File:

PDF, 185 KB

english, 2012

12

Horseradish peroxidase/hydrogen peroxide-catalyzed oxidation of VP16-213. Identification of a new metabolite

Massimo Broggini, Cosmo Rossi, Emilio Benfenati, Maurizio D'Incalci, Roberto Fanelli, Pierluigi Gariboldi

Journal:

Chemico-Biological Interactions

Year:

1985

Language:

english

File:

PDF, 523 KB

english, 1985

13

A modular package manager architecture

Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 747 KB

english, 2013

14

Fresh-frozen human bone allograft in vertical ridge augmentation: clinical and tomographic evaluation of bone formation and resorption

Macedo, Luis Guilherme Scavone, Mazzucchelli-Cosmo, Luiz Antonio, Macedo, Nelson Luiz, Monteiro, Adriana Socorro Ferreira, Sendyk, Wilson Roberto

Journal:

Cell and Tissue Banking

Year:

2012

Language:

english

File:

PDF, 700 KB

english, 2012

15

Association of the Q121 Variant of ENPP1 Gene With Decreased Kidney Function Among Patients With Type 2 Diabetes

Salvatore De Cosmo, Antonio Minenna, Yuan-Yuan Zhang, Robert Thompson, Giuseppe Miscio, Monica Vedovato, Anna Rauseo, Alois Saller, Sandra Mastroianno, Fabio Pellegrini, Roberto Trevisan, Paola Fioret

Journal:

American Journal of Kidney Diseases

Year:

2009

Language:

english

File:

PDF, 114 KB

english, 2009

16

A short survey of isomorphisms of types

DI COSMO, ROBERTO

Journal:

Mathematical Structures in Computer Science

Year:

2005

Language:

english

File:

PDF, 559 KB

english, 2005

17

[ACM Press the 15th ACM SIGSOFT symposium - Bertinoro, Italy (2012.06.25-2012.06.28)] Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering - CBSE '12 - Learning from the future of component repositories

Abate, Pietro, Di Cosmo, Roberto, Treinen, Ralf, Zacchiroli, Stefano

Year:

2012

Language:

english

File:

PDF, 490 KB

english, 2012

18

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

Mancinelli, Fabio, Boender, Jaap, Cosmo, Roberto, Vouillon, Jerome, Durak, Berke, Leroy, Xavier, Treinen, Ralf

Year:

2006

Language:

english

File:

PDF, 311 KB

english, 2006

19

Learning from the future of component repositories

Abate, Pietro, Di Cosmo, Roberto, Treinen, Ralf, Zacchiroli, Stefano

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.17 MB

english, 2014

20

Dependency solving: A separate concern in component evolution management

Abate, Pietro, Di Cosmo, Roberto, Treinen, Ralf, Zacchiroli, Stefano

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 1.00 MB

english, 2012

21

[ACM Press the 1st International Workshop - Nashville, Tennessee (2008.10.20-2008.10.20)] Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades - HotSWUp '08 - Package upgrades in FOSS distributions

Di Cosmo, Roberto, Zacchiroli, Stefano, Trezentos, Paulo

Year:

2008

Language:

english

File:

PDF, 163 KB

english, 2008

22

Non-alcoholic fatty liver disease: the role of nuclear receptors and circadian rhythmicity

Mazzoccoli, Gianluigi, Vinciguerra, Manlio, Oben, Jude, Tarquini, Roberto, De Cosmo, Salvatore

Journal:

Liver International

Year:

2014

Language:

english

File:

PDF, 394 KB

english, 2014

23

[IEEE 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM) - Lake Buena Vista, FL, USA (2009.10.15-2009.10.16)] 2009 3rd International Symposium on Empirical Software Engineering and Measurement - Strong dependencies between software components

Abate, Pietro, Di Cosmo, Roberto, Boender, Jaap, Zacchiroli, Stefano

Year:

2009

Language:

english

File:

PDF, 1.01 MB

english, 2009

24

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Broken sets in software repository evolution

Vouillon, Jerome, Di Cosmo, Roberto

Year:

2013

Language:

english

File:

PDF, 812 KB

english, 2013

25

[IEEE 2011 IEEE International Conference on Data Engineering Workshops (ICDEW) - Hannover, Germany (2011.04.11-2011.04.16)] 2011 IEEE 27th International Conference on Data Engineering Workshops - Predicting upgrade failures using dependency analysis

Abate, Pietro, Di Cosmo, Roberto

Year:

2011

Language:

english

File:

PDF, 184 KB

english, 2011

26

Aeolus: A component model for the cloud

Di Cosmo, Roberto, Mauro, Jacopo, Zacchiroli, Stefano, Zavattaro, Gianluigi

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 1009 KB

english, 2014

27

[IEEE 2008 IEEE Radar Conference (RADAR) - Rome, Italy (2008.05.26-2008.05.30)] 2008 IEEE Radar Conference - Preliminary performance analysis and design for a distributed P-band synthetic aperture radar

Alberti, Giovanni, Fasano, Giancarmine, D'Errico, Marco, Cesare, Stefano, Sechi, Gianfranco, Cosmo, Mario, Formaro, Roberto, Rioli, Quirino

Year:

2008

Language:

english

File:

PDF, 309 KB

english, 2008

28

[IEEE 2011 IEEE International Workshop on Open-source Software for Scientific Computation (OSSC) - Beijing, China (2011.10.12-2011.10.14)] 2011 IEEE International Workshop on Open-source Software for Scientific Computation - Free software: Scientific opportunities and challenges for the future

Di Cosmo, Roberto

Year:

2011

Language:

english

File:

PDF, 34 KB

english, 2011

29

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - Improving the Quality of GNU/Linux Distributions

Boender, Jaap, Di Cosmo, Roberto, Vouillon, Jerôme, Durak, Berke, Mancinelli, Fabio

Year:

2008

Language:

english

File:

PDF, 343 KB

english, 2008

30

A CALCULUS FOR DENSE ARRAY DISTRIBUTIONS

DI COSMO, ROBERTO, PELAGATTI, SUSANNA

Journal:

Parallel Processing Letters

Year:

2003

Language:

english

File:

PDF, 782 KB

english, 2003

31

SKELETAL PARALLEL PROGRAMMING WITH OCAMLP3L 2.0

DI COSMO, ROBERTO, LI, ZHENG, PELAGATTI, SUSANNA, WEIS, PIERRE

Journal:

Parallel Processing Letters

Year:

2008

Language:

english

File:

PDF, 912 KB

english, 2008

32

Early Renal Abnormalities as an Indicator of Cardiovascular Risk in Type 2 Diabetes

Viazzi, Francesca, Bonino, Barbara, Ratto, Elena, De Cosmo, Salvatore, Pontremoli, Roberto

Journal:

High Blood Pressure & Cardiovascular Prevention

Year:

2014

Language:

english

File:

PDF, 257 KB

english, 2014

33

Proof nets and explicit substitutions Using various translations of the $\l$ -calculus into proof nets, new abstract machines have been proposed that exploit the Geometry of Interaction and Dynamic Algebras (Girard 1989; Abramsky and Jagadeesan 1992; Danos 1990), leading to work on optimal reduction (Gonthier et al. 1992; Lamping 1990).

DI COSMO, ROBERTO, KESNER, DELIA, POLONOVSKI, EMMANUEL

Journal:

Mathematical Structures in Computer Science

Year:

2003

Language:

english

File:

PDF, 549 KB

english, 2003

34

Simulating expansions without expansions

Cosmo, Roberto Di, Kesner, Delia

Journal:

Mathematical Structures in Computer Science

Year:

1994

Language:

english

File:

PDF, 2.13 MB

english, 1994

35

Provable isomorphisms of types

Bruce, Kim B., Di Cosmo, Roberto, Longo, Giuseppe

Journal:

Mathematical Structures in Computer Science

Year:

1992

Language:

english

File:

PDF, 3.02 MB

english, 1992

36

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - Automated synthesis and deployment of cloud applications

Di Cosmo, Roberto, Lienhardt, Michael, Treinen, Ralf, Zacchiroli, Stefano, Zwolakowski, Jakub, Eiche, Antoine, Agahi, Alexis

Year:

2014

Language:

english

File:

PDF, 1.05 MB

english, 2014

37

[ACM Press the 11th annual SIGCSE conference - Bologna, Italy (2006.06.26-2006.06.28)] Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education - ITICSE '06 - Educating the e-citizen

Di Cosmo, Roberto

Year:

2006

Language:

english

File:

PDF, 134 KB

english, 2006

38

On isomorphisms of intersection types

Dezani-Ciancaglini, Mariangiola, Cosmo, Roberto Di, Giovannetti, Elio, Tatsuta, Makoto

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 229 KB

english, 2010

39

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - On software component co-installability

Di Cosmo, Roberto, Vouillon, Jérôme

Year:

2011

Language:

english

File:

PDF, 804 KB

english, 2011

40

On software component co-installability

Vouillon, Jérôme, Cosmo, Roberto Di

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 1.36 MB

english, 2013

41

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Easing software component repository evolution

Vouillon, Jérôme, Dogguy, Mehdi, Di Cosmo, Roberto

Year:

2014

Language:

english

File:

PDF, 442 KB

english, 2014

42

[ACM Press the 3rd India software engineering conference - Mysore, India (2010.02.25-2010.02.27)] Proceedings of the 3rd India software engineering conference on India software engineering conference - ISEC '10 - Using strong conflicts to detect quality issues in component-based complex systems

Di Cosmo, Roberto, Boender, Jaap

Year:

2010

Language:

english

File:

PDF, 555 KB

english, 2010

43

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Balat, Vincent, Di Cosmo, Roberto, Fiore, Marcelo

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

44

[IEEE 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (MSR) - Florence, Italy (2015.5.16-2015.5.17)] 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories - A Historical Analysis of Debian Package Incompatibilities

Claes, Maelick, Mens, Tom, Di Cosmo, Roberto, Vouillon, Jerome

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

45

Clock gene expression in human and mouse hepatic models shows similar periodicity but different dynamics of variation

Mazzoccoli, Gianluigi, Rubino, Rosa, Tiberio, Cristiana, Giuliani, Francesco, Vinciguerra, Manlio, Oben, Jude, De Cata, Angelo, Tarquini, Roberto, De Cosmo, Salvatore, Liu, Shu, Cai, Yanning

Journal:

Chronobiology International

Year:

2016

Language:

english

File:

PDF, 1.32 MB

english, 2016

46

Deciding type isomorphisms in a type-assignment framework

Di Cosmo, Roberto

Journal:

Journal of Functional Programming

Year:

1993

Language:

english

File:

PDF, 2.12 MB

english, 1993

47

A confluent reduction for the λ-calculus with surjective pairing and terminal object

Curien, Pierre-Louis, Cosmo, Roberto Di

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.48 MB

english, 1996

48

Review of Isomorphisms of Types:

Di Cosmo, Roberto

Journal:

ACM SIGACT News

Year:

1997

Language:

english

File:

PDF, 248 KB

english, 1997

49

Alternating intravenous and oral vinorelbine plus epirubicin with pegfilgrastim as neoadjuvant treatment of locally advanced breast cancer

Livi, Lorenzo, Paiar, Fabiola, Santini, Roberto, De Luca Cardillo, Carla, Galardi, Alessandra, Di Cosmo, Dora, Borghesi, Simona, Agresti, Benedetta, Nosi, Fabiano, Gavilli, Sergio, Biti, Gian Paolo

Journal:

Anti-Cancer Drugs

Year:

2006

Language:

english

File:

PDF, 74 KB

english, 2006

50

Educating the e-citizen

Di Cosmo, Roberto

Journal:

ACM SIGCSE Bulletin

Year:

2006

Language:

english

File:

PDF, 134 KB

english, 2006