Paula Severi

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