Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Equipment
Research output
Prizes
Activities
Search by expertise, name or affiliation
View Scopus Profile
Shahar Maoz
Professor
Associate Professor
,
Faculty of Exact Sciences
,
School of Computer Science
https://orcid.org/0000-0002-4022-5349
2000
2023
Research activity per year
Overview
Fingerprint
Network
Research output
(94)
Similar Profiles
(10)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Shahar Maoz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Scenarios
34%
Semantics
33%
Specification
31%
Reactive Systems
24%
Chart
21%
Diagram
19%
Synthesis
14%
Temporal Logic
11%
Object
11%
Model
10%
Trace
10%
Syntax
10%
Vision
10%
Language
9%
Compiler
8%
Model Specification
7%
Mining
7%
Model-based
7%
Debugging
6%
Programming
6%
Expressive Power
6%
Specification Languages
6%
Hierarchy
6%
Fragment
5%
Model-based Testing
5%
Development Process
5%
Context
5%
Engineering & Materials Science
Specifications
100%
Semantics
38%
Temporal logic
22%
Engineers
16%
Specification languages
11%
Scalability
10%
Syntactics
9%
Controllers
9%
Testing
9%
Concretes
8%
Technical writing
7%
Miners
7%
Model checking
7%
Visual languages
6%
Software engineering
6%
Visualization
6%
Formal verification
5%
Data mining
5%
Acoustic waves
5%
Modeling languages
5%
Statistical methods
5%
