P Kutter

Statistics

Publications

Citations

117

H-Index

Active since

1997

Affiliations

Board of the Swiss Federal Institutes of Technology(Current)

University of L'Aquila

P Kutter is an author at Board of the Swiss Federal Institutes of Technology specializing in computer science, formal methods, and specification languages.

Publications per year

1997–2020

Publications

Montages Specifications of Realistic Programming Languages

P Kutter, Alfonso Pierantonio · Zenodo (CERN European Organization for Nuclear Research) · 1997 · 47 citations · Full text

Computing, Computer Science, Formal Methods +7

Formal Aspects of and Development Environments for Montages

Matthias Anlauff, P Kutter, Alfonso Pierantonio · Electronic workshops in computing · 1997 · 27 citations · Full text

Computing, Computer Science, Formal Methods +11

The Formal Specification of Oberon.

P Kutter, Alfonso Pierantonio · Zenodo (CERN European Organization for Nuclear Research) · 1997 · 26 citations · Full text

Computing, Computer Science, Formal Methods +3

Montages Specifications of Realistic Programming Languages

Alfonso Pierantonio, P Kutter · TUGraz OPEN Library (Graz University of Technology) · 2020 · 17 citations · Full text

Computing, Computer Science, Formal Methods +7

1–4 of 4