Bettini, Lorenzo: search on Z-Library

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

Don't use scam websites

1

[ACM Press the 9th International Conference - Kongens Lyngby, Denmark (2011.08.24-2011.08.26)] Proceedings of the 9th International Conference on Principles and Practice of Programming in Java - PPPJ '11 - A DSL for writing type systems for Xtext languages

Bettini, Lorenzo

Year:

2011

Language:

english

File:

PDF, 321 KB

english, 2011

2

A typed lambda calculus with intersection types

Viviana Bono, Betti Venneri, Lorenzo Bettini

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 420 KB

english, 2008

3

Towards Object-Oriented Klaim

Lorenzo Bettini, Viviana Bono, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 167 KB

english, 2002

4

On flexible dynamic trait replacement for Java-like languages

Bettini, Lorenzo, Capecchi, Sara, Damiani, Ferruccio

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 393 KB

english, 2013

5

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Implementing Java-like languages in Xtext with Xsemantics

Bettini, Lorenzo

Year:

2013

Language:

english

File:

PDF, 493 KB

english, 2013

6

[ACM Press the 2014 International Conference - Cracow, Poland (2014.09.23-2014.09.26)] Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14 - DeltaJ 1.5

Koscielny, Jonathan, Holthusen, Sönke, Schaefer, Ina, Schulze, Sandro, Bettini, Lorenzo, Damiani, Ferruccio

Year:

2014

Language:

english

File:

PDF, 532 KB

english, 2014

7

[ACM Press the 6th international symposium - Modena, Italy (2008.09.09-2008.09.11)] Proceedings of the 6th international symposium on Principles and practice of programming in Java - PPPJ '08 - Type safe dynamic object delegation in class-based languages

Bettini, Lorenzo, Bono, Viviana

Year:

2008

Language:

english

File:

PDF, 412 KB

english, 2008

8

Implementing type systems for the IDE with Xsemantics

Bettini, Lorenzo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 3.02 MB

english, 2015

9

[ACM Press the 13th International Conference - Lugano, Switzerland (2016.08.29-2016.09.02)] Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools - PPPJ '16 - Jbase

Bettini, Lorenzo

Year:

2016

Language:

english

File:

PDF, 303 KB

english, 2016

10

Physics and operation oriented activities in preparation of the JT-60SA tokamak exploitation

Giruzzi, G., Yoshida, M., Artaud, J.F., Asztalos, Ö., Barbato, E., Bettini, P., Bierwage, A., Boboc, A., Bolzonella, T., Clement-Lorenzo, S., Coda, S., Cruz, N., Day, Chr., De Tommasi, G., Dibon, M.,

Journal:

Year:

2017

File:

PDF, 7.32 MB

2017

11

Data Privacy in Tuple Space Based Mobile Agent Systems

Lorenzo Bettini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

12

Timed buffers: A technique for update propagation in nomadic environments

Lorenzo Bettini

Journal:

Computer Communications

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

13

Implementing a Distributed Mobile Calculus Using the IMC Framework

Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 366 KB

english, 2007

14

Featherweight Java with dynamic and static overloading

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 1.30 MB

english, 2009

15

Delegation by object composition

Lorenzo Bettini, Viviana Bono, Betti Venneri

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 420 KB

english, 2011

16

Extending Java to dynamic object behaviors

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

17

Klava: a Java package for distributed and mobile applications

Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese

Journal:

Software: Practice and Experience

Year:

2002

Language:

english

File:

PDF, 274 KB

english, 2002

18

Double dispatch in C++

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Software: Practice and Experience

Year:

2006

Language:

english

File:

PDF, 312 KB

english, 2006

19

Expression and localization of polygalacturonase during the outgrowth of lateral roots inAllium porrumL.

R. Peretto, F. Favaron, V. Bettini, G. Lorenzo, S. Marini, P. Alghisi, F. Cervone, P. Bonfante

Journal:

Year:

1992

Language:

english

File:

PDF, 4.70 MB

english, 1992

20

MOMI: a calculus for mobile mixins

Lorenzo Bettini, Betti Venneri, Viviana Bono

Journal:

Acta Informatica

Year:

2005

Language:

english

File:

PDF, 1.24 MB

english, 2005

21

Translating Double Dispatch into Single Dispatch

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 307 KB

english, 2005

22

Modelling Node Connectivity in Dynamically Evolving Networks

Lorenzo Bettini, Michele Loreti, Rosario Pugliese

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 263 KB

english, 2001

23

Postsurgical intra-incisional 5-fluorouracil in dogs with incompletely resected, extremity malignant spindle cell tumours: a pilot study

L. Marconato, S. Comastri, M. R. Lorenzo, F. Abramo, G. Bettini

Journal:

Veterinary and Comparative Oncology

Year:

2007

Language:

english

File:

PDF, 155 KB

english, 2007

24

Acclimation of an anaerobic consortium capable of effective biomethanization of mechanically-sorted organic fraction of municipal solid waste through a semi-continuous enrichment procedure

Lorenzo Bertin, Cristina Bettini, Giulio Zanaroli, Serena Fraraccio, Andrea Negroni, Fabio Fava

Journal:

Journal of Chemical Technology & Biotechnology

Year:

2012

Language:

english

File:

PDF, 148 KB

english, 2012

25

Comparison of early platelet activation in patients undergoing on-pump versus off-pump coronary artery bypass surgery

Andrea Ballotta, Hisham Z. Saleh, Hisham W. El Baghdady, Magdi Gomaa, Federica Belloli, Hassan Kandil, Yahia Balbaa, Fabrizio Bettini, Eduardo Bossone, Lorenzo Menicanti, Alessandro Frigiola, Carmen B

Journal:

The Journal of Thoracic and Cardiovascular Surgery

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

26

Bisphosphonate-associated osteonecrosis can hide jaw metastases

Alberto Bedogni, Giorgia Saia, Mirko Ragazzo, Giordana Bettini, Paola Capelli, Emiliano D'Alessandro, Pier Francesco Nocini, Lucio Lo Russo, Lorenzo Lo Muzio, Stella Blandamura

Journal:

Year:

2007

Language:

english

File:

PDF, 673 KB

english, 2007

27

The insertion of the Agrobacterium rhizogenes rolC gene in tomato (Solanum lycopersicum L.) affects plant architecture and endogenous auxin and abscisic acid levels

Priscilla Bettini, Rita Baraldi, Francesca Rapparini, Lorenzo Melani, Maria Luisa Mauro, Daniela Bindi, Marcello Buiatti

Journal:

Scientia Horticulturae

Year:

2010

Language:

english

File:

PDF, 293 KB

english, 2010

28

A continuous-flow approach for the development of an anaerobic consortium capable of an effective biomethanization of a mechanically sorted organic fraction of municipal solid waste as the sole substrate

Lorenzo Bertin, Cristina Bettini, Giulio Zanaroli, Dario Frascari, Fabio Fava

Journal:

Year:

2012

Language:

english

File:

PDF, 524 KB

english, 2012

29

X-Klaim and Klava: Programming Mobile Code

Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 161 KB

english, 2002

30

Software diversity: state of the art and perspectives

Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 445 KB

english, 2012

31

Combining traits with boxes and ownership types in a Java-like setting

Bettini, Lorenzo, Damiani, Ferruccio, Geilmann, Kathrin, Schäfer, Jan

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 493 KB

english, 2013

32

TraitRecordJ: A programming language with traits and records

Bettini, Lorenzo, Damiani, Ferruccio, Schaefer, Ina, Strocco, Fabio

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 527 KB

english, 2013

33

Compositional type checking of delta-oriented software product lines

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer

Journal:

Acta Informatica

Year:

2013

Language:

english

File:

PDF, 3.41 MB

english, 2013

34

Biodegradation of low-ethoxylated nonylphenols in a bioreactor packed with a new ceramic support (Vukopor ® S10)

Sciubba, Luigi, Bertin, Lorenzo, Todaro, Daniela, Bettini, Cristina, Fava, Fabio, Di Gioia, Diana

Journal:

Environmental Science and Pollution Research

Year:

2014

Language:

english

File:

PDF, 368 KB

english, 2014

35

Implementing type-safe software product lines using parametric traits

Bettini, Lorenzo, Damiani, Ferruccio, Schaefer, Ina

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.23 MB

english, 2015

36

Deriving session and union types for objects

BETTINI, LORENZO, CAPECCHI, SARA, DEZANI-CIANCAGLINI, MARIANGIOLA, GIACHINO, ELENA, VENNERI, BETTI

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 575 KB

english, 2013

37

[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - Software update via mobile agent based programming

Bettini, Lorenzo, De Nicola, Rocco, Loreti, Michele

Year:

2002

Language:

english

File:

PDF, 522 KB

english, 2002

38

[ACM Press the 5th international symposium - Lisboa, Portugal (2007.09.05-2007.09.07)] Proceedings of the 5th international symposium on Principles and practice of programming in Java - PPPJ '07 - Featherweight Java with multi-methods

Bettini, Lorenzo, Capecchi, Sara, Venneri, Betti

Year:

2007

Language:

english

File:

PDF, 406 KB

english, 2007

39

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Safe and flexible objects

Bettini, Lorenzo, Bono, Viviana, Likavec, Silvia

Year:

2005

Language:

english

File:

PDF, 158 KB

english, 2005

40

[ACM Press the 9th International Conference - Kongens Lyngby, Denmark (2011.08.24-2011.08.26)] Proceedings of the 9th International Conference on Principles and Practice of Programming in Java - PPPJ '11 - Object reuse and behavior adaptation in Java-like languages

Bettini, Lorenzo, Venneri, Betti

Year:

2011

Language:

english

File:

PDF, 357 KB

english, 2011

41

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Artifact evaluation (summary)

Bergel, Alexandre, Bettini, Lorenzo

Year:

2013

Language:

english

File:

PDF, 147 KB

english, 2013

42

[ACM Press the 2013 International Conference - Stuttgart, Germany (2013.09.11-2013.09.13)] Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13 - Pure trait-based programming on the Java platform

Bettini, Lorenzo, Damiani, Ferruccio

Year:

2013

Language:

english

File:

PDF, 516 KB

english, 2013

43

[ACM Press the 2014 International Conference - Cracow, Poland (2014.09.23-2014.09.26)] Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14 - Generic traits for the Java platform

Bettini, Lorenzo, Damiani, Ferruccio

Year:

2014

Language:

english

File:

PDF, 500 KB

english, 2014

44

[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - Featherweight wrap Java

Bettini, Lorenzo, Capecchi, Sara, Giachino, Elena

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

45

[ACM Press the tenth international conference - Porto de Galinhas, Brazil (2011.03.21-2011.03.25)] Proceedings of the tenth international conference on Aspect-oriented software development - AOSD '11 - Compositional type-checking for delta-oriented programming

Schaefer, Ina, Bettini, Lorenzo, Damiani, Ferruccio

Year:

2011

Language:

english

File:

PDF, 528 KB

english, 2011

46

[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - An infrastructure language for open nets

Bettini, Lorenzo, Loreti, Michele, Pugliese, Rosario

Year:

2002

Language:

english

File:

PDF, 493 KB

english, 2002

47

[ACM Press the 2000 ACM symposium - Como, Italy (2000..-..)] Proceedings of the 2000 ACM symposium on Applied computing - SAC '00 - Structured nets in KLAIM

Bettini, Lorenzo, Loreti, Michele, Pugliese, Rosario

Year:

2000

Language:

english

File:

PDF, 556 KB

english, 2000

48

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Implementing software product lines using traits

Bettini, Lorenzo, Damiani, Ferruccio, Schaefer, Ina

Year:

2010

Language:

english

File:

PDF, 406 KB

english, 2010

49

[ACM Press the 6th international symposium - Modena, Italy (2008.09.09-2008.09.11)] Proceedings of the 6th international symposium on Principles and practice of programming in Java - PPPJ '08 - A trait based re-engineering technique for Java hierarchies

Bettini, Lorenzo, Bono, Viviana, Naddeo, Marco

Year:

2008

Language:

english

File:

PDF, 673 KB

english, 2008

50

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - A core calculus of higher-order mixins and classes

Bettini, Lorenzo, Bono, Viviana, Likavec, Silvia

Year:

2004

Language:

english

File:

PDF, 116 KB

english, 2004

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