Pascal Sotin

	2008
3		David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST 2008: 122-138
2		Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky: Relational Analysis and Precision via Probabilistic Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 220(3): 23-42 (2008)
	2006
1		Pascal Sotin, David Cachera, Thomas P. Jensen: Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. Electr. Notes Theor. Comput. Sci. 164(3): 153-167 (2006)

Coauthor Index

1	David Cachera	[1] [3]
2	Thomas P. Jensen	[1] [3]
3	Arnaud Jobin	[3]
4	Alessandra Di Pierro	[2]
5	Herbert Wiklicky	[2]

Colors in the list of coauthors