Concepedia

Model Execution Semantics

Model Execution Semantics is a formal specification that defines the rules and behaviors governing the interpretation and execution of computational models, distinguishing it from syntactic or structural descriptions by focusing on the meaning and dynamic behavior of model elements during execution.

152

Publications

4.7K

Citations

438

Authors

214

Institutions

Publications per year

2017–2026

20

Parents

Publications

152

Logic programs with stable model semantics as a constraint programming paradigm

Ilkka Niemelä · Annals of Mathematics and Artificial Intelligence · 1999 · 851 citations

, , +15

Declarative modeling of the operational behavior of logic languages

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi et al. · Theoretical Computer Science · 1989 · 199 citations

, , +15

Efficient Implementation of the Well-founded and Stable Model Semantics

Ilkka Niemelä, Patrik Simons · 1996 · 176 citations

, , +13

The contour model of block structured processes

J. B. Johnston · ACM SIGPLAN Notices · 1971 · 173 citations

, , +16

Concurrent Collections

Zoran Budimlić, Michael Burke, Vincent Cavé et al. · Scientific Programming · 2010 · 138 citations · Full text

, , +16

1–5 of 152

Authors

438

  1. BC
    Benoît Combemale

    Université de Rennes, France

    6 publications · 220 citations

    6

    h-index

  2. VV
    Valeriy Vyatkin

    Luleå University of Technology, Sweden

    4 publications · 112 citations

    4

    h-index

  3. JD
    Julien Deantoni

    Institut national de recherche en sciences et technologies du numérique, France

    4 publications · 130 citations

    4

    h-index

  4. AD
    Andrea D’Ambrogio

    University of Rome Tor Vergata, Italy

    3 publications · 50 citations

    3

    h-index

  5. DM
    David M. Nicol

    University of Illinois Urbana-Champaign, United States

    3 publications · 75 citations

    3

    h-index

1–5 of 438

Institutions

214

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    6 h-index

    10 publications

    323 citations

  2. Université de Rennes

    Rennes, France

    5 h-index

    9 publications

    248 citations

  3. University of Auckland

    Auckland, New Zealand

    5 h-index

    9 publications

    225 citations

  4. Institut Polytechnique de Bordeaux

    Bordeaux, France

    4 h-index

    11 publications

    622 citations

  5. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    4 h-index

    11 publications

    622 citations

  6. Université Toulouse III - Paul Sabatier

    Toulouse, France

    4 h-index

    11 publications

    622 citations

  7. Université Toulouse-I-Capitole

    Toulouse, France

    4 h-index

    11 publications

    622 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    6 publications

    226 citations

1–8 of 214

Venues

  1. Information Systems

    3 publications · 51 citations

    3

    h-index

  2. 3

    h-index

  3. Repository KITopen (Karlsruhe Institute of Technology)

    Repository · 2 publications · 44 citations

    2

    h-index

  4. IEEE Transactions on Industrial Informatics

    2 publications · 43 citations

    2

    h-index

  5. ACM Transactions on Database Systems

    TODS · 2 publications · 32 citations

    2

    h-index

1–5