×

zbMATH — the first resource for mathematics

Meo, Maria Chiara

Compute Distance To:
Author ID: meo.maria-chiara Recent zbMATH articles by "Meo, Maria Chiara"
Published as: Meo, M.; Meo, M. C.; Meo, Maria C.; Meo, Maria Chiara
Documents Indexed: 36 Publications since 1992, including 1 Book

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 129 times in 92 Documents Cited by Year
A timed concurrent constraint language. Zbl 1046.68507
de Boer, F. S.; Gabbrielli, M.; Meo, M. C.
18
2000
Abstract diagnosis. Zbl 0947.68024
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara; Vitiello, Giuliana
14
1999
A new weight-function enrichment in meshless methods for multiple cracks in linear elasticity. Zbl 1242.74200
Barbieri, E.; Petrinic, N.; Meo, M.; Tagarielli, V. L.
11
2012
A theory of observables for logic programs. Zbl 1007.68020
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara
11
2001
Observable behaviors and equivalences of logic programs. Zbl 0834.68010
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
10
1995
A compositional semantics for logic programs. Zbl 0801.68110
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
10
1994
Resultants semantics for Prolog. Zbl 0856.68038
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
7
1996
Compositionality properties of SLD-derivations. Zbl 0912.68124
Comini, Marco; Meo, Maria Chiara
5
1999
Contributions to the semantics of open logic programs. Zbl 0868.68018
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
5
1992
Time reversal DORT method applied to nonlinear elastic wave scattering. Zbl 1231.74220
Barbieri, E.; Meo, M.
3
2010
A compositional semantics for CHR. Zbl 1351.68050
Gabbrielli, Maurizio; Meo, Maria Chiara
3
2009
Nonlinear wave propagation in damaged hysteretic materials using a frequency domain-based PM space formulation. Zbl 1168.74381
Barbieri, E.; Meo, M.; Polimeno, U.
3
2009
A timed Linda language and its denotational semantics. Zbl 1082.68063
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria C.
3
2004
Proving correctness of timed concurrent constraint programs. Zbl 1077.68706
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
3
2002
Differential logic programs: Programming methodologies and semantics. Zbl 0859.68009
Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M. C.
3
1996
Compilative constructive negation in constraint logic programs. Zbl 0938.68571
Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, Maria Chiara
3
1994
Timed soft concurrent constraint programs: an interleaved and a parallel approach. Zbl 1379.68087
Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco
2
2015
Unfolding for CHR programs. Zbl 1379.68064
Gabbrielli, Maurizio; Meo, Maria Chiara; Tacchella, Paolo; Wiklicky, Herbert
2
2015
On the expressive power of multiple heads in CHR. Zbl 1351.68049
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2012
Evaluation of the integral terms in reproducing kernel methods. Zbl 1228.74109
Barbieri, E.; Meo, M.
2
2009
Expressiveness of multiple heads in CHR. Zbl 1206.68078
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2009
Proving correctness of timed concurrent constraint programs. Zbl 1367.68189
De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2004
Unfold/fold transformations of CCP programs. Zbl 0911.68020
Etalle, Sandro; Gabbrielli, Maurizio; Meo, Maria Chiara
2
1998
Descending chains and narrowing on template abstract domains. Zbl 1398.68090
Amato, Gianluca; Di Nardo Di Maio, Simone; Meo, Maria Chiara; Scozzari, Francesca
1
2018
The expressive power of CHR with priorities. Zbl 1358.68053
Gabbrielli, Maurizio; Mauro, Jacopo; Meo, Maria Chiara
1
2013
Discriminating linear from nonlinear elastic damage using a nonlinear time reversal DORT method. Zbl 1196.74088
Barbieri, E.; Meo, M.
1
2010
Descending chains and narrowing on template abstract domains. Zbl 1398.68090
Amato, Gianluca; Di Nardo Di Maio, Simone; Meo, Maria Chiara; Scozzari, Francesca
1
2018
Timed soft concurrent constraint programs: an interleaved and a parallel approach. Zbl 1379.68087
Bistarelli, Stefano; Gabbrielli, Maurizio; Meo, Maria Chiara; Santini, Francesco
2
2015
Unfolding for CHR programs. Zbl 1379.68064
Gabbrielli, Maurizio; Meo, Maria Chiara; Tacchella, Paolo; Wiklicky, Herbert
2
2015
The expressive power of CHR with priorities. Zbl 1358.68053
Gabbrielli, Maurizio; Mauro, Jacopo; Meo, Maria Chiara
1
2013
A new weight-function enrichment in meshless methods for multiple cracks in linear elasticity. Zbl 1242.74200
Barbieri, E.; Petrinic, N.; Meo, M.; Tagarielli, V. L.
11
2012
On the expressive power of multiple heads in CHR. Zbl 1351.68049
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2012
Time reversal DORT method applied to nonlinear elastic wave scattering. Zbl 1231.74220
Barbieri, E.; Meo, M.
3
2010
Discriminating linear from nonlinear elastic damage using a nonlinear time reversal DORT method. Zbl 1196.74088
Barbieri, E.; Meo, M.
1
2010
A compositional semantics for CHR. Zbl 1351.68050
Gabbrielli, Maurizio; Meo, Maria Chiara
3
2009
Nonlinear wave propagation in damaged hysteretic materials using a frequency domain-based PM space formulation. Zbl 1168.74381
Barbieri, E.; Meo, M.; Polimeno, U.
3
2009
Evaluation of the integral terms in reproducing kernel methods. Zbl 1228.74109
Barbieri, E.; Meo, M.
2
2009
Expressiveness of multiple heads in CHR. Zbl 1206.68078
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2009
A timed Linda language and its denotational semantics. Zbl 1082.68063
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria C.
3
2004
Proving correctness of timed concurrent constraint programs. Zbl 1367.68189
De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
2
2004
Proving correctness of timed concurrent constraint programs. Zbl 1077.68706
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara
3
2002
A theory of observables for logic programs. Zbl 1007.68020
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara
11
2001
A timed concurrent constraint language. Zbl 1046.68507
de Boer, F. S.; Gabbrielli, M.; Meo, M. C.
18
2000
Abstract diagnosis. Zbl 0947.68024
Comini, Marco; Levi, Giorgio; Meo, Maria Chiara; Vitiello, Giuliana
14
1999
Compositionality properties of SLD-derivations. Zbl 0912.68124
Comini, Marco; Meo, Maria Chiara
5
1999
Unfold/fold transformations of CCP programs. Zbl 0911.68020
Etalle, Sandro; Gabbrielli, Maurizio; Meo, Maria Chiara
2
1998
Resultants semantics for Prolog. Zbl 0856.68038
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
7
1996
Differential logic programs: Programming methodologies and semantics. Zbl 0859.68009
Bossi, A.; Bugliesi, M.; Gabbrielli, M.; Levi, G.; Meo, M. C.
3
1996
Observable behaviors and equivalences of logic programs. Zbl 0834.68010
Gabbrielli, Maurizio; Levi, Giorgio; Meo, Maria Chiara
10
1995
A compositional semantics for logic programs. Zbl 0801.68110
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
10
1994
Compilative constructive negation in constraint logic programs. Zbl 0938.68571
Bruscoli, Paola; Levi, Francesca; Levi, Giorgio; Meo, Maria Chiara
3
1994
Contributions to the semantics of open logic programs. Zbl 0868.68018
Bossi, A.; Gabbrielli, M.; Levi, G.; Meo, M. C.
5
1992
all top 5

Cited by 158 Authors

11 Meo, Maria Chiara
10 Gabbrielli, Maurizio
9 Comini, Marco
6 Alpuente, María
6 Falaschi, Moreno
6 Levi, Giorgio
6 Olarte, Carlos
6 Villanueva, Alicia
4 Amato, Gianluca
4 Barbieri, Ettore
4 Giacobazzi, Roberto
4 Gori, Roberta
4 Komendantskaya, Ekaterina
4 Lamma, Evelina
4 Mello, Paola
3 Brogi, Antonio
3 del Mar Gallardo, María
3 Lipton, James B.
3 Power, John
3 Sneyers, Jon
3 Titolo, Laura
3 Valencia, Frank D.
2 Barbieri, Enrique
2 Bossi, Annalisa
2 Caballero, Rafael E.
2 Correa, Francisco José
2 Etalle, Sandro
2 Mauro, Jacopo
2 Palamidessi, Catuscia
2 Pimentel, Elaine
2 Ranzato, Francesco
2 Santini, Francesco
2 Saraswat, Vijay A.
2 Schrijvers, Tom
2 Scozzari, Francesca
1 Achuthan, Krishnashree
1 Ai, Weilong
1 Amiri, Fatemeh
1 Anitescu, Cosmin
1 Arias, Jaime
1 Arroyo, Marino
1 Augarde, Charles Edward
1 Bacci, Giovanni
1 Balbiani, Philippe
1 Ballis, Demis
1 Bilotti, Emiliano
1 Bistarelli, Stefano
1 Blanc, Georges
1 Bobrow, Daniel G.
1 Bordas, Stéphane Pierre Alain
1 Bu, Lingfang
1 Bueno, Francisco
1 Busi, Nadia
1 Chan, Eugene
1 Chen, Yunmin
1 Ciampolini, Anna
1 Cook, William R.
1 Correa, Franciso
1 Cousot, Patrick
1 Cousot, Radhia
1 Dai, Feng
1 Darmawan, Luthfi
1 de Boer, Frank S.
1 De Koninck, Leslie
1 del Vado Vírseda, Rafael
1 Di Giusto, Cinzia
1 Di Nardo Di Maio, Simone
1 Duan, Qinglin
1 Ehrig, Hartmut
1 Escobar, Santiago
1 Finkelstein, Stacy E.
1 Freyd, Peter J.
1 Fromherz, Markus P. J.
1 Frühwirth, Thom
1 Gadducci, Fabio
1 Gao, Xin
1 Gramlich, Bernhard
1 Grignoli, Davide
1 Gupta, Vineet
1 Guzmán, Michell
1 Haemmerlé, Rémy
1 Heras, Jónathan
1 Hermenegildo, Manuel V.
1 Hooman, Jozef Johannes Maria
1 Hsu, Hu-Hsiao
1 Huang, Zhecong
1 Iborra, José
1 Jagadeesan, Radha
1 Jayaraman, Bharat
1 Ju, Shen-Haw
1 Kanaun, Sergey
1 Kannimoola, Jinesh M.
1 Kitchin, David
1 Klemen, M.
1 Lescaylle, Alexei
1 Li, Ming
1 Li, Ning
1 Li, Xikui
1 Ling, Daosheng
1 Liogier, Karine
...and 58 more Authors

Citations by Year