2008 |
22 | EE | François Modave,
Martine Ceberio,
Vladik Kreinovich:
Choquet Integrals and OWA Criteria as a Natural (and Optimal) Next Step after Linear Aggregation: A New General Justification.
MICAI 2008: 741-753 |
21 | | Christian Servin,
Martine Ceberio:
Cascade Vulnerability Problem Simulator Tool.
MSV 2008: 227-231 |
20 | | Yoonsik Cheon,
Antonio Cortes,
Gary T. Leavens,
Martine Ceberio:
Integrating Random Testing with Constraints for Improved Efficiency and Diversity.
SEKE 2008: 861-866 |
19 | | 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 |
18 | EE | Chandra Sekhar Pedamallu,
Linet Özdamar,
Martine Ceberio:
Efficient interval partitioning - Local search collaboration for constraint satisfaction.
Computers & OR 35(5): 1412-1435 (2008) |
2007 |
17 | EE | Martine Ceberio,
Vladik Kreinovich,
Andrzej Pownuk,
Barnabás Bede:
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs Under Interval, p-Box, and Fuzzy Uncertainty.
IFSA (1) 2007: 33-42 |
16 | EE | Daniel Berleant,
Martine Ceberio,
Gang Xiang,
Vladik Kreinovich:
Towards adding probabilities and correlations to interval computations.
Int. J. Approx. Reasoning 46(3): 499-510 (2007) |
15 | EE | Gang Xiang,
Martine Ceberio,
Vladik Kreinovich:
Computing Population Variance and Entropy under Interval Uncertainty: Linear-Time Algorithms.
Reliable Computing 13(6): 467-488 (2007) |
2006 |
14 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Editorial: track reliable computations and their applications.
SAC 2006: 1633-1634 |
13 | EE | Michael Orshansky,
Wei-Shen Wang,
Martine Ceberio,
Gang Xiang:
Interval-based robust statistical techniques for non-negative convex functions, with application to timing analysis of computer chips.
SAC 2006: 1645-1649 |
12 | EE | Vladik Kreinovich,
Gang Xiang,
Scott A. Starks,
Luc Longpré,
Martine Ceberio,
Roberto Araiza,
Jan Beck,
Raj Kandathi,
Asis Nayak,
Roberto Torres,
Janos G. Hajagos:
Towards Combining Probabilistic and Interval Uncertainty in Engineering Calculations: Algorithms for Computing Statistics under Interval Uncertainty, and Their Computational Complexity.
Reliable Computing 12(6): 471-501 (2006) |
2005 |
11 | | Martine Ceberio,
Richard Coy:
Enhancement of Parameter Estimation using Flexible Constraints: an Application to Shock-response Study.
AMCS 2005: 98-106 |
10 | EE | Martine Ceberio,
Hiroshi Hosobe,
Ken Satoh:
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.
CLIMA VI 2005: 340-357 |
9 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Editorial: track reliable computations and their applications.
SAC 2005: 1429-1430 |
8 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Reliable Computations and Their Applications (RCA) Track.
Reliable Computing 11(6): 499-503 (2005) |
2004 |
7 | EE | Martine Ceberio,
François Modave:
Interval-Based Multicriteria Decision Making.
AMAI 2004 |
6 | EE | Martine Ceberio,
Vladik Kreinovich,
Lev Ginzburg:
On the Use of Intervals in Scientific Computing: What Is the Best Transition from Linear to Quadratic Approximation?.
PARA 2004: 75-82 |
5 | EE | Martine Ceberio,
Vladik Kreinovich:
Fast Multiplication of Interval Matrices (Interval Version of Strassen's Algorithm).
Reliable Computing 10(3): 241-243 (2004) |
2002 |
4 | EE | Martine Ceberio,
Laurent Granvilliers:
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods.
FroCos 2002: 117-131 |
3 | EE | Martine Ceberio,
Laurent Granvilliers:
Horner's Rule for Interval Evaluation Revisited.
Computing 69(1): 51-81 (2002) |
2000 |
2 | EE | Martine Ceberio,
Laurent Granvilliers:
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.
AISC 2000: 127-141 |
1 | | Martine Ceberio,
Laurent Granvilliers:
Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles.
JFPLC 2000: 205-220 |