Paula Severi

According to our database, Paula Severi authored at least 38 papers between 1994 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

A Light Modality for Recursion.

Paula Severi

Log. Methods Comput. Sci., 2019

Observational Equivalence for Multiparty Sessions.

Paula Severi, Mariangiola Dezani-Ciancaglini

Fundam. Informaticae, 2019

A Description Logic for Unifying Different Points of View.

Paula Severi, Edelweis Rohrer, Regina Motz

Proceedings of the Knowledge Graphs and Semantic Web - First Iberoamerican Conference, 2019

Meta-Modelling Ontology Design Pattern.

Edelweis Rohrer, Paula Severi, Regina Motz

Proceedings of the Knowledge Graphs and Semantic Web - First Iberoamerican Conference, 2019

2018

Two Light Modalities for Recursion.

Paula Severi

CoRR, 2018

Applying Meta-Modellig to an Accounting Application.

Edelweis Rohrer, Paula Severi, Regina Motz

Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies, 2018

2017

The infinitary lambda calculus of the infinite eta Böhm trees.

Paula Severi, Fer-Jan de Vries

Math. Struct. Comput. Sci., 2017

On Sessions and Infinite Data.

Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini

Log. Methods Comput. Sci., 2017

Applying Description Logics Extended with Meta-modelling to SNOMED-CT.

Regina Motz, Edelweis Rohrer, Paula Severi

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Complexity of the Description Logic ALCM.

Monica Martinez, Edelweis Rohrer, Paula Severi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

The description logic SHIQ with a flexible meta-modelling hierarchy.

Regina Motz, Edelweis Rohrer, Paula Severi

J. Web Semant., 2015

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.

Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Reasoning for ALCQ extended with a flexible meta-modelling hierarchy.

Regina Motz, Edelweis Rohrer, Paula Severi

CoRR, 2014

Reasoning for <i>ALCQ</i> Extended with a Flexible Meta-Modelling Hierarchy.

Regina Motz, Edelweis Rohrer, Paula Severi

Proceedings of the Semantic Technology - 4th Joint International Conference, 2014

Metamodelling in a Ontology Network.

Edelweis Rohrer, Paula Severi, Regina Motz, Alicia Díaz

Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

2013

Nominal Coalgebraic Data Types with Applications to Lambda Calculus.

Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Log. Methods Comput. Sci., 2013

Completeness of Conversion between Reactive Programs for Ultrametric Models.

Paula Severi, Fer-Jan de Vries

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

2012

Meaningless Sets in Infinitary Combinatory Logic.

Paula Severi, Fer-Jan de Vries

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Pure type systems with corecursion on streams: from finite to infinitary normalisation.

Paula Severi, Fer-Jan de Vries

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.

Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation.

Paula Severi, José Luiz Fiadeiro, David Ekserdjian

J. Web Semant., 2011

Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus.

Paula Severi, Fer-Jan de Vries

Proceedings of the Logic, Language, Information and Computation, 2011

Weakening the Axiom of Overlap in Infinitary Lambda Calculus.

Paula Severi, Fer-Jan de Vries

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Guiding Reification in OWL through Aggregation.

Paula Severi, José Luiz Fiadeiro, David Ekserdjian

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2008

Recursive Domain Equations of Filter Models.

Fabio Alessi, Paula Severi

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

2005

Continuity and Discontinuity in Lambda Calculus.

Paula Severi, Fer-Jan de Vries

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Order Structures on Böhm-Like Models.

Paula Severi, Fer-Jan de Vries

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

Infinitary Rewriting: From Syntax to Semantics.

Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries

Proceedings of the Processes, 2005

2003

Infinitary lambda calculus and discrimination of Berarducci trees.

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries

Theor. Comput. Sci., 2003

Reduction Strategies for Program Extraction.

Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz

CLEI Electron. J., 2003

2002

Eliminating Proofs from Programs.

Femke van Raamsdonk, Paula Severi

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

An Extensional Böhm Model.

Paula Severi, Fer-Jan de Vries

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

An Operational Approach to Program Extraction in the Calculus of Constructions.

Maribel Fernández, Paula Severi

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

Studies of a Theory of Specifications with Built-in Program Extraction.

Paula Severi, Nora Szasz

J. Autom. Reason., 2001

2000

Böhm's theorem for Berarducci trees.

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries

Proceedings of the Computing: the Australasian Theory Symposium, 2000

1999

Perpetual Reductions in Lambda-Calculus.

Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi

Inf. Comput., 1999

1998

Type Inference for Pure Type Systems.

Paula Severi

Inf. Comput., 1998

1994

Pure Type Systems with Definitions.

Paula Severi, Erik Poll

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994