|  | 
|  | 
| | TNC'18: Author Index| Author | Papers | 
|---|
 | A |  | Adje, Assale | Policy Iterations Without Selection Property |  | B |  | Barboteu, Mikaël | Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems |  | Benmouhoub, Farah | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization |  | D |  | Damouche, Nasrine | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization |  | Djehaf, Nacera | Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems |  | F |  | Févotte, François | Numerical validation in quadruple precision using stochastic arithmetic |  | G |  | Graillat, Stef | Numerical validation in quadruple precision using stochastic arithmetic |  | H |  | Hladík, Milan | Detecting Unsolvability of Interval Linear Systems Enhancing monotonicity checking in parametric interval linear systems
 |  | Horáček, Jan | Detecting Unsolvability of Interval Linear Systems |  | Horáček, Jaroslav | Detecting Unsolvability of Interval Linear Systems |  | J |  | Jézéquel, Fabienne | Numerical validation in quadruple precision using stochastic arithmetic |  | L |  | Lathuilière, Bruno | Numerical validation in quadruple precision using stochastic arithmetic |  | M |  | Martel, Matthieu | Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems
 |  | P |  | Picot, Romain | Numerical validation in quadruple precision using stochastic arithmetic |  | S |  | Skalna, Iwona | Enhancing monotonicity checking in parametric interval linear systems | 
 | 
 | 
|