Scholar

Radu Iosif

Google Scholar ID: xcgZhM8AAAAJ

CNRS/VERIMAG

Google Scholar↗

Citations & Impact

All-time

Citations

721

H-index

16

i10-index

26

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

5 items

Iterating Non-Aggregative Structure Compositions

2025

Cited

0

Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars

2025

Cited

0

Counting Abstraction for the Verification of Structured Parameterized Networks

2025

Cited

0

Regular Grammars for Sets of Graphs of Tree-Width $2$

2024

Cited

0

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs

2023

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)