hal-00925549v1
Communication dans un congrès
Jonathan Hayman .
Filtered compression for Kappa Jérôme Feret and Andre Levchenko.
SASB - 4th INternational Workshop on Static Analysis and Systems Biology , Jun 2013, Seattle, United States. Elsevier, 2014, 4th International Workshop on Static Analysis and Systems Biology
inria-00527548v1
Communication dans un congrès
Ferdinanda Camporesi ,
Jérôme Feret ,
Heinz Koeppl ,
Tatjana Petrov .
Automatic reduction of stochastic rules-based models in a nutshell T.E. Simos.
International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010 , Sep 2010, Rhodos, Greece. American Institute of Physics, 1281(2), pp.1330-1334, 2010, American Institute of Physics conference proceedings; International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010).
<10.1063/1.3497965>
inria-00527536v1
Communication dans un congrès
Ferdinanda Camporesi ,
Jérôme Feret ,
Heinz Koeppl ,
Tatjana Petrov .
Combining Model Reductions Michael Mislove and Peter Selinger.
the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010 , May 2010, Ottawa, Canada. Elsevier, 265, pp.73--96, 2010, Electronic Notes in Theoretical Computer Science; Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010).
<10.1016/j.entcs.2010.08.006>
hal-00925837v1
Communication dans un congrès
Michael Barnett ,
Mehdi Bouaziz ,
Francesco Logozzo ,
Manuel Fähndrich .
A case for static analyzers in the cloud Miguel Gomez-Zamalloa and Germán Puebla.
Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation , Mar 2013, Rome, Italy. Elsevier, 2014, ENTCS; Bytecode Semantics, Verification, Analysis, and Transformation