What is he best known for?
The fields of study he is best known for:
- Programming language
- Algorithm
- Artificial intelligence
Roberto Sebastiani mostly deals with Programming language, Theoretical computer science, Satisfiability modulo theories, Formal verification and Artificial intelligence.
His Programming language study focuses mostly on Predicate abstraction and Symbolic trajectory evaluation.
He has included themes like Business process reengineering, Symbolic computation and Finite-state machine in his Symbolic trajectory evaluation study.
Roberto Sebastiani focuses mostly in the field of Theoretical computer science, narrowing it down to topics relating to Solver and, in certain cases, Hybrid system and Model checking.
His Satisfiability modulo theories research is multidisciplinary, incorporating perspectives in Propositional calculus, Computation, Interface and Counterexample.
His research integrates issues of Goal modeling, Set and Component in his study of Artificial intelligence.
His most cited work include:
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking (1328 citations)
- Nusmv version 2: an opensource tool for symbolic model checking (341 citations)
- The MathSAT5 SMT solver (310 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of investigation include Theoretical computer science, Satisfiability, Satisfiability modulo theories, Modulo and Algorithm.
His research investigates the connection between Theoretical computer science and topics such as Set that intersect with issues in Benchmark.
The study incorporates disciplines such as Propositional variable, Algebra, Propositional calculus, Solver and Boolean satisfiability problem in addition to Satisfiability.
Satisfiability modulo theories is a subfield of Programming language that Roberto Sebastiani explores.
His Algorithm research is multidisciplinary, relying on both Function and Core.
His study looks at the intersection of Model checking and topics like Automaton with Product.
He most often published in these fields:
- Theoretical computer science (46.36%)
- Satisfiability (32.45%)
- Satisfiability modulo theories (30.46%)
What were the highlights of his more recent work (between 2017-2020)?
- Modulo (24.50%)
- Satisfiability (32.45%)
- Linearization (4.64%)
In recent papers he was focusing on the following fields of study:
Roberto Sebastiani mainly focuses on Modulo, Satisfiability, Linearization, Theoretical computer science and Extension.
His Satisfiability study incorporates themes from Quadratic equation and Automated reasoning.
His Theoretical computer science research integrates issues from Routing, Maximum satisfiability problem and Enumeration.
His Extension research includes themes of Floating point, Solver and Interface.
His Interface study introduces a deeper knowledge of Programming language.
Roberto Sebastiani combines subjects such as Multiplication, Differential calculus and Formal verification with his study of Model checking.
Between 2017 and 2020, his most popular works were:
- Multi-objective reasoning with constrained goal models (28 citations)
- Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions (17 citations)
- OptiMathSAT : A Tool for Optimization Modulo Theories (12 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algorithm
- Artificial intelligence
His scientific interests lie mostly in Modulo, Satisfiability, Theoretical computer science, Integer and Linearization.
His studies in Modulo integrate themes in fields like Routing, Quadratic equation and Encoding.
The various areas that Roberto Sebastiani examines in his Satisfiability study include Maximum satisfiability problem, Set and Goal modeling, Requirements engineering.
His work on Predicate abstraction as part of general Theoretical computer science study is frequently linked to Model integration, therefore connecting diverse disciplines of science.
In his study, Solver is strongly linked to Extension, which falls under the umbrella field of Integer.
Other disciplines of study, such as Satisfiability modulo theories, Arithmetic, Formal verification, Multiplication and Model checking, are mixed together with his Linearization studies.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
