publications.bib

@THESIS{PascaThesis,
  AUTHOR = {Ioana Pasca},
  TITLE = {{Formal Verification for Numerical Methods}},
  NOTE = {PhD Thesis, University of Nice Sophia Antipolis},
  YEAR = {2010},
  MONTH = {November},
  URL = { http://tel.archives-ouvertes.fr/tel-00555158}
}


@INPROCEEDINGS{Pasca10,
 AUTHOR = {Ioana Pasca},
 TITLE = {Formally Verified Conditions for Regularity of Interval Matrices},
  BOOKTITLE = {17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Calculemus 2010},
  PUBLISHER = {Springer},
  PAGES = {219 - 233},
  SERIES = {Lecture Notes in Artificial Intelligence},
  VOLUME = {6167},
  YEAR = {2010}
}


@MISC{PascaRR10,
  AUTHOR = {Ioana Pasca},
  TITLE = {{Formal Proofs for Theoretical Properties of Newton's Method}},
  NOTE = {INRIA Research Report RR-7228},
  YEAR = {2010},
  URL = {http://hal.archives-ouvertes.fr/inria-00463150/en/}
}


@INPROCEEDINGS{JulienP09,
  AUTHOR = {Nicolas Julien and
               Ioana Pasca},
  TITLE = {{Formal Verification of Exact Computations Using Newton's
               Method}},
  BOOKTITLE = {{TPHOLs 2009}},
  PAGES = {408-423},
  SERIES = {LNCS},
  VOLUME = {5674},
  YEAR = {2009},
  URL = {http://hal.inria.fr/inria-00369511/en/}
}

@INPROCEEDINGS{BertotGBP08,
  AUTHOR = {Yves Bertot and Georges Gonthier and Sidi {Ould Biha} and Ioana Pasca},
  TITLE = {{Canonical Big Operators}},
  BOOKTITLE = {{TPHOLs 2008}},
  PAGES = {86-101},
  SERIES = {LNCS},
  VOLUME = {5170},
  YEAR = {2008},
  URL = {http://hal.inria.fr/inria-00331193/en/}
}

@INPROCEEDINGS{Pasca08,
  AUTHOR = {Ioana Pa{\c{s}}ca},
  TITLE = {{A Formal Verification for Kantorovitch's Theorem}},
  BOOKTITLE = {Journ{\'e}es Francophones des Langages Applicatifs},
  YEAR = {2008},
  LOCATION = {{\'E}tretat},
  MONTH = JAN,
  URL = {http://hal.inria.fr/inria-00202808/en/}
}