Search dblp for Publications

export results for "toc:db/conf/fopara/fopara2009.bht:"

 download as .bib file

@proceedings{DBLP:conf/fopara/2009,
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15331-0},
  doi          = {10.1007/978-3-642-15331-0},
  isbn         = {978-3-642-15330-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/AlbertAGHP09,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Samir Genaim and
                  Israel Herraiz and
                  German Puebla},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Comparing Cost Functions in Resource Analysis},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_1},
  doi          = {10.1007/978-3-642-15331-0\_1},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fopara/AlbertAGHP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/AveryKM09,
  author       = {James Avery and
                  Lars Kristiansen and
                  Jean{-}Yves Moyen},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Static Complexity Analysis of Higher Order Programs},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {84--99},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_6},
  doi          = {10.1007/978-3-642-15331-0\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fopara/AveryKM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/GaboardiP09,
  author       = {Marco Gaboardi and
                  Romain P{\'{e}}choux},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Global and Local Space Properties of Stream Programs},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_4},
  doi          = {10.1007/978-3-642-15331-0\_4},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fopara/GaboardiP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/Gomaa09,
  author       = {Walid Gomaa},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Polynomial Time Computation in the Context of Recursive Analysis},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {146--162},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_10},
  doi          = {10.1007/978-3-642-15331-0\_10},
  timestamp    = {Mon, 16 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/Gomaa09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/LagoM09,
  author       = {Ugo Dal Lago and
                  Simone Martini},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Derivational Complexity Is an Invariant Cost Model},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {100--113},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_7},
  doi          = {10.1007/978-3-642-15331-0\_7},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fopara/LagoM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/LoidlJ09,
  author       = {Hans{-}Wolfgang Loidl and
                  Steffen Jost},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Improvements to a Resource Analysis for Hume},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {18--33},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_2},
  doi          = {10.1007/978-3-642-15331-0\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/LoidlJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/Mogbil09,
  author       = {Virgile Mogbil},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Non-deterministic Boolean Proof Nets},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {131--145},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_9},
  doi          = {10.1007/978-3-642-15331-0\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/Mogbil09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/MontenegroPS09,
  author       = {Manuel Montenegro and
                  Ricardo Pe{\~{n}}a and
                  Clara Segura},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {A Space Consumption Analysis by Abstract Interpretation},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {34--50},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_3},
  doi          = {10.1007/978-3-642-15331-0\_3},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/MontenegroPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/RoversiV09,
  author       = {Luca Roversi and
                  Luca Vercelli},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {A Local Criterion for Polynomial-Time Stratified Computations},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_8},
  doi          = {10.1007/978-3-642-15331-0\_8},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/RoversiV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fopara/TrinderCLM09,
  author       = {Philip W. Trinder and
                  Murray Cole and
                  Hans{-}Wolfgang Loidl and
                  Greg Michaelson},
  editor       = {Marko C. J. D. van Eekelen and
                  Olha Shkaravska},
  title        = {Characterising Effective Resource Analyses for Parallel and Distributed
                  Coordination},
  booktitle    = {Foundational and Practical Aspects of Resource Analysis - First International
                  Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6324},
  pages        = {67--83},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-15331-0\_5},
  doi          = {10.1007/978-3-642-15331-0\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fopara/TrinderCLM09.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.