Остановите войну!
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 30 matches
- 2024
- Márton Erdélyi, Pál Hegedüs, Sándor Z. Kiss, Gábor Péter Nagy:
On linear codes with random multiplier vectors and the maximum trace dimension property. J. Math. Cryptol. 18(1) (2024) - 2023
- Hanghua Zhang, Lubin Lin, Guipeng Zhang, Zhenguo Yang, Wenyin Liu:
ATIPM: A Blockchain-Based Anonymous and Traceable Intellectual Property Management Scheme. CSCWD 2023: 1080-1085 - Márton Erdélyi, Pál Hegedüs, Sándor Z. Kiss, Gábor Péter Nagy:
On Linear Codes with Random Multiplier Vectors and the Maximum Trace Dimension Property. CoRR abs/2309.00687 (2023) - 2022
- Chuxin Zhuang, Qingyun Dai, Yue Zhang:
BCPPT: A blockchain-based privacy-preserving and traceability identity management scheme for intellectual property. Peer-to-Peer Netw. Appl. 15(1): 724-738 (2022) - Ngoc Hoang Anh Mai, Jean B. Lasserre, Victor Magron, Jie Wang:
Exploiting Constant Trace Property in Large-scale Polynomial Optimization. ACM Trans. Math. Softw. 48(4): 40:1-40:39 (2022) - 2021
- Somayyeh Tari:
Strong cell decomposition property in o-minimal traces. Arch. Math. Log. 60(1-2): 135-144 (2021) - Keerthikumara Devarajegowda, Endri Kaja, Sebastian Siegfried Prebeck, Wolfgang Ecker:
ISA Modeling with Trace Notation for Context Free Property Generation. DAC 2021: 619-624 - Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron:
The Constant Trace Property in Noncommutative Optimization. ISSAC 2021: 297-304 - 2020
- Fan Wu, Xiong Li, Lili Xu, Saru Kumari:
A privacy-preserving scheme with identity traceable property for smart grid. Comput. Commun. 157: 38-44 (2020) - 2019
- Andrew M. Bradley, Peter A. Bosler, Oksana Guba, Mark A. Taylor, Gregory A. Barnett:
Communication-Efficient Property Preservation in Tracer Transport. SIAM J. Sci. Comput. 41(3): C161-C193 (2019) - Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos:
Incremental execution of model-to-text transformations using property access traces. Softw. Syst. Model. 18(1): 367-383 (2019) - 2018
- Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand:
Requirements for a Trace Property Language for Medical Devices. SEHS@ICSE 2018: 30-33 - Alexander Schönhals, Thomas Hepp, Bela Gipp:
Design Thinking using the Blockchain: Enable Traceability of Intellectual Property in Problem-Solving Processes for Open Innovation. CRYBLOCK@MobiSys 2018: 105-110 - Ansem Ben Cheikh, Yoann Blein, Salim Chehida, Germán Vega, Yves Ledru, Lydie du Bousquet:
An Environment for the ParTraP Trace Property Language (Tool Demonstration). RV 2018: 437-446 - 2017
- Anu Kathuria, S. K. Arora, Sudhir Batra:
On traceability property of equidistant codes. Discret. Math. 340(4): 713-721 (2017) - 2015
- Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos:
Property Access Traces for Source Incremental Model-to-Text Transformation. ECMFA 2015: 187-202 - 2014
- Xuzhu Wang, Ye Xue:
Traces and property indicators of fuzzy relations. Fuzzy Sets Syst. 246: 78-90 (2014) - 2013
- Saulius Pavalkis, Lina Nemuraite:
Process for Applying Derived Property Based Traceability Framework in Software and Systems Development Life Cycle. ICIST 2013: 122-133 - 2012
- Yongyuth Permpoontanalarp, Apichai Changkhanak:
On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method. IEICE Trans. Inf. Syst. 95-D(1): 215-229 (2012) - Huaqun Wang, Yuqing Zhang:
On the Security of a Ticket-Based Anonymity System with Traceability Property in Wireless Mesh Networks. IEEE Trans. Dependable Secur. Comput. 9(3): 443-446 (2012) - 2010
- Yating Hsu, David Lee:
Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization. ICNP 2010: 164-173 - 2006
- Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18(1): 63-83 (2006) - 2003
- Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko:
An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196 - 2002
- Daniel Kirsten:
The Star Problem and the Finite Power Property in Trace Monoids: Reductions beyond C4. Inf. Comput. 176(1): 22-36 (2002) - 2001
- Simon St. James, Ulrich Ultes-Nitsche:
Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. PODC 2001: 238-245 - 1999
- Wei-Bin Lee, Chin-Chen Chang:
(t, n) Threshold Digital Signature With Traceability Property. J. Inf. Sci. Eng. 15(5): 669-678 (1999) - Daniel Kirsten:
A Connection between the Star Problem and the Finite Power Property in Trace Monoids. ICALP 1999: 473-482 - 1994
- Gwénaël Richomme:
Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable. MFCS 1994: 577-586 - 1992
- P. David Stotts, Richard Furuta, J. Cyrano Ruiz:
Hyperdocuments as Automata: Trace-Based Browsing Property Verification. ECHT 1992: 272-281 - 1985
- Hideto Ikeda, Yoshihumi Ohzawa, Kenji Onaga:
Tracer: Transposed File Organization Scheme with Consecutive Retrieval Property and its Application to Statistical Database System. FODO 1985: 125-132
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-24 10:02 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