Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Všechny
Od 2019
Citace
19
3
h-index
1
1
i10-index
1
0
0
4
2
2013
2014
2015
2016
2017
2018
2019
2020
2021
1
4
4
2
1
4
1
1
1
Sledovat
Heine Larsen
Computer Science student at
Aalborg University
E-mailová adresa ověřena na: student.aau.dk -
Domovská stránka
distributed systems
embedded systems
machine intelligence
human-computer interaction
Články
Citace
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–3
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě