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
no matches
Venue search results
Likely matches
- DIMACS Series in Discrete Mathematics and Theoretical Computer Science (DIMACS)
- Symposium on Theoretical Aspects of Computer Science (STACS)
- Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
- Industrial Conference on Advances in Data Mining - Applications and Theoretical Aspects (ICDM)
- International Symposium on Model Checking Software (SPIN)
also: International SPIN Workshop on Theoretical Aspects of Model Checking (SPIN)
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 5,084 matches
- 2025
- Thi My Chinh Chu, Hans-Jürgen Zepernick:
Queueing Theoretical Performance Assessment of Mobile Virtual Reality Video Streaming. WoWMoM 2025: 363-369 - 2024
- Miklós Müller, Abir U. Igamberdiev:
The emergence of theoretical biology: Two fundamental works of Ervin Bauer (1890-1938) in English translation. Biosyst. 241: 105201 (2024) - Zhen Zhang, Junfeng Yang, Limei Liu, Xuesong Xu, Guozhen Rong, Qilong Feng:
Towards a Theoretical Understanding of Why Local Search Works for Clustering with Fair-Center Representation. AAAI 2024: 16953-16960 - Pascal Bachor, Gregor Behnke:
Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis. AAAI 2024: 20028-20035 - Guang-Yuan Hao, Hengguan Huang, Haotian Wang, Jie Gao, Hao Wang:
Composite Active Learning: Towards Multi-Domain Active Learning with Theoretical Guarantees. AAAI 2024: 12286-12294 - Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, Ryu Suzuki:
Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover. AAAI 2024: 20726-20734 - Javier Larrosa, Conrado Martínez, Emma Rollon:
Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving. AAAI 2024: 8057-8064 - Lu Liu, Mingyu Xiao, Yi Zhou:
A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem. AAAI 2024: 20768-20776 - Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider:
A General Theoretical Framework for Learning Smallest Interpretable Models. AAAI 2024: 10662-10669 - Nur Lan, Emmanuel Chemla, Roni Katzir:
Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length. ACL (1) 2024: 13198-13210 - Yue Xing, Xiaofeng Lin, Qifan Song, Yi Xu, Belinda Zeng, Guang Cheng:
Better Representations via Adversarial Training in Pre-Training: A Theoretical Perspective. AISTATS 2024: 199-207 - Mohammad Gheshlaghi Azar, Zhaohan Daniel Guo, Bilal Piot, Rémi Munos, Mark Rowland, Michal Valko, Daniele Calandriello:
A General Theoretical Paradigm to Understand Learning from Human Preferences. AISTATS 2024: 4447-4455 - Nguyen Hoang Khoi Do, Tanmoy Chowdhury, Chen Ling, Liang Zhao, My T. Thai:
MIM-Reasoner: Learning with Theoretical Guarantees for Multiplex Influence Maximization. AISTATS 2024: 2296-2304 - Anqi Mao, Mehryar Mohri, Yutao Zhong:
Theoretically Grounded Loss Functions and Algorithms for Score-Based Multi-Class Abstention. AISTATS 2024: 4753-4761 - Mishfad Shaikh Veedu, Deepjyoti Deka, Murti V. Salapaka:
Information Theoretically Optimal Sample Complexity of Learning Dynamical Directed Acyclic Graphs. AISTATS 2024: 4636-4644 - Yipei Wang, Xiaoqian Wang:
On the Effect of Key Factors in Spurious Correlation: A theoretical Perspective. AISTATS 2024: 3745-3753 - Zhi Zhang, Weijian Li, Han Liu:
Multivariate Time Series Forecasting By Graph Attention Networks With Theoretical Guarantees. AISTATS 2024: 2845-2853 - Cai Zhou, Rose Yu, Yusu Wang:
On the Theoretical Expressive Power and the Design Space of Higher-Order Graph Transformers. AISTATS 2024: 2179-2187 - Anqi Mao, Mehryar Mohri, Yutao Zhong:
Predictor-Rejector Multi-Class Abstention: Theoretical Analysis and Algorithms. ALT 2024: 822-867 - Amin Mazhari, Nicole Haggerty, Adaku Ohuruogu, Lameck M. Osinde, Apery Kirakalaprathapan:
IT-Business Partnership in Practice: A Comprehensive Scoping Review of Theoretical Framework and Strategic Approaches. AMCIS 2024 - Wei-Kai Liu, Benjamin Tan, Jason M. Fung, Krishnendu Chakrabarty:
Theoretical Patchability Quantification for IP-Level Hardware Patching Designs. ASPDAC 2024: 951-956 - Venkata Gadiraju, Hao-Yu Tsai, Hsiao-Chun Wu, Manali Singha, Scott Chih-Hao Huang, Guannan Liu, Shih Yu Chang, Yiyan Wu:
Fine-Tuning Optimization of Small Language Models: A Novel Graph-Theoretical Approach for Efficient Prompt Engineering. BMSB 2024: 1-7 - Steven Alter:
Produce a Useful and Teachable Theoretical Foundation for IS Engineering. CAiSE Research Projects Exhibition 2024: 1-9 - Behzad Mozaffari Tazehkand, Fatemeh Asghari Azhiri, Reza Abdolee, Vida Vakilian:
On the Theoretical BER Performance of STCM-MIMO Systems. CCNC 2024: 622-623 - Panagiotis Germanakos:
"It's Time!" Toward a Human-AI Quantum Experience Design Paradigm: Reinventing the Theoretical Framework of HCI. CHI Extended Abstracts 2024: 5:1-5:6 - Yutong Zhang, Edmond Awad, Morgan R. Frank, Peng Liu, Na Du:
Understanding Human-machine Cooperation in Game-theoretical Driving Scenarios amid Mixed Traffic. CHI 2024: 261:1-261:13 - Paulo R. Cavalin, Claudio Santos Pinhanez:
Theoretical and Empirical Advantages of Dense-Vector to One-Hot Encoding of Intent Classes in Open-World Scenarios. LREC/COLING 2024: 16000-16013 - Viacheslav Kovtun, Mykola Bykov, Tetiana Gryshchuk, Olha Bykova:
Theoretical and Experimental Investigation of Error Detecting and Error Correcting Ability of Rank Codes. COLINS (2) 2024: 35-47 - Zhangyu Wang, Krzysztof Janowicz, Gengchen Mai, Ivan Majic:
Probing the Information Theoretical Roots of Spatial Dependence Measures. COSIT 2024: 9:1-9:18 - Sri Aravinda Krishnan Thyagarajan, Pratik Soni, Ke Wu:
Game-Theoretically Fair Distributed Sampling. CRYPTO (8) 2024: 207-239
skipping 5,054 more matches
loading more results
failed to load more results, please try again later
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-09-25 12:55 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