Old Web
English
Sign In
Acemap
>
authorDetail
>
Paolo Tranquilli
Paolo Tranquilli
University of Bologna
Resource consumption
Computer science
Source code
Compiler
Lambda calculus
5
Papers
26
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Indexed Labels for Loop Iteration Dependent Costs
2013
Paolo Tranquilli
Show All
Source
Cite
Save
Citations (4)
Certified Complexity (CerCo)
2013
FOPARA | Foundational and Practical Aspects of Resource Analysis
Roberto M. Amadio
Nicolas Ayache
François Bobot
Jaap P. Boender
Brian Campbell
Ilias Garnier
Antoine Madet
James McKinna
Dominic P. Mulligan
Mauro Piccolo
Randy Pollack
Yann Régis-Gianas
Claudio Sacerdoti Coen
Ian Stark
Paolo Tranquilli
Show All
Source
Cite
Save
Citations (19)
Indexed Labels for Loop Iteration Dependent Costs.
2013
arXiv: Programming Languages
Paolo Tranquilli
Show All
Source
Cite
Save
Citations (3)
Standardization in resource lambda-calculus
2012
Maurizio Dominici
Simona Ronchi Della Rocca
Paolo Tranquilli
Show All
Source
Cite
Save
Citations (0)
Standardization in resource lambda-calculus
2012
Maurizio Dominici
Simona Ronchi Della Rocca
Paolo Tranquilli
Show All
Source
Cite
Save
Citations (0)
1