Paula Severi

Cited by

	All	Since 2019
Citations	687	188
h-index	14	7
i10-index	19	7

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 4 11 11 6 16 14 23 23 26 21 34 19 18 22 8 17 25 22 20 23 29 36 24 26 35 38 31 34 23 26

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Femke van RaamsdonkVU University AmsterdamVerified email at vu.nl
Regina MotzProfessor of Computer Science, Universidad de la RepúblicaVerified email at fing.edu.uy
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Nora SzaszUniversidad ORT UruguayVerified email at ort.edu.uy
Hongwei XiBoston UniversityVerified email at cs.bu.edu
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Alexander KurzChapman UniversityVerified email at chapman.edu
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerified email at durhamjohnston.org.uk
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Verified email at cmp.uea.ac.uk
Alberto PardoProfessor of Computer Science, Instituto de Computacion, Universidad de la Republica, UruguayVerified email at fing.edu.uy
Alicia DiazProfessor of Computer Science, Universidad Nacional de La PlataVerified email at lifia.info.unlp.edu.ar
Henk BarendregtFaculty of Science, Radboud UniversityVerified email at ru.nl
Ana BoveAssoc. prof. in Computer Science at Chalmers University of Technology and University of GothenburgVerified email at chalmers.se
Fer-Jan de VriesFormerly: Department of Computer Science, University of Leicester

Paula Severi

University of Leicester

Verified email at leicester.ac.uk

Types and Programming Languages Description Logic and Foundations of Semantic Web


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Pure type systems with definitions P Severi, E Poll Logical Foundations of Computer Science: Third International Symposium, LFCS …, 1994	107	1994
Perpetual Reductions in λ-Calculus F van Raamsdonk, P Severi, MHB Sørensen, H Xi Information and Computation 149 (2), 173-225, 1999	94	1999
On normalisation F Van Raamsdonk, PG Severi Technische Universiteit Eindhoven, 1995	47	1995
Normalisation in lambda calculus and its relation to type inference PG Severi	36	1996
Nominal coalgebraic data types with applications to lambda calculus A Kurz, DL Petrişan, P Severi, FJ de Vries Logical Methods in Computer Science 9, 2013	33	2013
An extensional Böhm model P Severi, FJ de Vries Rewriting Techniques and Applications: 13th International Conference, RTA …, 2002	27	2002
Observational equivalence for multiparty sessions P Severi, M Dezani-Ciancaglini Fundamenta Informaticae 170 (1-3), 267-305, 2019	26	2019
The description logic SHIQ with a flexible meta-modelling hierarchy R Motz, E Rohrer, P Severi Journal of Web Semantics 35, 214-234, 2015	25	2015
Pure type systems with corecursion on streams: from finite to infinitary normalisation PG Severi, FJJ de Vries ACM SIGPLAN Notices 47 (9), 141-152, 2012	22	2012
Infinitary lambda calculus and discrimination of Berarducci trees M Dezani-Ciancaglini, P Severi, FJ de Vries Theoretical Computer Science 298 (2), 275-302, 2003	18	2003
An alpha-corecursion principle for the infinitary lambda calculus A Kurz, D Petrişan, P Severi, FJ De Vries Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS …, 2012	16	2012
Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation P Severi, J Fiadeiro, D Ekserdjian Journal of Web Semantics 9 (2), 83-98, 2011	16	2011
Guiding reification in owl through aggregation P Severi, J Fiadeiro, D Ekserdjian 23rd International Workshop on Description Logics DL2010, 408, 2010	16	2010
Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy R Motz, E Rohrer, P Severi Joint International Semantic Technology Conference, 47-62, 2014	15	2014
Weakening the axiom of overlap in infinitary lambda calculus P Severi, FJ de Vries 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011	14	2011
Order structures on Böhm-like models P Severi, FJ de Vries International Workshop on Computer Science Logic, 103-118, 2005	14	2005
Studies of a theory of specifications with built-in program extraction P Severi, N Szasz Journal of Automated Reasoning 27 (1), 61-87, 2001	14	2001
Infinitary rewriting: From syntax to semantics R Kennaway, P Severi, R Sleep, FJ de Vries Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005	13	2005
On sessions and infinite data P Severi, L Padovani, E Tuosto, M Dezani-Ciancaglini Logical Methods in Computer Science 13, 2017	11	2017
A light modality for recursion P Severi Logical Methods in Computer Science 15, 2019	9	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors