Paula Severi

Publication Activity (10 Years)

Years Active: 1994-2019
Publications (10 Years): 16

Top Topics

Reasoning Problems

Computing Least Common Subsumers

Description Logics

Top Venues

Log. Methods Comput. Sci.

Publications

Paula Severi, Mariangiola Dezani-Ciancaglini
Observational Equivalence for Multiparty Sessions. Fundam. Informaticae 170 (1-3) (2019)
Edelweis Rohrer, Paula Severi, Regina Motz
Meta-Modelling Ontology Design Pattern. KGSWC (2019)
Paula Severi, Edelweis Rohrer, Regina Motz
A Description Logic for Unifying Different Points of View. KGSWC (2019)
Paula Severi
A Light Modality for Recursion. Log. Methods Comput. Sci. 15 (1) (2019)
Edelweis Rohrer, Paula Severi, Regina Motz
Applying Meta-Modellig to an Accounting Application. ONTOBRAS (2018)
Paula Severi
Two Light Modalities for Recursion. CoRR (2018)
Paula Severi
A Light Modality for Recursion. FoSSaCS (2017)
Regina Motz, Edelweis Rohrer, Paula Severi
Applying Description Logics Extended with Meta-modelling to SNOMED-CT. AMW (2017)
Paula Severi, Fer-Jan de Vries
The infinitary lambda calculus of the infinite eta Böhm trees. Math. Struct. Comput. Sci. 27 (5) (2017)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13 (2) (2017)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. COORDINATION (2016)
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data. CoRR (2016)
Monica Martinez, Edelweis Rohrer, Paula Severi
Complexity of the Description Logic ALCM. KR (2016)
Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. CALCO (2015)
Regina Motz, Edelweis Rohrer, Paula Severi
The description logic SHIQ with a flexible meta-modelling hierarchy. J. Web Semant. 35 (2015)
Monica Martinez, Edelweis Rohrer, Paula Severi
Complexity of the Description Logic ALCM. CoRR (2015)
Regina Motz, Edelweis Rohrer, Paula Severi
Reasoning for ALCQ extended with a flexible meta-modelling hierarchy. CoRR (2014)
Edelweis Rohrer, Paula Severi, Regina Motz, Alicia Díaz
Metamodelling in a Ontology Network. WoMO@FOIS (2014)
Regina Motz, Edelweis Rohrer, Paula Severi
Extended with a Flexible Meta-Modelling Hierarchy. JIST (2014)
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
Nominal Coalgebraic Data Types with Applications to Lambda Calculus. Log. Methods Comput. Sci. 9 (4) (2013)
Paula Severi, Fer-Jan de Vries
Completeness of Conversion between Reactive Programs for Ultrametric Models. TLCA (2013)
Paula Severi, Fer-Jan de Vries
Meaningless Sets in Infinitary Combinatory Logic. RTA (2012)
Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. CMCS (2012)
Paula Severi, Fer-Jan de Vries
Pure type systems with corecursion on streams: from finite to infinitary normalisation. ICFP (2012)
Paula Severi, Fer-Jan de Vries
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. WoLLIC (2011)
Paula Severi, José Luiz Fiadeiro, David Ekserdjian
Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation. J. Web Semant. 9 (2) (2011)
Paula Severi, Fer-Jan de Vries
Weakening the Axiom of Overlap in Infinitary Lambda Calculus. RTA (2011)
Paula Severi, José Luiz Fiadeiro, David Ekserdjian
Guiding Reification in OWL through Aggregation. Description Logics (2010)
Fabio Alessi, Paula Severi
Recursive Domain Equations of Filter Models. SOFSEM (2008)
Paula Severi, Fer-Jan de Vries
Continuity and Discontinuity in Lambda Calculus. TLCA (2005)
Paula Severi, Fer-Jan de Vries
Order Structures on Böhm-Like Models. CSL (2005)
Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles (2005)
Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
Infinitary lambda calculus and discrimination of Berarducci trees. Theor. Comput. Sci. 298 (2) (2003)
Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz
Reduction Strategies for Program Extraction. CLEI Electron. J. 6 (1) (2003)
Femke van Raamsdonk, Paula Severi
Eliminating Proofs from Programs. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Maribel Fernández, Paula Severi
An Operational Approach to Program Extraction in the Calculus of Constructions. LOPSTR (2002)
Paula Severi, Fer-Jan de Vries
An Extensional Böhm Model. RTA (2002)
Paula Severi, Nora Szasz
Studies of a Theory of Specifications with Built-in Program Extraction. J. Autom. Reason. 27 (1) (2001)
Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
Böhm's theorem for Berarducci trees. Electron. Notes Theor. Comput. Sci. 31 (2000)
Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
Perpetual Reductions in Lambda-Calculus. Inf. Comput. 149 (2) (1999)
Paula Severi
Type Inference for Pure Type Systems. Inf. Comput. 143 (1) (1998)
Paula Severi, Erik Poll
Pure Type Systems with Definitions. LFCS (1994)