default search action
Search dblp for Publications
export results for "Alejandro Tamalet"
@inproceedings{DBLP:conf/fopara/ShkaravskaET13, author = {Olha Shkaravska and Marko C. J. D. van Eekelen and Alejandro Tamalet}, editor = {Ugo Dal Lago and Ricardo Pe{\~{n}}a}, title = {Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists}, booktitle = {Foundational and Practical Aspects of Resource Analysis - Third International Workshop, {FOPARA} 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8552}, pages = {143--159}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-12466-7\_9}, doi = {10.1007/978-3-319-12466-7\_9}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/fopara/ShkaravskaET13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbmf/TamaletM10, author = {Alejandro Tamalet and Ken Madlener}, editor = {Jim Davies and Leila Silva and Adenilso da Silva Sim{\~{a}}o}, title = {Reasoning about Assignments in Recursive Data Structures}, booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6527}, pages = {161--176}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-19829-8\_11}, doi = {10.1007/978-3-642-19829-8\_11}, timestamp = {Mon, 15 Jun 2020 17:10:39 +0200}, biburl = {https://dblp.org/rec/conf/sbmf/TamaletM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/HuismanT09, author = {Marieke Huisman and Alejandro Tamalet}, editor = {Marsha Chechik and Martin Wirsing}, title = {A Formal Connection between Security Automata and {JML} Annotations}, booktitle = {Fundamental Approaches to Software Engineering, 12th International Conference, {FASE} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5503}, pages = {340--354}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00593-0\_23}, doi = {10.1007/978-3-642-00593-0\_23}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/HuismanT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmics/SchierboomTTES09, author = {Erik Schierboom and Alejandro Tamalet and Hendrik Tews and Marko C. J. D. van Eekelen and Sjaak Smetsers}, editor = {Mar{\'{\i}}a Alpuente and Byron Cook and Christophe Joubert}, title = {Preemption Abstraction}, booktitle = {Formal Methods for Industrial Critical Systems, 14th International Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5825}, pages = {149--164}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04570-7\_12}, doi = {10.1007/978-3-642-04570-7\_12}, timestamp = {Sun, 02 Oct 2022 16:01:27 +0200}, biburl = {https://dblp.org/rec/conf/fmics/SchierboomTTES09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/ShkaravskaET08, author = {Olha Shkaravska and Marko C. J. D. van Eekelen and Alejandro Tamalet}, editor = {Sven{-}Bodo Scholz and Olaf Chitil}, title = {Collected Size Semantics for Functional Programs over Lists}, booktitle = {Implementation and Application of Functional Languages - 20th International Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5836}, pages = {118--137}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-24452-0\_7}, doi = {10.1007/978-3-642-24452-0\_7}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/ShkaravskaET08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/TamaletSE08, author = {Alejandro Tamalet and Olha Shkaravska and Marko C. J. D. van Eekelen}, editor = {Peter Achten and Pieter W. M. Koopman and Marco T. Moraz{\'{a}}n}, title = {Size Analysis of Algebraic Data Type}, booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming, {TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008}, series = {Trends in Functional Programming}, volume = {9}, pages = {33--48}, publisher = {Intellect}, year = {2008}, timestamp = {Wed, 29 Mar 2017 16:45:25 +0200}, biburl = {https://dblp.org/rec/conf/sfp/TamaletSE08.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.