Manuel Barros

Orcid: 0009-0006-7855-5235

According to our database¹, Manuel Barros authored at least 4 papers between 2018 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Reasoning about Transactional Isolation Levels with Isolde.

[BibT_eX]

[DOI]

CoRR, April, 2026

Building a Correct-by-Design Lakehouse. Data Contracts, Versioning, and Transactional Pipelines for Humans and Agents.

[BibT_eX]

[DOI]

CoRR, February, 2026

2023

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2018

A Context-Awareness System to Promote Cooperation in Implanting High-Speed Electronic Communications Network.

[BibT_eX]

[DOI]

Gabriel Pestana

Ana Isaias

Manuel Barros

Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Manuel Barros

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...