Concepedia

Parikh Image

The Parikh Image is a formal language-theoretic construct that maps each string in a language to the commutative Parikh vector encoding the number of occurrences of each terminal symbol, thereby abstracting away the syntactic structure while preserving the multiplicity of symbols.

12

Publications

380

Citations

22

Authors

20

Institutions

Publications per year

2017–2026

0

Variants

Commutative ImageParikh Mapping

Parents

Publications

12

Parikh Images of Grammars: Complexity and Applications

Eryk Kopczyński, Anthony Widjaja To · 2010 · 81 citations

, , +17

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

Jérôme Leroux · 2009 · 60 citations · Full text

, , +9

COMPUTING BY COMMUNICATION IN NETWORKS OF MEMBRANES

Andrei Păun, Gheorghe Pǎun, Grzegorz Rozenberg · International Journal of Foundations of Computer Science · 2002 · 52 citations

, , +7

Unboundedness and downward closures of higher-order pushdown automata

Matthew Hague, Jonathan Kochems, C.-H. Luke Ong · 2016 · 28 citations

, , +17

Complexity of pattern-based verification for multithreaded programs

Javier Esparza, Pierre Ganty · ACM SIGPLAN Notices · 2011 · 24 citations

, , +12

1–5 of 12

Authors

22

  1. GR
    Grzegorz Rozenberg

    Leiden University, Netherlands

    2 publications · 75 citations

    2

    h-index

  2. AW
    Anthony Widjaja To

    University of Edinburgh, United Kingdom

    2 publications · 99 citations

    2

    h-index

  3. JE
    Javier Esparza

    Technical University of Munich, Germany

    2 publications · 41 citations

    2

    h-index

  4. PG
    Pierre Ganty

    IMDEA Software Institute, Spain

    2 publications · 41 citations

    2

    h-index

  5. GP
    Gennaro Parlato

    University of Salerno, Italy

    1 publications · 22 citations

    1

    h-index

1–5 of 22

Institutions

20

  1. Universidad de Sevilla

    Seville, Spain

    2 h-index

    5 publications

    93 citations

  2. Western University

    London, Canada

    2 h-index

    2 publications

    73 citations

  3. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    2 h-index

    2 publications

    41 citations

  4. Leiden University

    Leiden, The Netherlands

    2 h-index

    3 publications

    98 citations

  5. Technical University of Munich

    Munich, Germany

    2 h-index

    2 publications

    41 citations

  6. The Microsoft Research - University of Trento Centre for Computational and Systems Biology

    Trento, Italy

    1 h-index

    1 publications

    23 citations

  7. University of London

    London, United Kingdom

    1 h-index

    1 publications

    28 citations

  8. Turku Centre for Computer Science

    Turku, Finland

    1 h-index

    1 publications

    21 citations

1–8 of 20

Venues

  1. International Journal of Foundations of Computer Science

    IJFCS · 3 publications · 95 citations

    3

    h-index

  2. arXiv (Cornell University)

    Repository · 1 publications · 18 citations

    1

    h-index

  3. Fundamenta Informaticae

    1 publications · 12 citations

    1

    h-index

  4. Logical Methods in Computer Science

    LMCS · 1 publications · 22 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 23 citations

    1

    h-index

1–5