José N. Oliveira

According to our database, José N. Oliveira authored at least 59 papers between 1983 and 2023.

Collaborative distances:

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

2023

On difunctions.

Roland Carl Backhouse, José Nuno Oliveira

J. Log. Algebraic Methods Program., August, 2023

2022

Compiling Quantamorphisms for the IBM Q Experience.

Ana Neri, Rui Soares Barbosa, José N. Oliveira

IEEE Trans. Software Eng., 2022

A tribute to José Manuel Valença.

José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques

J. Log. Algebraic Methods Program., 2022

Quantitative relational modelling with QAlloy.

Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Verification of railway network models with EVEREST.

João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Why Adjunctions Matter - A Functional Programmer Perspective.

José Nuno Oliveira

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2020

Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl).

Armando Santos, José N. Oliveira

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2018

Programming from metaphorisms.

José Nuno Oliveira

J. Log. Algebraic Methods Program., 2018

Typed Linear Algebra for Efficient Analytical Querying.

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

CoRR, 2018

2017

The data cube as a typed linear algebra operator.

José Nuno Oliveira, Hugo Daniel Macedo

Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016

"Keep definition, change category" - A practical approach to state-based system calculi.

José Nuno Oliveira, Victor Cacciari Miraldo

J. Log. Algebraic Methods Program., 2016

2015

A study of risk-aware program transformation.

Daniel Murta, José Nuno Oliveira

Sci. Comput. Program., 2015

A linear algebra approach to OLAP.

Hugo Daniel Macedo, José Nuno Oliveira

Formal Aspects Comput., 2015

Implementing a Linear Algebra Approach to Data Processing.

Rogerio Pontes, Miguel Matos, José Nuno Oliveira, José Orlando Pereira

Proceedings of the Grand Timely Topics in Software Engineering, 2015

Metaphorisms in Programming.

José Nuno Oliveira

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

A relation-algebraic approach to the "Hoare logic" of functional dependencies.

José Nuno Oliveira

J. Log. Algebraic Methods Program., 2014

Preparing Relational Algebra for "Just Good Enough" Hardware.

José Nuno Oliveira

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Alloy Meets the Algebra of Programming: A Case Study.

José Nuno Oliveira, Miguel Alexandre Ferreira

IEEE Trans. Software Eng., 2013

Typing linear algebra: A biproduct-oriented approach.

Hugo Daniel Macedo, José Nuno Oliveira

Sci. Comput. Program., 2013

Weighted Automata as Coalgebras in Categories of Matrices.

José Nuno Oliveira

Int. J. Found. Comput. Sci., 2013

Composing Least-change Lenses.

Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Calculating risk in functional programming.

Daniel Murta, José Nuno Oliveira

CoRR, 2013

2012

Programming from Galois connections.

Shin-Cheng Mu, José Nuno Oliveira

J. Log. Algebraic Methods Program., 2012

Towards a linear algebra of programming.

José Nuno Oliveira

Formal Aspects Comput., 2012

Functions as types or the "Hoare logic" of functional dependencies

José N. Oliveira

CoRR, 2012

Typed Linear Algebra for Weigthed (Probabilistic) Automata.

José Nuno Oliveira

Proceedings of the Implementation and Application of Automata, 2012

2011

WIKI: : SCORE A collaborative environment for music transcription and publishing.

José João Almeida, Nuno Ramos Carvalho, José Nuno Oliveira

Inf. Serv. Use, 2011

Logic Training through Algorithmic Problem Solving.

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2010

Matrices as Arrows!

Hugo Daniel Macedo, José Nuno Oliveira

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Towards Linear Algebras of Components.

Hugo Daniel Macedo, José Nuno Oliveira

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Editorial.

Paul Boca, Raymond T. Boute, David Duce, José Nuno Oliveira

Formal Aspects Comput., 2009

A Single Complete Relational Rule for Coalgebraic Refinement.

César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.

Miguel Alexandre Ferreira, José Nuno Oliveira

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

A Relational Model for Confined Separation Logic.

Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

'Galculator': functional prototype of a Galois-connection based proof assistant.

Paulo F. Silva, José Nuno Oliveira

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Extended Static Checking by Calculation Using the Pointfree Transform.

José Nuno Oliveira

Proceedings of the Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24, 2008

Calculating Invariants as Coreflexive Bisimulations.

Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Transforming Data by Calculation.

José Nuno Oliveira

Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006

Transposing partial components - An exercise on coalgebraic refinement.

Luís Soares Barbosa, José Nuno Oliveira

Theor. Comput. Sci., 2006

Pointfree Factorization of Operation Refinement.

José Nuno Oliveira, César Jesus Rodrigues

Proceedings of the FM 2006: Formal Methods, 2006

Type-Safe Two-Level Data Transformation.

Alcino Cunha, José Nuno Oliveira, Joost Visser

Proceedings of the FM 2006: Formal Methods, 2006

2005

From Algebras to Objects: Generation and Composition.

A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira

J. Univers. Comput. Sci., 2005

Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.

Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira

Proceedings of the FM 2005: Formal Methods, 2005

2004

A Survey of Formal Methods Courses in European Higher Education.

José Nuno Oliveira

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Transposing Relations: From Maybe Functions to Hash Tables.

José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Relational Sampling for Data Quality Auditing and Decision Support.

Bruno Cortes, José Nuno Oliveira

Proceedings of the Enterprise Information Systems VI, 2004

2003

State-based Components Made Generic.

Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2002

Coinductive Interpreters for Process Calculi.

Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

"Bagatelle in C arranged for VDM SoLo".

José Nuno Oliveira

J. Univers. Comput. Sci., 2001

Reverse Program Calculation Supported by Code Slicing.

Gustavo Villavicencio, José Nuno Oliveira

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

2000

The Cash-Point (ATM) 'Problem'.

B. Tim Denvir, José Nuno Oliveira, Nico Plat

Formal Aspects Comput., 2000

1997

CAMILA: Prototyping and Refinement of Constructive Specifications.

José João Almeida, Luís Soares Barbosa, F. Luis Neves, José Nuno Oliveira

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Classifying Internet Objects.

F. Luis Neves, José N. Oliveira

World Wide Web J., 1996

1992

Software Reification using the SETS Calculus.

José N. Oliveira

Proceedings of the 5th Refinement Workshop, 1992

1990

A Reification Calculus for Model-Oriented Software Specification.

José Nuno Oliveira

Formal Aspects Comput., 1990

Archetype-oriented user interfaces.

F. Mário Martins, José Nuno Oliveira

Comput. Graph., 1990

1985

Graphics Programming with "Archetypes" - A Preliminary Study.

Fernando Mário Martins, José Nuno Oliveira

Proceedings of the 6th European Computer Graphics Conference and Exhibition, 1985

1984

The formal semantics of deterministic dataflow programs.

José Nuno Oliveira

PhD thesis, 1984

1983

An Analysis of Microcomputer Implementation of Pascal.

José Nuno Oliveira, I. R. Wilson

Softw. Pract. Exp., 1983