Concepedia

Alberto Portilla

AP

Statistics

Publications

1

Citations

17

H-Index

1

Active since

2007

Affiliations

Universidad de las Américas Puebla(Current)

Alberto Portilla is an author at Universidad de las Américas Puebla specializing in formal verification, formal methods, and transaction processing.

Top concepts

Publications per year

2007–2007

1

Publications

1

ROSE: A transactional services coordination engine

Victor Hernandez-Baruch, Alberto Portilla, José-Luis Zechinelli-Martini · 2007 · 17 citations

, , +16

1–1 of 1