Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDSearch 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
- IFIP WG 6.1 International Conference on Formal Techniques for (Networked and) Distributed Systems (FORTE)
also: Formal Description Techniques for Distributed Systems and Communication Protocols - Workshop on Descriptional Complexity of Formal Systems (DCFS)
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 year
- no options
- temporarily not available
Publication search results
found 680 matches
- 2020
- Francesco Kriegel
:
Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis. Künstliche Intell. 34(3): 399-403 (2020) - Cong Xu, Jinkui Hou:
Formal Description Approach for Agent-Based Mobile Computing. AIAM 2020: 222-229 - Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo:
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. ECSA 2020: 101-117 - Jannik Sidler, Eric Braun, Thorsten Schlachter, Clemens Düpmeier, Veit Hagenmeyer:
Design of a Web-Service for Formal Descriptions of Domain-Specific Data. ISESS 2020: 201-215 - Marko Horvat:
StimSeqOnt: An ontology for formal description of multimedia stimuli sequences. MIPRO 2020: 1134-1139 - Adam Naumowicz:
Dataset Description: Formalization of Elementary Number Theory in Mizar. CICM 2020: 303-308 - Galina Jirásková, Giovanni Pighizzini:
Descriptional Complexity of Formal Systems - 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020, Proceedings. Lecture Notes in Computer Science 12442, Springer 2020, ISBN 978-3-030-62535-1 [contents] - 2019
- Francesco Kriegel:
Constructing and extending description logic ontologies using methods of formal concept analysis. Dresden University of Technology, Germany, 2019 - Camila Araújo, Everton Cavalcante, Thaís Batista, Marcel Oliveira, Flávio Oquendo:
A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE Access 7: 171752-171764 (2019) - Huilai Zhi, Jinhai Li:
Granule description based knowledge discovery from incomplete formal contexts via necessary attribute analysis. Inf. Sci. 485: 347-361 (2019) - Michael Steinheimer, Ulrich Trick, Bogdan V. Ghita:
Formal Application Description of Autonomous and Cooperative M2M Application Services. J. Commun. 14(1): 33-39 (2019) - Jian Hu, Tun Li, Sikun Li:
Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information. J. Circuits Syst. Comput. 28(10): 1950163:1-1950163:16 (2019) - Hamoudi Kalla, David Berner, Jean-Pierre Talpin:
Automated Generation of Synchronous Formal Models from SystemC Descriptions. J. Circuits Syst. Comput. 28(4): 1950061:1-1950061:21 (2019) - Yuncheng Jiang:
Semantifying formal concept analysis using description logics. Knowl. Based Syst. 186 (2019) - Joaquín López, Alejandro Santana-Alonso, Miguel Díaz-Cacho:
Formal Verification for Task Description Languages. A Petri Net Approach. Sensors 19(22): 4965 (2019) - Guillermo Frontera, Iván Campaña, Ana M. Bernardos, Juan A. Besada:
Formal Intent-Based Trajectory Description Languages for Quadrotor Aircraft. IEEE Trans. Aerosp. Electron. Syst. 55(6): 3330-3346 (2019) - Stavros Konstantinidis, Giovanni Pighizzini:
Special section on Descriptional Complexity of Formal Systems. Theor. Comput. Sci. 798: 1 (2019) - Morteza Sargolzaei Javan, Mohammad Kazem Akbari:
SmartData 4.0: a formal description framework for big data. J. Supercomput. 75(7): 3585-3620 (2019) - Riste Stojanov, Tome Eftimov, Hannah Pinchen, Maria Traka, Paul Finglas, Drago Torkar, Barbara Korousic-Seljak:
Food Waste Ontology: A Formal Description of Knowledge from the Domain of Food Waste. IEEE BigData 2019: 5190-5194 - Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente:
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. From Software Engineering to Formal Methods and Tools, and Back 2019: 267-281 - Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró:
Formal Reasoning on Natural Language Descriptions of Processes. BPM 2019: 86-101 - Meikel Bode:
Towards a Formal Description Language for Digital IT Consulting Products in Decentralized IT Consulting Firms. EDOC Workshops 2019: 168-173 - Lukas Kathrein, Kristof Meixner, Dietmar Winkler, Arndt Lüder, Stefan Biffl:
Extending the Formal Process Description towards Consistency in Product/ion-Aware Modeling. ETFA 2019: 679-686 - Lukas Kathrein, Kristof Meixner, Dietmar Winkler, Arndt Lüder, Stefan Biffl:
A Meta-Model for Representing Consistency as Extension to the Formal Process Description. ETFA 2019: 1653-1656 - Francesco Kriegel:
Joining Implications in Formal Contexts and Inductive Learning in a Horn Description Logic. ICFCA 2019: 110-129 - Jan Stodt, Eugen Jastremskoj, Christoph Reich, Dominik Welte, Axel Sikora:
Formal Description of Use Cases for Industry 4.0 Maintenance Processes Using Blockchain Technology. IDAACS 2019: 1136-1141 - I. Yu. Kashirin, I. Yu. Filatov:
Formalized Description Of Intuitive Perception Of Spatial Situations. MECO 2019: 1-4 - Michal Hospodár, Galina Jirásková, Stavros Konstantinidis:
Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings. Lecture Notes in Computer Science 11612, Springer 2019, ISBN 978-3-030-23246-7 [contents] - 2018
- Yunjiao Zhan, Ou Wei, Jun Hu:
面向DO-178C的襟缝翼控制系统需求的形式化描述 (Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case). 计算机科学 45(4): 196-202 (2018) - Oscar J. Romero:
CogArch-ADL: Toward a Formal Description of a Reference Architecture for the Common Model of Cognition. BICA 2018: 788-796
skipping 650 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
retrieved on 2021-04-12 09:49 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
the dblp computer science bibliography is funded by:
