Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Alessandro Avellone
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.