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
Alle
Siden 2019
Henvisninger
19
3
h-index
1
1
i10-indeks
1
0
0
4
2
2013
2014
2015
2016
2017
2018
2019
2020
2021
1
4
4
2
1
4
1
1
1
Følg
Heine Larsen
Computer Science student at
Aalborg University
Verificeret mail på student.aau.dk -
Startside
distributed systems
embedded systems
machine intelligence
human-computer interaction
Artikler
Citeret af
Titel
Sortér
Sortér efter henvisninger
Sortér efter årstal
Sortér efter titel
Citeret af
Citeret af
År
Verification of liveness properties on closed timed-arc Petri nets
M Andersen, H Gatten Larsen, J Srba, M Grund Sørensen, ...
Mathematical and Engineering Methods in Computer Science: 8th International …
, 2013
19
2013
FauToPilot Theme: Pre-specialisation in Computer Sci-ence
HG Larsen, MT Pedersen, TB Mogensen, RR Hansen, MC Olesen
Discrete Verification of Weighted Timed-Arc Petri Nets
JH Taankvist, MG Sørensen, HG Larsen, M Andersen
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–3
Vis flere
Privatliv
Vilkår
Hjælp
Om Scholar
Søg i Hjælp