Concepedia

Executable Notation

Executable Notation is a formal symbolic system that belongs to the category of computational representations, distinguished by its capacity to be directly interpreted and executed by a computer as instructions within the context of live coding performance.

48

Publications

1.8K

Citations

102

Authors

63

Institutions

Publications per year

2017–2026

5

Parents

Publications

48

REPRESENTING BUSINESS CONTRACTS IN<i>RuleML</i>

Guido Governatori · International Journal of Cooperative Information Systems · 2005 · 243 citations

, , +17

A survey of three dialogue models

Mark Green · ACM Transactions on Graphics · 1986 · 243 citations · Full text

, , +13

Communicating real-time state machines

Alan Shaw · IEEE Transactions on Software Engineering · 1992 · 138 citations

, , +16

Apel: A Graphical Yet Executable Formalism for Process Modeling

Samir Dami, Jacky Estublier, Mahfound Amiour · Automated Software Engineering · 1998 · 122 citations

, , +13

Inheritance in smalltalk-80: a denotational definition

Samuel Kamin · 1988 · 104 citations

, , +10

1–5 of 48

Authors

102

  1. MP
    Michael Papathomas

    University of Geneva, Switzerland

    3 publications · 105 citations

    3

    h-index

  2. ON
    Oscar Nierstrasz

    University of Bern, Switzerland

    3 publications · 105 citations

    3

    h-index

  3. CN
    Carmen Nigro

    Baxter (United States), United States

    2 publications · 77 citations

    2

    h-index

  4. DA
    David A. Turner

    California State University, San Bernardino, United States

    2 publications · 85 citations

    2

    h-index

  5. VG
    Vijay Gehlot

    Villanova University, United States

    2 publications · 77 citations

    2

    h-index

1–5 of 102

Institutions

63

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    4 publications

    116 citations

  2. University of Geneva

    Geneva, Switzerland

    2 h-index

    4 publications

    102 citations

  3. Saratoga Hospital

    Saratoga Springs, United States

    2 h-index

    2 publications

    64 citations

  4. University of Kent

    Canterbury, United Kingdom

    2 h-index

    2 publications

    85 citations

  5. University of Illinois Urbana-Champaign

    Urbana, United States

    2 h-index

    2 publications

    121 citations

  6. École Polytechnique

    Palaiseau, France

    2 h-index

    2 publications

    28 citations

  7. National Institute of Aerospace

    Hampton, United States

    2 h-index

    2 publications

    28 citations

  8. Politecnico di Milano

    Milan, Italy

    1 h-index

    2 publications

    22 citations

1–8 of 63

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 2 publications · 157 citations

    2

    h-index

  2. Communications of the ACM

    2 publications · 84 citations

    2

    h-index

  3. ACM Transactions on Information Systems

    2 publications · 64 citations

    2

    h-index

  4. Archive ouverte UNIGE (University of Geneva)

    Repository · 1 publications · 54 citations

    1

    h-index

  5. 1

    h-index

1–5