Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Visa alla
Alla
Sedan 2019
Citat
231
119
h-index
4
2
i10-index
2
1
0
46
23
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2
26
18
18
45
27
21
27
21
14
9
Offentlig åtkomst
Visa alla
Visa alla
1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Följ
Denis Bogdanas
Runtime Verification Inc
Verifierad e-postadress på runtimeverification.com -
Startsida
Programming Languages
Artiklar
Citeras av
Offentlig åtkomst
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
K-Java: A complete semantics of Java
D Bogdanas, G Roşu
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …
, 2015
208
2015
Dperm: Assisting the migration of android apps to runtime permissions
D Bogdanas
arXiv preprint arXiv:1706.05042
, 2017
10
2017
Label-based programming language semantics in K framework with SDF
D Bogdanas
2012 14th International Symposium on Symbolic and Numeric Algorithms for …
, 2012
7
2012
Analysis and transformations in support of android privacy
D Bogdanas, N Nelson, D Dig
4
2016
K-Java: runtime semantics for method invocation and object instantiation
D Bogdanas
2
2014
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–5
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen