Concepedia

Sasha Rubin

SR

Statistics

Publications

32

Citations

962

H-Index

21

Active since

2001

Affiliations

University of Naples Federico II(Current)

Sapienza University of Rome

The University of Sydney

University of Auckland

Sasha Rubin is an author at University of Naples Federico II specializing in computer science, automated reasoning, and engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationMechanism DesignBusinessGame TheoryVerificationComputational Complexity

Publications per year

2001–2022

32

Publications

32

Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · ACM SIGACT News · 2016 · 95 citations

Decision Procedure, Engineering, Automated Reasoning +13

Automata Presenting Structures: A Survey of the Finite String Case

Sasha Rubin · Bulletin of Symbolic Logic · 2008 · 83 citations

Engineering, Pushdown Automaton, Automatic Presentation +18

Automatic linear orders and trees

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan · ACM Transactions on Computational Logic · 2005 · 66 citations

Order Theory, Tree Language, Combinatorics On Word +15

Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals

Giuseppe De Giacomo, Sasha Rubin · 2018 · 51 citations · Full text

Mathematical Programming, Domain Specification, Engineering +19

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti et al. · 2020 · 42 citations · Full text

Programming Language Theory, Pltlf /Pldlf, Engineering +15

1–5 of 32