Jose N. Oliveira

Jose N. Oliveira

Universidade do Minho

H-index: 22

Europe-Portugal

About Jose N. Oliveira

Jose N. Oliveira, With an exceptional h-index of 22 and a recent h-index of 8 (since 2020), a distinguished researcher at Universidade do Minho, specializes in the field of Formal methods, program transformation, software engineering, mathematics of program construction.

His recent articles reflect a diverse array of research interests and contributions to the field:

Effect of hydrogen incorporation on the mechanical properties of DLC films deposited by HiPIMS in DOMS mode

On difunctions

Synthesis, structural and dielectric properties of Ca3Mn2O7 thin films prepared by pulsed laser deposition

Eneida deepgrid®: bringing the operational awareness to the LV grid

Archetype-oriented CHI A Formal Approach to User Friendliness

Quantitative relational modelling with QAlloy

Verification of railway network models with EVEREST

EP04. 01-011 Diagnostic Approach and Treatment of Lung Cancer Patients in Portugal: Portuguese Lung Cancer Study Group Survey

Jose N. Oliveira Information

University

Position

HASLab / INESC TEC and

Citations(all)

1827

Citations(since 2020)

303

Cited By

4291

hIndex(all)

22

hIndex(since 2020)

8

i10Index(all)

58

i10Index(since 2020)

6

Email

University Profile Page

Universidade do Minho

Google Scholar

View Google Scholar Profile

Jose N. Oliveira Skills & Research Interests

Formal methods

program transformation

software engineering

mathematics of program construction

Top articles of Jose N. Oliveira

Title

Journal

Author(s)

Publication Date

Effect of hydrogen incorporation on the mechanical properties of DLC films deposited by HiPIMS in DOMS mode

Surface and Coatings Technology

A Costa

Fabio Ferreira

JL Colaux

A Vahidi

R Serra

...

2023/11/25

On difunctions

Journal of Logical and Algebraic Methods in Programming

Roland Backhouse

José Nuno Oliveira

2023/8/1

Synthesis, structural and dielectric properties of Ca3Mn2O7 thin films prepared by pulsed laser deposition

Materials Science and Engineering: B

Adnan Sharif

Mujahid Mustaqeem

Tawfik A Saleh

Aziz ur Rehman

Muhammad Ahmad

...

2022/6/1

Eneida deepgrid®: bringing the operational awareness to the LV grid

Rui Couto

J Faria

J Oliveira

G Sampaio

R Bessa

...

2023/1/1

Archetype-oriented CHI A Formal Approach to User Friendliness

JN Oliveira

FM Martins

2023

Quantitative relational modelling with QAlloy

Pedro Silva

José N Oliveira

Nuno Macedo

Alcino Cunha

2022/11/7

Verification of railway network models with EVEREST

João Martins

José M Fonseca

Rafael Costa

José C Campos

Alcino Cunha

...

2022/10/23

EP04. 01-011 Diagnostic Approach and Treatment of Lung Cancer Patients in Portugal: Portuguese Lung Cancer Study Group Survey

Journal of Thoracic Oncology

F Estevinho

A Figueiredo

E Teixeira

J Oliveira

A Pego

...

2022/9/1

A tribute to José Manuel Valença

José Nuno Oliveira

Jorge Sousa Pinto

Luís Soares Barbosa

Pedro Rangel Henriques

2022/8/1

Why Adjunctions Matter—A Functional Programmer Perspective

José Nuno Oliveira

2022/6/28

Quantitative Inference of Reservoir Porosity and Flow Units in the Brazilian Pre-Salt.

J Oliveira

N Mattos

E Leite

T Rebelo

2022/6/6

Quality 4.0: the EFQM 2020 model and industry 4.0 relationships and implications. Sustainability, 13 (6), 3107

Sustainability

Luis Fonseca

António Amaral

José Oliveira

2021/3/12

Wind turbine emulator: A tool for experimental and computational study distributed wind generation systems

IEEE LATIN AMERICA TRANSACTIONS

J Oliveira

A Andreoli

2021/11

Compiling quantamorphisms for the IBM Q Experience

IEEE Transactions on Software Engineering

Ana Neri

Rui Soares Barbosa

José N Oliveira

2021/10/4

47 Incidence and management of post-dural puncture headache and accidental dural puncture from an oncology hospital: a 5-year retrospective analysis

Regional Anesthesia and Pain Medicine

S Dias

M Nunes Ferreira

J Oliveira

S Serra

P Alves

...

2021/9/1

P-208 Pancreatic neuroendocrine neoplasia: Experience of a comprehensive cancer center

Annals of Oncology

S Coelho

C Costa

A Santos

P Souteiro

J Oliveira

...

2021/7/1

Stakeholder management in university-industry collaboration programs: A case study

Gabriela Fernandes

Marlene Capitão

Anabela Tereso

José Oliveira

Eduardo B Pinto

2021/6/24

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Emil Sekerinski

Nelma Moreira

José N Oliveira

Daniel Ratiu

Riccardo Guidotti

...

2020/8/10

User experience in kiosk application for traceability of fishery products

José Oliveira

Pedro Miguel Faria

António Miguel Rosado da Cruz

2020

A note on the under-appreciated for-loop

José N Oliveira

2020/10

See List of Professors in Jose N. Oliveira University(Universidade do Minho)

Co-Authors

H-index: 44
Joost Visser

Joost Visser

Universiteit Leiden

H-index: 29
Carlos Baquero

Carlos Baquero

Universidade do Minho

H-index: 27
Alexandra Silva

Alexandra Silva

University College London

H-index: 27
Ana C. R. Paiva

Ana C. R. Paiva

Universidade do Porto

H-index: 23
Alcino Cunha

Alcino Cunha

Universidade do Minho

H-index: 21
Luis S. Barbosa

Luis S. Barbosa

Universidade do Minho

academic-engine