Search dblp for Publications

export results for "Alejandro Tamalet"

 download as .bib file

@inproceedings{DBLP:conf/fopara/ShkaravskaET13,
  author       = {Olha Shkaravska and
                  Marko C. J. D. van Eekelen and
                  Alejandro Tamalet},
  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},
  pages        = {143--159},
  year         = {2013},
  crossref     = {DBLP:conf/fopara/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},
  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},
  pages        = {161--176},
  year         = {2010},
  crossref     = {DBLP:conf/sbmf/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},
  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},
  pages        = {340--354},
  year         = {2009},
  crossref     = {DBLP:conf/fase/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},
  title        = {Preemption Abstraction},
  booktitle    = {Formal Methods for Industrial Critical Systems, 14th International
                  Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
                  2009. Proceedings},
  pages        = {149--164},
  year         = {2009},
  crossref     = {DBLP:conf/fmics/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},
  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},
  pages        = {118--137},
  year         = {2008},
  crossref     = {DBLP:conf/ifl/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},
  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},
  pages        = {33--48},
  year         = {2008},
  crossref     = {DBLP:conf/sfp/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}
}

@proceedings{DBLP:conf/fopara/2013,
  editor       = {Ugo Dal Lago and
                  Ricardo Pe{\~{n}}a},
  title        = {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},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12466-7},
  doi          = {10.1007/978-3-319-12466-7},
  isbn         = {978-3-319-12465-0},
  timestamp    = {Mon, 12 Aug 2024 11:24:16 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sbmf/2010,
  editor       = {Jim Davies and
                  Leila Silva and
                  Adenilso da Silva Sim{\~{a}}o},
  title        = {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},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19829-8},
  doi          = {10.1007/978-3-642-19829-8},
  isbn         = {978-3-642-19828-1},
  timestamp    = {Mon, 12 Aug 2024 11:24:16 +0200},
  biburl       = {https://dblp.org/rec/conf/sbmf/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fase/2009,
  editor       = {Marsha Chechik and
                  Martin Wirsing},
  title        = {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},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00593-0},
  doi          = {10.1007/978-3-642-00593-0},
  isbn         = {978-3-642-00592-3},
  timestamp    = {Mon, 12 Aug 2024 11:24:16 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmics/2009,
  editor       = {Mar{\'{\i}}a Alpuente and
                  Byron Cook and
                  Christophe Joubert},
  title        = {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},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04570-7},
  doi          = {10.1007/978-3-642-04570-7},
  isbn         = {978-3-642-04569-1},
  timestamp    = {Mon, 12 Aug 2024 11:24:16 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ifl/2008,
  editor       = {Sven{-}Bodo Scholz and
                  Olaf Chitil},
  title        = {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},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24452-0},
  doi          = {10.1007/978-3-642-24452-0},
  isbn         = {978-3-642-24451-3},
  timestamp    = {Mon, 12 Aug 2024 11:24:16 +0200},
  biburl       = {https://dblp.org/rec/conf/ifl/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sfp/2008,
  editor       = {Peter Achten and
                  Pieter W. M. Koopman and
                  Marco T. Moraz{\'{a}}n},
  title        = {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},
  publisher    = {Intellect},
  year         = {2008},
  isbn         = {978-1-84150-277-9},
  timestamp    = {Mon, 12 Aug 2024 11:24:16 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.