José Nuno Oliveira

ORCID

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 6

Top Venues

J. Log. Algebraic Methods Program.

CoRR

RAMiCS

Sci. Comput. Program.

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Roland Carl Backhouse, José Nuno Oliveira
On difunctions. J. Log. Algebraic Methods Program. 134 (2023)
José Nuno Oliveira
Why Adjunctions Matter - A Functional Programmer Perspective. WADT (2022)
José Nuno Oliveira
Programming from metaphorisms. J. Log. Algebraic Methods Program. 94 (2018)
José Nuno Oliveira, Hugo Daniel Macedo
The data cube as a typed linear algebra operator. DBPL (2017)
José Nuno Oliveira
Programming from Metaphorisms. CoRR (2017)
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) (2016)
Hugo Daniel Macedo, José Nuno Oliveira
A linear algebra approach to OLAP. Formal Aspects Comput. 27 (2) (2015)
Daniel Murta, José Nuno Oliveira
A study of risk-aware program transformation. Sci. Comput. Program. 110 (2015)
José Nuno Oliveira
Metaphorisms in Programming. RAMiCS (2015)
Rogerio Pontes, Miguel Matos, José Nuno Oliveira, José Orlando Pereira
Implementing a Linear Algebra Approach to Data Processing. GTTSE (2015)
José Nuno Oliveira
Preparing Relational Algebra for "Just Good Enough" Hardware. RAMiCS (2014)
José Nuno Oliveira
A relation-algebraic approach to the "Hoare logic" of functional dependencies. J. Log. Algebraic Methods Program. 83 (2) (2014)
Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira
Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Hugo Daniel Macedo, José Nuno Oliveira
Typing linear algebra: A biproduct-oriented approach. CoRR (2013)
José Nuno Oliveira, Miguel Alexandre Ferreira
Alloy Meets the Algebra of Programming: A Case Study. IEEE Trans. Software Eng. 39 (3) (2013)
José Nuno Oliveira
Weighted Automata as Coalgebras in Categories of Matrices. Int. J. Found. Comput. Sci. 24 (6) (2013)
Hugo Daniel Macedo, José Nuno Oliveira
Typing linear algebra: A biproduct-oriented approach. Sci. Comput. Program. 78 (11) (2013)
Daniel Murta, José Nuno Oliveira
Calculating risk in functional programming. CoRR (2013)
José Nuno Oliveira
Towards a linear algebra of programming. Formal Aspects Comput. 24 (4-6) (2012)
José João Almeida, Nuno Ramos Carvalho, José Nuno Oliveira
WIKI: : SCORE - A Collaborative Environment For Music Transcription And Publishing. ELPUB (2012)
Shin-Cheng Mu, José Nuno Oliveira
Programming from Galois connections. J. Log. Algebraic Methods Program. 81 (6) (2012)
José Nuno Oliveira
Typed Linear Algebra for Weigthed (Probabilistic) Automata. CIAA (2012)
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)
Shin-Cheng Mu, José Nuno Oliveira
Programming from Galois Connections. RAMiCS (2011)
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) (2011)
Hugo Daniel Macedo, José Nuno Oliveira
Towards Linear Algebras of Components. FACS (2010)
Hugo Daniel Macedo, José Nuno Oliveira
Matrices as Arrows! MPC (2010)
Miguel Alexandre Ferreira, José Nuno Oliveira
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. SBMF (2009)
César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa
A Single Complete Relational Rule for Coalgebraic Refinement. Electron. Notes Theor. Comput. Sci. 259 (2009)
Paul Boca, Raymond T. Boute, David Duce, José Nuno Oliveira
Editorial. Formal Aspects Comput. 21 (3) (2009)
Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva
Calculating Invariants as Coreflexive Bisimulations. AMAST (2008)
José Nuno Oliveira
Extended Static Checking by Calculation Using the Pointfree Transform. LerNet ALFA Summer School (2008)
Paulo F. Silva, José Nuno Oliveira
'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP (2008)
Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira
A Relational Model for Confined Separation Logic. TASE (2008)
José Nuno Oliveira
Transforming Data by Calculation. GTTSE (2007)
Alcino Cunha, José Nuno Oliveira, Joost Visser
Type-Safe Two-Level Data Transformation. FM (2006)
José Nuno Oliveira, César Jesus Rodrigues
Pointfree Factorization of Operation Refinement. FM (2006)
Luís Soares Barbosa, José Nuno Oliveira
Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365 (1-2) (2006)
A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira
From Algebras to Objects: Generation and Composition. J. Univers. Comput. Sci. 11 (10) (2005)
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)
Bruno Cortes, José Nuno Oliveira
Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (1) (2004)
Bruno Cortes, José Nuno Oliveira
Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (Selected Papers) (2004)
José Nuno Oliveira
A Survey of Formal Methods Courses in European Higher Education. TFM (2004)
José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues
Transposing Relations: From Maybe Functions to Hash Tables. MPC (2004)
Luís Soares Barbosa, José Nuno Oliveira
State-based Components Made Generic. CMCS (2003)
Luís Soares Barbosa, José Nuno Oliveira
Coinductive Interpreters for Process Calculi. FLOPS (2002)
Gustavo Villavicencio, José Nuno Oliveira
Reverse Program Calculation Supported by Code Slicing. WCRE (2001)
José Nuno Oliveira
"Bagatelle in C arranged for VDM SoLo". J. Univers. Comput. Sci. 7 (8) (2001)
B. Tim Denvir, José Nuno Oliveira, Nico Plat
The Cash-Point (ATM) 'Problem'. Formal Aspects Comput. 12 (4) (2000)
José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira
CAMILA: Prototyping and Refinement of Constructive Specifications. AMAST (1997)
José Nuno Oliveira
A Reification Calculus for Model-Oriented Software Specification. Formal Aspects Comput. 2 (1) (1990)
F. Mário Martins, José Nuno Oliveira
Archetype-oriented user interfaces. Comput. Graph. 14 (1) (1990)
Fernando Mário Martins, José Nuno Oliveira
Graphics Programming with "Archetypes" - A Preliminary Study. Eurographics (1985)
José Nuno Oliveira, I. R. Wilson
An Analysis of Microcomputer Implementation of Pascal. Softw. Pract. Exp. 13 (4) (1983)

José Nuno Oliveira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

José Nuno Oliveira