![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 511 matches
- 2024
- Silvia García-Méndez, Francisco de Arriba Pérez
, Jaime González-González
, Francisco J. González-Castaño:
Explainable assessment of financial experts' credibility by classifying social media forecasts and checking the predictions with actual market data. Expert Syst. Appl. 255: 124515 (2024) - Kimia Zamiri Azar, Hadi Mardani Kamali
, Farimah Farahmandi, Mark M. Tehranipoor:
Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration. IEEE Trans. Inf. Forensics Secur. 19: 2771-2785 (2024) - Stefan Marksteiner
, Marjan Sirjani
, Mikael Sjödin
:
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents. ARES 2024: 171:1-171:8 - Ewelina Gajewska:
Eevvgg at CheckThat! 2024: Evaluative Terms, Pronouns and Modal Verbs as Markers of Subjectivity in Text. CLEF (Working Notes) 2024: 419-425 - Fuman Xie
, Chuan Yan
, Mark Huasong Meng
, Shao-Ming Teng
, Yanjun Zhang
, Guangdong Bai
:
Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App. ICSE 2024: 205:1-205:12 - Markus Leippold, Saeid Ashraf Vaghefi, Dominik Stammbach, Veruska Muccione, Julia Anna Bingler, Jingwei Ni, Chiara Colesanti Senni, Tobias Wekhof, Tobias Schimanski, Glen Gostlow, Tingyu Yu, Jürg Luterbacher, Christian Huggel:
Automated Fact-Checking of Climate Change Claims with Large Language Models. CoRR abs/2401.12566 (2024) - Silvia García-Méndez, Francisco de Arriba Pérez, Jaime González-González, Francisco J. González-Castaño:
Explainable assessment of financial experts' credibility by classifying social media forecasts and checking the predictions with actual market data. CoRR abs/2406.11924 (2024) - Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala:
Model Checking Markov Chains as Distribution Transformers. CoRR abs/2406.15087 (2024) - 2023
- Husam M. Alawadh, Amerah A. Alabrah, Talha Meraj
, Hafiz Tayyab Rauf:
Discourse analysis based credibility checks to online reviews using deep learning based discourse markers. Comput. Speech Lang. 78: 101450 (2023) - Maren Junker
, Sebastian Dünnebeil, Markus Böhm, Helmut Krcmar:
Usage of a workplace health promotion app: an evaluation of app usage data and medical check-up results. Health Informatics J. 29(1): 146045822211480 (2023) - Tim Kraska, Tianyu Li, Samuel Madden, Markos Markakis
, Amadou Ngom, Ziniu Wu, Geoffrey X. Yu:
Check Out the Big Brain on BRAD: Simplifying Cloud Data Processing with Learned Automated Data Meshes. Proc. VLDB Endow. 16(11): 3293-3301 (2023) - Gustavo Soutinho
, Luís Meira-Machado:
markovMSM: An R Package for Checking the Markov Condition in Multi-State Survival Data. R J. 15(1): 195-211 (2023) - Phillip James
, Faron Moller
, Markus Roggenbach
:
Software Model Checking of Interlocking Programs. Applicable Formal Methods for Safe Industrial Products 2023: 130-146 - Danula Hettiachchi
, Kaixin Ji
, Jenny Kennedy
, Anthony McCosker
, Flora D. Salim
, Mark Sanderson
, Falk Scholer
, Damiano Spina
:
Designing and Evaluating Presentation Strategies for Fact-Checked Content. CIKM 2023: 751-761 - Pius von Däniken, Jan Deriu, Mark Cieliebak:
ZHAW-CAI at CheckThat!-2023: Ensembling using Kernel Averaging. CLEF (Working Notes) 2023: 534-545 - Neset Tan, Trung Nguyen
, Joshua Bensemann, Alex Yuxuan Peng, Qiming Bao, Yang Chen, Mark Gahegan, Michael Witbrock:
Multi2Claim: Generating Scientific Claims from Multi-Choice Questions for Scientific Fact-Checking. EACL 2023: 2644-2656 - Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor:
ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. ITC 2023: 320-329 - Dayananda Ubrangala, Juhi Sharma, Ravi Prasad Kondapalli, Kiran Rama, Amit Agarwala, Laurent Boué:
Domain specificity and data efficiency in typo tolerant spell checkers: the case of search in online marketplaces. CoRR abs/2308.01976 (2023) - Danula Hettiachchi, Kaixin Ji, Jenny Kennedy, Anthony McCosker, Flora Dylis Salim, Mark Sanderson
, Falk Scholer, Damiano Spina:
Designing and Evaluating Presentation Strategies for Fact-Checked Content. CoRR abs/2308.10220 (2023) - Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor:
ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction. IACR Cryptol. ePrint Arch. 2023: 1037 (2023) - 2022
- Gustavo Soutinho
, Luís Meira-Machado
:
Methods for checking the Markov condition in multi-state survival data. Comput. Stat. 37(2): 751-780 (2022) - Maik Dehnert
, Josephine Schumann:
Uncovering the digitalization impact on consumer decision-making for checking accounts in banking. Electron. Mark. 32(3): 1503-1528 (2022) - Luai Al-Labadi, Ayman Alzaatreh, Mark Asuncion:
Model Checking with Right Censored Data Using Relative Belief Ratio. Entropy 24(11): 1579 (2022) - Oyendrila Dobe
, Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour:
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289(Part): 104978 (2022) - William Wallace
, Calvin Chan, Swathikan Chidambaram, Lydia Hanna
, Fahad Mujtaba Iqbal, Amish Acharya, Pasha Normahani
, Hutan Ashrafian
, Sheraz R. Markar, Viknesh Sounderajah
, Ara Darzi
:
The diagnostic and triage accuracy of digital and online symptom checker tools: a systematic review. npj Digit. Medicine 5 (2022) - Karel Kubicek
, Jakob Merane, Carlos Cotrini, Alexander Stremitzer, Stefan Bechtold, David A. Basin:
Checking Websites' GDPR Consent Compliance for Marketing Emails. Proc. Priv. Enhancing Technol. 2022(2): 282-303 (2022) - Ming Xu
, Jianling Fu, Jingyi Mei, Yuxin Deng
:
Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. 913: 43-72 (2022) - Ming Xu
, Jianling Fu, Jingyi Mei, Yuxin Deng:
An algebraic method to fidelity-based model checking over quantum Markov chains. Theor. Comput. Sci. 935: 61-81 (2022) - Shaoan Wang
, Mingzhu Zhu
, Yaoqing Hu
, Dongyue Li
, Fusong Yuan
, Junzhi Yu
:
Accurate Detection and Localization of Curved Checkerboard-Like Marker Based on Quadratic Form. IEEE Trans. Instrum. Meas. 71: 1-11 (2022) - Stefano Agresti, S. Amin Hashemian, Mark J. Carman:
PoliMi-FlatEarthers at CheckThat!-2022: GPT-3 applied to claim detection. CLEF (Working Notes) 2022: 422-427
skipping 481 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.org/img/cog.dark.24x24.png)
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.
retrieved on 2024-08-20 03:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint