Остановите войну!
for scientists:
default search action
dblp keys for Viktor Kuncak
- > Home > Persons > Viktor Kuncak
Viktor Kuncak
Keys
# of data records = 166
homepages/k/ViktorKuncak journals/jlap/RayaK24 journals/pacmpl/GuilloudK24 conf/vmcai/GuilloudGK24 journals/corr/abs-2403-13403 journals/pacmpl/MilovancevicK23 conf/cav/GuilloudBMK23 conf/itp/GuilloudGK23 conf/lpar/RayaHK23 journals/corr/abs-2307-07569 conf/fmcad/BucevK22 conf/nfm/HamzaFKNS22 conf/tacas/GuilloudK22 conf/vmcai/RayaK22 conf/vmcai/SchmidK22 journals/corr/abs-2208-02713 conf/fmcad/KuncakH21 journals/corr/abs-2103-07699 journals/corr/abs-2107-08824 journals/corr/abs-2109-05363 journals/corr/abs-2110-03315 conf/pldi/EdelmannHK20 journals/corr/abs-2011-07653 journals/fmsd/ReynoldsKTBD19 journals/pacmpl/HamzaVK19 conf/vmcai/HamzaK19 journals/corr/abs-1902-02194 journals/corr/abs-1903-08571 journals/corr/abs-1904-03482 journals/corr/abs-1911-12737 journals/pacmpl/MayerKC18 journals/corr/abs-1809-04209 journals/darts/MayerHK17 journals/fmsd/ReynoldsKK17 journals/toplas/DarulovaK17 conf/ecoop/MayerHK17 conf/popl/MadhavanKK17 conf/cav/2017-1 conf/cav/2017-2 journals/corr/MayerHK17 journals/corr/KoukoutosRKK17 journals/corr/abs-1710-09208 conf/cade/HupelK16 conf/scala/SchmidK16 journals/corr/KoukoutosKK16 journals/corr/CernyKM16 journals/corr/HupelK16 journals/fmsd/RummerHK15 conf/cav/ReynoldsDKTB15 conf/cav/KneussKK15 conf/icse/GveroK15 conf/nfm/Kuncak15 conf/oopsla/KurajKJ15 conf/oopsla/MadhavanMGK15 conf/oopsla/GveroK15 conf/pldi/VoirolKK15 conf/pldi/BlancK15 conf/se/GveroKKP15 conf/vmcai/ReynoldsK15 journals/corr/ReynoldsDKBT15 journals/corr/Reynolds0K15 conf/cav/MadhavanK14 conf/ecoop/KurajK14 conf/icalp/Kuncak14 conf/popl/DarulovaK14 conf/rv/KoukoutosK14 journals/corr/DarulovaK14 journals/infsof/Vujosevic-JanicicNTK13 journals/sttt/KuncakMPS13 conf/cav/RummerHK13 conf/ecoop/BlancKKS13 conf/emsoft/DarulovaKMS13 conf/fmcad/KuncakB13 conf/oopsla/MayerK13 conf/oopsla/KneussKKS13 conf/pldi/GveroKKP13 conf/rv/KuncakKS13 conf/sigmod/KlonatosNSKK13 conf/vmcai/JacobsKS13 conf/vstte/RummerHK13 conf/vstte/KneussKS13 journals/corr/abs-1301-4973 journals/corr/abs-1302-4187 journals/corr/abs-1304-5661 journals/corr/DarulovaK13 journals/afp/GuerraouiKL12 journals/cacm/KuncakMPS12 conf/atva/HojjatIKKR12 conf/cade/SpielmannK12 conf/fm/HojjatKGIKR12 conf/pldi/GuerraouiKL12 conf/popl/KoksalKS12 conf/rv/DarulovaK12 conf/vstte/WiesMK12 conf/vstte/Vujosevic-JanicicK12 conf/vmcai/2012 journals/corr/Vujosevic-Janicic12 conf/cade/KoksalKS11 conf/cade/WiesMK11 conf/cav/GveroKP11 conf/oopsla/DarulovaK11 conf/sas/SuterKK11 conf/vmcai/JacobsK11 conf/vmcai/SuterSK11 journals/tocs/YabandehKKK10 conf/cade/PiskacK10 conf/cav/KuncakMPS10 conf/csl/KuncakPS10 conf/fmcad/HamzaJK10 conf/icse/GligoricGJKKM10 conf/pldi/KuncakMPS10 conf/popl/SuterDK10 conf/rv/KneussSK10 conf/sigsoft/KneussSK10 conf/vmcai/KuncakPSW10 conf/vmcai/YessenovPK10 conf/frocos/WiesPK09 conf/hotos/YabandehVKK09 conf/nsdi/YabandehKKK09 conf/pldi/ZeeKR09 conf/tldi/DagandKK09 conf/cav/PiskacK08 conf/csl/PiskacK08 conf/ipps/ZeeKR08 conf/pldi/ZeeKR08 conf/vmcai/NguyenKC08 conf/vmcai/PiskacK08 phd/ndltd/Kuncak07 conf/cade/KuncakR07 conf/fossacs/MarnetteKR07 conf/rv/ZeeKTR07 conf/vmcai/BouillaguetKWZR07 journals/jar/KuncakNR06 journals/tse/KuncakLZR06 conf/ipps/KuncakR06 conf/vmcai/WiesKLPR06 journals/corr/abs-cs-0609104 conf/aosd/LamKR05 conf/cade/KuncakNR05 conf/cc/LamKR05 conf/sigsoft/KuncakJ05 conf/vmcai/LamKR05 conf/vstte/KuncakLZR05 journals/entcs/KuncakR05 conf/dagstuhl/KuncakRM05 journals/corr/abs-cs-0508123 journals/afp/Kuncak04 journals/afp/ZeeK04 journals/sigplan/LamKR04 conf/icfem/ArkoudasZKR04 conf/sas/KuncakR04 conf/vmcai/KuncakR04 journals/corr/cs-LO-0407045 journals/corr/cs-LO-0408015 journals/corr/cs-LO-0410073 journals/corr/cs-PL-0408013 journals/corr/cs-PL-0408014 journals/corr/cs-PL-0408018 journals/corr/cs-PL-0408019 journals/corr/cs-PL-0408045 conf/lics/KuncakR03 conf/sas/KuncakR03 journals/informaticaLT/IvanovicK02 conf/popl/KuncakLR02 conf/ictcs/GhilezanK01 conf/lcpc/KuncakLR01
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint