GABBRIELLI, MAURIZIO: search on Z-Library

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

Don't use scam websites

1

Monte Carlo simulation approach for a modified FMECA in a power plant

Maurizio Bevilacqua, Marcello Braglia, Roberto Gabbrielli

Journal:

Quality and Reliability Engineering International

Year:

2000

Language:

english

File:

PDF, 122 KB

english, 2000

2

Portfolio approaches for constraint optimization problems

Amadini, Roberto, Gabbrielli, Maurizio, Mauro, Jacopo

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 687 KB

english, 2016

3

Introduction to algorithms in pascal: Thomas W. Parsons, (John Wiley & Sons, Inc. 1994), ISBN 0-471-11600-9

Maurizio Gabbrielli

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 163 KB

english, 1998

4

Proving correctness of timed concurrent constraint programs

De Boer, Frank S., Gabbrielli, Maurizio, Meo, Maria Chiara

Journal:

ACM Transactions on Computational Logic

Year:

2004

Language:

english

File:

PDF, 248 KB

english, 2004

5

[Lecture Notes in Computer Science] Logic-Based Program Synthesis and Transformation Volume 12042 (29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8â10, 2019, Revised Selected Papers) ||

Gabbrielli, Maurizio

Year:

2020

File:

PDF, 10.95 MB

2020

6

The s-semantics approach: Theory and applications

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 3.66 MB

english, 1994

7

A closer look at declarative interpretations

Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 1.76 MB

english, 1996

8

Confluence in concurrent constraint programming

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.29 MB

english, 1997

9

Layered modes

Sandro Etalle, Maurizio Gabbrielli

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 1.53 MB

english, 1999

10

Infinite Computations in Concurrent Constraint Programming

Frank S. de Boer, Maurizio Gabbrielli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 965 KB

english, 1997

11

Preface: Volume 16, Issue 1

Frank S. de Boer, Maurizio Gabbrielli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 36 KB

english, 1998

12

Exploring the metal phytoremediation potential of threePopulus albaL. clones using an in vitro screening

Sara Di Lonardo, Maurizio Capuana, Miluscia Arnetoli, Roberto Gabbrielli, Cristina Gonnelli

Journal:

Environmental Science and Pollution Research

Year:

2011

Language:

english

File:

PDF, 261 KB

english, 2011

13

Unfolding and fixpoint semantics of concurrent constraint logic programs

Maurizio Gabbrielli, Giorgio Levi

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 2.62 MB

english, 1992

14

Foreword

Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 162 KB

english, 2009

15

Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators

Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 445 KB

english, 1997

16

Response to cadmium in carrot in vitro plants and cell suspension cultures

Luigi Sanità di Toppi, Maurizio Lambardi, Luigia Pazzagli, Gianni Cappugi, Mauro Durante, Roberto Gabbrielli

Journal:

Year:

1998

Language:

english

File:

PDF, 143 KB

english, 1998

17

Extracorporeal shock wave lithotripsy of pancreatic stones in chronic pancreatitis: immediate and medium-term results

Guido Costamagna, Armando Gabbrielli, Massimiliano Mutignani, Vincenzo Perri, Monica Pandolfi, Maurizio Boscaini, Francesco Crucitti

Journal:

Gastrointestinal Endoscopy

Year:

1997

Language:

english

File:

PDF, 1.48 MB

english, 1997

18

[Undergraduate Topics in Computer Science] Programming Languages: Principles and Paradigms ||

Gabbrielli, Maurizio, Martini, Simone

Year:

2010

Language:

english

File:

PDF, 4.15 MB

english, 2010

19

The expressive power of CHR with priorities

Gabbrielli, Maurizio, Mauro, Jacopo, Meo, Maria Chiara

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 374 KB

english, 2013

20

Developing correct, distributed, adaptive software

Dalla Preda, Mila, Gabbrielli, Maurizio, Giallorenzo, Saverio, Lanese, Ivan, Mauro, Jacopo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 340 KB

english, 2015

21

Laboratory Experiences in Software Engineering from a Constructivist Perspective

Zuppiroli, Sara, Gabbrielli, Maurizio, Ciancarini, Paolo

Journal:

Procedia - Social and Behavioral Sciences

Year:

2013

Language:

english

File:

PDF, 107 KB

english, 2013

22

[Lecture Notes in Computer Science] Logic Programming Volume 3668 ||

Gabbrielli, Maurizio, Gupta, Gopal

Year:

2005

Language:

english

File:

PDF, 4.46 MB

english, 2005

23

[Lecture Notes in Computer Science] Logic Programming Volume 3668 || Hybridization of Genetic Algorithms and Constraint Propagation for the BACP

Gabbrielli, Maurizio, Gupta, Gopal

Year:

2005

Language:

english

File:

PDF, 234 KB

english, 2005

24

[IEEE 2012 IEEE 25th Conference on Software Engineering Education and Training - (CSEE&T) - Nanjing, China (2012.04.17-2012.04.19)] 2012 IEEE 25th Conference on Software Engineering Education and Training - A Role-Playing Game for a Software Engineering Lab: Developing a Product Line

Zuppiroli, Sara, Ciancarini, Paolo, Gabbrielli, Maurizio

Year:

2012

Language:

english

File:

PDF, 643 KB

english, 2012

25

[IEEE 2012 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2012.12.17-2012.12.19)] 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Service integration via target-transparent mediation

Preda, Mila Dalla, Gabbrielli, Maurizio, Guidi, Claudio, Mauro, Jacopo, Montesi, Fabrizio

Year:

2012

Language:

english

File:

PDF, 276 KB

english, 2012

26

NESTED GUARDED HORN CLAUSES

FALASCHI, MORENO, GABBRIELLI, MAURIZIO, LEVI, GIORGIO, MURAKAMI, MASAKI

Journal:

International Journal of Foundations of Computer Science

Year:

1990

Language:

english

File:

PDF, 736 KB

english, 1990

27

On the expressive power of recursion, replication and iteration in process calculi

BUSI, NADIA, GABBRIELLI, MAURIZIO, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 405 KB

english, 2009

28

Observable Semantics for Constraint Logic Programs

GABBRIELLI, MAURIZIO, DORE, GIOVANNA M., LEVI, GIORGIO

Journal:

Journal of Logic and Computation

Year:

1995

Language:

english

File:

PDF, 2.00 MB

english, 1995

29

Unfolding for CHR programs

GABBRIELLI, MAURIZIO, MEO, MARIA CHIARA, TACCHELLA, PAOLO, WIKLICKY, HERBERT

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 476 KB

english, 2015

30

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - An enhanced features extractor for a portfolio of constraint solvers

Amadini, Roberto, Gabbrielli, Maurizio, Mauro, Jacopo

Year:

2014

Language:

english

File:

PDF, 451 KB

english, 2014

31

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - A transformation system for CLP with dynamic scheduling and CCP

Etalle, Sandro, Gabbrielli, Maurizio, Marchiori, Elena

Year:

1997

Language:

english

File:

PDF, 1.51 MB

english, 1997

32

[ACM Press the 9th ACM SIGPLAN international conference - Wroclaw, Poland (2007.07.14-2007.07.16)] Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07 - Unfolding in CHR

Tacchella, Paolo, Gabbrielli, Maurizio, Meo, Maria Chiara

Year:

2007

Language:

english

File:

PDF, 238 KB

english, 2007

33

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - On the expressive power of priorities in CHR

Gabbrielli, Maurizio, Mauro, Jacopo, Meo, Maria Chiara

Year:

2009

Language:

english

File:

PDF, 445 KB

english, 2009

34

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Proving concurrent constraint programs correct

de Boer, Frank S., Gabbrielli, Maurizio, Marchiori, Elena, Palamidessi, Catuscia

Year:

1994

Language:

english

File:

PDF, 1.03 MB

english, 1994

35

On the Expressive Power of Multiple Heads in CHR

Di Giusto, Cinzia, Gabbrielli, Maurizio, Meo, Maria Chiara

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 266 KB

english, 2012

36

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - The replacement operation for CLP modules

Etalle, Sandro, Gabbrielli, Maurizio

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

37

Transformations of CCP programs

Etalle, Sandro, Gabbrielli, Maurizio, Meo, Maria Chiara

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2001

Language:

english

File:

PDF, 828 KB

english, 2001

38

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - SUNNY-CP

Amadini, Roberto, Gabbrielli, Maurizio, Mauro, Jacopo

Year:

2015

Language:

english

File:

PDF, 769 KB

english, 2015

39

A compositional semantics for CHR

Gabbrielli, Maurizio, Meo, Maria Chiara

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 276 KB

english, 2009

40

Proving concurrent constraint programs correct

De Boer, Frank S., Gabbrielli, Maurizio, Marchiori, Elena, Palamidessi, Catuscia

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1997

Language:

english

File:

PDF, 538 KB

english, 1997

41

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - A compositional semantics for CHR

Delzanno, Giorgio, Gabbrielli, Maurizio, Meo, Maria Chiara

Year:

2005

Language:

english

File:

PDF, 152 KB

english, 2005

42

Timed soft concurrent constraint programs: An interleaved and a parallel approach

BISTARELLI, STEFANO, GABBRIELLI, MAURIZIO, MEO, MARIA CHIARA, SANTINI, FRANCESCO

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 412 KB

english, 2015

43

SUNNY: a Lazy Portfolio Approach for Constraint Solving

AMADINI, ROBERTO, GABBRIELLI, MAURIZIO, MAURO, JACOPO

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 555 KB

english, 2014

44

Decidability properties for fragments of CHR

GABBRIELLI, MAURIZIO, MAURO, JACOPO, MEO, MARIA CHIARA, SNEYERS, JON

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 158 KB

english, 2010

45

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems

DELZANNO, GIORGIO, ETALLE, SANDRO, GABBRIELLI, MAURIZIO

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 36 KB

english, 2006

46

A transformation system for CLP with dynamic scheduling and CCP

Etalle, Sandro, Gabbrielli, Maurizio, Marchiori, Elena

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.51 MB

english, 1997

47

SUNNY-CP and the MiniZinc challenge

AMADINI, ROBERTO, GABBRIELLI, MAURIZIO, MAURO, JACOPO

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 162 KB

english, 2017

48

[IEEE 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC) - Yokohama (2017.10.16-2017.10.19)] 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC) - Smart mobility for all: A global federated market for mobility-as-a-service operators

Callegati, Franco, Gabbrielli, Maurizio, Giallorenzo, Saverio, Melis, Andrea, Prandini, Marco

Year:

2017

Language:

english

File:

PDF, 635 KB

english, 2017

49

Dynamic Slicing for Concurrent Constraint Languages

Falaschi, Moreno, Gabbrielli, Maurizio, Olarte, Carlos, Palamidessi, Catuscia, Hermenegildo, Manuel, LÃ³pez-GarcÃa, Pedro, Pettorossi, Alberto, Proietti, Maurizio

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 418 KB

2020