BibTeX records: Jorge Luis Sacchini

download as .bib file

@inproceedings{DBLP:conf/fm/BeckerCGHHKNSTT16,
  author    = {Hanno Becker and
               Juan Manuel Crespo and
               Jacek Galowicz and
               Ulrich Hensel and
               Yoichi Hirai and
               C{\'{e}}sar Kunz and
               Keiko Nakata and
               Jorge Luis Sacchini and
               Hendrik Tews and
               Thomas Tuerk},
  title     = {Combining Mechanized Proofs and Model-Based Testing in the Formal
               Analysis of a Hypervisor},
  booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  pages     = {69--84},
  year      = {2016},
  crossref  = {DBLP:conf/fm/2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6\_5},
  doi       = {10.1007/978-3-319-48989-6\_5},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/BeckerCGHHKNSTT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Sacchini14,
  author    = {Jorge Luis Sacchini},
  title     = {Linear Sized Types in the Calculus of Constructions},
  booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
               2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
  pages     = {169--185},
  year      = {2014},
  crossref  = {DBLP:conf/flops/2014},
  url       = {https://doi.org/10.1007/978-3-319-07151-0\_11},
  doi       = {10.1007/978-3-319-07151-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/Sacchini14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Sacchini13,
  author    = {Jorge Luis Sacchini},
  title     = {Type-Based Productivity of Stream Definitions in the Calculus of Constructions},
  booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
               2013, New Orleans, LA, USA, June 25-28, 2013},
  pages     = {233--242},
  year      = {2013},
  crossref  = {DBLP:conf/lics/2013},
  url       = {https://doi.org/10.1109/LICS.2013.29},
  doi       = {10.1109/LICS.2013.29},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Sacchini13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CervesatoS13,
  author    = {Iliano Cervesato and
               Jorge Luis Sacchini},
  title     = {Towards Meta-Reasoning in the Concurrent Logical Framework {CLF}},
  booktitle = {Proceedings Combined 20th International Workshop on Expressiveness
               in Concurrency and 10th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  pages     = {2--16},
  year      = {2013},
  crossref  = {DBLP:journals/corr/BorgstromL13},
  url       = {https://doi.org/10.4204/EPTCS.120.2},
  doi       = {10.4204/EPTCS.120.2},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CervesatoS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GregoireS10,
  author    = {Benjamin Gr{\'{e}}goire and
               Jorge Luis Sacchini},
  title     = {On Strong Normalization of the Calculus of Constructions with Type-Based
               Termination},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
               International Conference, LPAR-17, Yogyakarta, Indonesia, October
               10-15, 2010. Proceedings},
  pages     = {333--347},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010y},
  url       = {https://doi.org/10.1007/978-3-642-16242-8\_24},
  doi       = {10.1007/978-3-642-16242-8\_24},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/GregoireS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BartheKS08,
  author    = {Gilles Barthe and
               C{\'{e}}sar Kunz and
               Jorge Luis Sacchini},
  title     = {Certified Reasoning in Memory Hierarchies},
  booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
               Bangalore, India, December 9-11, 2008. Proceedings},
  pages     = {75--90},
  year      = {2008},
  crossref  = {DBLP:conf/aplas/2008},
  url       = {https://doi.org/10.1007/978-3-540-89330-1\_6},
  doi       = {10.1007/978-3-540-89330-1\_6},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/BartheKS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BarrasCGHS08,
  author    = {Bruno Barras and
               Pierre Corbineau and
               Benjamin Gr{\'{e}}goire and
               Hugo Herbelin and
               Jorge Luis Sacchini},
  title     = {A New Elimination Rule for the Calculus of Inductive Constructions},
  booktitle = {Types for Proofs and Programs, International Conference, {TYPES} 2008,
               Torino, Italy, March 26-29, 2008, Revised Selected Papers},
  pages     = {32--48},
  year      = {2008},
  crossref  = {DBLP:conf/types/2008},
  url       = {https://doi.org/10.1007/978-3-642-02444-3\_3},
  doi       = {10.1007/978-3-642-02444-3\_3},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/types/BarrasCGHS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/GregoireS07,
  author    = {Benjamin Gr{\'{e}}goire and
               Jorge Luis Sacchini},
  title     = {Combining a Verification Condition Generator for a Bytecode Language
               with Static Analyses},
  booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
               France, November 5-6, 2007, Revised Selected Papers},
  pages     = {23--40},
  year      = {2007},
  crossref  = {DBLP:conf/tgc/2007},
  url       = {https://doi.org/10.1007/978-3-540-78663-4\_4},
  doi       = {10.1007/978-3-540-78663-4\_4},
  timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/GregoireS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2016,
  editor    = {John S. Fitzgerald and
               Constance L. Heitmeyer and
               Stefania Gnesi and
               Anna Philippou},
  title     = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
               Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9995},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-48989-6},
  doi       = {10.1007/978-3-319-48989-6},
  isbn      = {978-3-319-48988-9},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2014,
  editor    = {Michael Codish and
               Eijiro Sumii},
  title     = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
               2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8475},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07151-0},
  doi       = {10.1007/978-3-319-07151-0},
  isbn      = {978-3-319-07150-3},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2013,
  title     = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
               2013, New Orleans, LA, USA, June 25-28, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6570844/proceeding},
  isbn      = {978-1-4799-0413-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BorgstromL13,
  editor    = {Johannes Borgstr{\"{o}}m and
               Bas Luttik},
  title     = {Proceedings Combined 20th International Workshop on Expressiveness
               in Concurrency and 10th Workshop on Structural Operational Semantics,
               {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series    = {{EPTCS}},
  volume    = {120},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.120},
  doi       = {10.4204/EPTCS.120},
  timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BorgstromL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010y,
  editor    = {Christian G. Ferm{\"{u}}ller and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
               International Conference, LPAR-17, Yogyakarta, Indonesia, October
               10-15, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6397},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16242-8},
  doi       = {10.1007/978-3-642-16242-8},
  isbn      = {978-3-642-16241-1},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2010y},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2008,
  editor    = {G. Ramalingam},
  title     = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
               Bangalore, India, December 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5356},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89330-1},
  doi       = {10.1007/978-3-540-89330-1},
  isbn      = {978-3-540-89329-5},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/2008,
  editor    = {Stefano Berardi and
               Ferruccio Damiani and
               Ugo de'Liguoro},
  title     = {Types for Proofs and Programs, International Conference, {TYPES} 2008,
               Torino, Italy, March 26-29, 2008, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5497},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02444-3},
  doi       = {10.1007/978-3-642-02444-3},
  isbn      = {978-3-642-02443-6},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/types/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2007,
  editor    = {Gilles Barthe and
               C{\'{e}}dric Fournet},
  title     = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
               France, November 5-6, 2007, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4912},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78663-4},
  doi       = {10.1007/978-3-540-78663-4},
  isbn      = {978-3-540-78662-7},
  timestamp = {Sat, 19 Oct 2019 20:09:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics