Остановите войну!
for scientists:
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 1,383 matches
- 2024
- Ying Zhang, Chang Wu, Siyan Liu, Zejie Lv, Xiaoman Huang, Peng Wu:
A Parking Detection Algorithm Based on Multitransitory Finite-State Machine Using Magnetic Wireless Sensor Network. IEEE Internet Things J. 11(5): 8360-8372 (2024) - Wen-ling Huang, Niklas Krafczyk, Jan Peleska:
Exhaustive property oriented model-based testing with symbolic finite state machines. Sci. Comput. Program. 231: 103005 (2024) - Yongyi Yan, Peiji Xu, Jumei Yue, Zengqiang Chen:
Robust Control: From Continuous-State Systems to Finite State Machines. IEEE Trans Autom. Sci. Eng. 21(2): 2156-2163 (2024) - Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin:
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. IEEE Trans. Software Eng. 50(3): 574-597 (2024) - Saima Shaheen, Hasna Arshad, Momeena Mir, Muhammad Tufail Hashmi:
A Case Study: To Discuss the Construction of the Finite State Machine and Markov-Chain OP Models for Test Case Generation. ICACS 2024: 1-9 - Noor Ullah, Khawaja M. Yahya, Irfan Ahmed:
Optimal Synthesis of Finite State Machines with Universal Gates using Evolutionary Algorithm. CoRR abs/2401.01265 (2024) - 2023
- Yongyi Yan, Daizhan Cheng, Jun-e Feng, Haitao Li, Jumei Yue:
Survey on applications of algebraic state space theory of logical systems to finite state machines. Sci. China Inf. Sci. 66(1) (2023) - Aleksandr S. Tvardovskii, Nina Yevtushenko:
Deriving homing sequences for Finite State Machines with timeouts. Comput. J. 66(9): 2181-2190 (2023) - Pramod Pavithran, Sheena Mathew, Suyel Namasudra, Ashish Singh:
Enhancing randomness of the ciphertext generated by DNA-based cryptosystem and finite state machine. Clust. Comput. 26(2): 1035-1051 (2023) - Zineb Lotfi, Hamid Khalifi, Faissal Ouardi:
Efficient Algebraic Method for Testing the Invertibility of Finite State Machines. Comput. 11(7): 125 (2023) - Kuruge Darshana Abeyrathna, Ole-Christoffer Granmo, Rishad A. Shafik, Lei Jiao, Adrian Wheeldon, Alex Yakovlev, Jie Lei, Morten Goodwin:
A multi-step finite-state automaton for arbitrarily deterministic Tsetlin Machine learning. Expert Syst. J. Knowl. Eng. 40(4) (2023) - Shengshan Ma, Jie Yuan, Zhenyu Guo, Qiong Wu:
Autonomous plume Near-Source search assisted by intermittent visible plume information using finite state Machine and YOLOv3-tiny. Expert Syst. Appl. 228: 120350 (2023) - Abdirahman Alasow, Marek A. Perkowski:
Quantum Algorithms for Unate and Binate Covering Problems with Application to Finite State Machine Minimization. FLAP 10(6): 993-1023 (2023) - Weiwei Han, Yi Li, Zhipeng Zhang, Chengyi Xia:
STP-based verification and synthesis of state opacity for logical finite state machines. Inf. Sci. 641: 119130 (2023) - Feidan Huang, Zexi Deng, Fasheng Cao:
Generalized commutativity of intuitionistic fuzzy finite state machine. J. Intell. Fuzzy Syst. 45(6): 11567-11583 (2023) - Alain Finkel, Étienne Lozes:
Synchronizability of Communicating Finite State Machines is not Decidable. Log. Methods Comput. Sci. 19(4) (2023) - Krzysztof Pomorski:
Equivalence between finite state stochastic machine, non-dissipative and dissipative tight-binding and Schrödinger model. Math. Comput. Simul. 209: 362-407 (2023) - Rasheed Kibria, Farimah Farahmandi, Mark M. Tehranipoor:
FSMx-Ultra: Finite State Machine Extraction From Gate-Level Netlist for Security Assessment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3613-3627 (2023) - Nikos Temenos, Paul P. Sotiriadis:
A Markov Chain Framework for Modeling the Statistical Properties of Stochastic Computing Finite-State Machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(6): 1965-1977 (2023) - Shucheng Yang, Xiaoping Gao, Jie Ren:
Sequential Circuits Synthesis for Rapid Single Flux Quantum Logic Based on Finite State Machine Decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(10): 3315-3326 (2023) - Yongyi Yan, He Deng, Jumei Yue, Zengqiang Chen:
Model-Reference Adaptive Control of Finite State Machines With Respect to States: A Matrix-Based Approach. IEEE Trans. Circuits Syst. II Express Briefs 70(6): 2171-2175 (2023) - Jumei Yue, Yongyi Yan, Zengqiang Chen:
A Simplifying-Matrix Method to Reduce the Storage Complexity in Studying Finite State Machines in the Framework of STP. IEEE Trans. Circuits Syst. II Express Briefs 70(1): 196-200 (2023) - Ying Pang, Ziyi Bai, Zeng Xiang, Lei Wang, Chi-Kong Wong, Chi-Seng Lam, Fujun Ma, Liang Che, Man-Chung Wong:
A Data-Driven Finite-State Machine-Based Control for Hybrid Parallel Multiconverters: Fusion Topology for High-Power Applications. IEEE Trans. Ind. Electron. 70(12): 11853-11864 (2023) - Mohammad Zaeri Amirani, Anders Høst-Madsen:
Learning Source Coding for General Alphabets and Finite State Machines. Allerton 2023: 1-6 - Gowthami Konganapalle, Sonali Shukla, Virendra Singh:
SMASh: A State Encoding Methodology Against Attacks on Finite State Machines. ATS 2023: 1-6 - Gabor Zoltai, Yue Xie, Frank Neumann:
A Study of Fitness Gains in Evolving Finite State Machines. AI (2) 2023: 479-490 - Tianhao Li, Yujia Zheng, Haoan Zhang, Weizhi Ma, Ying Li:
Research on Real-time Early Warning Mechanism of Aviation Safety Based on Finite State Machine Underlying in QAR Stream Data. BDIOT 2023: 216-222 - Wim Van Roy, Armin Nurkanovic, Ramin Abbasi-Esfeden, Jonathan Frey, Anton Pozharskiy, Jan Swevers, Moritz Diehl:
Continuous Optimization for Control of Finite-State Machines with Cascaded Hysteresis via Time-Freezing. CDC 2023: 6261-6266 - Elis Stefansson, Karl Henrik Johansson:
Efficient and Reconfigurable Optimal Planning in Large-Scale Systems Using Hierarchical Finite State Machines. CDC 2023: 7380-7387 - Valery Salauyou:
Fault Detection of Moore Finite State Machines by Structural Models. CISIM 2023: 394-409
skipping 1,353 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-04-25 04:25 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