| https://dblp.org/rdf/schema#affiliation
|
Institute of Science and Technology Austria
|
| https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/corr/abs-2403-05386 +
, https://dblp.org/rec/journals/pacmpl/GoharshadyHMM23 +
, https://dblp.org/rec/journals/pacmpl/ConradoGL23 +
, https://dblp.org/rec/journals/pacmpl/CaiFGH23 +
, https://dblp.org/rec/journals/pacmpl/ConradoGKTZ23 +
, https://dblp.org/rec/conf/bcca/FatemiG23 +
, https://dblp.org/rec/conf/blockchain2/BallwegCG23 +
, https://dblp.org/rec/conf/cav/SunFCG23 +
, https://dblp.org/rec/conf/icbc2/CaiG23 +
, https://dblp.org/rec/conf/icbc2/FarokhniaG23 +
, https://dblp.org/rec/conf/marble/0001G23 +
, https://dblp.org/rec/conf/sac/FarokhniaG23 +
, https://dblp.org/rec/conf/vmcai/GoharshadyZ23 +
, https://dblp.org/rec/journals/corr/abs-2303-13279 +
, https://dblp.org/rec/journals/corr/abs-2305-15104 +
, https://dblp.org/rec/conf/blockchain2/MeybodiGHS22 +
, https://dblp.org/rec/conf/cav/ChatterjeeGMZ22 +
, https://dblp.org/rec/conf/fsttcs/AhmadiCGMSZ22 +
, https://dblp.org/rec/conf/pldi/AhmadiDGP22 +
, https://dblp.org/rec/journals/corr/abs-2209-03602 +
, https://dblp.org/rec/conf/blockchain2/Goharshady21 +
, https://dblp.org/rec/conf/pldi/AsadiC0GM21 +
, https://dblp.org/rec/conf/pldi/WangS0CG21 +
, https://dblp.org/rec/journals/corr/abs-2110-09857 +
, https://dblp.org/rec/phd/hal/Goharshady20 +
, https://dblp.org/rec/journals/ress/GoharshadyM20 +
, https://dblp.org/rec/conf/atva/AsadiCGMP20 +
, https://dblp.org/rec/conf/esop/ChatterjeeGIP20 +
, https://dblp.org/rec/conf/pldi/Chatterjee0GG20 +
, https://dblp.org/rec/journals/corr/abs-2001-11070 +
, https://dblp.org/rec/journals/corr/abs-2004-08828 +
, https://dblp.org/rec/journals/corr/abs-2007-14259 +
, https://dblp.org/rec/journals/corr/abs-2008-00425 +
, https://dblp.org/rec/journals/corr/abs-2011-14617 +
, https://dblp.org/rec/journals/pacmpl/Huang0CG19 +
, https://dblp.org/rec/journals/pacmpl/ChatterjeeGOP19 +
, https://dblp.org/rec/journals/toplas/ChatterjeeFG19 +
, https://dblp.org/rec/journals/toplas/ChatterjeeGGIP19 +
, https://dblp.org/rec/conf/icbc2/ChatterjeeGP19 +
, https://dblp.org/rec/conf/pldi/Wang0GCQS19 +
, https://dblp.org/rec/conf/sac/ChatterjeeGP19 +
, https://dblp.org/rec/conf/sac/ChatterjeeGG19 +
, https://dblp.org/rec/journals/corr/abs-1901-06087 +
, https://dblp.org/rec/journals/corr/abs-1902-04373 +
, https://dblp.org/rec/journals/corr/abs-1902-04659 +
, https://dblp.org/rec/journals/corr/abs-1902-07986 +
, https://dblp.org/rec/journals/toplas/ChatterjeeIGP18 +
, https://dblp.org/rec/conf/concur/ChatterjeeGIV18 +
, https://dblp.org/rec/conf/esop/ChatterjeeGV18 +
, https://dblp.org/rec/conf/ijcai/ChatterjeeFGO18 +
, https://dblp.org/rec/conf/ithings/GoharshadyBC18 +
, https://dblp.org/rec/journals/corr/abs-1801-03367 +
, https://dblp.org/rec/journals/corr/abs-1804-08984 +
, https://dblp.org/rec/journals/corr/abs-1805-09104 +
, https://dblp.org/rec/journals/corr/abs-1805-10672 +
, https://dblp.org/rec/journals/corr/abs-1806-03108 +
, https://dblp.org/rec/conf/atva/ChatterjeeGP17 +
, https://dblp.org/rec/conf/cav/ChatterjeeFG17 +
, https://dblp.org/rec/journals/corr/ChatterjeeFG17 +
, https://dblp.org/rec/journals/corr/GoharshadyHM17 +
, https://dblp.org/rec/journals/corr/abs-1712-09692 +
, https://dblp.org/rec/journals/dam/GoharshadyHM16 +
, https://dblp.org/rec/conf/cav/ChatterjeeFG16 +
, https://dblp.org/rec/conf/popl/ChatterjeeGIP16 +
, https://dblp.org/rec/journals/corr/HooshmandaslMGS16 +
, https://dblp.org/rec/journals/corr/ChatterjeeFG16 +
, https://dblp.org/rec/journals/corr/ChatterjeeGIP15 +
|
| https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/00/1186 +
, https://dblp.org/pid/118/2455 +
, https://dblp.org/pid/369/2269 +
, https://dblp.org/pid/220/4163 +
, https://dblp.org/pid/277/1218 +
, https://dblp.org/pid/92/5602 +
, https://dblp.org/pid/344/0596 +
, https://dblp.org/pid/315/4544 +
, https://dblp.org/pid/351/6062 +
, https://dblp.org/pid/365/8260 +
, https://dblp.org/pid/19/7123 +
, https://dblp.org/pid/236/5007 +
, https://dblp.org/pid/153/2265 +
, https://dblp.org/pid/329/4136 +
, https://dblp.org/pid/38/10938 +
, https://dblp.org/pid/142/2404 +
, https://dblp.org/pid/93/8318 +
, https://dblp.org/pid/352/3317 +
, https://dblp.org/pid/362/5786 +
, https://dblp.org/pid/78/9801 +
, https://dblp.org/pid/125/6921 +
, https://dblp.org/pid/194/2764 +
, https://dblp.org/pid/172/6175 +
, https://dblp.org/pid/05/10466 +
, https://dblp.org/pid/263/2838 +
, https://dblp.org/pid/329/4194 +
, https://dblp.org/pid/344/1115 +
, https://dblp.org/pid/218/6109 +
, https://dblp.org/pid/47/8037 +
, https://dblp.org/pid/236/5704 +
, https://dblp.org/pid/236/5234 +
, https://dblp.org/pid/335/5654 +
, https://dblp.org/pid/165/2338 +
, https://dblp.org/pid/09/8049 +
, https://dblp.org/pid/254/1865 +
, https://dblp.org/pid/362/5780 +
, https://dblp.org/pid/54/9298 +
, https://dblp.org/pid/66/2479 +
, https://dblp.org/pid/236/4994 +
, https://dblp.org/pid/338/8691 +
, https://dblp.org/pid/150/8968 +
|
| https://dblp.org/rdf/schema#creatorName
|
Amir Kafshdar Goharshady
|
| https://dblp.org/rdf/schema#homepage
|
https://goharshady.com/ +
|
| https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0003-1702-6584 +
|
| https://dblp.org/rdf/schema#primaryAffiliation
|
Institute of Science and Technology Austria
|
| https://dblp.org/rdf/schema#primaryCreatorName
|
Amir Kafshdar Goharshady
|
| https://dblp.org/rdf/schema#primaryHomepage
|
https://goharshady.com/ +
|
| owl:sameAs |
https://orcid.org/0000-0003-1702-6584 +
|
| rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
| rdfs:label |
Amir Kafshdar Goharshady
|
