×
Edit Profile (opens in new tab)

Halfeld Ferrari Alves, Mírian

Co-Author Distance
Author ID: halfeld-ferrari-alves.mirian Recent zbMATH articles by "Halfeld Ferrari Alves, Mírian"
Published as: Halfeld Ferrari Alves, Mírian; Halfeld Ferrari Alves, M.; Ferrari, Mírian Halfeld; Halfeld Ferrari, Mirian; Halfeld-Ferrari, Mirian; Halfeld Ferrari, Mírian
Homepage: http://www.univ-orleans.fr/lifo/Members/Mirian.Halfeld/
Documents Indexed: 8 Publications since 1994
Co-Authors: 11 Co-Authors with 8 Joint Publications
52 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
5 Laurent, Dominique
4 Musicante, Martin A.
3 Spyratos, Nicolas
2 Bouchou, Béatrice
2 Chabin, Jacques
2 Réty, Pierre
1 Amavi, Joshua
1 Cheriat, Ahmed
1 da Luz, Robson
1 Duarte, Denio
1 Lima, Maria Adriana

Serials

1 Journal of Algorithms
1 Journal of Logic and Computation
1 Informatica (Ljubljana)

Fields

8 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

6 Publications have been cited 16 times in 12 Documents Cited by ▼ Year ▼
Schema evolution for XML: A consistency-preserving approach. Zbl 1097.68550
Bouchou, Béatrice; Duarte, Denio; Halfeld Ferrari Alves, Mírian; Laurent, Dominique; Musicante, Martin A.
6
2004
Update rules in Datalog programs. Zbl 0913.68059
Halfeld Ferrari Alves, Mírian; Laurent, Dominique; Spyratos, Nicolas
4
1998
Passive and active rules in deductive databases. Zbl 1493.68131
Halfeld Ferrari Alves, M.; Laurent, D.; Spyratos, N.
3
1994
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). Zbl 1131.68056
da Luz, Robson; Halfeld Ferrari, Mírian; Musicante, Martin A.
1
2007
Efficient constraint validation for updated XML databases. Zbl 1147.68475
Bouchou, Béatrice; Cheriat, Ahmed; Ferrari, Mírian Halfeld; Laurent, Dominique; Lima, Maria Adriana; Musicante, Martin A.
1
2007
Weak inclusion for XML types. Zbl 1297.68105
Amavi, Joshua; Chabin, Jacques; Halfeld Ferrari, Mirian; Réty, Pierre
1
2011
Weak inclusion for XML types. Zbl 1297.68105
Amavi, Joshua; Chabin, Jacques; Halfeld Ferrari, Mirian; Réty, Pierre
1
2011
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). Zbl 1131.68056
da Luz, Robson; Halfeld Ferrari, Mírian; Musicante, Martin A.
1
2007
Efficient constraint validation for updated XML databases. Zbl 1147.68475
Bouchou, Béatrice; Cheriat, Ahmed; Ferrari, Mírian Halfeld; Laurent, Dominique; Lima, Maria Adriana; Musicante, Martin A.
1
2007
Schema evolution for XML: A consistency-preserving approach. Zbl 1097.68550
Bouchou, Béatrice; Duarte, Denio; Halfeld Ferrari Alves, Mírian; Laurent, Dominique; Musicante, Martin A.
6
2004
Update rules in Datalog programs. Zbl 0913.68059
Halfeld Ferrari Alves, Mírian; Laurent, Dominique; Spyratos, Nicolas
4
1998
Passive and active rules in deductive databases. Zbl 1493.68131
Halfeld Ferrari Alves, M.; Laurent, D.; Spyratos, N.
3
1994
all cited Publications top 5 cited Publications
all top 5

Cited by 25 Authors

4 Mignot, Ludovic
3 Halfeld Ferrari Alves, Mírian
2 Attou, Samira
2 Caron, Pascal
2 Champarnaud, Jean-Marc
2 Laurent, Dominique
2 Spyratos, Nicolas
2 Ziadi, Djelloul
1 Amavi, Joshua
1 Bouaziz, Rafik
1 Brahmia, Zouhaier
1 Chabin, Jacques
1 Chbeir, Richard
1 Dubois, Didier
1 Everaere, Patricia
1 Fernau, Henning
1 Fileto, Renato
1 Hamrouni, Hind
1 Konieczny, Sébastien
1 Papini, Odile
1 Réty, Pierre
1 Schwentick, Thomas
1 Tekli, Joe
1 Traina, Agma J. M.
1 Traina, Caetano jun.
all top 5

Cited in 6 Serials

1 Acta Informatica
1 Information Sciences
1 Journal of Computer and System Sciences
1 Information and Computation
1 International Journal of Foundations of Computer Science
1 Computer Science Review

Cited in 1 Field

12 Computer science (68-XX)

Citations by Year