BibTeX records: Paolo Volpe

download as .bib file

@inproceedings{DBLP:conf/embc/FerrariHVIBZ21,
  author       = {Laura M. Ferrari and
                  Guy Abi Hanna and
                  Paolo Volpe and
                  Esma Ismailova and
                  Fran{\c{c}}ois Br{\'{e}}mond and
                  Maria A. Zuluaga},
  title        = {One-class autoencoder approach for optimal electrode set identification
                  in wearable {EEG} event monitoring\({}^{\mbox{*}}\)},
  booktitle    = {43rd Annual International Conference of the {IEEE} Engineering in
                  Medicine {\&} Biology Society, {EMBC} 2021, Mexico, November 1-5,
                  2021},
  pages        = {7128--7131},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/EMBC46164.2021.9630901},
  doi          = {10.1109/EMBC46164.2021.9630901},
  timestamp    = {Wed, 22 Dec 2021 13:55:55 +0100},
  biburl       = {https://dblp.org/rec/conf/embc/FerrariHVIBZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2104-04546,
  author       = {Laura M. Ferrari and
                  Guy Abi Hanna and
                  Paolo Volpe and
                  Esma Ismailova and
                  Fran{\c{c}}ois Br{\'{e}}mond and
                  Maria A. Zuluaga},
  title        = {One-class Autoencoder Approach for Optimal Electrode Set-up Identification
                  in Wearable {EEG} Event Monitoring},
  journal      = {CoRR},
  volume       = {abs/2104.04546},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.04546},
  eprinttype    = {arXiv},
  eprint       = {2104.04546},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-04546.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CominiGLV03,
  author       = {Marco Comini and
                  Roberta Gori and
                  Giorgio Levi and
                  Paolo Volpe},
  title        = {Abstract interpretation based verification of logic programs},
  journal      = {Sci. Comput. Program.},
  volume       = {49},
  number       = {1-3},
  pages        = {89--123},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.scico.2003.08.002},
  doi          = {10.1016/J.SCICO.2003.08.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CominiGLV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Volpe01,
  author       = {Paolo Volpe},
  title        = {A first-order language for expressing sharing and type properties
                  of logic programs},
  journal      = {Sci. Comput. Program.},
  volume       = {39},
  number       = {1},
  pages        = {125--148},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00017-4},
  doi          = {10.1016/S0167-6423(00)00017-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Volpe01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/CominiGLV99,
  author       = {Marco Comini and
                  Roberta Gori and
                  Giorgio Levi and
                  Paolo Volpe},
  editor       = {Sandro Etalle and
                  Jan{-}Georg Smaus},
  title        = {Abstract Interpretation based Verification of Logic Programs},
  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        = {22--38},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00112-4},
  doi          = {10.1016/S1571-0661(04)00112-4},
  timestamp    = {Wed, 23 Nov 2022 16:35:22 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CominiGLV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/LeviV98,
  author       = {Giorgio Levi and
                  Paolo Volpe},
  editor       = {Jos{\'{e}} Luis Freire{-}Nistal and
                  Moreno Falaschi and
                  Manuel Vilares Ferro},
  title        = {Derivation of Proof Methods by Abstract Interpretation},
  booktitle    = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
                  {A} Coru{\~{n}}a, Spain, July 20-23, 1998},
  pages        = {283--292},
  year         = {1998},
  timestamp    = {Wed, 21 Nov 2007 11:59:17 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/LeviV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Volpe98,
  author       = {Paolo Volpe},
  editor       = {Jos{\'{e}} Luis Freire{-}Nistal and
                  Moreno Falaschi and
                  Manuel Vilares Ferro},
  title        = {A First-Order Language for Expressing Aliasing and Type Properties
                  of Logic Programs},
  booktitle    = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
                  {A} Coru{\~{n}}a, Spain, July 20-23, 1998},
  pages        = {293--302},
  year         = {1998},
  timestamp    = {Thu, 02 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Volpe98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plilp/LeviV98,
  author       = {Giorgio Levi and
                  Paolo Volpe},
  editor       = {Catuscia Palamidessi and
                  Hugh Glaser and
                  Karl Meinke},
  title        = {Derivation of Proof Methods by Abstract Interpretation},
  booktitle    = {Principles of Declarative Programming, 10th International Symposium,
                  PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
                  Pisa, Italy, September 16-18, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1490},
  pages        = {102--117},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0056610},
  doi          = {10.1007/BFB0056610},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/LeviV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Volpe98,
  author       = {Paolo Volpe},
  editor       = {Giorgio Levi},
  title        = {A First-Order Language for Expressing Aliasing and Type Properties
                  of Logic Programs},
  booktitle    = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
                  September 14-16, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1503},
  pages        = {184--199},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49727-7\_11},
  doi          = {10.1007/3-540-49727-7\_11},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Volpe98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Volpe96,
  author       = {Paolo Volpe},
  editor       = {Paqui Lucio and
                  Maurizio Martelli and
                  Marisa Navarro},
  title        = {Abstract Interpretation for Uniform Proof Systems},
  booktitle    = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
                  Donostia-San Sebastian, Spain, July 15-18, 1996},
  pages        = {465--480},
  year         = {1996},
  timestamp    = {Thu, 02 Dec 2004 11:12:18 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Volpe96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Volpe96,
  author       = {Paolo Volpe},
  editor       = {Michael Hanus and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Abstractions of Uniform Proofs},
  booktitle    = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
                  Aachen, Germany, September 25-27, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1139},
  pages        = {224--237},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61735-3\_15},
  doi          = {10.1007/3-540-61735-3\_15},
  timestamp    = {Thu, 14 Oct 2021 10:38:45 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Volpe96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agp/Volpe94,
  author       = {Paolo Volpe},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Roberto Barbuti and
                  Isidro Ramos},
  title        = {Semantics of Concurrent Logic Programming as Uniform Proofs},
  booktitle    = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
                  Spain, September 19-22, 1994, Volume 1},
  pages        = {107--124},
  year         = {1994},
  timestamp    = {Wed, 01 Dec 2004 15:33:38 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Volpe94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/alp/Volpe94,
  author       = {Paolo Volpe},
  editor       = {Giorgio Levi and
                  Mario Rodr{\'{\i}}guez{-}Artalejo},
  title        = {Concurrent Logic Programming as Uniform Linear Proofs},
  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        = {133--149},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58431-5\_11},
  doi          = {10.1007/3-540-58431-5\_11},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Volpe94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.