Pascal Sotin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

3EEDavid Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST 2008: 122-138
2EEAlessandra Di Pierro, Pascal Sotin, Herbert Wiklicky: Relational Analysis and Precision via Probabilistic Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 220(3): 23-42 (2008)
1EEPascal 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)