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
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 143 matches
- 2024
- Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan:
A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica 61(1): 23-52 (2024) - Dinesh Chandra Maurya, J. Singh:
Modified f(Q)-gravity string cosmological models with observational constraints. Astron. Comput. 46: 100789 (2024) - C. Aiswarya, Soumodev Mal, Prakash Saivasan:
Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers. STACS 2024: 5:1-5:20 - Andrei Draghici, Christoph Haase, Florin Manea:
Semënov Arithmetic, Affine {VASS}, and String Constraints. STACS 2024: 29:1-29:19 - C. Aiswarya, Soumodev Mal, Prakash Saivasan:
Satisfiability of Context-free String Constraints with Subword-ordering and Transducers. CoRR abs/2401.07996 (2024) - 2023
- Roberto Amadini:
A Survey on String Constraint Solving. ACM Comput. Surv. 55(2): 16:1-16:38 (2023) - Mark Brooke, Yair Censor, Aviv Gibali:
Dynamic string-averaging CQ-methods for the split feasibility problem with percentage violation constraints arising in radiation therapy treatment planning. Int. Trans. Oper. Res. 30(1): 181-205 (2023) - Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Solving String Constraints with Lengths by Stabilization. Proc. ACM Program. Lang. 7(OOPSLA2): 2112-2141 (2023) - Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea:
On the Expressive Power of String Constraints. Proc. ACM Program. Lang. 7(POPL): 278-308 (2023) - Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka:
Towards more efficient methods for solving regular-expression heavy string constraints. Theor. Comput. Sci. 943: 50-72 (2023) - Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka:
Solving String Constraints Using SAT. CAV (2) 2023: 187-208 - Roberto Amadini, Peter J. Stuckey:
A Regular Matching Constraint for String Variables. IJCAI 2023: 1868-1875 - Denghang Hu, Zhilin Wu:
String Constraints with Regex-Counting and String-Length Solved More Efficiently. SETTA 2023: 1-20 - Andrei Draghici, Christoph Haase, Florin Manea:
Semënov Arithmetic, Affine VASS, and String Constraints. CoRR abs/2306.14593 (2023) - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku:
Chain-Free String Constraints (Technical Report). CoRR abs/2307.03970 (2023) - 2022
- Mitja Kulczynski:
Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints. University of Kiel, Germany, 2022 - Sai Zhang, Li Tang, Yan-Jun Liu:
Estimation Based Adaptive Constraint Control for a Class of Coupled String Systems. IEEE CAA J. Autom. Sinica 9(8): 1536-1539 (2022) - Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - Zhijia Zhao, Yong Ren, Chaoxu Mu, Tao Zou, Keum-Shik Hong:
Adaptive Neural-Network-Based Fault-Tolerant Control for a Flexible String With Composite Disturbance Observer and Input Constraints. IEEE Trans. Cybern. 52(12): 12843-12853 (2022) - Wei Yue, Hongxia Shen, Cunming Zou, Liyuan Wang:
Event-triggered ISMC for String Stability of Connected Vehicles with Communication Constraints. ICCA 2022: 618-623 - Robert D. Barish, Tetsuo Shibuya:
String Editing Under Pattern Constraints. ICS 2022: 13-24 - Xuwei Liu, Wei You, Zhuo Zhang, Xiangyu Zhang:
TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. ISSTA 2022: 391-403 - C. Aiswarya, Soumodev Mal, Prakash Saivasan:
On the Satisfiability of Context-free String Constraints with Subword-Ordering. LICS 2022: 6:1-6:13 - Dominik Peteler, Karin Quaas:
Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order. MFCS 2022: 76:1-76:15 - Joel D. Day, Adrian Kröger, Mitja Kulczynski, Florin Manea, Dirk Nowotka, Danny Bøgsted Poulsen:
A Generic Information Extraction System for String Constraints. CoRR abs/2208.08806 (2022) - Paul Kinsler, Sean Holman, Andrew Elliott, Cathryn N. Mitchell, R. Eddie Wilson:
Agent swarms: cooperation and coordination under stringent communications constraint. CoRR abs/2210.01163 (2022) - 2021
- Bui Phi Diep:
On Solving String Constraints. Uppsala University, Sweden, 2021 - Xinyue Wang, Jiangyan Zhang, Rubo Zhang:
A Design Approach to Optimal Cruising Control with String Stability Constraint for Vehicle Platoon. SICE 2021: 53-57 - Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR abs/2111.04298 (2021) - 2020
- Weijun Sun, Yiming Liu, Zhijia Zhao, Kan Xie, Shengli Xie:
Boundary Control of a Vibrating String Subject to Input Saturation and Output Constraint. IEEE Access 8: 60062-60069 (2020)
skipping 113 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-21 22:16 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