BibTeX records: Alexandre Frey

download as .bib file

@article{DBLP:journals/dt/WilsonFMKA07,
  author    = {Peter Wilson and
               Alexandre Frey and
               Tom Mihm and
               Danny Kershaw and
               Tiago Alves},
  title     = {Implementing Embedded Security on Dual-Virtual-CPU Systems},
  journal   = {{IEEE} Des. Test Comput.},
  volume    = {24},
  number    = {6},
  pages     = {582--591},
  year      = {2007},
  url       = {https://doi.org/10.1109/MDT.2007.196},
  doi       = {10.1109/MDT.2007.196},
  timestamp = {Sun, 17 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dt/WilsonFMKA07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Frey04,
  author    = {Alexandre Frey},
  title     = {Approche alg{\'{e}}brique du typage d'un langage {\`{a}} la {ML}
               avec objets, sous-typage et multi-m{\'{e}}thodes},
  school    = {Mines ParisTech, France},
  year      = {2004},
  url       = {https://tel.archives-ouvertes.fr/tel-00007516},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Frey04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Frey02,
  author    = {Alexandre Frey},
  title     = {Satisfying subtype inequalities in polynomial space},
  journal   = {Theor. Comput. Sci.},
  volume    = {277},
  number    = {1-2},
  pages     = {105--117},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0304-3975(00)00314-5},
  doi       = {10.1016/S0304-3975(00)00314-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/Frey02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Frey97,
  author    = {Alexandre Frey},
  editor    = {Pascal Van Hentenryck},
  title     = {Satisfying Subtype Inequalities in Polynomial Space},
  booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
               September 8-10, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1302},
  pages     = {265--277},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0032747},
  doi       = {10.1007/BFb0032747},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/sas/Frey97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics