Manuel Barros

Orcid: 0009-0006-7855-5235

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 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.
CoRR, April, 2026

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

2023
An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises.
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.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018


  Loading...