@inproceedings{conf/bibm/BenabderrahmaneDSNP11,
  added-at = {2012-01-22T00:00:00.000+0100},
  author = {Benabderrahmane, Sidahmed and Devignes, Marie-Dominique and Smaïl-Tabbone, Malika and Napoli, Amedeo and Poch, Olivier},
  biburl = {http://www.bibsonomy.org/bibtex/2aeb75effc9846bbd9cbadc1672347512/dblp},
  booktitle = {BIBM Workshops},
  crossref = {conf/bibm/2011w},
  ee = {http://dx.doi.org/10.1109/BIBMW.2011.6112375},
  interhash = {c9c2c3c60fad18b94075557f098985ac},
  intrahash = {aeb75effc9846bbd9cbadc1672347512},
  isbn = {978-1-4577-1612-6},
  keywords = {dblp},
  pages = {201-208},
  publisher = {IEEE},
  title = {Ontology-based functional classification of genes: Evaluation with reference sets and overlap analysis.},
  url = {http://dblp.uni-trier.de/db/conf/bibm/bibmw2011.html#BenabderrahmaneDSNP11},
  year = 2011
}

@inproceedings{conf/ictai/AssaghirNKDP11,
  added-at = {2011-12-28T00:00:00.000+0100},
  author = {Assaghir, Zainab and Napoli, Amedeo and Kaytoue, Mehdi and Dubois, Didier and Prade, Henri},
  biburl = {http://www.bibsonomy.org/bibtex/26fae5d6734a0dd567bbabfe54a2d03e2/dblp},
  booktitle = {ICTAI},
  crossref = {conf/ictai/2011},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.98},
  interhash = {9d746b6767a69b532cc5acfbdaa940ea},
  intrahash = {6fae5d6734a0dd567bbabfe54a2d03e2},
  isbn = {978-1-4577-2068-0},
  keywords = {dblp},
  pages = {621-628},
  publisher = {IEEE},
  title = {Numerical Information Fusion: Lattice of Answers with Supporting Arguments.},
  url = {http://dblp.uni-trier.de/db/conf/ictai/ictai2011.html#AssaghirNKDP11},
  year = 2011
}

@article{journals/corr/abs-1111-2768,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Napoli, Margherita and Parente, Mimmo},
  biburl = {http://www.bibsonomy.org/bibtex/27697d35be1d2735a54c8f87d06c84785/dblp},
  ee = {http://arxiv.org/abs/1111.2768},
  interhash = {8eca4874fa7029d2961453ba6f99b1e9},
  intrahash = {7697d35be1d2735a54c8f87d06c84785},
  journal = {CoRR},
  keywords = {dblp},
  title = {Graded CTL Model Checking for Test Generation},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-2768},
  volume = {abs/1111.2768},
  year = 2011
}

@article{journals/corr/abs-1108-2594,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Napoli, Edoardo Di and Blügel, Stefan and Bientinesi, Paolo},
  biburl = {http://www.bibsonomy.org/bibtex/256deca4482e0d070de4eb510b4464f59/dblp},
  ee = {http://arxiv.org/abs/1108.2594},
  interhash = {3bcc90b10133166aee32296e1cd2a29f},
  intrahash = {56deca4482e0d070de4eb510b4464f59},
  journal = {CoRR},
  keywords = {dblp},
  title = {Correlations in sequences of generalized eigenproblems arising in Density Functional Theory},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1108.html#abs-1108-2594},
  volume = {abs/1108.2594},
  year = 2011
}

@article{journals/corr/abs-cs-0703156,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {d'Aquin, Mathieu and Badra, Fadi and Lafrogne, Sandrine and Lieber, Jean and Napoli, Amedeo and Szathmary, Laszlo},
  biburl = {http://www.bibsonomy.org/bibtex/22276c0457ce76a664c10e322903bd615/dblp},
  ee = {http://arxiv.org/abs/cs/0703156},
  interhash = {a9e9ab665dde1e75ce5ed17234302d05},
  intrahash = {2276c0457ce76a664c10e322903bd615},
  journal = {CoRR},
  keywords = {dblp},
  title = {Case Base Mining for Adaptation Knowledge Acquisition},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0703.html#abs-cs-0703156},
  volume = {abs/cs/0703156},
  year = 2007
}

@article{journals/corr/abs-1111-3270,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Kaytoue, Mehdi and Kuznetsov, Sergei O. and Macko, Juraj and Jr., Wagner Meira and Napoli, Amedeo},
  biburl = {http://www.bibsonomy.org/bibtex/29b1a3f6321c2bf72fb7ea539e6940132/dblp},
  ee = {http://arxiv.org/abs/1111.3270},
  interhash = {615c6d9128cc21c1192003f93c355e4d},
  intrahash = {9b1a3f6321c2bf72fb7ea539e6940132},
  journal = {CoRR},
  keywords = {dblp},
  title = {Mining Biclusters of Similar Values with Triadic Concept Analysis},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-3270},
  volume = {abs/1111.3270},
  year = 2011
}

@article{journals/corr/abs-1111-5690,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Kaytoue, Mehdi and Marcuola, Florent and Napoli, Amedeo and Szathmary, Laszlo and Villerd, Jean},
  biburl = {http://www.bibsonomy.org/bibtex/2621500d696605fef3a4668caea11003f/dblp},
  ee = {http://arxiv.org/abs/1111.5690},
  interhash = {4aa4de6bbbc33cc035e0db8cac1c9474},
  intrahash = {621500d696605fef3a4668caea11003f},
  journal = {CoRR},
  keywords = {dblp},
  title = {The Coron System},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-5690},
  volume = {abs/1111.5690},
  year = 2011
}

@article{journals/corr/abs-1111-5689,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Kaytoue, Mehdi and Kuznetsov, Sergei O. and Napoli, Amedeo},
  biburl = {http://www.bibsonomy.org/bibtex/26bff19b4b8e399697468c91be29a4dd3/dblp},
  ee = {http://arxiv.org/abs/1111.5689},
  interhash = {8f4951ae851aec739cd83f3f726111dd},
  intrahash = {6bff19b4b8e399697468c91be29a4dd3},
  journal = {CoRR},
  keywords = {dblp},
  title = {Revisiting Numerical Pattern Mining with Formal Concept Analysis},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-5689},
  volume = {abs/1111.5689},
  year = 2011
}

@article{journals/corr/abs-1007-4400,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Napoli, Edoardo Di and Bientinesi, Paolo},
  biburl = {http://www.bibsonomy.org/bibtex/2a8dea091df0101d5653efb2126e28904/dblp},
  ee = {http://arxiv.org/abs/1007.4400},
  interhash = {9c7fd3ada32876201f60345de9b0043b},
  intrahash = {a8dea091df0101d5653efb2126e28904},
  journal = {CoRR},
  keywords = {dblp},
  title = {Matrix Structure Exploitation in Generalized Eigenproblems Arising in Density Functional Theory},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1007.html#abs-1007-4400},
  volume = {abs/1007.4400},
  year = 2010
}

@article{journals/corr/abs-cs-0610156,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {d'Aquin, Mathieu and Badra, Fadi and Lafrogne, Sandrine and Lieber, Jean and Napoli, Amedeo and Szathmary, Laszlo},
  biburl = {http://www.bibsonomy.org/bibtex/2fb2a6e009334d03c079d0f5bb14dcf1c/dblp},
  ee = {http://arxiv.org/abs/cs/0610156},
  interhash = {725e74d72069ac739c63651662bcbb4c},
  intrahash = {fb2a6e009334d03c079d0f5bb14dcf1c},
  journal = {CoRR},
  keywords = {dblp},
  title = {Adaptation Knowledge Discovery from a Case Base},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0610.html#abs-cs-0610156},
  volume = {abs/cs/0610156},
  year = 2006
}

@article{journals/corr/abs-cs-0511044,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Gruska, Jozef and Torre, Salvatore La and Napoli, Margherita and Parente, Mimmo},
  biburl = {http://www.bibsonomy.org/bibtex/21d1615ae4237bcb5ac720daf85e46b13/dblp},
  ee = {http://arxiv.org/abs/cs/0511044},
  interhash = {680d5c0cb837e523eda49930b45573bf},
  intrahash = {1d1615ae4237bcb5ac720daf85e46b13},
  journal = {CoRR},
  keywords = {dblp},
  title = {Various Solutions to the Firing Squad Synchronization Problems},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0511.html#abs-cs-0511044},
  volume = {abs/cs/0511044},
  year = 2005
}

@article{journals/corr/abs-cs-0506017,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Messai, Nizar and Devignes, Marie-Dominique and Smaïl-Tabbone, Malika and Napoli, Amedeo},
  biburl = {http://www.bibsonomy.org/bibtex/25769fa6831f8e39124db181674d210ff/dblp},
  ee = {http://arxiv.org/abs/cs/0506017},
  interhash = {1501820e1b1a7d762b67dd19b302cc2b},
  intrahash = {5769fa6831f8e39124db181674d210ff},
  journal = {CoRR},
  keywords = {dblp},
  title = {Treillis de concepts et ontologies pour l'interrogation d'un annuaire de sources de données biologiques (BioRegistry)},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0506.html#abs-cs-0506017},
  volume = {abs/cs/0506017},
  year = 2005
}

@article{journals/corr/abs-cs-0510037,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Bendaoud, Rokia and Toussaint, Yannick and Napoli, Amedeo},
  biburl = {http://www.bibsonomy.org/bibtex/25096e09490a514a74579837e83213e50/dblp},
  ee = {http://arxiv.org/abs/cs/0510037},
  interhash = {bb21b1c9030422fe759dc7f2e74d5097},
  intrahash = {5096e09490a514a74579837e83213e50},
  journal = {CoRR},
  keywords = {dblp},
  title = {Hiérarchisation des règles d'association en fouille de textes},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0510.html#abs-cs-0510037},
  volume = {abs/cs/0510037},
  year = 2005
}

@article{journals/corr/abs-1111-6374,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Aliaga, José Ignacio and Bientinesi, Paolo and Davidovic, Davor and Napoli, Edoardo Di and Igual, Francisco D. and Quintana-Ortí, Enrique S.},
  biburl = {http://www.bibsonomy.org/bibtex/240b879b839ed45e4a21f5e17e384dfbc/dblp},
  ee = {http://arxiv.org/abs/1111.6374},
  interhash = {b0b4338d134e7fd76d8f0e9aea6e6224},
  intrahash = {40b879b839ed45e4a21f5e17e384dfbc},
  journal = {CoRR},
  keywords = {dblp},
  title = {Solving Dense Generalized Eigenproblems on Multi-threaded Architectures},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-6374},
  volume = {abs/1111.6374},
  year = 2011
}

@article{journals/corr/abs-0910-5434,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Petschow, Matthias and Napoli, Edoardo Di and Bientinesi, Paolo},
  biburl = {http://www.bibsonomy.org/bibtex/2c8332742afad0dfa405c7aaf1ad7689a/dblp},
  ee = {http://arxiv.org/abs/0910.5434},
  interhash = {d993d954e82afd528412dd7cbaacfb34},
  intrahash = {c8332742afad0dfa405c7aaf1ad7689a},
  journal = {CoRR},
  keywords = {dblp},
  title = {An Example of Symmetry Exploitation for Energy-related Eigencomputations},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0910.html#abs-0910-5434},
  volume = {abs/0910.5434},
  year = 2009
}

@article{journals/corr/abs-1111-5687,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Ducatel, Baptiste and Kaytoue, Mehdi and Marcuola, Florent and Napoli, Amedeo and Szathmary, Laszlo},
  biburl = {http://www.bibsonomy.org/bibtex/2279c0fae8c63addd8b6ee859127560ba/dblp},
  ee = {http://arxiv.org/abs/1111.5687},
  interhash = {a4195384ccab49c6371f63aa4a58358e},
  intrahash = {279c0fae8c63addd8b6ee859127560ba},
  journal = {CoRR},
  keywords = {dblp},
  title = {Coron : Plate-forme d'extraction de connaissances dans les bases de données},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-5687},
  volume = {abs/1111.5687},
  year = 2011
}

@inproceedings{conf/springsim/NapoliP11,
  added-at = {2011-12-01T00:00:00.000+0100},
  author = {Napoli, Margherita and Parente, Mimmo},
  biburl = {http://www.bibsonomy.org/bibtex/203e62b24934e6f00ce4b307f89f8907a/dblp},
  booktitle = {SpringSim (TMS-DEVS)},
  crossref = {conf/springsim/2011-4},
  editor = {Wainer, Gabriel A. and Traoré, Mamadou K. and Heckel, Reiko and Himmelspach, Jan},
  ee = {http://dl.acm.org/citation.cfm?id=2048483},
  interhash = {8eca4874fa7029d2961453ba6f99b1e9},
  intrahash = {03e62b24934e6f00ce4b307f89f8907a},
  keywords = {dblp},
  pages = {59-66},
  publisher = {SCS/ACM},
  title = {Graded CTL model checking for test generation.},
  url = {http://dblp.uni-trier.de/db/conf/springsim/springsim2011-4.html#NapoliP11},
  year = 2011
}

@article{journals/ijsi/SzathmaryVN10,
  added-at = {2011-11-28T00:00:00.000+0100},
  author = {Szathmary, Laszlo and Valtchev, Petko and Napoli, Amedeo},
  biburl = {http://www.bibsonomy.org/bibtex/2bdee1b89c5bb38ee83b30e973ede9b7c/dblp},
  ee = {http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=i56},
  interhash = {1a447ff648fbcebddace505c6a7c38b7},
  intrahash = {bdee1b89c5bb38ee83b30e973ede9b7c},
  journal = {Int. J. Software and Informatics},
  keywords = {dblp},
  number = 3,
  pages = {219-238},
  title = {Generating Rare Association Rules Using the Minimal Rare Itemsets Family.},
  url = {http://dblp.uni-trier.de/db/journals/ijsi/ijsi4.html#SzathmaryVN10},
  volume = 4,
  year = 2010
}

@article{journals/entcs/MonicaNP11,
  added-at = {2011-11-28T00:00:00.000+0100},
  author = {Monica, Dario Della and Napoli, Margherita and Parente, Mimmo},
  biburl = {http://www.bibsonomy.org/bibtex/27896c9b68e6f28873291625f2bb5fa7e/dblp},
  ee = {http://dx.doi.org/10.1016/j.entcs.2011.10.017},
  interhash = {0558d226db77246e87b8c1b95ce01f1c},
  intrahash = {7896c9b68e6f28873291625f2bb5fa7e},
  journal = {Electr. Notes Theor. Comput. Sci.},
  keywords = {dblp},
  pages = {215-228},
  title = {On a Logic for Coalitional Games with Priced-Resource Agents.},
  url = {http://dblp.uni-trier.de/db/journals/entcs/entcs278.html#MonicaNP11},
  volume = 278,
  year = 2011
}

@article{journals/tse/Maggiolo-SchettiniNT88,
  added-at = {2011-11-07T00:00:00.000+0100},
  author = {Maggiolo-Schettini, Andrea and Napoli, Margherita and Tortora, Genoveffa},
  biburl = {http://www.bibsonomy.org/bibtex/2b2de318f72a6ccd9163cd84b653f8853/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/32.9050},
  interhash = {615d729ff4299e9e623af78727e5c2c7},
  intrahash = {b2de318f72a6ccd9163cd84b653f8853},
  journal = {IEEE Trans. Software Eng.},
  keywords = {dblp},
  number = 11,
  pages = {1621-1639},
  title = {Web Structures: A Tool for Representing and Manipulating Programs.},
  url = {http://dblp.uni-trier.de/db/journals/tse/tse14.html#Maggiolo-SchettiniNT88},
  volume = 14,
  year = 1988
}