| https://dblp.org/rdf/schema#affiliation
|
Stevens Institute of Technology, NJ, USA
|
| https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/pacmpl/AntonopoulosKLNNN23 +
, https://dblp.org/rec/journals/pacmpl/UnnoTGK23 +
, https://dblp.org/rec/conf/atva/ChenFNPBK23 +
, https://dblp.org/rec/journals/corr/abs-2301-05740 +
, https://dblp.org/rec/journals/corr/abs-2306-15584 +
, https://dblp.org/rec/journals/pacmpl/ChenFKP22 +
, https://dblp.org/rec/journals/corr/abs-2202-04278 +
, https://dblp.org/rec/journals/corr/abs-2203-06229 +
, https://dblp.org/rec/conf/aplas/LiuPDKLPX21 +
, https://dblp.org/rec/conf/cav/UnnoTK21 +
, https://dblp.org/rec/conf/dsn/PangYXKPX21 +
, https://dblp.org/rec/conf/sp/PangYCKPMX21 +
, https://dblp.org/rec/conf/vmcai/KoskinenB21 +
, https://dblp.org/rec/journals/corr/abs-2104-03168 +
, https://dblp.org/rec/journals/corr/abs-2105-05159 +
, https://dblp.org/rec/journals/corr/abs-2106-02628 +
, https://dblp.org/rec/journals/corr/abs-2111-02938 +
, https://dblp.org/rec/journals/dc/DickersonGHK20 +
, https://dblp.org/rec/journals/jar/BansalKT20 +
, https://dblp.org/rec/journals/pacmpl/LeAFKN20 +
, https://dblp.org/rec/journals/corr/abs-2004-08450 +
, https://dblp.org/rec/journals/corr/abs-2007-03656 +
, https://dblp.org/rec/journals/corr/abs-2007-14266 +
, https://dblp.org/rec/journals/corr/abs-2010-05747 +
, https://dblp.org/rec/journals/pacmpl/AntonopoulosKL19 +
, https://dblp.org/rec/conf/aplas/DickersonKGH19 +
, https://dblp.org/rec/journals/corr/abs-1903-07213 +
, https://dblp.org/rec/journals/eatcs/DickersonGHK18 +
, https://dblp.org/rec/conf/fc/DickersonGHSK18 +
, https://dblp.org/rec/conf/lics/Nanjo0KT18 +
, https://dblp.org/rec/conf/tacas/BansalKT18 +
, https://dblp.org/rec/journals/corr/abs-1802-08748 +
, https://dblp.org/rec/conf/pldi/AntonopoulosGHK17 +
, https://dblp.org/rec/conf/podc/DickersonGHK17 +
, https://dblp.org/rec/conf/podc/DickersonGHK17a +
, https://dblp.org/rec/conf/vmcai/FerraraT0K17 +
, https://dblp.org/rec/journals/corr/DickersonGHK17 +
, https://dblp.org/rec/journals/corr/DickersonGKH17 +
, https://dblp.org/rec/conf/popl/KoskinenY16 +
, https://dblp.org/rec/conf/pldi/KoskinenP15 +
, https://dblp.org/rec/conf/csl/KoskinenT14 +
, https://dblp.org/rec/conf/esop/HerlihyK14 +
, https://dblp.org/rec/conf/pldi/DimitrovRVK14 +
, https://dblp.org/rec/phd/ethos/Koskinen13 +
, https://dblp.org/rec/conf/oopsla/TrippKS13 +
, https://dblp.org/rec/conf/pldi/CookK13 +
, https://dblp.org/rec/conf/tacas/BansalKWZ13 +
, https://dblp.org/rec/journals/fmsd/CookKV12 +
, https://dblp.org/rec/conf/cav/CookKV11 +
, https://dblp.org/rec/conf/popl/CookK11 +
, https://dblp.org/rec/conf/popl/KoskinenPH10 +
, https://dblp.org/rec/conf/pldi/GulwaniJK09 +
, https://dblp.org/rec/conf/podc/KoskinenH09 +
, https://dblp.org/rec/conf/eurosys/KoskinenJ08 +
, https://dblp.org/rec/conf/ppopp/HerlihyK08 +
, https://dblp.org/rec/conf/spaa/KoskinenH08 +
, https://dblp.org/rec/conf/spaa/KoskinenH08a +
|
| https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/62/6761 +
, https://dblp.org/pid/44/2394 +
, https://dblp.org/pid/137/8806 +
, https://dblp.org/pid/266/6621 +
, https://dblp.org/pid/89/8201 +
, https://dblp.org/pid/36/113 +
, https://dblp.org/pid/43/8146 +
, https://dblp.org/pid/59/9798 +
, https://dblp.org/pid/44/4685-2 +
, https://dblp.org/pid/72/2839 +
, https://dblp.org/pid/276/5940 +
, https://dblp.org/pid/26/3503 +
, https://dblp.org/pid/11/11515 +
, https://dblp.org/pid/g/MGrohe +
, https://dblp.org/pid/15/4208-22 +
, https://dblp.org/pid/g/SumitGulwani +
, https://dblp.org/pid/h/MauriceHerlihy +
, https://dblp.org/pid/h/MichaelWHicks +
, https://dblp.org/pid/82/7062 +
, https://dblp.org/pid/92/6868 +
, https://dblp.org/pid/135/6224 +
, https://dblp.org/pid/21/6121-10 +
, https://dblp.org/pid/292/3696 +
, https://dblp.org/pid/98/5039 +
, https://dblp.org/pid/284/1130 +
, https://dblp.org/pid/222/1269 +
, https://dblp.org/pid/39/2319 +
, https://dblp.org/pid/21/9014 +
, https://dblp.org/pid/19/7057 +
, https://dblp.org/pid/358/7507 +
, https://dblp.org/pid/223/6697 +
, https://dblp.org/pid/19/5443 +
, https://dblp.org/pid/284/5019 +
, https://dblp.org/pid/44/3319 +
, https://dblp.org/pid/28/8412 +
, https://dblp.org/pid/s/SSagiv +
, https://dblp.org/pid/152/3578 +
, https://dblp.org/pid/211/9273 +
, https://dblp.org/pid/33/1623 +
, https://dblp.org/pid/96/889 +
, https://dblp.org/pid/08/7062 +
, https://dblp.org/pid/24/6058 +
, https://dblp.org/pid/v/MosheYVardi +
, https://dblp.org/pid/93/2189 +
, https://dblp.org/pid/120/0117 +
, https://dblp.org/pid/23/5398 +
, https://dblp.org/pid/158/2764 +
, https://dblp.org/pid/90/514-24 +
, https://dblp.org/pid/71/3724 +
, https://dblp.org/pid/257/3247 +
, https://dblp.org/pid/77/3616 +
|
| https://dblp.org/rdf/schema#creatorName
|
Eric Koskinen
, Eric John Koskinen
|
| https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/lics/2016 +
|
| https://dblp.org/rdf/schema#homepage
|
https://www.cs.stevens.edu/~ejk/ +
, https://web.stevens.edu/facultyprofile/?id=2277 +
|
| https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0001-7363-634X +
|
| https://dblp.org/rdf/schema#primaryAffiliation
|
Stevens Institute of Technology, NJ, USA
|
| https://dblp.org/rdf/schema#primaryCreatorName
|
Eric Koskinen
|
| https://dblp.org/rdf/schema#primaryHomepage
|
https://www.cs.stevens.edu/~ejk/ +
|
| https://dblp.org/rdf/schema#webpage
|
https://mathgenealogy.org/id.php?id=260649 +
|
| https://dblp.org/rdf/schema#wikidata
|
http://www.wikidata.org/entity/Q103339242 +
|
| owl:sameAs |
https://orcid.org/0000-0001-7363-634X +
, http://www.wikidata.org/entity/Q103339242 +
|
| rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
| rdfs:label |
Eric Koskinen
|
