×
Edit Profile (opens in new tab)

Feliú, Marco A.

Co-Author Distance
Author ID: feliu.marco-a Recent zbMATH articles by "Feliú, Marco A."
Published as: Feliú, Marco A.; Feliu, Marco A.; Feliú, M. A.
Documents Indexed: 7 Publications since 2010
Co-Authors: 8 Co-Authors with 7 Joint Publications
117 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
5 Moscato, Mariano M.
5 Muñoz, César A.
4 Titolo, Laura
2 Villanueva, Alicia
1 Alpuente, María
1 Bacci, Giovanni
1 Comini, Marco
1 López Pombo, Carlos Gustavo

Serials

Fields

7 Computer science (68-XX)
4 Numerical analysis (65-XX)
1 General algebraic systems (08-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 15 times in 11 Documents Cited by ▼ Year ▼
An abstract interpretation framework for the round-off error analysis of floating-point programs. Zbl 1446.68036
Titolo, Laura; Feliú, Marco A.; Moscato, Mariano; Muñoz, César A.
11
2018
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. Zbl 1281.68075
Bacci, Giovanni; Comini, Marco; Feliú, Marco A.; Villanueva, Alicia
1
2012
Provably correct floating-point implementation of a point-in-polygon algorithm. Zbl 1539.68178
Moscato, Mariano M.; Titolo, Laura; Feliú, Marco A.; Muñoz, César A.
1
2019
Automatic generation of guard-stable floating-point code. Zbl 1517.68085
Titolo, Laura; Moscato, Mariano; Feliu, Marco A.; Muñoz, César A.
1
2020
Eliminating unstable tests in floating-point programs. Zbl 1524.68104
Titolo, Laura; Muñoz, César A.; Feliú, Marco A.; Moscato, Mariano M.
1
2019
Automatic generation of guard-stable floating-point code. Zbl 1517.68085
Titolo, Laura; Moscato, Mariano; Feliu, Marco A.; Muñoz, César A.
1
2020
Provably correct floating-point implementation of a point-in-polygon algorithm. Zbl 1539.68178
Moscato, Mariano M.; Titolo, Laura; Feliú, Marco A.; Muñoz, César A.
1
2019
Eliminating unstable tests in floating-point programs. Zbl 1524.68104
Titolo, Laura; Muñoz, César A.; Feliú, Marco A.; Moscato, Mariano M.
1
2019
An abstract interpretation framework for the round-off error analysis of floating-point programs. Zbl 1446.68036
Titolo, Laura; Feliú, Marco A.; Moscato, Mariano; Muñoz, César A.
11
2018
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. Zbl 1281.68075
Bacci, Giovanni; Comini, Marco; Feliú, Marco A.; Villanueva, Alicia
1
2012
all cited Publications top 5 cited Publications
all top 5

Cited by 30 Authors

2 Moscato, Mariano M.
2 Muñoz, César A.
2 Titolo, Laura
1 Alpuente, María
1 Bard, Joachim
1 Becker, Heiko
1 Bobot, François
1 Chevalier, Cédric
1 Constantinides, George A.
1 Dahlqvist, Fredrik
1 Darulova, Eva
1 Demeure, Nestor
1 Dossantos-Uzarralde, Pierre
1 Dutle, Aaron M.
1 Feliú, Marco A.
1 Inverso, Omar
1 Jacquemin, Maxime
1 Jia, Kai
1 Jones, Ben
1 Kosmatov, Nikolai
1 Masci, Paolo
1 Nguyen, Thanh-Son
1 Pardo, Daniel
1 Rinard, Martin C.
1 Salvia, Rocco
1 Signoles, Julien
1 Simić, Stella
1 Tribastone, Mirco
1 Védrine, Franck
1 Villanueva, Alicia

Cited in 4 Serials

1 ACM Transactions on Mathematical Software
1 Formal Aspects of Computing
1 Fundamenta Informaticae
1 Journal of Logical and Algebraic Methods in Programming

Cited in 2 Fields

9 Computer science (68-XX)
7 Numerical analysis (65-XX)

Citations by Year