default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaula Severi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[j12]Paula Severi, Mariangiola Dezani-Ciancaglini
:
Observational Equivalence for Multiparty Sessions. Fundam. Informaticae 170(1-3): 267-305 (2019)- [j11]Paula Severi:
A Light Modality for Recursion. Log. Methods Comput. Sci. 15(1) (2019) - [c26]Paula Severi, Edelweis Rohrer, Regina Motz:
A Description Logic for Unifying Different Points of View. KGSWC 2019: 17-32 - [c25]Edelweis Rohrer, Paula Severi, Regina Motz:
Meta-Modelling Ontology Design Pattern. KGSWC 2019: 102-117 - 2018
- [c24]Edelweis Rohrer, Paula Severi, Regina Motz:
Applying Meta-Modellig to an Accounting Application. ONTOBRAS 2018: 92-103 - [i4]Paula Severi:
Two Light Modalities for Recursion. CoRR abs/1801.00285 (2018) - 2017
- [j10]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13(2) (2017) - [j9]Paula Severi, Fer-Jan de Vries:
The infinitary lambda calculus of the infinite eta Böhm trees. Math. Struct. Comput. Sci. 27(5): 681-733 (2017) - [c23]Regina Motz, Edelweis Rohrer, Paula Severi:
Applying Description Logics Extended with Meta-modelling to SNOMED-CT. AMW 2017 - [c22]Paula Severi:
A Light Modality for Recursion. FoSSaCS 2017: 499-516 - 2016
- [c21]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. COORDINATION 2016: 245-261 - [c20]Monica Martinez, Edelweis Rohrer, Paula Severi:
Complexity of the Description Logic ALCM. KR 2016: 585-588 - [i3]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. CoRR abs/1610.06362 (2016) - 2015
- [j8]Regina Motz, Edelweis Rohrer, Paula Severi:
The description logic SHIQ with a flexible meta-modelling hierarchy. J. Web Semant. 35: 214-234 (2015) - [c19]Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries:
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. CALCO 2015: 205-220 - [i2]Monica Martinez, Edelweis Rohrer, Paula Severi:
Complexity of the Description Logic ALCM. CoRR abs/1511.03749 (2015) - 2014
- [c18]Edelweis Rohrer, Paula Severi, Regina Motz, Alicia Díaz:
Metamodelling in a Ontology Network. WoMO@FOIS 2014 - [c17]Regina Motz, Edelweis Rohrer, Paula Severi:
Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy. JIST 2014: 47-62 - [i1]Regina Motz, Edelweis Rohrer, Paula Severi:
Reasoning for ALCQ extended with a flexible meta-modelling hierarchy. CoRR abs/1410.7953 (2014) - 2013
- [j7]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) - [c16]Paula Severi, Fer-Jan de Vries:
Completeness of Conversion between Reactive Programs for Ultrametric Models. TLCA 2013: 221-235 - 2012
- [c15]Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries:
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. CMCS 2012: 130-149 - [c14]Paula Severi, Fer-Jan de Vries:
Pure type systems with corecursion on streams: from finite to infinitary normalisation. ICFP 2012: 141-152 - [c13]Paula Severi, Fer-Jan de Vries:
Meaningless Sets in Infinitary Combinatory Logic. RTA 2012: 288-304 - 2011
- [j6]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): 83-98 (2011) - [c12]Paula Severi, Fer-Jan de Vries:
Weakening the Axiom of Overlap in Infinitary Lambda Calculus. RTA 2011: 313-328 - [c11]Paula Severi, Fer-Jan de Vries:
Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus. WoLLIC 2011: 210-227 - 2010
- [c10]Paula Severi, José Luiz Fiadeiro, David Ekserdjian:
Guiding Reification in OWL through Aggregation. Description Logics 2010
2000 – 2009
- 2008
- [c9]Fabio Alessi, Paula Severi:
Recursive Domain Equations of Filter Models. SOFSEM 2008: 124-135 - 2005
- [c8]Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries:
Infinitary Rewriting: From Syntax to Semantics. Processes, Terms and Cycles 2005: 148-172 - [c7]Paula Severi, Fer-Jan de Vries:
Order Structures on Böhm-Like Models. CSL 2005: 103-118 - [c6]Paula Severi, Fer-Jan de Vries:
Continuity and Discontinuity in Lambda Calculus. TLCA 2005: 369-385 - 2003
- [j5]Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz:
Reduction Strategies for Program Extraction. CLEI Electron. J. 6(1) (2003) - [j4]Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries:
Infinitary lambda calculus and discrimination of Berarducci trees. Theor. Comput. Sci. 298(2): 275-302 (2003) - 2002
- [c5]Maribel Fernández, Paula Severi:
An Operational Approach to Program Extraction in the Calculus of Constructions. LOPSTR 2002: 111-125 - [c4]Paula Severi, Fer-Jan de Vries:
An Extensional Böhm Model. RTA 2002: 159-173 - [c3]Femke van Raamsdonk, Paula Severi:
Eliminating Proofs from Programs. LFM 2002: 42-59 - 2001
- [j3]Paula Severi, Nora Szasz:
Studies of a Theory of Specifications with Built-in Program Extraction. J. Autom. Reason. 27(1): 61-87 (2001) - 2000
- [c2]Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries:
Böhm's theorem for Berarducci trees. CATS 2000: 34-57
1990 – 1999
- 1999
- [j2]Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi:
Perpetual Reductions in Lambda-Calculus. Inf. Comput. 149(2): 173-225 (1999) - 1998
- [j1]Paula Severi:
Type Inference for Pure Type Systems. Inf. Comput. 143(1): 1-23 (1998) - 1994
- [c1]Paula Severi, Erik Poll:
Pure Type Systems with Definitions. LFCS 1994: 316-328
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
