Concepedia

Benjamin Aminof

BA

Statistics

Publications

17

Citations

360

H-Index

12

Active since

2010

Affiliations

University of Naples Federico II(Current)

Hebrew University of Jerusalem

Sapienza University of Rome

The University of Sydney

Benjamin Aminof is an author at University of Naples Federico II specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationComputational ComplexityBusinessGame TheoryMechanism Design

Publications per year

2010–2021

17

Publications

17

Reasoning about online algorithms with weighted automata

Benjamin Aminof, Orna Kupferman, Robby Lampert · ACM Transactions on Algorithms · 2010 · 38 citations

Theory Of Computing, Logical Automaton, Engineering +13

Parameterized model checking of rendezvous systems

Benjamin Aminof, Tomer Kotek, Sasha Rubin et al. · Distributed Computing · 2017 · 37 citations · Full text

Improved model checking of hierarchical systems

Benjamin Aminof, Orna Kupferman, Aniello Murano · Information and Computation · 2011 · 36 citations

Engineering, Automated Reasoning, Hierarchical Systems +8

Planning under LTL Environment Specifications

Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2019 · 34 citations · Full text

Engineering, Global Planning, Software Engineering +17

Pushdown module checking with imperfect information

Benjamin Aminof, Axel Legay, Aniello Murano et al. · Information and Computation · 2012 · 30 citations · Full text

Engineering, Runtime Verification, Program Analysis +10

1–5 of 17