% csauthors.net - beta - BibTeX bibliography of Giorgio Ghelli
@inproceedings{conf/pos/AlbanoGO85,
title = {The Implementation of Galileo's Persistent Values.},
year = {1985},
booktitle = {Data Types and Persistence (Appin), Informal Proceedings},
author = {{Antonio Albano} and {Giorgio Ghelli} and {Renzo Orsini}},
booktitle = {Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, UK, August 1985}
}
@inproceedings{conf/oodbs/AlbanoGOO86,
title = {A Strongly Typed, Interactive Object-Oriented Database Programming Language.},
year = {1986},
booktitle = {OODBS},
author = {{Antonio Albano} and {Giorgio Ghelli} and {M. Eugenia Occhiuto} and {Renzo Orsini}},
publisher = {IEEE Computer Society},
booktitle = {1986 International Workshop on Object-Oriented Database Systems, September 23-26, 1986, Asilomar Conference Center, Pacific Grove, California, USA, Proceedings.}
}
@inproceedings{conf/dbpl/AlbanoDGMMOS89,
title = {A Framework for Comparing Type Systems for Database Programming Languages.},
year = {1989},
booktitle = {DBPL},
author = {{Antonio Albano} and {Alan Dearle} and {Giorgio Ghelli} and {Chris D. Marlin} and {Ronald Morrison} and {Renzo Orsini} and {David W. Stemple}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon, USA}
}
@inproceedings{conf/dbpl/AlbanoGO89,
title = {Types for Databases: The Galileo Experience.},
year = {1989},
booktitle = {DBPL},
author = {{Antonio Albano} and {Giorgio Ghelli} and {Renzo Orsini}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon, USA}
}
@inproceedings{conf/caap/CurienG90,
title = {Coherence of Subsumption.},
year = {1990},
booktitle = {CAAP},
author = {{Pierre-Louis Curien} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings}
}
@inproceedings{conf/icdt/Ghelli90,
title = {A Class Abstraction for a Hierarchical Type System.},
year = {1990},
booktitle = {ICDT},
author = {{Giorgio Ghelli}},
publisher = {Springer},
booktitle = {ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings}
}
@inproceedings{conf/rex/Ghelli90,
title = {Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes.},
year = {1990},
booktitle = {REX Workshop},
author = {{Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings}
}
@incollection{books/sp/dittrichDB91/AlbanoGOO91,
title = {Object-Oriented Galileo.},
year = {1991},
booktitle = {On Object-Oriented Database System},
author = {{Antonio Albano} and {Giorgio Ghelli} and {M. Eugenia Occhiuto} and {Renzo Orsini}},
publisher = {Springer},
booktitle = {On Object-Oriented Database Systems}
}
@inproceedings{conf/dbpl/AlbanoGO91,
title = {Objects for a Database Programming Language.},
year = {1991},
booktitle = {DBPL},
author = {{Antonio Albano} and {Giorgio Ghelli} and {Renzo Orsini}},
publisher = {Morgan Kaufmann},
booktitle = {Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings}
}
@inproceedings{conf/oopsla/Ghelli91,
title = {A Static Type System for Message Passing.},
year = {1991},
booktitle = {OOPSLA},
author = {{Giorgio Ghelli}},
publisher = {ACM},
booktitle = {Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1991, Phoenix, Arizona, USA, October 6-11, 1991.}
}
@inproceedings{conf/rta/CurienG91,
title = {On Confluence for Weakly Normalizing Systems.},
year = {1991},
booktitle = {RTA},
author = {{Pierre-Louis Curien} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings}
}
@inproceedings{conf/tacs/CurienG91,
title = {Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=.},
year = {1991},
booktitle = {TACS},
author = {{Pierre-Louis Curien} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings}
}
@inproceedings{conf/vldb/AlbanoGO91,
title = {A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language.},
year = {1991},
booktitle = {VLDB},
author = {{Antonio Albano} and {Giorgio Ghelli} and {Renzo Orsini}},
publisher = {Morgan Kaufmann},
booktitle = {17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings.}
}
@inproceedings{conf/pos/ConnorAGO92,
title = {Keynote Discussion Session on Persistent Type Systems.},
year = {1992},
booktitle = {POS},
author = {{Richard C. H. Connor} and {Malcolm P. Atkinson 001} and {Giorgio Ghelli} and {Atsushi Ohori}},
publisher = {Springer},
booktitle = {Persistent Object Systems, Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September, 1992}
}
@inproceedings{conf/pos/Ghelli92,
title = {Run-Time Support for Hierarchic Records in Persistent Languages.},
year = {1992},
booktitle = {POS},
author = {{Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Persistent Object Systems, Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September, 1992}
}
@article{journals/mscs/CurienG92,
title = {Coherence of Subsumption, Minimum Typing and Type-Checking in F<=.},
year = {1992},
journal = {Math. Struct. Comput. Sci.},
author = {{Pierre-Louis Curien} and {Giorgio Ghelli}}
}
@inproceedings{conf/sebd/AlbanoBGO93,
title = {An Introduction to the Database Programming Language Fibonacci.},
year = {1993},
booktitle = {SEBD},
author = {{Antonio Albano} and {Roberto Bergamini} and {Giorgio Ghelli} and {Renzo Orsini}},
publisher = {Mediterranean Press (via S. Pellico, 13 - Tel. 0984-465645 - 87030 Rende (CS))},
booktitle = {Convegno SEBD'93, Proceedings of the Conference on Advanced Database Systems (Atti del convegno su Sistemi Evoluti per Basi di Dati), SEBD 1993, Hotel Capo Suvero, Gizzeria, Italy, 14-16 June, 1993}
}
@inproceedings{conf/tlca/CastagnaGL93,
title = {A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.},
year = {1993},
booktitle = {TLCA},
author = {{Giuseppe Castagna} and {Giorgio Ghelli} and {Giuseppe Longo}},
publisher = {Springer},
booktitle = {Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings}
}
@inproceedings{conf/tlca/Ghelli93,
title = {Recursive Types Are not Conservative over F.},
year = {1993},
booktitle = {TLCA},
author = {{Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings}
}
@inproceedings{conf/vldb/AlbanoBGO93,
title = {An Object Data Model with Roles.},
year = {1993},
booktitle = {VLDB},
author = {{Antonio Albano} and {Roberto Bergamini} and {Giorgio Ghelli} and {Renzo Orsini}},
publisher = {Morgan Kaufmann},
booktitle = {19th International Conference on Very Large Data Bases, August 24-27, 1993, Dublin, Ireland, Proceedings.}
}
@inproceedings{conf/sebd/AlbanoBDGO94,
title = {A Guided Tour of the Fibonacci System.},
year = {1994},
booktitle = {SEBD},
author = {{Antonio Albano} and {Carla Brasini} and {Milena Diotallevi} and {Giorgio Ghelli} and {Renzo Orsini}},
publisher = {Editrice Esculapio Progetto Leonardo, via U. Terracini, 30, 40131 Bologna},
booktitle = {Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati", SEBD 1994, Rimini, Italy, 1994}
}
@article{journals/iandc/CurienG94,
title = {Decidability and Confluence of \\beta\\eta\\hboxtop_\\le Reduction in F_\\le},
year = {1994},
journal = {Inf. Comput.},
author = {{Pierre-Louis Curien} and {Giorgio Ghelli}}
}
@inproceedings{conf/dbpl/AlbanoDG95,
title = {Extensible Objects for Database Evolution: Language Features and Implementation Issues.},
year = {1995},
booktitle = {DBPL},
author = {{Antonio Albano} and {Milena Diotallevi} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995}
}
@inproceedings{conf/sebd/AlbanoABGO95,
title = {Il Galileo95.},
year = {1995},
booktitle = {SEBD},
author = {{Antonio Albano} and {Giuseppe Antognoni} and {Gianluca Baratti} and {Giorgio Ghelli} and {Renzo Orsini}},
booktitle = {Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, SEBD 1995, Ravello (Costiera Amalfitana), Italy, 28-30 Giugno 1995}
}
@article{journals/tcs/Ghelli95,
title = {Divergence of F< Type Checking.},
year = {1995},
journal = {Theor. Comput. Sci.},
author = {{Giorgio Ghelli}}
}
@article{journals/vldb/AlbanoGO95,
title = {Fibonacci: A Programming Language for Object Databases},
year = {1995},
journal = {VLDB J.},
author = {{Antonio Albano} and {Giorgio Ghelli} and {Renzo Orsini}}
}
@article{journals/iandc/CastagnaGL95,
title = {A Calculus for Overloaded Functions with Subtyping},
year = {1995},
month = {February},
journal = {Inf. Comput.},
author = {{Giuseppe Castagna} and {Giorgio Ghelli} and {Giuseppe Longo}}
}
@inproceedings{conf/dexaw/GhelliP96,
title = {The Graphical System of Fibonacci.},
year = {1996},
booktitle = {DEXA Workshop},
author = {{Giorgio Ghelli} and {Igor Pucci}},
publisher = {IEEE Computer Society},
booktitle = {Seventh International Workshop on Database and Expert Systems Applications, DEXA '96, Zurich, Switzerland, September 9-10, 1996.}
}
@inproceedings{conf/icfp/Ghelli96,
title = {Complexity of Kernel Fun Subtype Checking.},
year = {1996},
booktitle = {ICFP},
author = {{Giorgio Ghelli}},
publisher = {ACM},
booktitle = {Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996.}
}
@inproceedings{conf/pos/ConnorGM96,
title = {Persistence, Modules and Type Abstraction.},
year = {1996},
booktitle = {POS},
author = {{Richard Connor 001} and {Giorgio Ghelli} and {Paolo Manghi}},
publisher = {Morgan Kaufmann},
booktitle = {Proceedings of the 7th Workshop on Persistent Object Systems, Cape May, New Jersey, USA, 1996}
}
@inproceedings{conf/sebd/GhelliP96,
title = {Il sistema grafico del Fibonacci.},
year = {1996},
booktitle = {SEBD},
author = {{Giorgio Ghelli} and {Igor Pucci}},
publisher = {STAR - Servizio Tecnografico Area Ricerca CNR, Pisa},
booktitle = {Atti del Quarto Convegno Nazionale su Sistemi Evoluti per Basi di Dati (4th National Conference on Advanced Database Systems), SEBD 1996, Centro Sudi "I Cappuccini", San Miniato, Pisa, Italy, 3-5 Luglio 1996}
}
@article{journals/iandc/Ghelli97,
title = {Termination of System F-bounded: A Complete Proof.},
year = {1997},
journal = {Inf. Comput.},
author = {{Giorgio Ghelli}}
}
@inproceedings{conf/sebd/GhelliNPA98,
title = {Tipi e moduli nel linguaggio Fibonacci.},
year = {1998},
booktitle = {SEBD},
author = {{Giorgio Ghelli} and {F. Nanni} and {G. Puglielli} and {Antonio Albano}},
booktitle = {Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, SEBD 1998, Ancona, Italy, 23-25 Giugno 1998}
}
@article{journals/tcs/GhelliP98,
title = {Bounded Existentials and Minimal Typing.},
year = {1998},
journal = {Theor. Comput. Sci.},
author = {{Giorgio Ghelli} and {Benjamin C. Pierce}}
}
@inproceedings{conf/icalp/CardelliGG99,
title = {Mobility Types for Mobile Ambients.},
year = {1999},
booktitle = {ICALP},
author = {{Luca Cardelli} and {Andrew D. Gordon 001} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings}
}
@inproceedings{conf/lics/ColazzoG99,
title = {Subtyping Recursive Types in Kernel Fun.},
year = {1999},
booktitle = {LICS},
author = {{Dario Colazzo} and {Giorgio Ghelli}},
publisher = {IEEE Computer Society},
booktitle = {14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999}
}
@article{journals/iandc/BaldanGR99,
title = {Basic Theory of F-Bounded Quantification.},
year = {1999},
journal = {Inf. Comput.},
author = {{Paolo Baldan} and {Giorgio Ghelli} and {Alessandra Raffaetà}}
}
@inproceedings{conf/ifipTCS/CardelliGG00,
title = {Ambient Groups and Mobility Types.},
year = {2000},
booktitle = {IFIP TCS},
author = {{Luca Cardelli} and {Giorgio Ghelli} and {Andrew D. Gordon 001}},
publisher = {Springer},
booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings}
}
@inproceedings{journals/entcs/CardelliGG00,
title = {Secrecy, Group Creation.},
year = {2000},
booktitle = {MFCSIT},
author = {{Luca Cardelli} and {Andy Gordon 001} and {Giorgio Ghelli}},
publisher = {Elsevier},
booktitle = {First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000}
}
@article{journals/tkde/AlbanoAG00,
title = {View Operations on Objects with Roles for a Statically Typed Database Language.},
year = {2000},
journal = {IEEE Trans. Knowl. Data Eng.},
author = {{Antonio Albano} and {Giuseppe Antognoni} and {Giorgio Ghelli}}
}
@inproceedings{conf/concur/CastagnaGN01,
title = {Typing Mobility in the Seal Calculus.},
year = {2001},
booktitle = {CONCUR},
author = {{Giuseppe Castagna} and {Giorgio Ghelli} and {Francesco Zappa Nardelli}},
publisher = {Springer},
booktitle = {CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}
}
@inproceedings{conf/esop/CardelliG01,
title = {A Query Language Based on the Ambient Logic.},
year = {2001},
booktitle = {ESOP},
author = {{Luca Cardelli} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings}
}
@inproceedings{conf/icalp/CardelliGG02,
title = {A Spatial Logic for Querying Graphs.},
year = {2002},
booktitle = {ICALP},
author = {{Luca Cardelli} and {Philippa Gardner} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings}
}
@inproceedings{conf/ifipTCS/ConfortiFG02,
title = {TQL Algebra and its Implementation.},
year = {2002},
booktitle = {IFIP TCS},
author = {{Giovanni Conforti} and {Orlando Ferrara} and {Giorgio Ghelli}},
publisher = {Kluwer},
booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada}
}
@inproceedings{conf/sebd/ConfortiGACMS02,
title = {The Query Language TQL - Demo Presentation.},
year = {2002},
booktitle = {SEBD},
author = {{Giovanni Conforti} and {Giorgio Ghelli} and {Antonio Albano} and {Dario Colazzo} and {Paolo Manghi} and {Carlo Sartiani}},
booktitle = {Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, SEBD 2002, Portoferraio, Isola d'Elba, Italy, 19-21 Giugno 2002}
}
@inproceedings{conf/webdb/ColazzoGMS02,
title = {Types for Correctness of Queries over Semistructured Data.},
year = {2002},
booktitle = {WebDB},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Paolo Manghi} and {Carlo Sartiani}},
booktitle = {Proceedings of the Fifth International Workshop on the Web and Databases, WebDB 2002, Madison, Wisconsin, USA, June 6-7, 2002, in conjunction with ACM PODS/SIGMOD 2002. Informal proceedings}
}
@inproceedings{conf/webdb/ConfortiGACMS02,
title = {The Query Language TQL.},
year = {2002},
booktitle = {WebDB},
author = {{Giovanni Conforti} and {Giorgio Ghelli} and {Antonio Albano} and {Dario Colazzo} and {Paolo Manghi} and {Carlo Sartiani}},
booktitle = {Proceedings of the Fifth International Workshop on the Web and Databases, WebDB 2002, Madison, Wisconsin, USA, June 6-7, 2002, in conjunction with ACM PODS/SIGMOD 2002. Informal proceedings}
}
@article{journals/iandc/CardelliGG02,
title = {Types for the Ambient Calculus.},
year = {2002},
journal = {Inf. Comput.},
author = {{Luca Cardelli} and {Giorgio Ghelli} and {Andrew D. Gordon 001}}
}
@article{journals/iandc/Ghelli02,
title = {Foundations for Extensible Objects with Roles.},
year = {2002},
journal = {Inf. Comput.},
author = {{Giorgio Ghelli}}
}
@article{journals/jasis/ColazzoSAMGLP02,
title = {A typed text retrieval query language for XML documents.},
year = {2002},
journal = {J. Assoc. Inf. Sci. Technol.},
author = {{Dario Colazzo} and {Carlo Sartiani} and {Antonio Albano} and {Paolo Manghi} and {Giorgio Ghelli} and {Luca Lini} and {Michele Paoli}}
}
@inproceedings{conf/sebd/ConfortiG03,
title = {Spatial Tree Logics to reason about Semistructured Data.},
year = {2003},
booktitle = {SEBD},
author = {{Giovanni Conforti} and {Giorgio Ghelli}},
publisher = {Rubettino Editore},
booktitle = {Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, SEBD 2003, Cetraro (CS), Italy, June 24-27, 2003}
}
@inproceedings{conf/edbtw/SartianiMGC04,
title = {XPeer: A Self-Organizing XML P2P Database System.},
year = {2004},
booktitle = {EDBT Workshops},
author = {{Carlo Sartiani} and {Paolo Manghi} and {Giorgio Ghelli} and {Giovanni Conforti}},
publisher = {Springer},
booktitle = {Current Trends in Database Technology - EDBT 2004 Workshops, EDBT 2004 Workshops PhD, DataX, PIM, P2P&DB, and ClustWeb, Heraklion, Crete, Greece, March 14-18, 2004, Revised Selected Papers}
}
@inproceedings{conf/fossacs/ConfortiG04,
title = {Decidability of Freshness, Undecidability of Revelation.},
year = {2004},
booktitle = {FoSSaCS},
author = {{Giovanni Conforti} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}
}
@inproceedings{conf/fsttcs/DawarGG04,
title = {Adjunct Elimination Through Games in Static Ambient Logic.},
year = {2004},
booktitle = {FSTTCS},
author = {{Anuj Dawar} and {Philippa Gardner} and {Giorgio Ghelli}},
publisher = {Springer},
booktitle = {FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings}
}
@inproceedings{conf/icfp/ColazzoGMS04,
title = {Types for path correctness of XML queries.},
year = {2004},
booktitle = {ICFP},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Paolo Manghi} and {Carlo Sartiani}},
publisher = {ACM},
booktitle = {Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004}
}
@inproceedings{conf/sebd/ConfortiGMS04,
title = {A Self-organizing XML P2P Database System.},
year = {2004},
booktitle = {SEBD},
author = {{Giovanni Conforti} and {Giorgio Ghelli} and {Paolo Manghi} and {Carlo Sartiani}},
booktitle = {Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, SEBD 2004, S. Margherita di Pula, Cagliari, Italy, June 21-23, 2004}
}
@article{journals/mscs/CardelliG04,
title = {TQL: a query language for semistructured data based on the ambient logic.},
year = {2004},
journal = {Math. Struct. Comput. Sci.},
author = {{Luca Cardelli} and {Giorgio Ghelli}}
}
@article{journals/iandc/CardelliGG05,
title = {Secrecy and group creation.},
year = {2005},
journal = {Inf. Comput.},
author = {{Luca Cardelli} and {Giorgio Ghelli} and {Andrew D. Gordon 001}}
}
@article{journals/iandc/ColazzoG05,
title = {Subtyping recursion and parametric polymorphism in kernel fun.},
year = {2005},
journal = {Inf. Comput.},
author = {{Dario Colazzo} and {Giorgio Ghelli}}
}
@inproceedings{conf/edbtw/GhelliRS06,
title = {XQuery!: An XML Query Language with Side Effects.},
year = {2006},
booktitle = {EDBT Workshops},
author = {{Giorgio Ghelli} and {Christopher Ré} and {Jérôme Siméon}},
publisher = {Springer},
booktitle = {Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers}
}
@article{journals/jfp/ColazzoGMS06,
title = {Static analysis for path correctness of XML queries.},
year = {2006},
journal = {J. Funct. Program.},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Paolo Manghi} and {Carlo Sartiani}}
}
@inproceedings{conf/dbpl/GhelliORS07,
title = {A Better Semantics for XQuery with Side-Effects.},
year = {2007},
booktitle = {DBPL},
author = {{Giorgio Ghelli} and {Nicola Onose} and {Kristoffer Høgsbro Rose} and {Jérôme Siméon}},
publisher = {Springer},
booktitle = {Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers}
}
@inproceedings{conf/icdt/GhelliRS07,
title = {Commutativity Analysis in XML Update Languages.},
year = {2007},
booktitle = {ICDT},
author = {{Giorgio Ghelli} and {Kristoffer Høgsbro Rose} and {Jérôme Siméon}},
publisher = {Springer},
booktitle = {Database Theory - ICDT 2007, 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings}
}
@inproceedings{conf/ideas/ConfortiGMS07,
title = {Scalable Query Dissemination in XPeer.},
year = {2007},
booktitle = {IDEAS},
author = {{Giovanni Conforti} and {Giorgio Ghelli} and {Paolo Manghi} and {Carlo Sartiani}},
publisher = {IEEE Computer Society},
booktitle = {Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), September 6-8, 2007, Banff, Alberta, Canada}
}
@inproceedings{journals/entcs/CardelliGG07,
title = {Manipulating Trees with Hidden Labels.},
year = {2007},
booktitle = {Computation, Meaning, and Logic},
author = {{Luca Cardelli} and {Philippa Gardner} and {Giorgio Ghelli}},
publisher = {Elsevier},
booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin}
}
@article{journals/iandc/DawarGG07,
title = {Expressiveness and complexity of graph logic.},
year = {2007},
journal = {Inf. Comput.},
author = {{Anuj Dawar} and {Philippa Gardner} and {Giorgio Ghelli}}
}
@inproceedings{conf/cikm/GhelliCS08,
title = {Linear time membership in a class of regular expressions with interleaving and counting.},
year = {2008},
booktitle = {CIKM},
author = {{Giorgio Ghelli} and {Dario Colazzo} and {Carlo Sartiani}},
publisher = {ACM},
booktitle = {Proceedings of the 17th ACM Conference on Information and Knowledge Management, CIKM 2008, Napa Valley, California, USA, October 26-30, 2008}
}
@inproceedings{conf/planX/GhelliCS08,
title = {Linear Time Membership for a Class of XML Types with Interleaving and Counting.},
year = {2008},
booktitle = {PLAN-X},
author = {{Giorgio Ghelli} and {Dario Colazzo} and {Carlo Sartiani}},
booktitle = {PLAN-X 2008, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2008, San Francisco, California, USA, January 9, 2008}
}
@inproceedings{conf/sebd/GhelliCS08,
title = {Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.},
year = {2008},
booktitle = {SEBD},
author = {{Giorgio Ghelli} and {Dario Colazzo} and {Carlo Sartiani}},
booktitle = {Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, SEBD 2008, 22-25 June 2008, Mondello, PA, Italy}
}
@inproceedings{conf/sigmod/GhelliORS08,
title = {XML query optimization in the presence of side effects.},
year = {2008},
booktitle = {SIGMOD Conference},
author = {{Giorgio Ghelli} and {Nicola Onose} and {Kristoffer Høgsbro Rose} and {Jérôme Siméon}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008}
}
@article{journals/tods/GhelliRS08,
title = {Commutativity analysis for XML updates.},
year = {2008},
journal = {ACM Trans. Database Syst.},
author = {{Giorgio Ghelli} and {Kristoffer Høgsbro Rose} and {Jérôme Siméon}}
}
@inproceedings{conf/cikm/ColazzoGPS09,
title = {Linear inclusion for XML regular expression types.},
year = {2009},
booktitle = {CIKM},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Luca Pardini} and {Carlo Sartiani}},
publisher = {ACM},
booktitle = {Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009}
}
@inproceedings{conf/icdt/ColazzoGS09,
title = {Efficient asymmetric inclusion between regular expression types.},
year = {2009},
booktitle = {ICDT},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}},
publisher = {ACM},
booktitle = {Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings}
}
@article{journals/is/ColazzoGS09,
title = {Efficient inclusion for a class of XML types with interleaving and counting.},
year = {2009},
journal = {Inf. Syst.},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}}
}
@incollection{reference/db/Ghelli09,
title = {XML Updates.},
year = {2009},
booktitle = {Encyclopedia of Database Systems},
author = {{Giorgio Ghelli}},
publisher = {Springer US},
booktitle = {Encyclopedia of Database Systems}
}
@inproceedings{conf/icde/ColazzoGS11,
title = {Schemas for safe and efficient XML processing.},
year = {2011},
booktitle = {ICDE},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany}
}
@article{journals/tcs/ColazzoGPS13,
title = {Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking.},
year = {2013},
journal = {Theor. Comput. Sci.},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Luca Pardini} and {Carlo Sartiani}}
}
@article{journals/tods/ColazzoGPS13,
title = {Almost-linear inclusion for XML regular expression types.},
year = {2013},
journal = {ACM Trans. Database Syst.},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Luca Pardini} and {Carlo Sartiani}}
}
@inproceedings{conf/dbpl/BaaziziCGS17,
title = {Counting types for massive JSON datasets.},
year = {2017},
booktitle = {DBPL},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}},
publisher = {ACM},
booktitle = {Proceedings of The 16th International Symposium on Database Programming Languages, DBPL 2017, Munich, Germany, September 1, 2017}
}
@inproceedings{conf/edbt/BaaziziLCGS17,
title = {Schema Inference for Massive JSON Datasets.},
year = {2017},
booktitle = {EDBT},
author = {{Mohamed Amine Baazizi} and {Houssem Ben Lahmar} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}},
publisher = {OpenProceedings.org},
booktitle = {Proceedings of the 20th International Conference on Extending Database Technology, EDBT 2017, Venice, Italy, March 21-24, 2017.}
}
@article{journals/tods/ColazzoGS17,
title = {Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation.},
year = {2017},
journal = {ACM Trans. Database Syst.},
author = {{Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}}
}
@incollection{reference/db/Ghelli18,
title = {XML Updates.},
year = {2018},
booktitle = {Encyclopedia of Database Systems (2nd ed.)},
author = {{Giorgio Ghelli}},
publisher = {Springer},
booktitle = {Encyclopedia of Database Systems, Second Edition}
}
@inproceedings{conf/edbt/BaaziziCGS19,
title = {Schemas And Types For JSON Data.},
year = {2019},
booktitle = {EDBT},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}},
publisher = {OpenProceedings.org},
booktitle = {Advances in Database Technology - 22nd International Conference on Extending Database Technology, EDBT 2019, Lisbon, Portugal, March 26-29, 2019}
}
@inproceedings{conf/icalp/BaaziziCGS19,
title = {A Type System for Interactive JSON Schema Inference (Extended Abstract).},
year = {2019},
booktitle = {ICALP},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece.}
}
@inproceedings{conf/sigmod/BaaziziCGS19,
title = {Schemas and Types for JSON Data: From Theory to Practice.},
year = {2019},
booktitle = {SIGMOD Conference},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}},
publisher = {ACM},
booktitle = {Proceedings of the 2019 International Conference on Management of Data, SIGMOD Conference 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019.}
}
@article{journals/vldb/BaaziziCGS19,
title = {Parametric schema inference for massive JSON datasets.},
year = {2019},
journal = {VLDB J.},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}}
}
@inproceedings{conf/edbt/BaaziziBCGS20,
title = {Human-in-the-Loop Schema Inference for Massive JSON Datasets.},
year = {2020},
booktitle = {EDBT},
author = {{Mohamed Amine Baazizi} and {Clément Berti} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani}},
publisher = {OpenProceedings.org},
booktitle = {Proceedings of the 23rd International Conference on Extending Database Technology, EDBT 2020, Copenhagen, Denmark, March 30 - April 02, 2020.}
}
@inproceedings{conf/er/FruthBCGSS20,
title = {Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas.},
year = {2020},
booktitle = {ER (Workshops)},
author = {{Michael Fruth} and {Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}},
publisher = {Springer},
booktitle = {Advances in Conceptual Modeling - ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings}
}
@inproceedings{conf/edbt/AttoucheBCFGLSS21,
title = {A Tool for JSON Schema Witness Generation.},
year = {2021},
booktitle = {EDBT},
author = {{Lyes Attouche} and {Mohamed Amine Baazizi} and {Dario Colazzo} and {Francesco Falleni} and {Giorgio Ghelli} and {Cristiano Landi} and {Carlo Sartiani} and {Stefanie Scherzinger}},
publisher = {OpenProceedings.org},
booktitle = {Proceedings of the 24th International Conference on Extending Database Technology, EDBT 2021, Nicosia, Cyprus, March 23 - 26, 2021.}
}
@inproceedings{conf/er/AttoucheBCDFGSS21,
title = {A Test Suite for JSON Schema Containment.},
year = {2021},
booktitle = {ER Demos/Posters},
author = {{Lyes Attouche} and {Mohamed Amine Baazizi} and {Dario Colazzo} and {Yunchen Ding} and {Michael Fruth} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the ER Demos and Posters 2021 co-located with 40th International Conference on Conceptual Modeling (ER 2021), St. John's, NL, Canada, October 18-21, 2021.}
}
@inproceedings{conf/er/BaaziziCGSS21,
title = {An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents.},
year = {2021},
booktitle = {ER},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}},
publisher = {Springer},
booktitle = {Conceptual Modeling - 40th International Conference, ER 2021, Virtual Event, October 18-21, 2021, Proceedings}
}
@article{journals/corr/abs-2104-14828,
title = {Not Elimination and Witness Generation for JSON Schema.},
year = {2021},
journal = {CoRR},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}}
}
@article{journals/corr/abs-2107-08677,
title = {An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version).},
year = {2021},
journal = {CoRR},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}}
}
@inproceedings{conf/sebd/BaaziziCGSS22,
title = {The Usage of Negation in Real-World JSON Schema Documents.},
year = {2022},
booktitle = {SEBD},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 30th Italian Symposium on Advanced Database Systems, SEBD 2022, Tirrenia (PI), Italy, June 19-22, 2022.}
}
@article{journals/pvldb/AttoucheBCGSS22,
title = {Witness Generation for JSON Schema.},
year = {2022},
journal = {Proc. VLDB Endow.},
author = {{Lyes Attouche} and {Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}}
}
@inproceedings{conf/sebd/AlbanoBDGO23,
title = {A Guided Tour of the Fibonacci System: Taste of Time.},
year = {2023},
booktitle = {SEBD},
author = {{Antonio Albano} and {Carla Brasini} and {Milena Diotallevi} and {Giorgio Ghelli} and {Renzo Orsini}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023.}
}
@article{journals/tcs/BaaziziCGSS23,
title = {Negation-closure for JSON Schema.},
year = {2023},
month = {April},
journal = {Theor. Comput. Sci.},
author = {{Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}}
}
@article{journals/pacmpl/AttoucheBCGSS24,
title = {Validation of Modern JSON Schema: Formalization and Complexity.},
year = {2024},
month = {January},
journal = {Proc. ACM Program. Lang.},
author = {{Lyes Attouche} and {Mohamed Amine Baazizi} and {Dario Colazzo} and {Giorgio Ghelli} and {Carlo Sartiani} and {Stefanie Scherzinger}}
}