Marco Antonio Muniz Rodriguez – Publications — Aalborg University's Research Portal

View Scopus Profile

Emailmunizcs.aaudk
Websitehttp://people.cs.aau.dk/~muniz/

Selma Lagerløfs Vej 300, 1-2-37
9220 Aalborg Ø
Denmark

Research activity per year

16 Article in proceeding
3 Journal article
2 Conference article in Journal
1 Book chapter
More
- 1 Paper without publisher/journal

1 results

Filter

Analyzing spreadsheets for parallel execution via model checking
Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).
Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
2 Citations (Scopus)