Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Activities
Research Labs / Equipment
Datasets
Projects
Search by expertise, name or affiliation
Colored nested words
Rajeev Alur,
Dana Fisman
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Colored nested words'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Regular Languages
87%
Hierarchical Structure
75%
Model Checking
68%
Exception
59%
Automata
53%
Language
29%
Pushdown Automata
24%
Closure Properties
23%
Grammar
21%
Decidability
20%
Paradigm
19%
Model
19%
Restriction
13%
Modeling
13%
Class
11%
Characterization
10%
Form
8%
Engineering & Materials Science
Formal languages
100%
Model checking
63%
Computability and decidability
27%