Paolo Tranquilli
According to our database1,
Paolo Tranquilli
authored at least 10 papers
between 2008 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
0
1
2
3
1
1
1
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
2013
Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013
2012
Theor. Comput. Sci., 2012
Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012
2011
2010
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010
2009
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009
2008
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008