BibTeX records: Alessandro Avellone

download as .bib file

@article{DBLP:journals/csda/ArcagniAF22,
  author       = {Alberto Arcagni and
                  Alessandro Avellone and
                  Marco Fattore},
  title        = {Complexity reduction and approximation of multidomain systems of partially
                  ordered data},
  journal      = {Comput. Stat. Data Anal.},
  volume       = {173},
  pages        = {107520},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.csda.2022.107520},
  doi          = {10.1016/J.CSDA.2022.107520},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csda/ArcagniAF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AvelloneFM15,
  author       = {Alessandro Avellone and
                  Camillo Fiorentini and
                  Alberto Momigliano},
  title        = {A Semantical Analysis of Focusing and Contraction in Intuitionistic
                  Logic},
  journal      = {Fundam. Informaticae},
  volume       = {140},
  number       = {3-4},
  pages        = {247--262},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1253},
  doi          = {10.3233/FI-2015-1253},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AvelloneFM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AvelloneFM13,
  author       = {Alessandro Avellone and
                  Camillo Fiorentini and
                  Alberto Momigliano},
  editor       = {Domenico Cantone and
                  Marianna Nicolosi Asmundo},
  title        = {Focusing on Contraction},
  booktitle    = {Proceedings of the 28th Italian Conference on Computational Logic,
                  Catania, Italy, September 25-27, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1068},
  pages        = {65--81},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1068/paper-l05.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AvelloneFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AvelloneFM08,
  author       = {Alessandro Avellone and
                  Guido Fiorino and
                  Ugo Moscato},
  title        = {Optimization techniques for propositional intuitionistic logic and
                  their implementation},
  journal      = {Theor. Comput. Sci.},
  volume       = {409},
  number       = {1},
  pages        = {41--58},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.tcs.2008.08.013},
  doi          = {10.1016/J.TCS.2008.08.013},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AvelloneFM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/AvelloneFM07,
  author       = {Alessandro Avellone and
                  Guido Fiorino and
                  Ugo Moscato},
  editor       = {Nicola Olivetti},
  title        = {Improvements to the Tableau Prover {PITP}},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
                  International Conference, {TABLEAUX} 2007, Aix en Provence, France,
                  July 3-6, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4548},
  pages        = {233--237},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73099-6\_18},
  doi          = {10.1007/978-3-540-73099-6\_18},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/AvelloneFM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AvelloneFFFM06,
  author       = {Alessandro Avellone and
                  Mauro Ferrari and
                  Camillo Fiorentini and
                  Guido Fiorino and
                  Ugo Moscato},
  editor       = {Stuart Allen and
                  John N. Crossley and
                  Kung{-}Kiu Lau and
                  Iman Poernomo},
  title        = {{ESBC:} an application for computing stabilization bounds},
  booktitle    = {Proceedings of the Workshop on the Constructive Logic for Automated
                  Software Engineering, {CLASE} 2005, Edinburgh, UK, April 9, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {153},
  number       = {1},
  pages        = {23--33},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.08.004},
  doi          = {10.1016/J.ENTCS.2005.08.004},
  timestamp    = {Fri, 20 Jan 2023 10:31:48 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AvelloneFFFM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AvelloneFFM04,
  author       = {Alessandro Avellone and
                  Camillo Fiorentini and
                  Guido Fiorino and
                  Ugo Moscato},
  editor       = {Jerzy Marcinkowski and
                  Andrzej Tarlecki},
  title        = {A Space Efficient Implementation of a Tableau Calculus for a Logic
                  with a Constructive Negation},
  booktitle    = {Computer Science Logic, 18th International Workshop, {CSL} 2004, 13th
                  Annual Conference of the EACSL, Karpacz, Poland, September 20-24,
                  2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3210},
  pages        = {488--502},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30124-0\_37},
  doi          = {10.1007/978-3-540-30124-0\_37},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/AvelloneFFM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AvelloneBM01,
  author       = {Alessandro Avellone and
                  Marco Benini and
                  Ugo Moscato},
  title        = {How to Avoid the Formal Verification of a Theorem Prover},
  journal      = {Log. J. {IGPL}},
  volume       = {9},
  number       = {1},
  pages        = {1--25},
  year         = {2001},
  url          = {https://doi.org/10.1093/jigpal/9.1.1},
  doi          = {10.1093/JIGPAL/9.1.1},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/AvelloneBM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AvelloneFF00,
  author       = {Alessandro Avellone and
                  Mauro Ferrari and
                  Camillo Fiorentini},
  editor       = {Kung{-}Kiu Lau},
  title        = {A formal framework for synthesis and verification of logic programs},
  booktitle    = {Extended Abstracts of the 10th International Workshop on Logic-based
                  Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
                  24-28, 2000},
  series       = {Technical Report},
  volume       = {{UMCS-00-6-1}},
  publisher    = {Department of Computer Science, University of Manchester},
  year         = {2000},
  url          = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-avellone.ps.Z},
  timestamp    = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/AvelloneFF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AvelloneFF00a,
  author       = {Alessandro Avellone and
                  Mauro Ferrari and
                  Camillo Fiorentini},
  editor       = {Kung{-}Kiu Lau},
  title        = {A Formal Framework for Synthesis and Verification of Logic Programs},
  booktitle    = {Logic Based Program Synthesis and Transformation, 10th International
                  Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2042},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45142-0\_1},
  doi          = {10.1007/3-540-45142-0\_1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/AvelloneFF00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AvelloneFM99,
  author       = {Alessandro Avellone and
                  Mauro Ferrari and
                  Pierangelo Miglioli},
  title        = {Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi
                  for the Interpolable Propositional Intermediate Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {7},
  number       = {4},
  pages        = {447--480},
  year         = {1999},
  url          = {https://doi.org/10.1093/jigpal/7.4.447},
  doi          = {10.1093/JIGPAL/7.4.447},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/AvelloneFM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AvelloneG98,
  author       = {Alessandro Avellone and
                  Massimiliano Goldwurm},
  title        = {Analysis of algorithms for the recognition of rational and context-free
                  trace languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {32},
  number       = {4-6},
  pages        = {141--152},
  year         = {1998},
  url          = {https://doi.org/10.1051/ita/1998324-601411},
  doi          = {10.1051/ITA/1998324-601411},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/AvelloneG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AvelloneFM98,
  author       = {Alessandro Avellone and
                  Mauro Ferrari and
                  Pierangelo Miglioli},
  editor       = {Pierre Flener},
  title        = {Synthesis of Programs in Abstract Data Types},
  booktitle    = {Logic Programming Synthesis and Transformation, 8th International
                  Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1559},
  pages        = {81--100},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48958-4\_5},
  doi          = {10.1007/3-540-48958-4\_5},
  timestamp    = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lopstr/AvelloneFM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/AvelloneMMO97,
  author       = {Alessandro Avellone and
                  Pierangelo Miglioli and
                  Ugo Moscato and
                  Mario Ornaghi},
  editor       = {Didier Galmiche},
  title        = {Generalized Tableau Systems for Intemediate Propositional Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, International
                  Conference, {TABLEAUX} '97, Pont-{\`{a}}-Mousson, France, May 13-16,
                  1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1227},
  pages        = {43--61},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0027404},
  doi          = {10.1007/BFB0027404},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/AvelloneMMO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/AvelloneFMM96,
  author       = {Alessandro Avellone and
                  Camillo Fiorentini and
                  Paolo Mantovani and
                  Pierangelo Miglioli},
  title        = {On maximal intermediate predicate constructive logics},
  journal      = {Stud Logica},
  volume       = {57},
  number       = {2/3},
  pages        = {373--408},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00370841},
  doi          = {10.1007/BF00370841},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AvelloneFMM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/AvelloneF96,
  author       = {Alessandro Avellone and
                  Mauro Ferrari},
  editor       = {Pierangelo Miglioli and
                  Ugo Moscato and
                  Daniele Mundici and
                  Mario Ornaghi},
  title        = {Almost Duplication-Free Tableau Calculi for Propositional Lax Logics},
  booktitle    = {Theorem Proving with Analytic Tableaux and Related Methods, 5th International
                  Workshop, {TABLEAUX} '96, Terrasini, Palermo, Italy, May 15-17, 1996,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1071},
  pages        = {48--64},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61208-4\_4},
  doi          = {10.1007/3-540-61208-4\_4},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/AvelloneF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics