Mara Miulescu

According to our database, Mara Miulescu authored at least 2 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

A Method for Testing Partial-Order Reduction Theories in Alloy.

Mara Miulescu, Thomas Neele

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2020

VizWick: a multiperspective view of hierarchical data.

Michael Burch, Adrian Vramulet, Alex Thieme, Alina Vorobiova, Denis Shehu, Mara Miulescu, Mehrdad Farsadyar, Tar van Krieken

Proceedings of the VINCI 2020: The 13th International Symposium on Visual Information Communication and Interaction, 2020