@article{LeTavernier1998,
	title = {La m{\'e}thode de Higuchi pour la dimension fractale},
	author = {E. Le Tavernier and P. Simard and M. Bulo and D. Boichu},
	journal = {Signal Processing},
	month = {Feb},
	number = {1},
	pages = {115--128},
	url = {http://www.sciencedirect.com/science/article/B6V18-3T82BD3-8/1/cb866e434697ad7f0108f0ae84ba7a69},
	volume = {65},
	year = {1998},
	biburl = {http://www.bibsonomy.org/bibtex/20521f6a64aa1b631d33839f0ccb3f06b/smicha},
	keywords = {Irregular analysis series time }
}

@inproceedings{conf/cvpr/TorselloBP06,
	title = {Grouping with Asymmetric Affinities: A Game-Theoretic Perspective.},
	author = {Andrea Torsello and Samuel Rota Bulò and Marcello Pelillo},
	booktitle = {CVPR (1)},
	crossref = {conf/cvpr/2006},
	pages = {292-299},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/cvpr/cvpr2006-1.html#TorselloBP06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2282b4f24e74504d68edcd2bb705568b5/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/CVPR.2006.130}, isbn = {0-7695-2597-0}, date = {2007-09-03},
	keywords = {dblp }
}

@inproceedings{conf/gbrpr/BuloTP07,
	title = {A Continuous-Based Approach for Partial Clique Enumeration.},
	author = {Samuel Rota Bulò and Andrea Torsello and Marcello Pelillo},
	booktitle = {GbRPR},
	crossref = {conf/gbrpr/2007},
	editor = {Francisco Escolano and Mario Vento},
	pages = {61-70},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/gbrpr/gbrpr2007.html#BuloTP07},
	volume = {4538},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/226cfd4cfa133aa4e44ee6607224027dd/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-72903-7_6}, isbn = {978-3-540-72902-0}, date = {2007-09-03},
	keywords = {dblp }
}

@inproceedings{conf/aisc/Medina-BuloPAR04,
	title = {Verified Computer Algebra in Acl2. Gröbner Bases Computation.},
	author = {Inmaculada Medina-Bulo and Francisco Palomo-Lozano and José A. Alonso-Jiménez and José-Luis Ruiz-Reina},
	booktitle = {AISC},
	crossref = {conf/aisc/2004},
	editor = {Bruno Buchberger and John A. Campbell},
	pages = {171-184},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2004.html#Medina-BuloPAR04},
	volume = {3249},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2da0224b646463458b19179b2c3139537/dblp},
	description = {dblp},
	ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3249&spage=171}, isbn = {3-540-23212-5}, date = {2005-01-04},
	keywords = {dblp }
}

@inproceedings{conf/tphol/Medina-BuloPA01,
	title = {A Certified Polynomial-Based Decision Procedure for Propositional Logic.},
	author = {Inmaculada Medina-Bulo and Francisco Palomo-Lozano and José A. Alonso-Jiménez},
	booktitle = {TPHOLs},
	crossref = {conf/tphol/2001},
	editor = {Richard J. Boulton and Paul B. Jackson},
	pages = {297-312},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/tphol/tphol2001.html#Medina-BuloPA01},
	volume = {2152},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/2a14bf046b97ce1f7efffec61413d80fd/dblp},
	description = {dblp},
	ee = {http://link.springer.de/link/service/series/0558/bibs/2152/21520297.htm}, isbn = {3-540-42525-X}, date = {2002-01-03},
	keywords = {dblp }
}