Konstantinos Sagonas

Identifiers

• name variant Konstantinos Sagonas 0.60 · backfill

Papers (3)

1. Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform cs.PL · 2017 · author #4
2. Stateless Model Checking for TSO and PSO cs.LO · 2015 · author #6
3. Termination Proofs for Logic Programs with Tabling cs.LO · 2000 · author #3

Mentions

• 1501.02069 #6 · backfill · confidence 0.70 Konstantinos Sagonas

Frequent Coauthors

• Stavros Aronis 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
• Danny De Schreye 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