Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé N. Oliveira
Person information
- affiliation: INESC TEC, High Assurance Software Laboratory
- affiliation: University of Minho, Braga, Computer Science Department
- not to be confused with: Nuno Oliveira 0001
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j24]Roland Carl Backhouse
, José Nuno Oliveira:
On difunctions. J. Log. Algebraic Methods Program. 134: 100878 (2023)- 2022
- [j23]José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques:
A tribute to José Manuel Valença. J. Log. Algebraic Methods Program. 128: 100792 (2022) - [j22]Ana Neri, Rui Soares Barbosa, José N. Oliveira:
Compiling Quantamorphisms for the IBM Q Experience. IEEE Trans. Software Eng. 48(11): 4339-4356 (2022) - [c35]José Nuno Oliveira:
Why Adjunctions Matter - A Functional Programmer Perspective. WADT 2022: 25-59 - [c34]João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Verification of railway network models with EVEREST. MoDELS 2022: 345-355 - [c33]Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha:
Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE 2022: 885-896 - 2020
- [c32]Armando Santos, José N. Oliveira:
Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl). Haskell@ICFP 2020: 54-66 - [e8]Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0 [contents] - [e7]Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science 12233, Springer 2020, ISBN 978-3-030-54996-1 [contents] - [i6]Ana Neri, Rui Soares Barbosa, José N. Oliveira:
Compiling quantamorphisms for the IBM Q Experience. CoRR abs/2010.10510 (2020)
2010 – 2019
- 2019
- [e6]Maurice H. ter Beek, Annabelle McIver, José N. Oliveira:
Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 11800, Springer 2019, ISBN 978-3-030-30941-1 [contents] - 2018
- [j21]José Nuno Oliveira:
Programming from metaphorisms. J. Log. Algebraic Methods Program. 94: 15-44 (2018) - [i5]João M. Afonso, Gabriel D. Fernandes, João Pedro Alves Fernandes, Filipe Oliveira, Bruno M. Ribeiro, Rogério Pontes, José N. Oliveira, Alberto J. Proença:
Typed Linear Algebra for Efficient Analytical Querying. CoRR abs/1809.00641 (2018) - 2017
- [c31]José Nuno Oliveira, Hugo Daniel Macedo:
The data cube as a typed linear algebra operator. DBPL 2017: 6:1-6:11 - [i4]José Nuno Oliveira:
Programming from Metaphorisms. CoRR abs/1709.09013 (2017) - 2016
- [j20]José Nuno Oliveira, Victor Cacciari Miraldo:
"Keep definition, change category" - A practical approach to state-based system calculi. J. Log. Algebraic Methods Program. 85(4): 449-474 (2016) - 2015
- [j19]Hugo Daniel Macedo, José Nuno Oliveira:
A linear algebra approach to OLAP. Formal Aspects Comput. 27(2): 283-307 (2015) - [j18]Daniel Murta, José Nuno Oliveira:
A study of risk-aware program transformation. Sci. Comput. Program. 110: 51-77 (2015) - [c30]José Nuno Oliveira:
Metaphorisms in Programming. RAMiCS 2015: 171-190 - [c29]Rogerio Pontes, Miguel Matos, José Nuno Oliveira, José Orlando Pereira:
Implementing a Linear Algebra Approach to Data Processing. GTTSE 2015: 215-222 - [e5]Wolfram Kahl, Michael Winter, José Nuno Oliveira:
Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. Lecture Notes in Computer Science 9348, Springer 2015, ISBN 978-3-319-24703-8 [contents] - 2014
- [j17]José Nuno Oliveira:
A relation-algebraic approach to the "Hoare logic" of functional dependencies. J. Log. Algebraic Methods Program. 83(2): 249-262 (2014) - [c28]José Nuno Oliveira:
Preparing Relational Algebra for "Just Good Enough" Hardware. RAMiCS 2014: 119-138 - 2013
- [j16]Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira:
Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [j15]José Nuno Oliveira:
Weighted Automata as Coalgebras in Categories of Matrices. Int. J. Found. Comput. Sci. 24(6): 709-728 (2013) - [j14]Hugo Daniel Macedo, José Nuno Oliveira:
Typing linear algebra: A biproduct-oriented approach. Sci. Comput. Program. 78(11): 2160-2191 (2013) - [j13]José Nuno Oliveira, Miguel Alexandre Ferreira:
Alloy Meets the Algebra of Programming: A Case Study. IEEE Trans. Software Eng. 39(3): 305-326 (2013) - [i3]Daniel Murta, José Nuno Oliveira:
Calculating risk in functional programming. CoRR abs/1311.3687 (2013) - [i2]Hugo Daniel Macedo, José Nuno Oliveira:
Typing linear algebra: A biproduct-oriented approach. CoRR abs/1312.4818 (2013) - 2012
- [j12]José Nuno Oliveira:
Towards a linear algebra of programming. Formal Aspects Comput. 24(4-6): 433-458 (2012) - [j11]Shin-Cheng Mu, José Nuno Oliveira:
Programming from Galois connections. J. Log. Algebraic Methods Program. 81(6): 680-704 (2012) - [c27]José João Almeida, Nuno Ramos Carvalho, José Nuno Oliveira:
WIKI: : SCORE - A Collaborative Environment For Music Transcription And Publishing. ELPUB 2012 - [c26]José Nuno Oliveira:
Typed Linear Algebra for Weigthed (Probabilistic) Automata. CIAA 2012: 52-65 - [i1]José N. Oliveira:
Functions as types or the "Hoare logic" of functional dependencies. CoRR abs/1210.4661 (2012) - 2011
- [j10]José João Almeida, Nuno Ramos Carvalho, José Nuno Oliveira:
WIKI: : SCORE A collaborative environment for music transcription and publishing. Inf. Serv. Use 31(3-4): 177-187 (2011) - [c25]Shin-Cheng Mu, José Nuno Oliveira:
Programming from Galois Connections. RAMiCS 2011: 294-313 - [c24]João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira:
Logic Training through Algorithmic Problem Solving. TICTTL 2011: 62-69 - 2010
- [c23]Hugo Daniel Macedo, José Nuno Oliveira:
Towards Linear Algebras of Components. FACS 2010: 300-303 - [c22]Hugo Daniel Macedo, José Nuno Oliveira:
Matrices as Arrows! MPC 2010: 271-287
2000 – 2009
- 2009
- [j9]Paul Boca, Raymond T. Boute, David Duce, José Nuno Oliveira:
Editorial. Formal Aspects Comput. 21(3): 225 (2009) - [c21]Miguel Alexandre Ferreira, José Nuno Oliveira:
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. SBMF 2009: 153-169 - [c20]César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa:
A Single Complete Relational Rule for Coalgebraic Refinement. REFINE@FMWeek 2009: 3-19 - [e4]Jeremy Gibbons, José Nuno Oliveira:
Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5846, Springer 2009, ISBN 978-3-642-04911-8 [contents] - 2008
- [c19]Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99 - [c18]José Nuno Oliveira:
Extended Static Checking by Calculation Using the Pointfree Transform. LerNet ALFA Summer School 2008: 195-251 - [c17]Paulo F. Silva, José Nuno Oliveira:
'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP 2008: 44-55 - [c16]Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira:
A Relational Model for Confined Separation Logic. TASE 2008: 263-270 - 2007
- [c15]José Nuno Oliveira:
Transforming Data by Calculation. GTTSE 2007: 134-195 - 2006
- [j8]Luís Soares Barbosa, José Nuno Oliveira:
Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006) - [c14]José Nuno Oliveira, César Jesus Rodrigues:
Pointfree Factorization of Operation Refinement. FM 2006: 236-251 - [c13]Alcino Cunha, José Nuno Oliveira, Joost Visser:
Type-Safe Two-Level Data Transformation. FM 2006: 284-299 - 2005
- [j7]A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira:
From Algebras to Objects: Generation and Composition. J. Univers. Comput. Sci. 11(10): 1580-1612 (2005) - [c12]Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira:
Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. FM 2005: 399-414 - 2004
- [c11]Bruno Cortes, José Nuno Oliveira:
Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (Selected Papers) 2004: 82-88 - [c10]Bruno Cortes, José Nuno Oliveira:
Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (1) 2004: 376-382 - [c9]José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues:
Transposing Relations: From Maybe Functions to Hash Tables. MPC 2004: 334-356 - [c8]José Nuno Oliveira:
A Survey of Formal Methods Courses in European Higher Education. TFM 2004: 235-248 - 2003
- [c7]Luís Soares Barbosa, José Nuno Oliveira:
State-based Components Made Generic. CMCS 2003: 39-56 - 2002
- [c6]Luís Soares Barbosa, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197 - 2001
- [j6]José Nuno Oliveira:
"Bagatelle in C arranged for VDM SoLo". J. Univers. Comput. Sci. 7(8): 754-781 (2001) - [c5]Gustavo Villavicencio, José Nuno Oliveira:
Reverse Program Calculation Supported by Code Slicing. WCRE 2001: 35- - [e3]José Nuno Oliveira, Pamela Zave:
FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Lecture Notes in Computer Science 2021, Springer 2001, ISBN 3-540-41791-5 [contents] - 2000
- [j5]B. Tim Denvir, José Nuno Oliveira, Nico Plat:
The Cash-Point (ATM) 'Problem'. Formal Aspects Comput. 12(4): 211-215 (2000) - [e2]Roland Carl Backhouse, José Nuno Oliveira:
Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Lecture Notes in Computer Science 1837, Springer 2000, ISBN 3-540-67727-5 [contents]
1990 – 1999
- 1999
- [e1]S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira:
Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures. Lecture Notes in Computer Science 1608, Springer 1999, ISBN 3-540-66241-3 [contents] - 1997
- [c4]José João Almeida, Luís Soares Barbosa, F. Luis Neves, José Nuno Oliveira:
CAMILA: Prototyping and Refinement of Constructive Specifications. AMAST 1997: 554-559 - 1996
- [j4]F. Luis Neves, José N. Oliveira:
Classifying Internet Objects. World Wide Web J. 1(1) (1996) - 1995
- [c3]F. Luis Neves, José N. Oliveira:
Classifying Internet Objects. WWW (Fall) 1995: 711-722 - 1992
- [c2]José N. Oliveira:
Software Reification using the SETS Calculus. Refine 1992: 140-171 - 1990
- [j3]F. Mário Martins, José Nuno Oliveira:
Archetype-oriented user interfaces. Comput. Graph. 14(1): 17-28 (1990) - [j2]José Nuno Oliveira:
A Reification Calculus for Model-Oriented Software Specification. Formal Aspects Comput. 2(1): 1-23 (1990)
1980 – 1989
- 1985
- [c1]Fernando Mário Martins, José Nuno Oliveira:
Graphics Programming with "Archetypes" - A Preliminary Study. Eurographics 1985 - 1984
- [b1]José Nuno Oliveira:
The formal semantics of deterministic dataflow programs. University of Manchester, UK, 1984 - 1983
- [j1]José Nuno Oliveira, I. R. Wilson:
An Analysis of Microcomputer Implementation of Pascal. Softw. Pract. Exp. 13(4): 373-384 (1983)
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-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:
