Hugo Daniel Macedo
From MaRDI portal
Person:2355380
Available identifiers
zbMath Open macedo.hugo-danielMaRDI QIDQ2355380
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| A Survey of Practical Formal Methods for Security | 2023-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5116416 | 2020-08-25 | Paper |
| Defining effectiveness using finite sets. A study on computability | 2017-05-19 | Paper |
| Gaussian elimination is not optimal, revisited | 2016-12-15 | Paper |
| A linear algebra approach to OLAP | 2015-07-23 | Paper |
| Typing linear algebra: A biproduct-oriented approach | 2013-12-17 | Paper |
| Matrices as Arrows! | 2010-07-26 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Hugo Daniel Macedo
