Network profile

Ahmed Nassar

Reputation

163

Top tag

model-checking

250 Rep.

View close votes

Scholar

0/1

0 posts edited

0 helpful flags

5 votes cast

5	Less known graphical representations of Boolean functions
1	Regular safety properties and bad prefixes of $\omega$-regular properties
0	Approximating liveness properties with safety properties

This user has no recent positive reputation changes

This user has not answered any questions

This user has no bookmarked questions.

Stack Overflow	4,183 rep	2 gold badges16 silver badges23 bronze badges
Mathematics	221 rep	1 silver badge6 bronze badges
Theoretical Computer Science	163 rep	5 bronze badges
Computer Science	131 rep	4 bronze badges
TeX - LaTeX	121 rep	3 bronze badges