Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/fopara:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-1908-04921,
author = {L{\^{e}} Th{\`{a}}nh Dung Nguy{\^{e}}n},
editor = {Thomas Seiller and
Steffen Jost},
title = {On the Elementary Affine Lambda-Calculus with and Without Fixed Points},
booktitle = {Proceedings Third Joint Workshop on Developments in Implicit Computational
complExity and Foundational {\&} Practical Aspects of Resource
Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7,
2019},
series = {{EPTCS}},
volume = {298},
pages = {15--29},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.298.2},
doi = {10.4204/EPTCS.298.2},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04921.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-04922,
author = {Paulin Jacob{\'{e}} de Naurois},
editor = {Thomas Seiller and
Steffen Jost},
title = {Pointers in Recursion: Exploring the Tropics},
booktitle = {Proceedings Third Joint Workshop on Developments in Implicit Computational
complExity and Foundational {\&} Practical Aspects of Resource
Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7,
2019},
series = {{EPTCS}},
volume = {298},
pages = {31--45},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.298.3},
doi = {10.4204/EPTCS.298.3},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-04923,
author = {Bruce M. Kapron and
Florian Steinberg},
editor = {Thomas Seiller and
Steffen Jost},
title = {Type-two Iteration with Bounded Query Revision},
booktitle = {Proceedings Third Joint Workshop on Developments in Implicit Computational
complExity and Foundational {\&} Practical Aspects of Resource
Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7,
2019},
series = {{EPTCS}},
volume = {298},
pages = {61--73},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.298.5},
doi = {10.4204/EPTCS.298.5},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-05737,
author = {Francesco Olivieri and
Guido Governatori and
Claudio Tomazzoli and
Matteo Cristani},
editor = {Thomas Seiller and
Steffen Jost},
title = {Applications of Linear Defeasible Logic: combining resource consumption
and exceptions to energy management and business processes},
booktitle = {Proceedings Third Joint Workshop on Developments in Implicit Computational
complExity and Foundational {\&} Practical Aspects of Resource
Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7,
2019},
series = {{EPTCS}},
volume = {298},
pages = {1--14},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.298.1},
doi = {10.4204/EPTCS.298.1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-06478,
author = {Franz Siglm{\"{u}}ller},
editor = {Thomas Seiller and
Steffen Jost},
title = {Type-Based Resource Analysis on Haskell},
booktitle = {Proceedings Third Joint Workshop on Developments in Implicit Computational
complExity and Foundational {\&} Practical Aspects of Resource
Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7,
2019},
series = {{EPTCS}},
volume = {298},
pages = {47--60},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.298.4},
doi = {10.4204/EPTCS.298.4},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1908-04478,
editor = {Thomas Seiller and
Steffen Jost},
title = {Proceedings Third Joint Workshop on Developments in Implicit Computational
complExity and Foundational {\&} Practical Aspects of Resource
Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7,
2019},
series = {{EPTCS}},
volume = {298},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.298},
doi = {10.4204/EPTCS.298},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AvanziniL17,
author = {Martin Avanzini and
Ugo Dal Lago},
editor = {Guillaume Bonfante and
Georg Moser},
title = {Automated Sized-Type Inference and Complexity Analysis},
booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects
of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
22-23, 2017},
series = {{EPTCS}},
volume = {248},
pages = {7--16},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.248.5},
doi = {10.4204/EPTCS.248.5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AvanziniL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AvanziniS17,
author = {Martin Avanzini and
Michael Schaper},
editor = {Guillaume Bonfante and
Georg Moser},
title = {{GUBS} Upper Bound Solver (Extended Abstract)},
booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects
of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
22-23, 2017},
series = {{EPTCS}},
volume = {248},
pages = {17--23},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.248.6},
doi = {10.4204/EPTCS.248.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AvanziniS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GastelE17,
author = {Bernard van Gastel and
Marko C. J. D. van Eekelen},
editor = {Guillaume Bonfante and
Georg Moser},
title = {Towards Practical, Precise and Parametric Energy Analysis of {IT}
Controlled Systems},
booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects
of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
22-23, 2017},
series = {{EPTCS}},
volume = {248},
pages = {24--37},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.248.7},
doi = {10.4204/EPTCS.248.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GastelE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MoyenRS17,
author = {Jean{-}Yves Moyen and
Thomas Rubiano and
Thomas Seiller},
editor = {Guillaume Bonfante and
Georg Moser},
title = {Loop Quasi-Invariant Chunk Motion by peeling with statement composition},
booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects
of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
22-23, 2017},
series = {{EPTCS}},
volume = {248},
pages = {47--59},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.248.9},
doi = {10.4204/EPTCS.248.9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/MoyenRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MoyenS17,
author = {Jean{-}Yves Moyen and
Jakob Grue Simonsen},
editor = {Guillaume Bonfante and
Georg Moser},
title = {Computability in the Lattice of Equivalence Relations},
booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects
of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
22-23, 2017},
series = {{EPTCS}},
volume = {248},
pages = {38--46},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.248.8},
doi = {10.4204/EPTCS.248.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoyenS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BonfanteM17,
editor = {Guillaume Bonfante and
Georg Moser},
title = {Proceedings 8th Workshop on Developments in Implicit Computational
Complexity and 5th Workshop on Foundational and Practical Aspects
of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April
22-23, 2017},
series = {{EPTCS}},
volume = {248},
year = {2017},
url = {http://arxiv.org/abs/1704.05169},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonfanteM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2015,
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46559-3},
doi = {10.1007/978-3-319-46559-3},
isbn = {978-3-319-46558-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AlbertFG15,
author = {Elvira Albert and
Antonio Flores{-}Montoya and
Samir Genaim},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {May-Happen-in-Parallel Analysis with Condition Synchronization},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {1--19},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_1},
doi = {10.1007/978-3-319-46559-3\_1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/AlbertFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/BenedettiR15,
author = {Erika De Benedetti and
Simona Ronchi Della Rocca},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Call-by-Value, Elementary Time and Intersection Types},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {40--59},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_3},
doi = {10.1007/978-3-319-46559-3\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/BenedettiR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/GastelKE15,
author = {Bernard van Gastel and
Rody Kersten and
Marko C. J. D. van Eekelen},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Using Dependent Types to Define Energy Augmented Semantics of Programs},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {20--39},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_2},
doi = {10.1007/978-3-319-46559-3\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/GastelKE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/HammondBS15,
author = {Kevin Hammond and
Christopher Brown and
Susmit Sarkar},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Timing Properties and Correctness for Structured Parallel Programs
on x86-64 Multicores},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {101--125},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_6},
doi = {10.1007/978-3-319-46559-3\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/HammondBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/KirkebyR15,
author = {Maja H. Kirkeby and
Mads Rosendahl},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Probabilistic Resource Analysis by Program Transformation},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {60--80},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_4},
doi = {10.1007/978-3-319-46559-3\_4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/KirkebyR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/LiqatGK0GHE15,
author = {Umer Liqat and
Kyriakos Georgiou and
Steve Kerrison and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Manuel V. Hermenegildo and
Kerstin Eder},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Inferring Parametric Energy Consumption Functions at Different Software
Levels: {ISA} vs. {LLVM} {IR}},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {81--100},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_5},
doi = {10.1007/978-3-319-46559-3\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/LiqatGK0GHE15.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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AmadioABBCGMMMPPRCST13,
author = {Roberto M. Amadio and
Nicholas Ayache and
Fran{\c{c}}ois Bobot and
Jaap Boender and
Brian Campbell and
Ilias Garnier and
Antoine Madet and
James McKinna and
Dominic P. Mulligan and
Mauro Piccolo and
Randy Pollack and
Yann R{\'{e}}gis{-}Gianas and
Claudio Sacerdoti Coen and
Ian Stark and
Paolo Tranquilli},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {Certified Complexity (CerCo)},
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 = {1--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_1},
doi = {10.1007/978-3-319-12466-7\_1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/AmadioABBCGMMMPPRCST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AsavoaeA13,
author = {Mihail Asavoae and
Irina Mariuca Asavoae},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {On the Modular Integration of Abstract Semantics for {WCET} Analysis},
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 = {19--37},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_2},
doi = {10.1007/978-3-319-12466-7\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/AsavoaeA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/CanaveseCOPR13,
author = {Daniele Canavese and
Emanuele Cesena and
Rachid Ouchary and
Marco Pedicini and
Luca Roversi},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {Can a Light Typing Discipline Be Compatible with an Efficient Implementation
of Finite Fields Inversion?},
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 = {38--57},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_3},
doi = {10.1007/978-3-319-12466-7\_3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/CanaveseCOPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/Eguchi13,
author = {Naohi Eguchi},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {Predicative Lexicographic Path Orders - An Application of Term Rewriting
to the Region of Primitive Recursive Functions},
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 = {77--92},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_5},
doi = {10.1007/978-3-319-12466-7\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/Eguchi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/KerstenTGE13,
author = {Rody Kersten and
Paolo Parisen Toldin and
Bernard van Gastel and
Marko C. J. D. van Eekelen},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {A Hoare Logic for Energy Consumption Analysis},
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 = {93--109},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_6},
doi = {10.1007/978-3-319-12466-7\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/KerstenTGE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/LoidlG13,
author = {Hans{-}Wolfgang Loidl and
Gudmund Grov},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {Reasoning About Resources in the Embedded Systems Language Hume},
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 = {110--126},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_7},
doi = {10.1007/978-3-319-12466-7\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/LoidlG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/Perrinel13,
author = {Matthieu Perrinel},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets},
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 = {127--142},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_8},
doi = {10.1007/978-3-319-12466-7\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/Perrinel13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/PierroW13,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Ugo Dal Lago and
Ricardo Pe{\~{n}}a},
title = {Probabilistic Analysis of Programs: {A} Weak Limit Approach},
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 = {58--76},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-12466-7\_4},
doi = {10.1007/978-3-319-12466-7\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/PierroW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/ShkaravskaET13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fopara/2011,
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32495-6},
doi = {10.1007/978-3-642-32495-6},
isbn = {978-3-642-32494-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AmadioR11,
author = {Roberto M. Amadio and
Yann R{\'{e}}gis{-}Gianas},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Certifying and Reasoning on Cost Annotations of Functional Programs},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {72--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_5},
doi = {10.1007/978-3-642-32495-6\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/AmadioR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AsavoaeAL11,
author = {Mihail Asavoae and
Irina Mariuca Asavoae and
Dorel Lucanu},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {On Abstractions for Timing Analysis in the {\textdollar}{\textbackslash}mathbb\{K\}{\textdollar}
Framework},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {90--107},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_6},
doi = {10.1007/978-3-642-32495-6\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/AsavoaeAL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/CesenaPR11,
author = {Emanuele Cesena and
Marco Pedicini and
Luca Roversi},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Typing a Core Binary-Field Arithmetic in a Light Logic},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {19--35},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_2},
doi = {10.1007/978-3-642-32495-6\_2},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/CesenaPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/HerrmannH11,
author = {Christoph A. Herrmann and
Kevin Hammond},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Counter Automata for Parameterised Timing Analysis of Box-Based Systems},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {126--141},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_8},
doi = {10.1007/978-3-642-32495-6\_8},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/HerrmannH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/LagoT11,
author = {Ugo Dal Lago and
Paolo Parisen Toldin},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {A Higher-Order Characterization of Probabilistic Polynomial Time},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {1--18},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_1},
doi = {10.1007/978-3-642-32495-6\_1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/LagoT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/Lopez-GarciaDBH11,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Luthfi Darmawan and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Interval-Based Resource Usage Verification: Formalization and Prototype},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {54--71},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_4},
doi = {10.1007/978-3-642-32495-6\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/Lopez-GarciaDBH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/MontenegroSEP11,
author = {Manuel Montenegro and
Olha Shkaravska and
Marko C. J. D. van Eekelen and
Ricardo Pe{\~{n}}a},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Interpolation-Based Height Analysis for Improving a Recurrence Solver},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {36--53},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_3},
doi = {10.1007/978-3-642-32495-6\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/MontenegroSEP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/RodriguesPFS11,
author = {Vitor Rodrigues and
Jo{\~{a}}o Pedro Pedroso and
M{\'{a}}rio Florido and
Sim{\~{a}}o Melo de Sousa},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Certifying Execution Time},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {108--125},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_7},
doi = {10.1007/978-3-642-32495-6\_7},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/RodriguesPFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 
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.
retrieved on 2024-04-27 17:49 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
