Concepedia

Hugo A. López

HA

9

Publications

303

Citations

9

H-Index

2010

Active since

Affiliations

IT University of Copenhagen(Current)

Technical University of Denmark

University of Lisbon

DfR Solutions (United States)

University of Copenhagen

Hugo A. López is an author at IT University of Copenhagen specializing in engineering, formal methods, and verification.

ORCID

Top concepts

Publications per year

2010–2023

9

Publications

9

The biggest business process management problems to solve before we die

Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers et al. · Computers in Industry · 2023 · 145 citations · Full text

Protocol-based verification of message-passing parallel programs

Hugo A. López, Eduardo R. B. Marques, Francisco Martins et al. · 2015 · 48 citations

, , +18

The Process Highlighter: From Texts to Declarative Processes and Back

Hugo A. López, Thomas B. Hildebrandt, Søren Debois et al. · IT University Of Copenhagen (IT University of Copenhagen) · 2018 · 20 citations · Full text

Assisted Declarative Process Creation from Natural Language Descriptions

Hugo A. López, Morten Marquard, Lukas Muttenthaler et al. · 2019 · 18 citations · Full text

Choreographing cyber-physical distributed control systems for the energy sector

Hugo A. López, Kai Heussen · 2017 · 17 citations

, , +14

Rows per page

1–5 of 9