Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Annalisa Bossi
@article{DBLP:journals/ia/BossiC11,
author = {Annalisa Bossi and
Nicoletta Cocco},
title = {A valuable experience in logic programming},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {95--99},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0010},
doi = {10.3233/IA-2011-0010},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ia/BossiC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mms/GaggiB11,
author = {Ombretta Gaggi and
Annalisa Bossi},
title = {Analysis and verification of {SMIL} documents},
journal = {Multim. Syst.},
volume = {17},
number = {6},
pages = {487--506},
year = {2011},
url = {https://doi.org/10.1007/s00530-011-0233-1},
doi = {10.1007/S00530-011-0233-1},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mms/GaggiB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/BossiM10,
author = {Annalisa Bossi and
Maria Chiara Meo},
editor = {Agostino Dovier and
Enrico Pontelli},
title = {Theoretical Foundations and Semantics of Logic Programming},
booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
Association for Logic Programming, {GULP}},
series = {Lecture Notes in Computer Science},
volume = {6125},
pages = {15--36},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14309-0\_2},
doi = {10.1007/978-3-642-14309-0\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/BossiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bossi09,
author = {Annalisa Bossi},
title = {S-semantics for logic programming: {A} retrospective look},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {46},
pages = {4692--4703},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.07.039},
doi = {10.1016/J.TCS.2009.07.039},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bossi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BossiC08,
author = {Annalisa Bossi and
Nicoletta Cocco},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {A Valuable Experience in Computational Logic},
booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
Alberto Martelli, Turin, Italy, June 3, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {487},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-487/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BossiC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BossiPR07,
author = {Annalisa Bossi and
Carla Piazza and
Sabina Rossi},
title = {Compositional information flow security for concurrent programs},
journal = {J. Comput. Secur.},
volume = {15},
number = {3},
pages = {373--416},
year = {2007},
url = {https://doi.org/10.3233/jcs-2007-15303},
doi = {10.3233/JCS-2007-15303},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BossiPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiPR07,
author = {Annalisa Bossi and
Carla Piazza and
Sabina Rossi},
editor = {Andy King},
title = {Action Refinement in Process Algebra and Security Issues},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {201--217},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_14},
doi = {10.1007/978-3-540-78769-3\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/BossiG07,
author = {Annalisa Bossi and
Ombretta Gaggi},
editor = {Rainer Lienhart and
Anand R. Prasad and
Alan Hanjalic and
Sunghyun Choi and
Brian P. Bailey and
Nicu Sebe},
title = {Enriching {SMIL} with assertions for temporal validation},
booktitle = {Proceedings of the 15th International Conference on Multimedia 2007,
Augsburg, Germany, September 24-29, 2007},
pages = {107--116},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291233.1291256},
doi = {10.1145/1291233.1291256},
timestamp = {Thu, 04 Nov 2021 14:40:54 +0100},
biburl = {https://dblp.org/rec/conf/mm/BossiG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2006,
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
publisher = {{ACM}},
year = {2006},
isbn = {1-59593-388-3},
timestamp = {Thu, 07 Dec 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BossiMPR05,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
title = {Information flow in secure contexts},
journal = {J. Comput. Secur.},
volume = {13},
number = {3},
pages = {391--422},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13303},
doi = {10.3233/JCS-2005-13303},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BossiMPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BossiFPR04,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
title = {Verifying persistent security properties},
journal = {Comput. Lang. Syst. Struct.},
volume = {30},
number = {3-4},
pages = {231--258},
year = {2004},
url = {https://doi.org/10.1016/j.cl.2004.02.005},
doi = {10.1016/J.CL.2004.02.005},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BossiFPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BossiERS04,
author = {Annalisa Bossi and
Sandro Etalle and
Sabina Rossi and
Jan{-}Georg Smaus},
title = {Termination of simply moded logic programs with dynamic scheduling},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {3},
pages = {470--507},
year = {2004},
url = {https://doi.org/10.1145/1013560.1013564},
doi = {10.1145/1013560.1013564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BossiERS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BossiPR04,
author = {Annalisa Bossi and
Carla Piazza and
Sabina Rossi},
title = {Modelling Downgrading in Information Flow Security},
booktitle = {17th {IEEE} Computer Security Foundations Workshop, {(CSFW-17} 2004),
28-30 June 2004, Pacific Grove, CA, {USA}},
pages = {187},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.14},
doi = {10.1109/CSFW.2004.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BossiPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiPR04,
author = {Annalisa Bossi and
Carla Piazza and
Sabina Rossi},
editor = {Sandro Etalle},
title = {Unwinding Conditions for Security in Imperative Languages},
booktitle = {Logic Based Program Synthesis and Transformation, 14th International
Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3573},
pages = {85--100},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11506676\_6},
doi = {10.1007/11506676\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/BossiCER04,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle and
Sabina Rossi},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {Declarative Semantics of Input Consuming Logic Programs},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {90--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_4},
doi = {10.1007/978-3-540-25951-0\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiCER04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BossiMPR03,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
title = {Secure Contexts for Confidential Data},
booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003),
30 June - 2 July 2003, Pacific Grove, CA, {USA}},
pages = {14--28},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSFW.2003.1212702},
doi = {10.1109/CSFW.2003.1212702},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BossiMPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BossiMPR03,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Information Flow Security and Recursive Systems},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {369--382},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_29},
doi = {10.1007/978-3-540-45208-9\_29},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BossiMPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BossiFPR03,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
title = {Refinement Operators and Information Flow Security},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236206},
doi = {10.1109/SEFM.2003.1236206},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BossiFPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BossiFPR03,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Bisimulation and Unwinding for Verifying Possibilistic Security Properties},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {223--237},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_19},
doi = {10.1007/3-540-36384-X\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BossiFPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BossiFMPR04,
author = {Annalisa Bossi and
Riccardo Focardi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Unwinding in Information Flow Security},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {127--154},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.006},
doi = {10.1016/J.ENTCS.2004.02.006},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BossiFMPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BossiER02,
author = {Annalisa Bossi and
Sandro Etalle and
Sabina Rossi},
title = {Properties of input-consuming derivations},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {2},
pages = {125--154},
year = {2002},
url = {https://doi.org/10.1017/S1471068401001326},
doi = {10.1017/S1471068401001326},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BossiER02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BossiCER02,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle and
Sabina Rossi},
title = {On modular termination proofs of general logic programs},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {3},
pages = {263--291},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001382},
doi = {10.1017/S1471068402001382},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BossiCER02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BossiFPR02,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Transforming Processes to Check and Ensure Information Flow Security},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {271--286},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_19},
doi = {10.1007/3-540-45719-4\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BossiFPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BossiCE02,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle},
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Transformation Systems and Nondeclarative Properties},
booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour
of Robert A. Kowalski, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2407},
pages = {162--186},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45628-7\_8},
doi = {10.1007/3-540-45628-7\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BossiCE02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiFPR02,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
editor = {Michael Leuschel},
title = {A Proof System for Information Flow Security},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {199--218},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_16},
doi = {10.1007/3-540-45013-0\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiFPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BossiERS01,
author = {Annalisa Bossi and
Sandro Etalle and
Sabina Rossi and
Jan{-}Georg Smaus},
editor = {David Sands},
title = {Semantics and Termination of Simply-Moded Logic Programs with Dynamic
Scheduling},
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},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {402--416},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_27},
doi = {10.1007/3-540-45309-1\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BossiERS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BossiCR01,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sabina Rossi},
title = {Termination of Well-Typed Logic Programs},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {73--81},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773193},
doi = {10.1145/773184.773193},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BossiCR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0101022,
author = {Annalisa Bossi and
Sandro Etalle and
Sabina Rossi and
Jan{-}Georg Smaus},
title = {Semantics and Termination of Simply-Moded Logic Programs with Dynamic
Scheduling},
journal = {CoRR},
volume = {cs.LO/0101022},
year = {2001},
url = {https://arxiv.org/abs/cs/0101022},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0101022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0101023,
author = {Annalisa Bossi and
Sandro Etalle and
Sabina Rossi},
title = {Properties of Input-Consuming Derivations},
journal = {CoRR},
volume = {cs.PL/0101023},
year = {2001},
url = {https://arxiv.org/abs/cs/0101023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0101023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BossiER00,
author = {Annalisa Bossi and
Sandro Etalle and
Sabina Rossi},
title = {Semantics of well-moded input-consuming logic programs},
journal = {Comput. Lang.},
volume = {26},
number = {1},
pages = {1--25},
year = {2000},
url = {https://doi.org/10.1016/S0096-0551(01)00005-4},
doi = {10.1016/S0096-0551(01)00005-4},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/BossiER00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/VerbaetenB00,
author = {Sofie Verbaeten and
Annalisa Bossi},
title = {Composing Complete and Partial Knowledge},
journal = {J. Funct. Log. Program.},
volume = {2000},
number = {6},
year = {2000},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/VerbaetenB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/BossiER00,
author = {Annalisa Bossi and
Sandro Etalle and
Sabina Rossi},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Semantics of Input-Consuming Logic Programs},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {194--208},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_13},
doi = {10.1007/3-540-44957-4\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/BossiER00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1999,
editor = {Annalisa Bossi},
title = {Logic Programming Synthesis and Transformation, 9th International
Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1817},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720327},
doi = {10.1007/10720327},
isbn = {3-540-67628-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0005018,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle and
Sabina Rossi},
title = {On Modular Termination Proofs of General Logic Programs},
journal = {CoRR},
volume = {cs.LO/0005018},
year = {2000},
url = {https://arxiv.org/abs/cs/0005018},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0005018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/EtalleBC99,
author = {Sandro Etalle and
Annalisa Bossi and
Nicoletta Cocco},
title = {Termination of Well-Moded Programs},
journal = {J. Log. Program.},
volume = {38},
number = {2},
pages = {243--257},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10025-0},
doi = {10.1016/S0743-1066(98)10025-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/EtalleBC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BossiD99,
author = {Annalisa Bossi and
Yves Deville},
title = {Guest Editors' Introduction Special Issue: Synthesis, Transformation
and Analysis of Logic Rrograms 2},
journal = {J. Log. Program.},
volume = {41},
number = {2-3},
pages = {139--140},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(99)00027-8},
doi = {10.1016/S0743-1066(99)00027-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BossiD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiCE99,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle},
editor = {Annalisa Bossi},
title = {Transformation of Left Terminating Programs},
booktitle = {Logic Programming Synthesis and Transformation, 9th International
Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1817},
pages = {156--175},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720327\_10},
doi = {10.1007/10720327\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiCE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BossiER99,
author = {Annalisa Bossi and
Sandro Etalle and
Sabina Rossi},
editor = {Sandro Etalle and
Jan{-}Georg Smaus},
title = {Properties of Input-Consuming Derivations},
booktitle = {Workshop on Verification of Logic Programs 1999, in connection with
the International Conference on Logic Programming, {ICLP} 1999, Las
Cruces, New Mexico, USA, December 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {1},
pages = {102--124},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(04)00116-1},
doi = {10.1016/S1571-0661(04)00116-1},
timestamp = {Wed, 23 Nov 2022 16:35:22 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BossiER99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiR98,
author = {Annalisa Bossi and
Sabina Rossi},
editor = {Pierre Flener},
title = {Specialising Logic Programs with Respect to Call?Post Specifications},
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 = {159--178},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48958-4\_9},
doi = {10.1007/3-540-48958-4\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiC98,
author = {Annalisa Bossi and
Nicoletta Cocco},
editor = {Pierre Flener},
title = {Success in Logic Programs},
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 = {219--239},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48958-4\_12},
doi = {10.1007/3-540-48958-4\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiC97,
author = {Annalisa Bossi and
Nicoletta Cocco},
editor = {Norbert E. Fuchs},
title = {Programs Without Failures},
booktitle = {Logic Programming Synthesis and Transformation, 7th International
Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1463},
pages = {28--48},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49674-2\_2},
doi = {10.1007/3-540-49674-2\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BossiDFM97,
author = {Annalisa Bossi and
Dennis Dams and
Gilberto Fil{\'{e}} and
Elena Marchiori},
editor = {Jan Maluszynski},
title = {Verification, Model Checking and Abstract Interpretation (Workshop
Overview)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {421--422},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/BossiDFM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BossiCE96,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle},
title = {Simultaneous Replacement in Normal Programs},
journal = {J. Log. Comput.},
volume = {6},
number = {1},
pages = {79--120},
year = {1996},
url = {https://doi.org/10.1093/logcom/6.1.79},
doi = {10.1093/LOGCOM/6.1.79},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BossiCE96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BossiBGLM96,
author = {Annalisa Bossi and
Michele Bugliesi and
Maurizio Gabbrielli and
Giorgio Levi and
Maria Chiara Meo},
title = {Differential Logic Programs: Programming Methodologies and Semantics},
journal = {Sci. Comput. Program.},
volume = {27},
number = {3},
pages = {217--262},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(96)00013-5},
doi = {10.1016/0167-6423(96)00013-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BossiBGLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiC96,
author = {Annalisa Bossi and
Nicoletta Cocco},
editor = {John P. Gallagher},
title = {Replacement Can Preserve Termination},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {104--129},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_7},
doi = {10.1007/3-540-62718-9\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiCE95,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle},
editor = {Maurizio Proietti},
title = {Transformation of Left Terminating Programs: the Reordering Problem},
booktitle = {Logic Programming Synthesis and Transformation, 5th International
Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1048},
pages = {33--45},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60939-3\_3},
doi = {10.1007/3-540-60939-3\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiCE95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BossiGLM94,
author = {Annalisa Bossi and
Maurizio Gabbrielli and
Giorgio Levi and
Maurizio Martelli},
title = {The s-Semantics Approach: Theory and Applications},
journal = {J. Log. Program.},
volume = {19/20},
pages = {149--197},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90026-4},
doi = {10.1016/0743-1066(94)90026-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BossiGLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BossiGLM94,
author = {Annalisa Bossi and
Maurizio Gabbrielli and
Giorgio Levi and
Maria Chiara Meo},
title = {A Compositional Semantics for Logic Programs},
journal = {Theor. Comput. Sci.},
volume = {122},
number = {1{\&}2},
pages = {3--47},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90200-3},
doi = {10.1016/0304-3975(94)90200-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BossiGLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BossiCF94,
author = {Annalisa Bossi and
Nicoletta Cocco and
Massimo Fabris},
title = {Norms on Terms and their use in Proving Universal Termination of a
Logic Program},
journal = {Theor. Comput. Sci.},
volume = {124},
number = {2},
pages = {297--328},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(92)00019-N},
doi = {10.1016/0304-3975(92)00019-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BossiCF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BossiE94,
author = {Annalisa Bossi and
Sandro Etalle},
title = {Transforming Acyclic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1081--1096},
year = {1994},
url = {https://doi.org/10.1145/183432.183434},
doi = {10.1145/183432.183434},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BossiE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BossiC94,
author = {Annalisa Bossi and
Nicoletta Cocco},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Preserving Universal Termination through Unfold/Fold},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {269--286},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_19},
doi = {10.1007/3-540-58431-5\_19},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/BossiC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BossiFM94,
author = {Annalisa Bossi and
Massimo Fabris and
Maria Chiara Meo},
editor = {Pascal Van Hentenryck},
title = {A Bottom-up Semantics for Constructive Negation},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {520--534},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BossiFM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiE94,
author = {Annalisa Bossi and
Sandro Etalle},
editor = {Laurent Fribourg and
Franco Turini},
title = {More on Unfold/Fold Transformations of Normal Programs: Preservation
of Fitting's Semantics},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {311--331},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_20},
doi = {10.1007/3-540-58792-6\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BossiC93,
author = {Annalisa Bossi and
Nicoletta Cocco},
title = {Basic Transformation Operations which Preserve Computed Answer Substitutions
of Logic Programs},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {47--87},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90023-A},
doi = {10.1016/0743-1066(93)90023-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BossiC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BossiBF93,
author = {Annalisa Bossi and
Michele Bugliesi and
Massimo Fabris},
editor = {Domenico Sacc{\`{a}}},
title = {A New Fixpoint Semantics for Prolog},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {617--632},
year = {1993},
timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/BossiBF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BossiBF93,
author = {Annalisa Bossi and
Michele Bugliesi and
Massimo Fabris},
editor = {David Scott Warren},
title = {A New Fixpoint Semantics for Prolog},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {374--389},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BossiBF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BossiB93,
author = {Annalisa Bossi and
Michele Bugliesi and
Maurizio Gabbrielli and
Giorgio Levi and
Maria Chiara Meo},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Differential Logic Programming},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {359--370},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158689},
doi = {10.1145/158511.158689},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BossiB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BossiV92,
author = {Annalisa Bossi and
Silvio Valentini},
title = {An Intuitionistic Theory of Types with Assumptions of High-Arity Variables},
journal = {Ann. Pure Appl. Log.},
volume = {57},
number = {2},
pages = {93--149},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90023-S},
doi = {10.1016/0168-0072(92)90023-S},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BossiV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BossiCF92,
author = {Annalisa Bossi and
Nicoletta Cocco and
Massimo Fabris},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {Typed Norms},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {73--92},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_5},
doi = {10.1007/3-540-55253-7\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BossiCF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/BossiGLM92,
author = {Annalisa Bossi and
Maurizio Gabbrielli and
Giorgio Levi and
Maria Chiara Meo},
title = {Contributions to the Semantics of Open Logic Programs},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {570--580},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/BossiGLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/BossiCE92,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle},
editor = {Alberto Pettorossi},
title = {Transforming Normal Programs by Replacement},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {265--279},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_18},
doi = {10.1007/3-540-56282-6\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/meta/BossiCE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BossiCE92,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {On Safe Folding},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {172--186},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_135},
doi = {10.1007/3-540-55844-6\_135},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BossiCE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BossiGLM91,
author = {Annalisa Bossi and
Maurizio Gabbrielli and
Giorgio Levi and
Maria Chiara Meo},
editor = {Jean{-}Marie Jacquet},
title = {An OR-Compositional Semantics for Logic Programs},
booktitle = {Constructing Logic Programs - This book is issued from a workshop
on the subject of the construction of logic programs, organized during
the 1991 {ICLP}},
pages = {215--240},
publisher = {Wiley},
year = {1991},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BossiGLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BossiCF91,
author = {Annalisa Bossi and
Nicoletta Cocco and
Massimo Fabris},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Proving Termination of Logic Programs by Exploiting Term Properties},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
on Combining Paradigms for Software Developmemnt {(CCPSD)}},
series = {Lecture Notes in Computer Science},
volume = {494},
pages = {153--180},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540539816\_66},
doi = {10.1007/3540539816\_66},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BossiCF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BossiCD90,
author = {Annalisa Bossi and
Nicoletta Cocco and
Susi Dulli},
title = {A Method for Specializing Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {12},
number = {2},
pages = {253--302},
year = {1990},
url = {https://doi.org/10.1145/78942.78947},
doi = {10.1145/78942.78947},
timestamp = {Thu, 17 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BossiCD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BossiC89,
author = {Annalisa Bossi and
Nicoletta Cocco},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Verifying Correctness of Logic Programs},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {96--110},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_30},
doi = {10.1007/3-540-50940-2\_30},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BossiC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BossiG84,
author = {Annalisa Bossi and
Carlo Ghezzi},
title = {Using {FP} As a Query Language for Relational Data-Bases},
journal = {Comput. Lang.},
volume = {9},
number = {1},
pages = {25--37},
year = {1984},
url = {https://doi.org/10.1016/0096-0551(84)90010-9},
doi = {10.1016/0096-0551(84)90010-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/BossiG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BossiCC83,
author = {Annalisa Bossi and
Nicoletta Cocco and
Livio Colussi},
title = {A Divide-and-Conquer Approach to General Context-Free Parsing},
journal = {Inf. Process. Lett.},
volume = {16},
number = {4},
pages = {203--208},
year = {1983},
url = {https://doi.org/10.1016/0020-0190(83)90125-4},
doi = {10.1016/0020-0190(83)90125-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BossiCC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/BossiCCR80,
author = {Annalisa Bossi and
Livio Colussi and
Claudio Cobelli and
Giorgio Romanin{-}Jacur},
title = {Identifiability of compartmental models: algorithms to solve an actual
problem by means of symbolic calculus},
journal = {{SIGSAM} Bull.},
volume = {14},
number = {4},
pages = {35--40},
year = {1980},
url = {https://doi.org/10.1145/1089235.1089239},
doi = {10.1145/1089235.1089239},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/BossiCCR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
