@inproceedings(AAGP:SAS:08,
 author       = {E. Albert and P. Arenas and S. Genaim and G. Puebla},
 year         = {2008},
 title        = {{Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis}},
 booktitle    = {Proc.\ of\ 15th SAS},
 publisher    = {Springer},
 pages        = {221--237},
 doi          = {10.1007/978-3-540-69166-2_15},
)
@techreport(ADL:EV:17,
 author       = {M. Avanzini and {Dal Lago}, U.},
 year         = {2017},
 title        = {Complexity Analysis by Polymorphic Sized Type Inference and Constraint Solving},
 type         = {Technical Report},
 institution  = {Universities of Bologna and Innsbruck},
 note         = {Available at \url{http://cl-informatik.uibk.ac.at/users/zini/CAPSTICS.pdf}.},
)
@article(BMM:TCS:11,
 author       = {G. Bonfante and J.-Y. Marion and J.-Y. Moyen},
 year         = {2011},
 title        = {{Quasi-interpretations: A Way to Control Resources}},
 journal      = {TCS},
 volume       = {412},
 number       = {25},
 pages        = {2776--2796},
 doi          = {10.1016/j.tcs.2011.02.007},
)
@inproceedings(LP:POPL:13,
 author       = {{Dal Lago}, U. and Barbara Petit},
 year         = {2013},
 title        = {{The Geometry of Types}},
 booktitle    = {Proc.\ of\ 40th POPL},
 publisher    = {ACM},
 pages        = {167--178},
 doi          = {10.1145/2429069.2429090},
)
@inproceedings(FGMSTZ07,
 author       = {C. Fuhs and J. Giesl and A. Middeldorp and Schneider{-}Kamp, P. and R. Thiemann and H. Zankl},
 year         = {2007},
 title        = {{SAT Solving for Termination Analysis with Polynomial Interpretations}},
 booktitle    = {Proc.\ 10th of SAT},
 pages        = {340--354},
 doi          = {10.1007/978-3-540-72788-0_33},
)
@inproceedings(FGMSTZ:RTA:08,
 author       = {C. Fuhs and J. Giesl and A. Middeldorp and Schneider{-}Kamp, P. and R. Thiemann and H. Zankl},
 year         = {2008},
 title        = {{Maximal Termination}},
 booktitle    = {Proc.\ of\ 19th RTA},
 volume       = {5117},
 publisher    = {Springer},
 pages        = {110--125},
 doi          = {10.1007/978-3-540-70590-1_8},
)
@inproceedings(GBCLP:FACS:15,
 author       = {E. Giachino and {Broch Johnsen}, E. and C. Laneve and K. I. Pun},
 year         = {2016},
 title        = {{Time Complexity of Concurrent Programs - - {A} Technique Based on Behavioural Types -}},
 booktitle    = {Proc.\ of\ 12th FACS},
 series       = {LNCS},
 volume       = {9539},
 publisher    = {Springer},
 pages        = {199--216},
 doi          = {10.1007/978-3-319-28934-2_11},
)
@inproceedings(HDW:POPL:17,
 author       = {J. Hoffmann and A. Das and S.-C. Weng},
 year         = {2017},
 title        = {{Towards Automatic Resource Bound Analysis for OCaml}},
 booktitle    = {Proc.\ of\ 44th POPL},
 publisher    = {ACM},
 pages        = {359--373},
 doi          = {10.1145/3009837},
)
@inproceedings(HPS:POPL:96,
 author       = {J. Hughes and L. Pareto and A. Sabry},
 year         = {1996},
 title        = {{Proving the Correctness of Reactive Systems Using Sized Types}},
 booktitle    = {Proc.\ of\ 23rd POPL},
 publisher    = {ACM},
 pages        = {410--423},
 doi          = {10.1145/237721.240882},
)
@inproceedings(PR04,
 author       = {A. Podelski and A. Rybalchenko},
 year         = {2004},
 title        = {{A Complete Method for the Synthesis of Linear Ranking Functions}},
 booktitle    = {Proc.\ 5th VMCAI},
 pages        = {239--251},
 doi          = {10.1007/978-3-540-24622-0_20},
)