Concepedia
Statistics
Publications
5
Citations
100
H-Index
Active since
2012
Affiliations
TU Wien(Current)
Australian National University
Revantha Ramanayake is an author at TU Wien specializing in automated reasoning, formal methods, and computer science.
Top concepts
Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationMathematical FoundationsDesignSyntaxLanguageSemantics
Publications per year
2012–2016
Labelled tree sequents, Tree hypersequents and Nested (Deep) Sequents
Rajeev Goré, Revantha Ramanayake · 2012 · 32 citations
Hypersequent and Display Calculi – a Unified Perspective
Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing · Studia Logica · 2014 · 24 citations
Automated Reasoning, Computer Algebra, Language Studies +5
Power and Limits of Structural Display Rules
Agata Ciabattoni, Revantha Ramanayake · ACM Transactions on Computational Logic · 2016 · 22 citations
Engineering, Social Sciences, Base Calculus +20
Embedding the hypersequent calculus in the display calculus
Revantha Ramanayake · Journal of Logic and Computation · 2014 · 12 citations
Engineering, Automated Reasoning, Display Calculus +12
VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED
Rajeev Goré, Revantha Ramanayake · The Review of Symbolic Logic · 2012 · 10 citations
Computational Logic, Provability Logic Gl, Engineering +13
1–5 of 5