Concepedia

Alceste Scalas

AS

10

Publications

377

Citations

10

H-Index

2016

Active since

Affiliations

Imperial College London(Current)

Technical University of Denmark

University of Novi Sad

Aston University

Alceste Scalas is an author at Imperial College London specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisFormal VerificationSystem SoftwareSoftware AnalysisAutomated ReasoningFormal Specification

Publications per year

2016–2022

10

Publications

10

Less is more: multiparty session types revisited

Alceste Scalas, Nobuko Yoshida · Proceedings of the ACM on Programming Languages · 2019 · 99 citations · Full text

Engineering, Verification, Model Checking +22

Lightweight Session Programming in Scala

Alceste Scalas, Nobuko Yoshida · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 61 citations · Full text

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming

Alceste Scalas, Ornela Dardha, Raymond Hu et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 55 citations · Full text

Precise subtyping for synchronous multiparty sessions

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 39 citations

Cluster Computing, Engineering, Synchronization Protocol +8

Verifying message-passing programs with dependent behavioural types

Alceste Scalas, Nobuko Yoshida, Elias Benussi · 2019 · 33 citations · Full text

Program Checking, Engineering, Distributed Programming +20

Rows per page

1–5 of 10