Login / Signup
Denis Bogdanas
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 1
Top Topics
Java Code
Avian Influenza
Android Application
Programming Language
Top Venues
CoRR
POPL
SYNASC
</>
Publications
</>
Denis Bogdanas
DPerm: Assisting the Migration of Android Apps to Runtime Permissions.
CoRR
(2017)
Denis Bogdanas
,
Grigore Rosu
K-Java: A Complete Semantics of Java.
POPL
(2015)
Denis Bogdanas
Label-Based Programming Language Semantics in K Framework with SDF.
SYNASC
(2012)