Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jorge Luis Sacchini
@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}, editor = {John S. Fitzgerald and Constance L. Heitmeyer and Stefania Gnesi and Anna Philippou}, 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}, series = {Lecture Notes in Computer Science}, volume = {9995}, pages = {69--84}, year = {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/conf/fm/BeckerCGHHKNSTT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/Sacchini14, author = {Jorge Luis Sacchini}, editor = {Michael Codish and Eijiro Sumii}, 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}, series = {Lecture Notes in Computer Science}, volume = {8475}, pages = {169--185}, publisher = {Springer}, year = {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/conf/flops/Sacchini14.bib}, 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}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/LICS.2013.29}, doi = {10.1109/LICS.2013.29}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Sacchini13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/CervesatoS13, author = {Iliano Cervesato and Jorge Luis Sacchini}, editor = {Johannes Borgstr{\"{o}}m and Bas Luttik}, 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}, series = {{EPTCS}}, volume = {120}, pages = {2--16}, year = {2013}, 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/journals/corr/CervesatoS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/GregoireS10, author = {Benjamin Gr{\'{e}}goire and Jorge Luis Sacchini}, editor = {Christian G. Ferm{\"{u}}ller and Andrei Voronkov}, 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}, series = {Lecture Notes in Computer Science}, volume = {6397}, pages = {333--347}, publisher = {Springer}, year = {2010}, 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/conf/lpar/GregoireS10.bib}, 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}, editor = {G. Ramalingam}, title = {Certified Reasoning in Memory Hierarchies}, booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008, Bangalore, India, December 9-11, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5356}, pages = {75--90}, publisher = {Springer}, year = {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/conf/aplas/BartheKS08.bib}, 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}, editor = {Stefano Berardi and Ferruccio Damiani and Ugo de'Liguoro}, 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}, series = {Lecture Notes in Computer Science}, volume = {5497}, pages = {32--48}, publisher = {Springer}, year = {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/conf/types/BarrasCGHS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/GregoireS07, author = {Benjamin Gr{\'{e}}goire and Jorge Luis Sacchini}, editor = {Gilles Barthe and C{\'{e}}dric Fournet}, 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}, series = {Lecture Notes in Computer Science}, volume = {4912}, pages = {23--40}, publisher = {Springer}, year = {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/conf/tgc/GregoireS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.