Concepedia

Serenella Cerrito

SC

Statistics

Publications

8

Citations

140

H-Index

8

Active since

1992

Affiliations

Centre National de la Recherche Scientifique(Current)

Université d'Évry Val-d'Essonne

Laboratoire de Recherche en Informatique

Université Paris-Saclay

Université Paris Cité

Serenella Cerrito is an author at Centre National de la Recherche Scientifique specializing in computer science, logic, and formal methods.

Publications per year

1992–2010

8

Publications

8

A first step towardsmodeling semistructured data in hybrid multimodal logic

Nicole Bidoít, Serenella Cerrito, Virginie Thion · Journal of Applied Non-Classical Logics · 2004 · 23 citations

, , +13

A linear axiomatization of negation as failure

Serenella Cerrito · The Journal of Logic Programming · 1992 · 21 citations

, , +11

Pattern matching as cut elimination

Serenella Cerrito, Delia Kesner · Theoretical Computer Science · 2004 · 20 citations

, , +13

A linear semantics for allowed logic programs

Serenella Cerrito · 2002 · 18 citations

, , +13

Pattern matching as cut elimination

Serenella Cerrito, Delia Kesner · 2003 · 17 citations

, , +13

1–5 of 8