Pantazis Deligiannis

Identifiers

No identifiers captured yet.

Papers (2)

1. Reliable State Machines: A Framework for Programming Reliable Cloud Services cs.PL · 2019 · author #4
2. Implementing and Evaluating Candidate-Based Invariant Generation cs.SE · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Betts 1 shared papers
• Akash Lal 1 shared papers
• Alastair F. Donaldson 1 shared papers
• Aseem Rastogi 1 shared papers
• Chandramouleswaran Ravichandran 1 shared papers
• Jeroen Ketema 1 shared papers
• Krishnan Govindraj 1 shared papers
• Nathan Chong 1 shared papers
• Nitin John Raj 1 shared papers
• Raja Krishnaswamy 1 shared papers
• Suvam Mukherjee 1 shared papers