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
- International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
- International Conference on Formal Concept Analysis (ICFCA)
- International Conference on Software Analysis, Evolution and Reengineering (SANER)
- European Joint Conferences on Theory And Practice of Software (ETAPS)
also: International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE @ ETAPS)
also: Workshop on Models for Formal Analysis of Real Systems (MARS @ ETAPS) - Formal Concept Analysis
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 3,488 matches
- 2024
- Tillmann Dönicke:
All Ravens are Black - Formalisation and Computational Analysis of Generalising Statements in Natural Language. 2024 - Matin Macktoobian, Zhan Shu, Qing Zhao:
Traffic Divergence Theory: An Analysis Formalism for Dynamic Networks. IEEE Access 12: 67512-67524 (2024) - Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani:
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol. IEEE Access 12: 1672-1687 (2024) - Jamalbek Tussupov, Moldir Yessenova, Gulzira Abdikerimova, Aidyn Aimbetov, Kazbek Baktybekov, Gulden Murzabekova, Ulzada Aitimova:
Analysis of Formal Concepts for Verification of Pests and Diseases of Crops Using Machine Learning Methods. IEEE Access 12: 19902-19910 (2024) - Achim D. Brucker, Amy Stell:
(Extended) Interval Analysis. Arch. Formal Proofs 2024 (2024) - Mengjun Hu, Zhen Wang:
A three-way confirmatory approach to formal concept analysis in classification. Appl. Soft Comput. 155: 111448 (2024) - Zhe Wang, Yue Wang, Yande Gong, Jizhou Zhan:
Cooperate or not? Strategic analysis of formal and informal recyclers under different retired power battery recycling market structures. Comput. Ind. Eng. 193: 110294 (2024) - Andrew Simpson, Matthias Dellago, Daniel W. Woods:
Formalizing Attack Trees To Support Economic Analysis. Comput. J. 67(1): 220-235 (2024) - Adrián Silveira, Gustavo Betarte, Carlos Luna:
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach. CLEI Electron. J. 27(3) (2024) - Adrián Silveira, Gustavo Betarte, Carlos Luna:
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach. CLEI Electron. J. 27(3) (2024) - Liujia Cai, Guangying Cai, Siqi Lu, Guangsong Li, Yongjuan Wang:
Observational equivalence and security games: Enhancing the formal analysis of security protocols. Comput. Secur. 140: 103785 (2024) - Nur Imtiazul Haque, Mohammad Ashiqur Rahman, A. Selcuk Uluagac:
Formal threat analysis of machine learning-based control systems: A study on smart healthcare systems. Comput. Secur. 139: 103709 (2024) - Bogdan Aman, Gabriel Ciobanu:
Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. Comput. Sci. J. Moldova 32(1): 3-18 (2024) - Manuel Ojeda-Hernández, Domingo López-Rodríguez, Ángel Mora:
A Formal Concept Analysis approach to hierarchical description of malware threats. Forensic Sci. Int. Digit. Investig. 50: 301797 (2024) - Sirong Tong, Bingzhen Sun, Lei Zhang, Xiaoli Chu:
An approach of multi-criteria group decision making with incomplete information based on formal concept analysis and rough set. Expert Syst. Appl. 248: 123364 (2024) - Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro:
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. Formal Aspects Comput. 36(2): 12 (2024) - Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Dynamic dependability analysis of shuffle-exchange networks. Formal Methods Syst. Des. 62(1): 285-325 (2024) - Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone:
Bounded-memory runtime enforcement with probabilistic and performance analysis. Formal Methods Syst. Des. 62(1): 141-180 (2024) - Marina T. Mizukoshi, Tiago Mendonça da Costa, Yurilev Chalco-Cano, Weldon A. Lodwick:
A formalization of constraint interval: A precussor to fuzzy interval analysis. Fuzzy Sets Syst. 482: 108910 (2024) - Maarten Denoo, Bruno Dupont, Bieke Zaman, Eva Grosemans, Steven Malliet:
Making Complexity Measurable in Practice: A Formal Analysis of Gamble-Play media. Games Cult. 19(6): 695-721 (2024) - Bhawna Goyal, Ayush Dogra, Dawa Chyophel Lepcha, Vishal Goyal, Ahmed Alkhayyat, Jasgurpreet Singh Chohan, Vinay Kukreja:
Recent advances in image dehazing: Formal analysis to automated approaches. Inf. Fusion 104: 102151 (2024) - Tao Feng, Taining Chen, Xiang Gong:
Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool. Inf. 15(2): 118 (2024) - Jiaojiao Niu, De-gang Chen, Wenyan Tie:
Single sample-oriented attribute reduction for rule learning with formal concept analysis. Inf. Sci. 681: 121243 (2024) - Huilai Zhi, Zhenhao Qi, Yinan Li:
An efficient conflict analysis method based on splitting and merging of formal contexts. Inf. Sci. 661: 120154 (2024) - Imdadullah Hidayat-ur-Rehman:
Digital competence and students' engagement: a comprehensive analysis of smartphone utilization, perceived autonomy and formal digital learning as mediators. Interact. Technol. Smart Educ. 21(3): 461-488 (2024) - Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth:
Formalized Functional Analysis with Semilinear Maps. J. Autom. Reason. 68(2): 10 (2024) - Florian Faissole:
Formally-Verified Round-Off Error Analysis of Runge-Kutta Methods. J. Autom. Reason. 68(1): 1 (2024) - Ping Chen, Jingjing Hu, Zhitao Wu, Ruoting Xiong, Wei Ren:
The Formal Analysis on Negative Information Selections for Privacy Protection in Data Publishing. J. Electr. Comput. Eng. 2024: 7486890:1-7486890:6 (2024) - Ping Chen, Jingjing Hu, Zhitao Wu, Ruoting Xiong, Wei Ren:
The Formal Analysis on Negative Information Selections for Privacy Protection in Data Publishing. J. Electr. Comput. Eng. 2024: 1-6 (2024) - Sana Younès, Maroua Idi:
Formal dependability analysis of fault tolerant Virtual Machine allocation strategies in Cloud Radio Access Network. J. Netw. Comput. Appl. 229: 103917 (2024)
skipping 3,458 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-23 21:22 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