Stavros Aronis

Identifiers

• name variant Stavros Aronis 0.60 · backfill

Papers (2)

1. Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform cs.PL · 2017 · author #7
2. Stateless Model Checking for TSO and PSO cs.LO · 2015 · author #2

Mentions

• 1501.02069 #2 · backfill · confidence 0.70 Stavros Aronis

Frequent Coauthors

• Konstantinos Sagonas 2 shared papers
• Aggelos Giantsios 1 shared papers
• Amir Ghaffari 1 shared papers
• Bengt Jonsson 1 shared papers
• Carl Leonardsson 1 shared papers
• Csaba Hoch 1 shared papers
• David Klaftenegger 1 shared papers
• Eva Bihari 1 shared papers
• Francesco Cesarini 1 shared papers
• Huiqing Li 1 shared papers
• Katerina Roukounaki 1 shared papers
• Kenneth Lundin 1 shared papers
• Kenneth Mackenzie 1 shared papers
• Kjell Winblad 1 shared papers
• Maurizio Di Stefano 1 shared papers
• Mohammed Faouzi Atig 1 shared papers
• Natalia Chechina 1 shared papers
• Nikolaos Papaspyrou 1 shared papers
• Olivier Boudeville 1 shared papers
• Parosh Abdulla 1 shared papers