@book{Cav96,
	title = {Gene, V{\"o}lker und Sprachen. Die biologischen Grundlagen unserer Zivilisation},
	address = {M{\"u}nchen},
	author = {L. Cavalli-Sforza},
	publisher = {Carl Hanser Verlag},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/2f63253ad47822a3c7acb46883762ba7b/lysander07},
	keywords = {history language mediengeschichte www01 wwwbook wwwkap2 }
}

@article{journals/jcc/GraziosoCARM08,
	title = {Alpha7 nicotinic acetylcholine receptor agonists: Prediction of their binding affinity through a molecular mechanics Poisson-Boltzmann surface area approach.},
	author = {Giovanni Grazioso and Andrea Cavalli and Marco De Amici and Maurizio Recanatini and Carlo De Micheli},
	journal = {Journal of Computational Chemistry},
	number = {15},
	pages = {2593-2602},
	url = {http://dblp.uni-trier.de/db/journals/jcc/jcc29.html#GraziosoCARM08},
	volume = {29},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/23e7e2e65f4e9a2d6b4bf1eb9b614dede/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1002/jcc.21019}, date = {2008-11-19},
	keywords = {dblp }
}

@article{journals/jcc/MasettiCR08,
	title = {Modeling the hERG potassium channel in a phospholipid bilayer: Molecular dynamics and drug docking studies.},
	author = {Matteo Masetti and Andrea Cavalli and Maurizio Recanatini},
	journal = {Journal of Computational Chemistry},
	number = {5},
	pages = {795-808},
	url = {http://dblp.uni-trier.de/db/journals/jcc/jcc29.html#MasettiCR08},
	volume = {29},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/258c63f40c875e837e8497710dbdc52b1/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1002/jcc.20842}, date = {2008-11-19},
	keywords = {dblp }
}

@inproceedings{conf/adhoc-now/MallouliWC08,
	title = {Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.},
	author = {Wissam Mallouli and Bachar Wehbi and Ana Cavalli},
	booktitle = {ADHOC-NOW},
	crossref = {conf/adhoc-now/2008},
	editor = {David Coudert and David Simplot-Ryl and Ivan Stojmenovic},
	pages = {345-356},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/adhoc-now/adhoc-now2008.html#MallouliWC08},
	volume = {5198},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2003a0a7c9064ff9bcf6c0a61ee2e4302/dblp},
	description = {dblp},
	date = {2008-10-01}, ee = {http://dx.doi.org/10.1007/978-3-540-85209-4_27}, isbn = {978-3-540-85208-7},
	keywords = {dblp }
}

@inproceedings{conf/IEEEares/ComaCCC08,
	title = {Context Ontology for Secure Interoperability.},
	author = {Céline Coma and Nora Cuppens-Boulahia and Frédéric Cuppens and Ana R. Cavalli},
	booktitle = {ARES},
	crossref = {conf/IEEEares/2008},
	pages = {821-827},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/IEEEares/ares2008.html#ComaCCC08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/288db743770e156a33d1cf77fcda17bdc/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ARES.2008.133}, date = {2008-05-11},
	keywords = {dblp }
}

@inproceedings{conf/elpub/Cavalli05,
	title = {Systemic Approach to Digital Publishing.},
	author = {Nicola Cavalli},
	booktitle = {ELPUB},
	crossref = {conf/elpub/2005},
	editor = {Milena Dobreva and Jan Engelen},
	url = {http://dblp.uni-trier.de/db/conf/elpub/elpub2005.html#Cavalli05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/219c82d9c34f70169a138faf082a7433e/dblp},
	description = {dblp},
	ee = {http://urn.kb.se/resolve?urn=urn:nbn:se:elpub-160elpub2005}, isbn = {90-429-1645-1}, date = {2008-04-29},
	keywords = {dblp }
}

@article{journals/comcom/MaagGC08,
	title = {A formal validation methodology for MANET routing protocols based on nodes' self similarity.},
	author = {Stéphane Maag and Cyril Grepet and Ana Cavalli},
	journal = {Computer Communications},
	number = {4},
	pages = {827-841},
	url = {http://dblp.uni-trier.de/db/journals/comcom/comcom31.html#MaagGC08},
	volume = {31},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/223c5039ce9277ca1c3aa349a9fafbac1/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.comcom.2007.10.031}, date = {2008-03-05},
	keywords = {dblp }
}

@inproceedings{conf/hase/MallouliC07,
	title = {Testing Security Rules with Decomposable Activities.},
	author = {Wissam Mallouli and Ana Cavalli},
	booktitle = {HASE},
	crossref = {conf/hase/2007},
	pages = {149-155},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/hase/hase2007.html#MallouliC07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2a956d6a9dceed08ee82823f6c13988f8/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.71}, date = {2008-02-09},
	keywords = {dblp }
}

@inproceedings{conf/ccgrid/UkTSSCC03,
	title = {Combining Task- and Data Parallelism to Speed up Protein Folding on a Desktop Grid Platform.},
	author = {Bennet Uk and Michela Taufer and Thomas Stricker and Giovanni Settanni and Andrea Cavalli and Amedeo Caflisch},
	booktitle = {CCGRID},
	crossref = {conf/ccgrid/2003},
	pages = {240-},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/ccgrid/ccgrid2003.html#UkTSSCC03},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2e158134108a33ed43b4c29d52dffbc6c/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/ccgrid/2003/1919/00/19190240abs.htm}, isbn = {0-7695-1919-9}, date = {2008-01-11},
	keywords = {dblp }
}

@inproceedings{conf/ipps/UkTSSC03,
	title = {Implementation and Characterization of Protein Folding on a Desktop Computational Grid - Is CHARMM a Suitable Candidate for the United Devices MetaProcessor?},
	author = {Bennet Uk and Michela Taufer and Thomas Stricker and Giovanni Settanni and Andrea Cavalli},
	booktitle = {IPDPS},
	crossref = {conf/ipps/2003},
	pages = {50},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/ipps/ipdps2003.html#UkTSSC03},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/24afca975587985020a12f698e7ace1cb/dblp},
	description = {dblp},
	ee = {http://csdl.computer.org/comp/proceedings/ipdps/2003/1926/00/19260050babs.htm}, isbn = {0-7695-1926-1}, date = {2008-01-11},
	keywords = {dblp }
}

@inproceedings{conf/grid/AidelCCLMPR07,
	title = {CIC portal: a collaborative and scalable integration platform for high availability grid operations.},
	author = {Osman Aidel and Alessandro Cavalli and Hélène Cordier and Cyril L'Orphelin and Gilles Mathieu and Alfredo Pagano and Sylvain Reynaud},
	booktitle = {GRID},
	crossref = {conf/grid/2007},
	pages = {121-128},
	publisher = {IEEE},
	url = {http://dblp.uni-trier.de/db/conf/grid/grid2007.html#AidelCCLMPR07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2b52b1e07aa7021cedc5c9e91f2b1456f/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1109/GRID.2007.4354124}, isbn = {1-4244-1560-8}, date = {2007-12-03},
	keywords = {dblp }
}

@article{journals/tvlsi/HossainVC03,
	title = {Designing fast on-chip interconnects for deep submicrometer technologies.},
	author = {R. Hossain and F. Viglione and M. Cavalli},
	journal = {IEEE Trans. VLSI Syst.},
	number = {2},
	pages = {276-280},
	url = {http://dblp.uni-trier.de/db/journals/tvlsi/tvlsi11.html#HossainVC03},
	volume = {11},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/26cc1b16f28e2043161b3f64deb92d03c/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/TVLSI.2003.810781}, date = {2007-11-13},
	keywords = {dblp }
}

@techreport{PilotProd,
	title = {Pilot {P}roduction {G}rid {I}nfrastructure for {H}igh {E}nergy {P}hysics {A}pplications},
	author = {S. Andreozzi and D. Bonaccorsi and V. Ciaschini and A. Cavalli and F. Donno and S. Fantinel and F. Fanzago and A. Ghiselli and A. Italiano and M. Mazzucato and A. Sciaba and H. Stockinger and G. Tortone and M. Verlato and C. Vistoli},
	institution = {INFN},
	month = {Sep},
	number = {INFN/TC-04/15},
	url = {http://www.lnf.infn.it/sis/preprint/pdf/INFN-TC-04-15.pdf},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/26f43027e165eb4f77d70ddd467a147e3/andreozzi},
	description = {my publications},
	keywords = {imported }
}

@inproceedings{conf/rtcsa/VieiraC07,
	title = {Towards an Automated Test Generation with Delayed Transitions for Timed Systems.},
	author = {Elisangela Rodrigues Vieira and Ana Cavalli},
	booktitle = {RTCSA},
	crossref = {conf/rtcsa/2007},
	pages = {226-231},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2007.html#VieiraC07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/23b037de7c9550b9a68bf1c3975a65bd4/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2007.71}, date = {2007-09-07},
	keywords = {dblp }
}

@inproceedings{conf/forte/BatthVCU07,
	title = {Specification of Timed EFSM Fault Models in SDL.},
	author = {Samrat S. Batth and Elisangela Rodrigues Vieira and Ana Cavalli and M. Ümit Uyar},
	booktitle = {FORTE},
	crossref = {conf/forte/2007},
	editor = {John Derrick and Jüri Vain},
	pages = {50-65},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/forte/forte2007.html#BatthVCU07},
	volume = {4574},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/27d88a2fcebf1fa7f2dc34bdf9e9e51ff/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-73196-2_4}, isbn = {978-3-540-73195-5}, date = {2007-09-04},
	keywords = {dblp }
}

@inproceedings{conf/mdm/WehbiMC06,
	title = {Light Client Management Protocol for Wireless Mesh Networks.},
	author = {Bachar Wehbi and Wissam Mallouli and Ana R. Cavalli},
	booktitle = {MDM},
	crossref = {conf/mdm/2006},
	pages = {123},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/mdm/mdm2006.html#WehbiMC06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/22937ecf3a446db950d6da852d181d797/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/MDM.2006.100}, isbn = {0-7695-2526-1}, date = {2007-06-22},
	keywords = {dblp }
}

@inproceedings{conf/mdm/OrsetC06,
	title = {A Security Model for OLSR MANET Protocol.},
	author = {Jean-Marie Orset and Ana R. Cavalli},
	booktitle = {MDM},
	crossref = {conf/mdm/2006},
	pages = {122},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/mdm/mdm2006.html#OrsetC06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2ae619bdfbcb690caa8e540145b4262fc/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/MDM.2006.17}, isbn = {0-7695-2526-1}, date = {2007-06-22},
	keywords = {dblp }
}

@inproceedings{conf/icns/CavalliV06,
	title = {Working Around BGP: An Improvement of BGP Session Maintenance.},
	author = {Ana R. Cavalli and Dario Vieira},
	booktitle = {ICNS},
	crossref = {conf/icns/2006},
	pages = {41},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/icns/icns2006.html#CavalliV06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2e13d40fb9d7e1c74be5cbaf090228508/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ICNS.2006.122}, isbn = {0-7695-2622-5}, date = {2007-06-22},
	keywords = {dblp }
}

@inproceedings{conf/sacmat/MallouliOCCC07,
	title = {A formal approach for testing security rules.},
	author = {Wissam Mallouli and Jean-Marie Orset and Ana R. Cavalli and Nora Cuppens-Boulahia and Frédéric Cuppens},
	booktitle = {SACMAT},
	crossref = {conf/sacmat/2007},
	editor = {Volkmar Lotz and Bhavani M. Thuraisingham},
	pages = {127-132},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/sacmat/sacmat2007.html#MallouliOCCC07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/21b61ec0da68132a518c1152a45153da1/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1266840.1266860}, isbn = {978-1-59593-745-2}, date = {2007-06-22},
	keywords = {dblp }
}

@inproceedings{conf/pts/YevtushenkoCL98,
	title = {Test Suite Minimization for Testing in Context.},
	author = {Nina Yevtushenko and Ana R. Cavalli and Luiz A. Paula Lima Jr.},
	booktitle = {IWTCS},
	crossref = {conf/pts/1998},
	editor = {Alexandre Petrenko and Nina Yevtushenko},
	pages = {127-146},
	publisher = {Kluwer},
	series = {IFIP Conference Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/pts/pts1998.html#YevtushenkoCL98},
	volume = {131},
	year = {1998},
	biburl = {http://www.bibsonomy.org/bibtex/24b3c70fe148fdc046bd4383d627156df/dblp},
	description = {dblp},
	isbn = {0-412-84430-3}, date = {2007-05-24},
	keywords = {dblp }
}