BibTeX records: Paula Severi

download as .bib file

@article{DBLP:journals/fuin/SeveriD19,
  author       = {Paula Severi and
                  Mariangiola Dezani{-}Ciancaglini},
  title        = {Observational Equivalence for Multiparty Sessions},
  journal      = {Fundam. Informaticae},
  volume       = {170},
  number       = {1-3},
  pages        = {267--305},
  year         = {2019},
  url          = {https://doi.org/10.3233/FI-2019-1863},
  doi          = {10.3233/FI-2019-1863},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SeveriD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Severi19,
  author       = {Paula Severi},
  title        = {A Light Modality for Recursion},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {15},
  number       = {1},
  year         = {2019},
  url          = {https://doi.org/10.23638/LMCS-15(1:8)2019},
  doi          = {10.23638/LMCS-15(1:8)2019},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/Severi19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgswc/SeveriRM19,
  author       = {Paula Severi and
                  Edelweis Rohrer and
                  Regina Motz},
  editor       = {Boris Villaz{\'{o}}n{-}Terrazas and
                  Yusniel Hidalgo{-}Delgado},
  title        = {A Description Logic for Unifying Different Points of View},
  booktitle    = {Knowledge Graphs and Semantic Web - First Iberoamerican Conference,
                  {KGSWC} 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1029},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21395-4\_2},
  doi          = {10.1007/978-3-030-21395-4\_2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kgswc/SeveriRM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgswc/RohrerSM19,
  author       = {Edelweis Rohrer and
                  Paula Severi and
                  Regina Motz},
  editor       = {Boris Villaz{\'{o}}n{-}Terrazas and
                  Yusniel Hidalgo{-}Delgado},
  title        = {Meta-Modelling Ontology Design Pattern},
  booktitle    = {Knowledge Graphs and Semantic Web - First Iberoamerican Conference,
                  {KGSWC} 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1029},
  pages        = {102--117},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-21395-4\_8},
  doi          = {10.1007/978-3-030-21395-4\_8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kgswc/RohrerSM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ontobras/RohrerSM18,
  author       = {Edelweis Rohrer and
                  Paula Severi and
                  Regina Motz},
  editor       = {Joel Luis Carbonera and
                  Giancarlo Guizzardi},
  title        = {Applying Meta-Modellig to an Accounting Application},
  booktitle    = {Proceedings of the {XI} Seminar on Ontology Research in Brazil and
                  {II} Doctoral and Masters Consortium on Ontologies, S{\~{a}}o Paulo,
                  Brazil, October 1st-3rd, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2228},
  pages        = {92--103},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2228/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/ontobras/RohrerSM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-00285,
  author       = {Paula Severi},
  title        = {Two Light Modalities for Recursion},
  journal      = {CoRR},
  volume       = {abs/1801.00285},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.00285},
  eprinttype    = {arXiv},
  eprint       = {1801.00285},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-00285.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/SeveriPTD17,
  author       = {Paula Severi and
                  Luca Padovani and
                  Emilio Tuosto and
                  Mariangiola Dezani{-}Ciancaglini},
  title        = {On Sessions and Infinite Data},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {13},
  number       = {2},
  year         = {2017},
  url          = {https://doi.org/10.23638/LMCS-13(2:9)2017},
  doi          = {10.23638/LMCS-13(2:9)2017},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/SeveriPTD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SeveriV17,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  title        = {The infinitary lambda calculus of the infinite eta B{\"{o}}hm
                  trees},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {27},
  number       = {5},
  pages        = {681--733},
  year         = {2017},
  url          = {https://doi.org/10.1017/S096012951500033X},
  doi          = {10.1017/S096012951500033X},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/SeveriV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/MotzRS17,
  author       = {Regina Motz and
                  Edelweis Rohrer and
                  Paula Severi},
  editor       = {Juan L. Reutter and
                  Divesh Srivastava},
  title        = {Applying Description Logics Extended with Meta-modelling to {SNOMED-CT}},
  booktitle    = {Proceedings of the 11th Alberto Mendelzon International Workshop on
                  Foundations of Data Management and the Web, Montevideo, Uruguay, June
                  7-9, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1912},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1912/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:19 +0100},
  biburl       = {https://dblp.org/rec/conf/amw/MotzRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Severi17,
  author       = {Paula Severi},
  editor       = {Javier Esparza and
                  Andrzej S. Murawski},
  title        = {A Light Modality for Recursion},
  booktitle    = {Foundations of Software Science and Computation Structures - 20th
                  International Conference, {FOSSACS} 2017, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
                  Uppsala, Sweden, April 22-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10203},
  pages        = {499--516},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54458-7\_29},
  doi          = {10.1007/978-3-662-54458-7\_29},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Severi17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SeveriPTD16,
  author       = {Paula Severi and
                  Luca Padovani and
                  Emilio Tuosto and
                  Mariangiola Dezani{-}Ciancaglini},
  editor       = {Alberto Lluch{-}Lafuente and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {On Sessions and Infinite Data},
  booktitle    = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2016, Held as Part of the 11th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9686},
  pages        = {245--261},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39519-7\_15},
  doi          = {10.1007/978-3-319-39519-7\_15},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/SeveriPTD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MartinezRS16,
  author       = {Monica Martinez and
                  Edelweis Rohrer and
                  Paula Severi},
  editor       = {Chitta Baral and
                  James P. Delgrande and
                  Frank Wolter},
  title        = {Complexity of the Description Logic {ALCM}},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Fifteenth International Conference, {KR} 2016, Cape Town, South
                  Africa, April 25-29, 2016},
  pages        = {585--588},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12853},
  timestamp    = {Tue, 09 Feb 2021 08:33:50 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/MartinezRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeveriPTD16,
  author       = {Paula Severi and
                  Luca Padovani and
                  Emilio Tuosto and
                  Mariangiola Dezani{-}Ciancaglini},
  title        = {On Sessions and Infinite Data},
  journal      = {CoRR},
  volume       = {abs/1610.06362},
  year         = {2016},
  url          = {http://arxiv.org/abs/1610.06362},
  eprinttype    = {arXiv},
  eprint       = {1610.06362},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SeveriPTD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/MotzRS15,
  author       = {Regina Motz and
                  Edelweis Rohrer and
                  Paula Severi},
  title        = {The description logic {SHIQ} with a flexible meta-modelling hierarchy},
  journal      = {J. Web Semant.},
  volume       = {35},
  pages        = {214--234},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.websem.2015.05.002},
  doi          = {10.1016/J.WEBSEM.2015.05.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ws/MotzRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KurzPPSV15,
  author       = {Alexander Kurz and
                  Alberto Pardo and
                  Daniela Petrisan and
                  Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Approximation of Nested Fixpoints - {A} Coalgebraic View of Parametric
                  Dataypes},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {205--220},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.205},
  doi          = {10.4230/LIPICS.CALCO.2015.205},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/calco/KurzPPSV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MartinezRS15,
  author       = {Monica Martinez and
                  Edelweis Rohrer and
                  Paula Severi},
  title        = {Complexity of the Description Logic {ALCM}},
  journal      = {CoRR},
  volume       = {abs/1511.03749},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.03749},
  eprinttype    = {arXiv},
  eprint       = {1511.03749},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MartinezRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/RohrerSMD14,
  author       = {Edelweis Rohrer and
                  Paula Severi and
                  Regina Motz and
                  Alicia D{\'{\i}}az},
  editor       = {Kenneth Baclawski and
                  Tudor Groza and
                  Torsten Hahmann and
                  Ivan Jos{\'{e}} Varzinczak},
  title        = {Metamodelling in a Ontology Network},
  booktitle    = {Proceedings of the 8th International Workshop on Modular Ontologies
                  co-located with the 8th International Conference on Formal Ontology
                  in Information Systems {(FOIS} 2014), Rio de Janeiro, Brazil, September
                  22, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1248},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1248/WoMO14-Paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:26 +0100},
  biburl       = {https://dblp.org/rec/conf/fois/RohrerSMD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jist/MotzRS14,
  author       = {Regina Motz and
                  Edelweis Rohrer and
                  Paula Severi},
  editor       = {Thepchai Supnithi and
                  Takahira Yamaguchi and
                  Jeff Z. Pan and
                  Vilas Wuwongse and
                  Marut Buranarach},
  title        = {Reasoning for \emph{ALCQ} Extended with a Flexible Meta-Modelling
                  Hierarchy},
  booktitle    = {Semantic Technology - 4th Joint International Conference, {JIST} 2014,
                  Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8943},
  pages        = {47--62},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15615-6\_4},
  doi          = {10.1007/978-3-319-15615-6\_4},
  timestamp    = {Sat, 09 Apr 2022 12:47:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jist/MotzRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MotzRS14,
  author       = {Regina Motz and
                  Edelweis Rohrer and
                  Paula Severi},
  title        = {Reasoning for {ALCQ} extended with a flexible meta-modelling hierarchy},
  journal      = {CoRR},
  volume       = {abs/1410.7953},
  year         = {2014},
  url          = {http://arxiv.org/abs/1410.7953},
  eprinttype    = {arXiv},
  eprint       = {1410.7953},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MotzRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KurzPSV13,
  author       = {Alexander Kurz and
                  Daniela Petrisan and
                  Paula Severi and
                  Fer{-}Jan de Vries},
  title        = {Nominal Coalgebraic Data Types with Applications to Lambda Calculus},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {9},
  number       = {4},
  year         = {2013},
  url          = {https://doi.org/10.2168/LMCS-9(4:20)2013},
  doi          = {10.2168/LMCS-9(4:20)2013},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/KurzPSV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/SeveriV13,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Masahito Hasegawa},
  title        = {Completeness of Conversion between Reactive Programs for Ultrametric
                  Models},
  booktitle    = {Typed Lambda Calculi and Applications, 11th International Conference,
                  {TLCA} 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7941},
  pages        = {221--235},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38946-7\_17},
  doi          = {10.1007/978-3-642-38946-7\_17},
  timestamp    = {Sun, 02 Oct 2022 16:16:31 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/SeveriV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/KurzPSV12,
  author       = {Alexander Kurz and
                  Daniela Petrisan and
                  Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Dirk Pattinson and
                  Lutz Schr{\"{o}}der},
  title        = {An Alpha-Corecursion Principle for the Infinitary Lambda Calculus},
  booktitle    = {Coalgebraic Methods in Computer Science - 11th International Workshop,
                  {CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
                  31 - April 1, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7399},
  pages        = {130--149},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32784-1\_8},
  doi          = {10.1007/978-3-642-32784-1\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/KurzPSV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SeveriV12,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Peter Thiemann and
                  Robby Bruce Findler},
  title        = {Pure type systems with corecursion on streams: from finite to infinitary
                  normalisation},
  booktitle    = {{ACM} {SIGPLAN} International Conference on Functional Programming,
                  ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
  pages        = {141--152},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364527.2364550},
  doi          = {10.1145/2364527.2364550},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/SeveriV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SeveriV12,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Ashish Tiwari},
  title        = {Meaningless Sets in Infinitary Combinatory Logic},
  booktitle    = {23rd International Conference on Rewriting Techniques and Applications
                  (RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
  series       = {LIPIcs},
  volume       = {15},
  pages        = {288--304},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.RTA.2012.288},
  doi          = {10.4230/LIPICS.RTA.2012.288},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/SeveriV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/SeveriFE11,
  author       = {Paula Severi and
                  Jos{\'{e}} Luiz Fiadeiro and
                  David Ekserdjian},
  title        = {Guiding the representation of n-ary relations in ontologies through
                  aggregation, generalisation and participation},
  journal      = {J. Web Semant.},
  volume       = {9},
  number       = {2},
  pages        = {83--98},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.websem.2011.04.003},
  doi          = {10.1016/J.WEBSEM.2011.04.003},
  timestamp    = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ws/SeveriFE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SeveriV11,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Manfred Schmidt{-}Schau{\ss}},
  title        = {Weakening the Axiom of Overlap in Infinitary Lambda Calculus},
  booktitle    = {Proceedings of the 22nd International Conference on Rewriting Techniques
                  and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
  series       = {LIPIcs},
  volume       = {10},
  pages        = {313--328},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.RTA.2011.313},
  doi          = {10.4230/LIPICS.RTA.2011.313},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/SeveriV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/SeveriV11,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Lev D. Beklemishev and
                  Ruy J. G. B. de Queiroz},
  title        = {Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda
                  Calculus},
  booktitle    = {Logic, Language, Information and Computation - 18th International
                  Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6642},
  pages        = {210--227},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20920-8\_22},
  doi          = {10.1007/978-3-642-20920-8\_22},
  timestamp    = {Tue, 01 Jun 2021 15:22:31 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/SeveriV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SeveriFE10,
  author       = {Paula Severi and
                  Jos{\'{e}} Luiz Fiadeiro and
                  David Ekserdjian},
  editor       = {Volker Haarslev and
                  David Toman and
                  Grant E. Weddell},
  title        = {Guiding Reification in {OWL} through Aggregation},
  booktitle    = {Proceedings of the 23rd International Workshop on Description Logics
                  {(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {573},
  publisher    = {CEUR-WS.org},
  year         = {2010},
  url          = {https://ceur-ws.org/Vol-573/paper\_19.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/SeveriFE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AlessiS08,
  author       = {Fabio Alessi and
                  Paula Severi},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Recursive Domain Equations of Filter Models},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4910},
  pages        = {124--135},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77566-9\_11},
  doi          = {10.1007/978-3-540-77566-9\_11},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/AlessiS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KennawaySSV05,
  author       = {Richard Kennaway and
                  Paula Severi and
                  M. Ronan Sleep and
                  Fer{-}Jan de Vries},
  editor       = {Aart Middeldorp and
                  Vincent van Oostrom and
                  Femke van Raamsdonk and
                  Roel C. de Vrijer},
  title        = {Infinitary Rewriting: From Syntax to Semantics},
  booktitle    = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
                  Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {3838},
  pages        = {148--172},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11601548\_11},
  doi          = {10.1007/11601548\_11},
  timestamp    = {Mon, 16 Sep 2019 15:30:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KennawaySSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SeveriV05,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {C.{-}H. Luke Ong},
  title        = {Order Structures on B{\"{o}}hm-Like Models},
  booktitle    = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
                  Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3634},
  pages        = {103--118},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11538363\_9},
  doi          = {10.1007/11538363\_9},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/SeveriV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/SeveriV05,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Pawel Urzyczyn},
  title        = {Continuity and Discontinuity in Lambda Calculus},
  booktitle    = {Typed Lambda Calculi and Applications, 7th International Conference,
                  {TLCA} 2005, Nara, Japan, April 21-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3461},
  pages        = {369--385},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11417170\_27},
  doi          = {10.1007/11417170\_27},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/SeveriV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cleiej/FernandezMSS03,
  author       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie and
                  Paula Severi and
                  Nora Szasz},
  title        = {Reduction Strategies for Program Extraction},
  journal      = {{CLEI} Electron. J.},
  volume       = {6},
  number       = {1},
  year         = {2003},
  url          = {https://doi.org/10.19153/cleiej.6.1.2},
  doi          = {10.19153/CLEIEJ.6.1.2},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cleiej/FernandezMSS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Dezani-CiancagliniSV03,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Paula Severi and
                  Fer{-}Jan de Vries},
  title        = {Infinitary lambda calculus and discrimination of Berarducci trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {298},
  number       = {2},
  pages        = {275--302},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00809-5},
  doi          = {10.1016/S0304-3975(02)00809-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniSV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FernandezS02,
  author       = {Maribel Fern{\'{a}}ndez and
                  Paula Severi},
  editor       = {Michael Leuschel},
  title        = {An Operational Approach to Program Extraction in the Calculus of Constructions},
  booktitle    = {Logic Based Program Synthesis and Tranformation, 12th International
                  Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2664},
  pages        = {111--125},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45013-0\_10},
  doi          = {10.1007/3-540-45013-0\_10},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/FernandezS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/SeveriV02,
  author       = {Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {Sophie Tison},
  title        = {An Extensional B{\"{o}}hm Model},
  booktitle    = {Rewriting Techniques and Applications, 13th International Conference,
                  {RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2378},
  pages        = {159--173},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45610-4\_12},
  doi          = {10.1007/3-540-45610-4\_12},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/SeveriV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RaamsdonkS02,
  author       = {Femke van Raamsdonk and
                  Paula Severi},
  editor       = {Frank Pfenning},
  title        = {Eliminating Proofs from Programs},
  booktitle    = {International Workshop on Logical Frameworks and Meta-Languages, {LFM}
                  2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {2},
  pages        = {42--59},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80505-X},
  doi          = {10.1016/S1571-0661(04)80505-X},
  timestamp    = {Tue, 06 Dec 2022 14:32:51 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RaamsdonkS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SeveriS01,
  author       = {Paula Severi and
                  Nora Szasz},
  title        = {Studies of a Theory of Specifications with Built-in Program Extraction},
  journal      = {J. Autom. Reason.},
  volume       = {27},
  number       = {1},
  pages        = {61--87},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1010663224299},
  doi          = {10.1023/A:1010663224299},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SeveriS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Dezani-CiancagliniSV00,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Paula Severi and
                  Fer{-}Jan de Vries},
  editor       = {David A. Wolfram},
  title        = {B{\"{o}}hm's theorem for Berarducci trees},
  booktitle    = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra,
                  Australia, January 1-2, 2000},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {31},
  pages        = {34--57},
  publisher    = {Elsevier},
  year         = {2000},
  url          = {https://doi.org/10.1016/S1571-0661(05)80329-9},
  doi          = {10.1016/S1571-0661(05)80329-9},
  timestamp    = {Fri, 11 Nov 2022 16:02:13 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dezani-CiancagliniSV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RaamsdonkSSX99,
  author       = {Femke van Raamsdonk and
                  Paula Severi and
                  Morten Heine S{\o}rensen and
                  Hongwei Xi},
  title        = {Perpetual Reductions in Lambda-Calculus},
  journal      = {Inf. Comput.},
  volume       = {149},
  number       = {2},
  pages        = {173--225},
  year         = {1999},
  url          = {https://doi.org/10.1006/inco.1998.2750},
  doi          = {10.1006/INCO.1998.2750},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/RaamsdonkSSX99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Severi98,
  author       = {Paula Severi},
  title        = {Type Inference for Pure Type Systems},
  journal      = {Inf. Comput.},
  volume       = {143},
  number       = {1},
  pages        = {1--23},
  year         = {1998},
  url          = {https://doi.org/10.1006/inco.1998.2708},
  doi          = {10.1006/INCO.1998.2708},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Severi98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/SeveriP94,
  author       = {Paula Severi and
                  Erik Poll},
  editor       = {Anil Nerode and
                  Yuri V. Matiyasevich},
  title        = {Pure Type Systems with Definitions},
  booktitle    = {Logical Foundations of Computer Science, Third International Symposium,
                  LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {813},
  pages        = {316--328},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58140-5\_30},
  doi          = {10.1007/3-540-58140-5\_30},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/SeveriP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics