2008 | ||
---|---|---|
3 | Christian Servin, Martine Ceberio: Cascade Vulnerability Problem Simulator Tool. MSV 2008: 227-231 | |
2 | Carlos Acosta, Martine Ceberio, Christian Servin: A Constraint-Based Approach to Verification of Programs with Floating-Point Numbers. Software Engineering Research and Practice 2008: 232-237 | |
1 | EE | Paulo Pinheiro da Silva, Vladik Kreinovich, Christian Servin: Maximum Entropy in Support of Semantically Annotated Datasets. URSW 2008 |
1 | Carlos Acosta | [2] |
2 | Martine Ceberio | [2] [3] |
3 | Vladik Kreinovich | [1] |
4 | Paulo Pinheiro da Silva | [1] |