Остановите войну!
for scientists:
default search action
dblp keys for Martina Seidl
- > Home > Persons > Martina Seidl
Martina Seidl
Keys
# of data records = 135
homepages/75/2935 conf/vamos/HeisingerPS24 conf/cp/PlankMS23 conf/mkm/Seidl23 conf/mkm/HeisingerS23 conf/sat/PlankS23 conf/sat/ShaikHSP23 conf/tacas/HeisingerSB23 journals/corr/abs-2304-08308 conf/mkm/ShuklaMKS22 conf/paar/HeisingerSB22 conf/synasc/Seidl22 conf/synasc/HadzicBSS22 journals/fmsd/BloemBHELS21 journals/jsc/HeuleKS21 journals/tocl/OetschSTW21 conf/sat/BeyersdorffPSS21 series/faia/BeyersdorffJLS21 conf/csedu/CernaSSWB20 conf/iticse/CernaSSWB20 conf/sat/2020 journals/ai/PulinaS19 journals/cca/HeuleKS19 journals/jsat/PulinaS19 journals/sosym/GabmeyerKSGK19 conf/ftscs/YuSB19 conf/ictai/ShuklaBPS19 conf/sat/HeuleKS19 conf/sat/KieslS19 journals/corr/abs-1902-03431 journals/corr/abs-1903-11391 journals/corr/abs-1905-10192 journals/ipl/KauersS18 journals/lmcs/KieslSTB18 conf/fmcad/BloemBHELS18 conf/sat/KauersS18 books/sp/18/LonsingS18 conf/staf/2017w journals/corr/abs-1802-03993 journals/corr/abs-1804-01437 journals/corr/abs-1807-08964 journals/jar/HeuleSB17 journals/sttt/JacobsBBEHKPRRS17 conf/hvc/HeuleKSB17 conf/ijcai/KieslSTB17 conf/lpar/Kiesl0STB17 conf/sat/KieslHS17 conf/tap/FazekasHSB17 journals/corr/KieslSSTB17 journals/corr/KieslSTB17 journals/ai/LonsingSG16 conf/aaai/JordanKS16 conf/cade/KieslSTB16 conf/sat/LonsingES16 conf/synasc/FazekasSB16 conf/tap/GabmeyerS16 journals/corr/JacobsBBK0KKLNP16 conf/sat/2016qbf journals/corr/LonsingES16 journals/corr/BloemEKKLS16 series/utcs/SeidlSHK15 journals/cl/KaufmannKPSW15 journals/jair/HeuleJLSB15 conf/kbse/ArthoSGCKMRY15 conf/lpar/LonsingBBES15 conf/models/Seidl15 conf/nfm/HeuleSB15 journals/corr/JacobsBBKPRRSST16 conf/models/2015modevva journals/corr/JacobsBBEHKPRRS15 journals/corr/LonsingSG15 journals/jsat/JanotaJKLSG14 conf/cade/HeuleSB14 conf/date/SeidlK14 conf/fmcad/HeuleSB14 conf/sat/JordanKLS14 conf/sle/KaufmannKPSW14 conf/sle/BillGKS14 conf/staf/GabmeyerBKS14 conf/vmcai/BloemKS14 conf/tap/2014 journals/cscw/WielandLSWK13 journals/jss/LangerWBHSWK13 journals/stt/BroschSW13 conf/date/GoultiaevaSB13 conf/hvc/ArthoBHPSTY13 conf/models/BillGKS13 conf/models/KaufmannKPSW13 conf/models/DuboisFGNOSV13 conf/models/ScholzKS13 conf/tap/ArthoBS13 journals/corr/BloemKS13 books/daglib/0029502 journals/jot/BroschSWK12 journals/sigsoft/BroschGKS12 journals/stt/BroschLSWK12 conf/cade/SeidlLB12 conf/models/BrandsteidlMSH12 conf/sat/NiemetzPLSB12 conf/sfm/BroschKLSWW12 conf/sle/WidlBBEHKST12 conf/tap/BroschEGKSTWW12 conf/tap/CreignouES12 journals/csedu/SeidlC11 journals/eceasst/SeidlC11 journals/ijpop/WielandFKSW11 conf/cade/BiereLS11 conf/lpnmr/OetschPSTZ11 conf/models/BroschEGKSTWW11 journals/eceasst/SeidlC10 conf/criwg/BroschLSWWK10 conf/icmt/BroschLSWW10 conf/modellierung/BroschKSWWKL10 conf/models/SeidlC10 conf/models/BroschKLSWWK10 conf/oopsla/BroschSK10 conf/oopsla/BroschSW10 journals/constraints/EglySW09 journals/dbsk/KarglWSK09 journals/ijwis/AltmanningerSW09 conf/ecscw/BroschSWW09 conf/icse/BroschLSW09 conf/lpnmr/OetschSTW09 conf/models/BroschLSWWKRS09 conf/oopsla/BroschSWWL09 conf/oopsla/BroschSWWL09a conf/tools/WimmerSBKK09 books/daglib/0020523 conf/btw/KappelKKSSSW07 conf/wlp/OetschSTW07 conf/gi/Seidl07 conf/ecai/EglySW06 conf/jelia/OetschSTW06 conf/wlp/OetschSTW06 conf/sat/EglySTWZ03
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-01-28 02:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint