Indlæser...
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Henvisninger pr. år
Dublerede henvisninger
Følgende artikler er flettet i Scholar. Deres
samlede henvisninger
tæller kun for den første artikel.
Flettede henvisninger
Antallet under "Citeret af" inkluderer henvisninger fra følgende artikler i Scholar. Dem, der er markeret med
*
, kan afvige fra artiklen i profilen.
Tilføj medforfattere
Medforfattere
Følg
Nye artikler af denne forfatter
Nye henvisninger til denne forfatter
Nye artikler relateret til denne forfatters videnskabelige undersøgelser
Mailadresse til opdateringer
Udfør
Min profil
Min samling
Metrics
Underretninger
Indstillinger
Log ind
Log ind
Få min egen profil
Citeret af
Se alle
Alle
Siden 2019
Henvisninger
13
1
h-index
1
1
i10-indeks
1
0
0
6
3
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
5
1
2
1
3
1
Følg
Jürgen Ammann
Diplom-Informatiker (Master of Science) Christian-Albrechts Universitaet zu Kiel, in Informatik
Ingen verificeret mail -
Startside
Computer Science
Artikler
Citeret af
Titel
Sortér
Sortér efter henvisninger
Sortér efter årstal
Sortér efter titel
Citeret af
Citeret af
År
Polymorphic subtyping for effect analysis: The dynamic semantics
T Amtoft, F Nielson, H Riis Nielson, J Ammann
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop …
, 1997
13
1997
Polymorphic Subtyping for E ect Analysis: the Semantics
T Amtoft, F Nielson, HR Nielson, J Ammann
1996
Polymorphic Subtyping for Effect Analysis: The Semantics
T Amtoft, F Nielson, HR Nielson, J Ammann
DAIMI Report Series
, 1996
1996
Elemente der Projektions-Analyse für Funktionen höherer Ordnung
J Ammann
1994
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–4
Vis flere
Privatliv
Vilkår
Hjælp
Om Scholar
Søg i Hjælp