Concepedia

José N. Oliveira

JN

16

Publications

345

Citations

11

H-Index

1990

Active since

Affiliations

University of Minho(Current)

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

José N. Oliveira is an author at University of Minho specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisSemanticsVerificationSoftware Design

Publications per year

1990–2024

16

Publications

16

Typing linear algebra: A biproduct-oriented approach

Hugo Daniel Macedo, José N. Oliveira · Science of Computer Programming · 2012 · 78 citations · Full text

Engineering, Representation Theory, Generic Programming +5

A reification calculus for model-oriented software specification

José N. Oliveira · Formal Aspects of Computing · 1990 · 32 citations · Full text

An Algebraic-combinatorial Model for the Identification and Mapping of Biochemical Pathways

José N. Oliveira · Bulletin of Mathematical Biology · 2001 · 29 citations

Biology, Metabolic Network, Engineering +12

State-based Components Made Generic

Luís Soares Barbosa, José N. Oliveira · Electronic Notes in Theoretical Computer Science · 2003 · 26 citations · Full text

Engineering, Type Theory, Generic Notion +17

Programming from Galois connections

Shin-Cheng Mu, José N. Oliveira · The Journal of Logic and Algebraic Programming · 2012 · 25 citations · Full text

Mathematical Programming, Engineering, Automated Reasoning +5

Rows per page

1–5 of 16