default search action
dblp keys for Andrei Voronkov
- > Home > Persons > Andrei Voronkov
Andrei Voronkov
Keys
# of data records = 243
homepages/v/AndreiVoronkov conf/ijcar/KovacsHHV24 conf/ijcar/HajduKRV24 conf/ijcar/HozzovaAHKVW24 conf/lpar/2024c conf/lpar/2024 journals/corr/abs-2402-18954 journals/corr/abs-2402-18962 conf/cade/HozzovaKNV23 conf/tacas/KorovinKRSV23 conf/lpar/2023 conf/birthday/HajduHKRV22 conf/paar/HajduKRV22 conf/cade/HozzovaKV21 conf/fmcad/HajduHKV21 conf/mkm/HajduHKSV21 conf/tacas/RegerSV21 conf/mkm/HajduHKSV20 conf/cade/RegerV19 conf/ershov/2019 conf/vampire/2019 conf/cade/KotelnikovKV18 conf/synasc/Voronkov18 conf/tacas/Reger0V18 conf/ershov/2017 conf/lpar/KovacsV17 conf/popl/KovacsRV17 conf/smt/RegerSV17 conf/tap/Reger0V17 conf/cade/2016vampire conf/lpar/2017iwil journals/corr/Reger0V17 conf/cade/HoderR0V16 conf/cpp/KotelnikovKRV16 conf/gcai/Reger0V16 conf/gcai/RegerB0V16 conf/gcai/KotelnikovK0V16 conf/sat/Reger0V16 conf/cade/2014-15vampire conf/ershov/2015 journals/corr/Reger0V16 journals/corr/Reger0VH16 journals/corr/KovacsRV16 conf/cade/RegerTV15 conf/cade/RegerSV15 conf/mkm/KotelnikovKV15 conf/ershov/2014 conf/gcai/2015 conf/lpar/2015s conf/lpar/2015 journals/corr/KotelnikovKV15 journals/corr/KotelnikovKRV15 conf/atva/GuptaKKV14 conf/cade/BiereDKV14 conf/cade/Reger0V14 conf/cav/Voronkov14 conf/kbse/Voronkov14 conf/micai/BiereDKV14 conf/birthday/2014howard conf/ershov/2014p conf/lpar/2013s conf/sycss/2014 conf/birthday/KapurNVWW13 conf/birthday/PerezV13 conf/cade/HoderV13 conf/cav/KovacsV13 conf/doceng/ConstantinPV13 conf/micai/KovacsMV13 conf/synasc/DraganKKV13 conf/birthday/2013ganzinger conf/lpar/2010ys conf/lpar/2013 journals/japll/SakumaMV12 conf/aplas/HoderHKV12 conf/cade/EmmerKKSV12 conf/fmcad/HoderKKV12 conf/popl/HoderKV12 conf/birthday/2012turing conf/cade/2010wing conf/ershov/2011 conf/lpar/2012 conf/synasc/2012 conf/cade/HoderV11 conf/cade/KorovinV11 conf/cade/KovacsMV11 conf/ershov/KorovinV11 conf/ershov/KorovinTV11 conf/micai/HoderKV11 conf/tacas/HoderKV11 journals/dagstuhl-reports/BjornerNVV11 conf/cade/HoderKV10 conf/fmcad/EmmerKKV10 conf/icms/UrbanHV10 conf/synasc/MinamideSV10 conf/vmcai/HenzingerHKV10 conf/wwv/Voronkov10 conf/dagstuhl/2010P10161 conf/ershov/2009 conf/lpar/2010d conf/lpar/2010y conf/dagstuhl/BjornerNVV10 conf/dagstuhl/BjornerNVV10a conf/cade/KovacsV09 conf/cp/KorovinTV09 conf/fase/KovacsV09 conf/fmcad/KhasidashviliKV09 conf/ki/HoderV09 conf/sas/VoronkovN09 conf/synasc/KovacsV09 conf/synasc/Voronkov09 conf/tacas/BjornerTV09 conf/cade/PerezV08 conf/lpar/2008 conf/rta/2008 conf/cade/PerezV07 conf/csl/KorovinV07 conf/sat/PerezV07 conf/csr/2007 conf/ershov/2006 conf/lpar/2007 conf/adbis/JaberV06 conf/foiks/HorrocksV06 conf/icde/JaberV06 conf/jelia/Voronkov06 conf/dagstuhl/2005P5431 conf/lpar/2006 journals/iandc/RiazanovV05 journals/tocl/KorovinV05 conf/aaai/NavarroV05 conf/birthday/ChubarovV05 conf/mfcs/ChubarovV05 conf/mfcs/KorovinV05 conf/sas/NarasamdyaV05 conf/lpar/2004 conf/lpar/2005 conf/dagstuhl/BaaderBNV05 conf/dagstuhl/BaaderBNV05a conf/cade/RiazanovV04 conf/cade/HustadtKRV04 journals/iandc/KorovinV03 journals/jar/Voronkov03 journals/jsc/DegtyarevNV03 journals/jsc/RiazanovV03 conf/cade/KorovinV03 conf/cade/RiazanovV03 conf/csl/MaksimovaV03 conf/csl/RybinaV03 conf/ershov/RybinaV03 conf/icalp/RybinaV03 conf/ijcai/Voronkov03 conf/lics/KorovinV03 conf/lpar/2003 journals/aicom/RiazanovV02 conf/amast/RybinaV02 conf/cav/RybinaV02 conf/dlog/Voronkov02 conf/fsttcs/KorovinV02 conf/cade/2002 conf/lpar/2002 journals/corr/cs-LO-0207068 journals/csur/DantsinEGV01 journals/sLogica/FittingTV01 journals/tocl/RybinaV01 journals/tocl/Voronkov01 conf/cade/Voronkov01 conf/cade/NieuwenhuisHRV01 conf/cade/RiazanovV01 conf/ershov/RiazanovV01 conf/icalp/KorovinV01 conf/ijcai/RiazanovV01 conf/rta/KorovinV01 books/el/RV01/DegtyarevV01 books/el/RV01/DegtyarevV01a books/el/RV01/RamakrishnanSV01 books/el/RV01/RobinsonV01 books/ws/phaunRS01/DegtyarevGV01 books/el/RobinsonV01 conf/lpar/2001 journals/tcs/DegtyarevGNVV00 conf/arw/KorovinV00 conf/arw/RiazanovV00 conf/arw/RybinaV00 conf/cade/DegtyarevV00 conf/jelia/RiazanovV00 conf/kr/Voronkov00 conf/lics/RybinaV00 conf/lics/KorovinV00 conf/lics/Voronkov00 conf/pods/DantsinV00 conf/tableaux/FittingTV00 conf/lpar/2000 journals/jsyml/Voronkov99 journals/tcs/GurevichV99 journals/tcs/Voronkov99 conf/cade/RiazanovV99 conf/cade/Voronkov99 conf/fossacs/DantsinV99 conf/lpar/1999 journals/jar/DegtyarevV98 journals/jar/Voronkov98 conf/cade/BachmairGV98 conf/lics/Voronkov98 conf/pods/VorobyovV98 conf/rta/DegtyarevGNVV98 conf/dagstuhl/1998change conf/coco/DantsinEGV97 conf/icalp/GurevichV97 conf/ijcai/Voronkov97 conf/lfcs/DantsinV97 journals/eatcs/DegtyarevGV96 journals/jlp/DegtyarevV96 journals/tcs/DegtyarevV96 conf/cade/Voronkov96 conf/disco/DegtyarevV96 conf/elp/ArgeniusV96 conf/elp/DegtyarevV96 conf/ershov/Voronkov96 conf/jelia/DegtyarevV96 conf/lics/DegtyarevMV96 conf/lics/DegtyarevV96 conf/tableaux/Voronkov96 journals/amai/Voronkov95 journals/jar/Voronkov95 conf/csl/DegtyarevV95 conf/iclp/DegtyarevV95 conf/ijcai/DegtyarevV95 conf/wocfai/DegtyarevV95 conf/plilp/Voronkov94 conf/kgc/SazonovV93 conf/lpar/1993 conf/cade/Voronkov92 conf/iclp/Voronkov92 conf/istcs/Voronkov92 conf/lpar/1991 conf/lpar/1992 conf/csl/Voronkov91 conf/lpar/Voronkov91 conf/pdk/BoleyMMRV91 conf/cade/Voronkov90 conf/esop/Voronkov90 conf/colog/StarchenkoV88 conf/colog/Voronkov88 conf/fct/Voronkov87
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-08-23 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint