Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: José N. Oliveira
@article{DBLP:journals/jlap/BackhouseO23,
author = {Roland Carl Backhouse and
Jos{\'{e}} Nuno Oliveira},
title = {On difunctions},
journal = {J. Log. Algebraic Methods Program.},
volume = {134},
pages = {100878},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100878},
doi = {10.1016/J.JLAMP.2023.100878},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BackhouseO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/OliveiraPBH22,
author = {Jos{\'{e}} Nuno Oliveira and
Jorge Sousa Pinto and
Lu{\'{\i}}s Soares Barbosa and
Pedro Rangel Henriques},
title = {A tribute to Jos{\'{e}} Manuel Valen{\c{c}}a},
journal = {J. Log. Algebraic Methods Program.},
volume = {128},
pages = {100792},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100792},
doi = {10.1016/J.JLAMP.2022.100792},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/OliveiraPBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NeriBO22,
author = {Ana Neri and
Rui Soares Barbosa and
Jos{\'{e}} N. Oliveira},
title = {Compiling Quantamorphisms for the {IBM} {Q} Experience},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {11},
pages = {4339--4356},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3117515},
doi = {10.1109/TSE.2021.3117515},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/NeriBO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Oliveira22,
author = {Jos{\'{e}} Nuno Oliveira},
editor = {Alexandre Madeira and
Manuel A. Martins},
title = {Why Adjunctions Matter - {A} Functional Programmer Perspective},
booktitle = {Recent Trends in Algebraic Development Techniques - 26th {IFIP} {WG}
1.3 International Workshop, {WADT} 2022, Aveiro, Portugal, June 28-30,
2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13710},
pages = {25--59},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-43345-0\_2},
doi = {10.1007/978-3-031-43345-0\_2},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/Oliveira22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MartinsFCCCMO22,
author = {Jo{\~{a}}o Martins and
Jos{\'{e}} M. Fonseca and
Rafael Costa and
Jos{\'{e}} Creissac Campos and
Alcino Cunha and
Nuno Macedo and
Jos{\'{e}} N. Oliveira},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {Verification of railway network models with {EVEREST}},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {345--355},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552439},
doi = {10.1145/3550355.3552439},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/MartinsFCCCMO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SilvaOMC22,
author = {Pedro Silva and
Jos{\'{e}} N. Oliveira and
Nuno Macedo and
Alcino Cunha},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {Quantitative relational modelling with QAlloy},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {885--896},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3549154},
doi = {10.1145/3540250.3549154},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SilvaOMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SantosO20,
author = {Armando Santos and
Jos{\'{e}} N. Oliveira},
editor = {Tom Schrijvers},
title = {Type your matrices for great good: a Haskell library of typed matrices
and applications (functional pearl)},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
pages = {54--66},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406088.3409019},
doi = {10.1145/3406088.3409019},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/SantosO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2019-w1,
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54994-7},
doi = {10.1007/978-3-030-54994-7},
isbn = {978-3-030-54993-0},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2019-w1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2019-w2,
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54997-8},
doi = {10.1007/978-3-030-54997-8},
isbn = {978-3-030-54996-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2019-w2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-10510,
author = {Ana Neri and
Rui Soares Barbosa and
Jos{\'{e}} N. Oliveira},
title = {Compiling quantamorphisms for the {IBM} {Q} Experience},
journal = {CoRR},
volume = {abs/2010.10510},
year = {2020},
url = {https://arxiv.org/abs/2010.10510},
eprinttype = {arXiv},
eprint = {2010.10510},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-10510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2019,
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8},
doi = {10.1007/978-3-030-30942-8},
isbn = {978-3-030-30941-1},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Oliveira18,
author = {Jos{\'{e}} Nuno Oliveira},
title = {Programming from metaphorisms},
journal = {J. Log. Algebraic Methods Program.},
volume = {94},
pages = {15--44},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2017.09.003},
doi = {10.1016/J.JLAMP.2017.09.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Oliveira18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-00641,
author = {Jo{\~{a}}o M. Afonso and
Gabriel D. Fernandes and
Jo{\~{a}}o Pedro Alves Fernandes and
Filipe Oliveira and
Bruno M. Ribeiro and
Rog{\'{e}}rio Pontes and
Jos{\'{e}} N. Oliveira and
Alberto J. Proen{\c{c}}a},
title = {Typed Linear Algebra for Efficient Analytical Querying},
journal = {CoRR},
volume = {abs/1809.00641},
year = {2018},
url = {http://arxiv.org/abs/1809.00641},
eprinttype = {arXiv},
eprint = {1809.00641},
timestamp = {Tue, 14 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-00641.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/OliveiraM17,
author = {Jos{\'{e}} Nuno Oliveira and
Hugo Daniel Macedo},
editor = {Tiark Rompf and
Alexander Alexandrov},
title = {The data cube as a typed linear algebra operator},
booktitle = {Proceedings of The 16th International Symposium on Database Programming
Languages, {DBPL} 2017, Munich, Germany, September 1, 2017},
pages = {6:1--6:11},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122831.3122834},
doi = {10.1145/3122831.3122834},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/OliveiraM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09013,
author = {Jos{\'{e}} Nuno Oliveira},
title = {Programming from Metaphorisms},
journal = {CoRR},
volume = {abs/1709.09013},
year = {2017},
url = {http://arxiv.org/abs/1709.09013},
eprinttype = {arXiv},
eprint = {1709.09013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-09013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OliveiraM16,
author = {Jos{\'{e}} Nuno Oliveira and
Victor Cacciari Miraldo},
title = {"Keep definition, change category" - {A} practical approach
to state-based system calculi},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {449--474},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.11.007},
doi = {10.1016/J.JLAMP.2015.11.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/OliveiraM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MacedoO15,
author = {Hugo Daniel Macedo and
Jos{\'{e}} Nuno Oliveira},
title = {A linear algebra approach to {OLAP}},
journal = {Formal Aspects Comput.},
volume = {27},
number = {2},
pages = {283--307},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0316-9},
doi = {10.1007/S00165-014-0316-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MacedoO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MurtaO15,
author = {Daniel Murta and
Jos{\'{e}} Nuno Oliveira},
title = {A study of risk-aware program transformation},
journal = {Sci. Comput. Program.},
volume = {110},
pages = {51--77},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.04.008},
doi = {10.1016/J.SCICO.2015.04.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MurtaO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Oliveira15,
author = {Jos{\'{e}} Nuno Oliveira},
editor = {Wolfram Kahl and
Michael Winter and
Jos{\'{e}} Nuno Oliveira},
title = {Metaphorisms in Programming},
booktitle = {Relational and Algebraic Methods in Computer Science - 15th International
Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9348},
pages = {171--190},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24704-5\_11},
doi = {10.1007/978-3-319-24704-5\_11},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Oliveira15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/PontesMOP15,
author = {Rogerio Pontes and
Miguel Matos and
Jos{\'{e}} Nuno Oliveira and
Jos{\'{e}} Orlando Pereira},
editor = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Ralf L{\"{a}}mmel and
Jo{\~{a}}o Saraiva and
Vadim Zaytsev},
title = {Implementing a Linear Algebra Approach to Data Processing},
booktitle = {Grand Timely Topics in Software Engineering - International Summer
School {GTTSE} 2015, Braga, Portugal, August 23-29, 2015, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {10223},
pages = {215--222},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-60074-1\_9},
doi = {10.1007/978-3-319-60074-1\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gttse/PontesMOP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2015,
editor = {Wolfram Kahl and
Michael Winter and
Jos{\'{e}} Nuno Oliveira},
title = {Relational and Algebraic Methods in Computer Science - 15th International
Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9348},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24704-5},
doi = {10.1007/978-3-319-24704-5},
isbn = {978-3-319-24703-8},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Oliveira14,
author = {Jos{\'{e}} Nuno Oliveira},
title = {A relation-algebraic approach to the "Hoare logic" of functional
dependencies},
journal = {J. Log. Algebraic Methods Program.},
volume = {83},
number = {2},
pages = {249--262},
year = {2014},
url = {https://doi.org/10.1016/j.jlap.2014.02.013},
doi = {10.1016/J.JLAP.2014.02.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Oliveira14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Oliveira14,
author = {Jos{\'{e}} Nuno Oliveira},
editor = {Peter H{\"{o}}fner and
Peter Jipsen and
Wolfram Kahl and
Martin Eric M{\"{u}}ller},
title = {Preparing Relational Algebra for "Just Good Enough" Hardware},
booktitle = {Relational and Algebraic Methods in Computer Science - 14th International
Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8428},
pages = {119--138},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06251-8\_8},
doi = {10.1007/978-3-319-06251-8\_8},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Oliveira14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MacedoPCO13,
author = {Nuno Macedo and
Hugo Pacheco and
Alcino Cunha and
Jos{\'{e}} Nuno Oliveira},
title = {Composing Least-change Lenses},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {57},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.57.868},
doi = {10.14279/TUJ.ECEASST.57.868},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MacedoPCO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Oliveira13,
author = {Jos{\'{e}} Nuno Oliveira},
title = {Weighted Automata as Coalgebras in Categories of Matrices},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {6},
pages = {709--728},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400145},
doi = {10.1142/S0129054113400145},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/Oliveira13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MacedoO13,
author = {Hugo Daniel Macedo and
Jos{\'{e}} Nuno Oliveira},
title = {Typing linear algebra: {A} biproduct-oriented approach},
journal = {Sci. Comput. Program.},
volume = {78},
number = {11},
pages = {2160--2191},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.07.012},
doi = {10.1016/J.SCICO.2012.07.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MacedoO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/OliveiraF13,
author = {Jos{\'{e}} Nuno Oliveira and
Miguel Alexandre Ferreira},
title = {Alloy Meets the Algebra of Programming: {A} Case Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {3},
pages = {305--326},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.15},
doi = {10.1109/TSE.2012.15},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/OliveiraF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MurtaO13,
author = {Daniel Murta and
Jos{\'{e}} Nuno Oliveira},
title = {Calculating risk in functional programming},
journal = {CoRR},
volume = {abs/1311.3687},
year = {2013},
url = {http://arxiv.org/abs/1311.3687},
eprinttype = {arXiv},
eprint = {1311.3687},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MurtaO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MacedoO13,
author = {Hugo Daniel Macedo and
Jos{\'{e}} Nuno Oliveira},
title = {Typing linear algebra: {A} biproduct-oriented approach},
journal = {CoRR},
volume = {abs/1312.4818},
year = {2013},
url = {http://arxiv.org/abs/1312.4818},
eprinttype = {arXiv},
eprint = {1312.4818},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MacedoO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Oliveira12,
author = {Jos{\'{e}} Nuno Oliveira},
title = {Towards a linear algebra of programming},
journal = {Formal Aspects Comput.},
volume = {24},
number = {4-6},
pages = {433--458},
year = {2012},
url = {https://doi.org/10.1007/s00165-012-0240-9},
doi = {10.1007/S00165-012-0240-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Oliveira12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MuO12,
author = {Shin{-}Cheng Mu and
Jos{\'{e}} Nuno Oliveira},
title = {Programming from Galois connections},
journal = {J. Log. Algebraic Methods Program.},
volume = {81},
number = {6},
pages = {680--704},
year = {2012},
url = {https://doi.org/10.1016/j.jlap.2012.05.003},
doi = {10.1016/J.JLAP.2012.05.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MuO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elpub/AlmeidaCO12,
author = {Jos{\'{e}} Jo{\~{a}}o Almeida and
Nuno Ramos Carvalho and
Jos{\'{e}} Nuno Oliveira},
editor = {Ana Alice Baptista and
Peter Linde and
Niklas Lavesson and
Miguel Abrunhosa de Brito},
title = {{WIKI:} : {SCORE} - {A} Collaborative Environment For Music Transcription
And Publishing},
booktitle = {Social Shaping of Digital Publishing: Exploring the interplay between
Culture and Technology - 16th International Conference on Electronic
Publishing, Guimaraes, Portugal, June 14-15, 2013},
publisher = {{IOS} Press},
year = {2012},
url = {https://nbn-resolving.org/urn:nbn:se:elpub-120\_elpub2012},
urn = {urn:nbn:se:elpub-120\_elpub2012},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/elpub/AlmeidaCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Oliveira12,
author = {Jos{\'{e}} Nuno Oliveira},
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Typed Linear Algebra for Weigthed (Probabilistic) Automata},
booktitle = {Implementation and Application of Automata - 17th International Conference,
{CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7381},
pages = {52--65},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31606-7\_5},
doi = {10.1007/978-3-642-31606-7\_5},
timestamp = {Wed, 25 Sep 2019 18:11:54 +0200},
biburl = {https://dblp.org/rec/conf/wia/Oliveira12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-4661,
author = {Jos{\'{e}} N. Oliveira},
title = {Functions as types or the "Hoare logic" of functional dependencies},
journal = {CoRR},
volume = {abs/1210.4661},
year = {2012},
url = {http://arxiv.org/abs/1210.4661},
eprinttype = {arXiv},
eprint = {1210.4661},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-4661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isu/AlmeidaCO11,
author = {Jos{\'{e}} Jo{\~{a}}o Almeida and
Nuno Ramos Carvalho and
Jos{\'{e}} Nuno Oliveira},
title = {{WIKI:} : {SCORE} {A} collaborative environment for music transcription
and publishing},
journal = {Inf. Serv. Use},
volume = {31},
number = {3-4},
pages = {177--187},
year = {2011},
url = {https://doi.org/10.3233/ISU-2012-0647},
doi = {10.3233/ISU-2012-0647},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isu/AlmeidaCO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MuO11,
author = {Shin{-}Cheng Mu and
Jos{\'{e}} Nuno Oliveira},
editor = {Harrie C. M. de Swart},
title = {Programming from Galois Connections},
booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6663},
pages = {294--313},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21070-9\_22},
doi = {10.1007/978-3-642-21070-9\_22},
timestamp = {Wed, 15 Dec 2021 11:04:20 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/MuO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ticttl/FerreiraMCBSBO11,
author = {Jo{\~{a}}o F. Ferreira and
Alexandra Mendes and
Alcino Cunha and
Carlos Baquero and
Paulo F. Silva and
Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira},
editor = {Patrick Blackburn and
Hans van Ditmarsch and
Mar{\'{\i}}a Manzano and
Fernando Soler{-}Toscano},
title = {Logic Training through Algorithmic Problem Solving},
booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6680},
pages = {62--69},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21350-2\_8},
doi = {10.1007/978-3-642-21350-2\_8},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ticttl/FerreiraMCBSBO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/MacedoO10,
author = {Hugo Daniel Macedo and
Jos{\'{e}} Nuno Oliveira},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Towards Linear Algebras of Components},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {300--303},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_20},
doi = {10.1007/978-3-642-27269-1\_20},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/facs2/MacedoO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MacedoO10,
author = {Hugo Daniel Macedo and
Jos{\'{e}} Nuno Oliveira},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Matrices as Arrows!},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {271--287},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_16},
doi = {10.1007/978-3-642-13321-3\_16},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MacedoO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BocaBDO09,
author = {Paul Boca and
Raymond T. Boute and
David Duce and
Jos{\'{e}} Nuno Oliveira},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {21},
number = {3},
pages = {225},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0109-8},
doi = {10.1007/S00165-009-0109-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BocaBDO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/FerreiraO09,
author = {Miguel Alexandre Ferreira and
Jos{\'{e}} Nuno Oliveira},
editor = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
Jim Woodcock},
title = {An Integrated Formal Methods Tool-Chain and Its Application to Verifying
a File System Model},
booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5902},
pages = {153--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10452-7\_11},
doi = {10.1007/978-3-642-10452-7\_11},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/FerreiraO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RodriguesOB09,
author = {C{\'{e}}sar Jesus Rodrigues and
Jos{\'{e}} Nuno Oliveira and
Lu{\'{\i}}s Soares Barbosa},
editor = {Eerke A. Boiten and
John Derrick and
Steve Reeves},
title = {A Single Complete Relational Rule for Coalgebraic Refinement},
booktitle = {Proceedings of the 14th {BCS-FACS} Refinement Workshop, REFINE@FMWeek
2009, Eindhoven, The Netherlands, November 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {259},
pages = {3--19},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.014},
doi = {10.1016/J.ENTCS.2009.12.014},
timestamp = {Thu, 09 Mar 2023 15:23:44 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RodriguesOB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tfm/2009,
editor = {Jeremy Gibbons and
Jos{\'{e}} Nuno Oliveira},
title = {Teaching Formal Methods, Second International Conference, {TFM} 2009,
Eindhoven, The Netherlands, November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5846},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04912-5},
doi = {10.1007/978-3-642-04912-5},
isbn = {978-3-642-04911-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tfm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BarbosaOS08,
author = {Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira and
Alexandra Silva},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Calculating Invariants as Coreflexive Bisimulations},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {83--99},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_7},
doi = {10.1007/978-3-540-79980-1\_7},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/BarbosaOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lernet/Oliveira08,
author = {Jos{\'{e}} Nuno Oliveira},
editor = {Ana Bove and
Lu{\'{\i}}s Soares Barbosa and
Alberto Pardo and
Jorge Sousa Pinto},
title = {Extended Static Checking by Calculation Using the Pointfree Transform},
booktitle = {Language Engineering and Rigorous Software Development, International
LerNet {ALFA} Summer School 2008, Piriapolis, Uruguay, February 24
- March 1, 2008, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5520},
pages = {195--251},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03153-3\_5},
doi = {10.1007/978-3-642-03153-3\_5},
timestamp = {Thu, 14 Oct 2021 10:43:04 +0200},
biburl = {https://dblp.org/rec/conf/lernet/Oliveira08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SilvaO08,
author = {Paulo F. Silva and
Jos{\'{e}} Nuno Oliveira},
editor = {Sergio Antoy and
Elvira Albert},
title = {'Galculator': functional prototype of a Galois-connection based proof
assistant},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {44--55},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389456},
doi = {10.1145/1389449.1389456},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SilvaO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/WangBO08,
author = {Shuling Wang and
Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira},
title = {A Relational Model for Confined Separation Logic},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.38},
doi = {10.1109/TASE.2008.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/WangBO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gttse/Oliveira07,
author = {Jos{\'{e}} Nuno Oliveira},
editor = {Ralf L{\"{a}}mmel and
Joost Visser and
Jo{\~{a}}o Saraiva},
title = {Transforming Data by Calculation},
booktitle = {Generative and Transformational Techniques in Software Engineering
II, International Summer School, {GTTSE} 2007, Braga, Portugal, July
2-7, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5235},
pages = {134--195},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88643-3\_4},
doi = {10.1007/978-3-540-88643-3\_4},
timestamp = {Sun, 26 Apr 2020 17:09:18 +0200},
biburl = {https://dblp.org/rec/conf/gttse/Oliveira07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarbosaO06,
author = {Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira},
title = {Transposing partial components - An exercise on coalgebraic refinement},
journal = {Theor. Comput. Sci.},
volume = {365},
number = {1-2},
pages = {2--22},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.030},
doi = {10.1016/J.TCS.2006.07.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarbosaO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/OliveiraR06,
author = {Jos{\'{e}} Nuno Oliveira and
C{\'{e}}sar Jesus Rodrigues},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Pointfree Factorization of Operation Refinement},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {236--251},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_17},
doi = {10.1007/11813040\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/OliveiraR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CunhaOV06,
author = {Alcino Cunha and
Jos{\'{e}} Nuno Oliveira and
Joost Visser},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Type-Safe Two-Level Data Transformation},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {284--299},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_20},
doi = {10.1007/11813040\_20},
timestamp = {Sun, 26 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/CunhaOV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CruzBO05,
author = {A. Miguel Cruz and
Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira},
title = {From Algebras to Objects: Generation and Composition},
journal = {J. Univers. Comput. Sci.},
volume = {11},
number = {10},
pages = {1580--1612},
year = {2005},
url = {https://doi.org/10.3217/jucs-011-10-1580},
doi = {10.3217/JUCS-011-10-1580},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CruzBO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlvesSVO05,
author = {Tiago L. Alves and
Paulo F. Silva and
Joost Visser and
Jos{\'{e}} Nuno Oliveira},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Strategic Term Rewriting and Its Application to a {VDMSL} to {SQL}
Conversion},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {399--414},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_27},
doi = {10.1007/11526841\_27},
timestamp = {Sun, 26 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/AlvesSVO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/CortesO04a,
author = {Bruno Cortes and
Jos{\'{e}} Nuno Oliveira},
editor = {Isabel Seruca and
Jos{\'{e}} Cordeiro and
Slimane Hammoudi and
Joaquim Filipe},
title = {Relational Sampling for Data Quality Auditing and Decision Support},
booktitle = {Enterprise Information Systems VI, {[ICEIS} 2004, Porto, Portugal,
April 14-17, 2004, Revised Selected Papers]},
pages = {82--88},
publisher = {Kluwer / Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-3675-2\_10},
doi = {10.1007/1-4020-3675-2\_10},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/iceis/CortesO04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/CortesO04,
author = {Bruno Cortes and
Jos{\'{e}} Nuno Oliveira},
title = {Relational Sampling for Data Quality Auditing and Decision Support},
booktitle = {{ICEIS} 2004, Proceedings of the 6th International Conference on Enterprise
Information Systems, Porto, Portugal, April 14-17, 2004},
pages = {376--382},
year = {2004},
timestamp = {Thu, 02 Feb 2017 12:56:49 +0100},
biburl = {https://dblp.org/rec/conf/iceis/CortesO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/OliveiraR04,
author = {Jos{\'{e}} Nuno Oliveira and
C{\'{e}}sar de Jesus Pereira Cunha Rodrigues},
editor = {Dexter Kozen and
Carron Shankland},
title = {Transposing Relations: From Maybe Functions to Hash Tables},
booktitle = {Mathematics of Program Construction, 7th International Conference,
{MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3125},
pages = {334--356},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27764-4\_18},
doi = {10.1007/978-3-540-27764-4\_18},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/OliveiraR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/Oliveira04,
author = {Jos{\'{e}} Nuno Oliveira},
editor = {C. Neville Dean and
Raymond T. Boute},
title = {A Survey of Formal Methods Courses in European Higher Education},
booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3294},
pages = {235--248},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30472-2\_16},
doi = {10.1007/978-3-540-30472-2\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tfm/Oliveira04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarbosaO03,
author = {Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira},
editor = {H. Peter Gumm},
title = {State-based Components Made Generic},
booktitle = {6th International Workshop on Coalgebraic Methods in Computer Science,
{CMCS} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {1},
pages = {39--56},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80631-5},
doi = {10.1016/S1571-0661(04)80631-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarbosaO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BarbosaO02,
author = {Lu{\'{\i}}s Soares Barbosa and
Jos{\'{e}} Nuno Oliveira},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Coinductive Interpreters for Process Calculi},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {183--197},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_11},
doi = {10.1007/3-540-45788-7\_11},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/BarbosaO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Oliveira01,
author = {Jos{\'{e}} Nuno Oliveira},
title = {"Bagatelle in {C} arranged for {VDM} SoLo"},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {8},
pages = {754--781},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-08-0754},
doi = {10.3217/JUCS-007-08-0754},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Oliveira01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/VillavicencioO01,
author = {Gustavo Villavicencio and
Jos{\'{e}} Nuno Oliveira},
editor = {Elizabeth Burd and
Peter Aiken and
Rainer Koschke},
title = {Reverse Program Calculation Supported by Code Slicing},
booktitle = {Proceedings of the Eighth Working Conference on Reverse Engineering,
WCRE'01, Stuttgart, Germany, October 2-5, 2001},
pages = {35},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/WCRE.2001.957808},
doi = {10.1109/WCRE.2001.957808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/VillavicencioO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2001,
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6},
doi = {10.1007/3-540-45251-6},
isbn = {3-540-41791-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DenvirOP00,
author = {B. Tim Denvir and
Jos{\'{e}} Nuno Oliveira and
Nico Plat},
title = {The Cash-Point {(ATM)} 'Problem'},
journal = {Formal Aspects Comput.},
volume = {12},
number = {4},
pages = {211--215},
year = {2000},
url = {https://doi.org/10.1007/s001650070012},
doi = {10.1007/S001650070012},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DenvirOP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2000,
editor = {Roland Carl Backhouse and
Jos{\'{e}} Nuno Oliveira},
title = {Mathematics of Program Construction, 5th International Conference,
{MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1837},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722010},
doi = {10.1007/10722010},
isbn = {3-540-67727-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/98,
editor = {S. Doaitse Swierstra and
Pedro Rangel Henriques and
Jos{\'{e}} Nuno Oliveira},
title = {Advanced Functional Programming, Third International School, Braga,
Portugal, September 12-19, 1998, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {1608},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704973},
doi = {10.1007/10704973},
isbn = {3-540-66241-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afp/98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AlmeidaBNO97,
author = {Jos{\'{e}} Jo{\~{a}}o Almeida and
Lu{\'{\i}}s Soares Barbosa and
F. Luis Neves and
Jos{\'{e}} Nuno Oliveira},
editor = {Michael Johnson},
title = {{CAMILA:} Prototyping and Refinement of Constructive Specifications},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {554--559},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000496},
doi = {10.1007/BFB0000496},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/AlmeidaBNO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wwwj/NevesO96,
author = {F. Luis Neves and
Jos{\'{e}} N. Oliveira},
title = {Classifying Internet Objects},
journal = {World Wide Web J.},
volume = {1},
number = {1},
year = {1996},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wwwj/NevesO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/NevesO95,
author = {F. Luis Neves and
Jos{\'{e}} N. Oliveira},
editor = {Albert Vezza and
Ira Goldstein and
Tim Berners{-}Lee},
title = {Classifying Internet Objects},
booktitle = {Proceedings of the Fourth International Conference on World Wide Web,
WWW4, Boston, Massachusetts, USA, December 11-14, 1995},
pages = {711--722},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/3592626.3592684},
doi = {10.1145/3592626.3592684},
timestamp = {Thu, 21 Sep 2023 16:48:52 +0200},
biburl = {https://dblp.org/rec/conf/www/NevesO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Oliveira92,
author = {Jos{\'{e}} N. Oliveira},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Software Reification using the {SETS} Calculus},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {140--171},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_8},
doi = {10.1007/978-1-4471-3550-0\_8},
timestamp = {Tue, 20 Aug 2019 12:53:32 +0200},
biburl = {https://dblp.org/rec/conf/refine/Oliveira92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cg/MartinsO90,
author = {F. M{\'{a}}rio Martins and
Jos{\'{e}} Nuno Oliveira},
title = {Archetype-oriented user interfaces},
journal = {Comput. Graph.},
volume = {14},
number = {1},
pages = {17--28},
year = {1990},
url = {https://doi.org/10.1016/0097-8493(90)90005-I},
doi = {10.1016/0097-8493(90)90005-I},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cg/MartinsO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Oliveira90,
author = {Jos{\'{e}} Nuno Oliveira},
title = {A Reification Calculus for Model-Oriented Software Specification},
journal = {Formal Aspects Comput.},
volume = {2},
number = {1},
pages = {1--23},
year = {1990},
url = {https://doi.org/10.1007/BF01888215},
doi = {10.1007/BF01888215},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Oliveira90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurographics/MartinsO85,
author = {Fernando M{\'{a}}rio Martins and
Jos{\'{e}} Nuno Oliveira},
editor = {Carlo E. Vandoni},
title = {Graphics Programming with "Archetypes" - {A} Preliminary
Study},
booktitle = {6th European Computer Graphics Conference and Exhibition, Eurographics
1985, Nice, France, September 9-13, 1985, Proceedings},
publisher = {North-Holland / Eurographics Association},
year = {1985},
url = {https://doi.org/10.2312/eg.19851033},
doi = {10.2312/EG.19851033},
timestamp = {Fri, 10 Jul 2020 17:20:30 +0200},
biburl = {https://dblp.org/rec/conf/eurographics/MartinsO85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Oliveira84,
author = {Jos{\'{e}} Nuno Oliveira},
title = {The formal semantics of deterministic dataflow programs},
school = {University of Manchester, {UK}},
year = {1984},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.376586},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Oliveira84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/OliveiraW83,
author = {Jos{\'{e}} Nuno Oliveira and
I. R. Wilson},
title = {An Analysis of Microcomputer Implementation of Pascal},
journal = {Softw. Pract. Exp.},
volume = {13},
number = {4},
pages = {373--384},
year = {1983},
url = {https://doi.org/10.1002/spe.4380130406},
doi = {10.1002/SPE.4380130406},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/OliveiraW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-02-06 23:50 CET 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:
