|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12892 occurrences of 6004 keywords
|
|
|
Results
Found 20827 publication records. Showing 20827 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Mark Levene, George Loizou |
Database Design for Incomplete Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 24(1), pp. 80-125, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
additivity problem, dependency preserving decomposition, intersection property, lossless join decomposition, monodependence, null functional dependencies, optimum cover, prime attribute problem, split-freeness property, superkey of cardinality k problem, complexity, incomplete information, normal forms |
50 | Robert L. Sedlmeyer, Marc J. Lipman |
Property computation in Grapple (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 366, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
43 | Richard O. Mason |
Intellectual Property and Open Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 247, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Proprietary Property, Closed Source, Public Property, Open Source, Intellectual Property |
42 | Oded Goldreich 0001 |
On the Communication Complexity Methodology for Proving Lower Bounds on the Query Complexity of Property Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 87-118, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Oded Goldreich 0001 |
On the Effect of the Proximity Parameter on Property Testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 36-40, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Oded Goldreich 0001, Michael Krivelevich, Ilan Newman, Eyal Rozenberg |
Hierarchy Theorems for Property Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 289-294, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
42 | Michael E. Saks, C. Seshadhri 0001 |
Local Property Reconstruction and Monotonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 346-354, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
42 | Madhu Sudan 0001 |
Invariance in Property Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 211-227, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
42 | Ido Ben-Eliezer, Tali Kaufman, Michael Krivelevich, Dana Ron |
Comparing the Strength of Query Types in Property Testing: The Case of Testing k-Colorability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 253-259, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
42 | Ilan Newman |
Property Testing of Massively Parametrized Problems - A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 142-157, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
42 | Oded Goldreich 0001, Dana Ron |
Algorithmic Aspects of Property Testing in the Dense Graphs Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 295-305, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
42 | Oded Goldreich 0001 |
A Brief Introduction to Property Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 1-5, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
42 | Thomas A. Henzinger |
From Boolean to quantitative notions of correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 157-158, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
quantitative specification, quantitative synthesis, quantitative analysis |
40 | Oded Goldreich 0001, Shafi Goldwasser, Dana Ron |
Property Testing and Its Connection to Learning and Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 339-348, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
unknown function, property testing algorithm, graph property testing, k-colorable graph, /spl rho/-clique, input graph, testing, approximation, querying, assertions, probabilistic algorithm, learning theory, property testing |
38 | Patrick S. Chen, Cheng-Yu Hung, Chiao-Hsin Ko, Ying-Chieh Chen |
Preservation of Evidence in Case of Online Gaming Crime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI Workshops ![In: Intelligence and Security Informatics, IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings, pp. 229-244, 2008, Springer, 978-3-540-69136-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
virtual property, Virtual Property Description Language, online gaming, digital evidence |
38 | Howard B. Rockman, Vladimir Khodosh |
The software engineer and the development, management and use of intellectual property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 708-709, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
business use of intellectual property, employment agreement, infringement, innovation protection, non-compete, patentable subject matter, proprietary, ethics, intellectual property, copyright, patent, licensing, trade secret |
35 | Noga Alon, Asaf Shapira |
Every monotone graph property is testable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 128-137, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
monotone properties, property testing, regularity lemma |
35 | Ulrich Kühn 0001, Marcel Selhorst, Christian Stüble |
Realizing property-based attestation and sealing with commonly available hard- and software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STC ![In: Proceedings of the 2nd ACM Workshop on Scalable Trusted Computing, STC 2007, Alexandria, VA, USA, November 2, 2007, pp. 50-57, 2007, ACM, 978-1-59593-888-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
property-based attestation, property-based sealing, trusted computing |
34 | Oded Goldreich 0001 |
Flexible Models for Testing Graph Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 352-362, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
On (Valiant's) Polynomial-Size Monotone Formula for Majority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 17-23, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
Deconstructing 1-Local Expanders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 220-248, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001, Guy N. Rothblum |
Constant-Round Interactive Proof Systems for AC0[2] and NC1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 326-351, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001, Dana Ron |
On the Relation Between the Relative Earth Mover Distance and the Variation Distance (an Exposition). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 141-151, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001, Liav Teichner |
Super-Perfect Zero-Knowledge Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 119-140, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Roei Tell |
A Note on Tolerant Testing with One-Sided Error. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 173-177, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001, Maya Leshkowitz |
On Emulating Interactive Proofs with Public Coins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 178-198, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
On the Optimal Analysis of the Collision Probability Tester (an Exposition). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 296-305, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001, Avi Wigderson |
On the Size of Depth-Three Boolean Circuits for Computing Multilinear Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 41-86, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
The Uniform Distribution Is Complete with Respect to Testing Identity to a Fixed Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 152-172, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Scott E. Decatur, Oded Goldreich 0001, Dana Ron |
A Probabilistic Error-Correcting Scheme that Provides Partial Secrecy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 1-8, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001, Guy N. Rothblum |
Worst-Case to Average-Case Reductions for Subclasses of P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 249-295, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001, Or Meir |
Bridging a Small Gap in the Gap Amplification of Assignment Testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 9-16, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
On Constructing Expanders for Any Number of Vertices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 374-379, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
Two Comments on Targeted Canonical Derandomizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 24-35, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
Reducing Testing Affine Spaces to Testing Linearity of Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 199-219, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001, Avishay Tal |
On Constant-Depth Canonical Boolean Circuits for Computing Multilinear Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 306-325, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Itai Benjamini, Oded Goldreich 0001 |
Pseudo-mixing Time of Random Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Complexity and Property Testing ![In: Computational Complexity and Property Testing - On the Interplay Between Randomness and Computation, pp. 363-373, 2020, Springer, 978-3-030-43661-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 (eds.) |
Property Testing - Current Research and Surveys ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![Springer, 978-3-642-16366-1 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
Short Locally Testable Codes and Proofs: A Survey in Two Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 65-104, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Krzysztof Onak, Ronitt Rubinfeld |
Dynamic Approximate Vertex Cover and Maximum Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 341-345, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Eric Blais |
Testing Juntas: A Brief Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 32-40, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Arnab Bhattacharyya 0001, Swastik Kopparty, Grant Schoenebeck, Madhu Sudan 0001, David Zuckerman |
Optimal Testing of Reed-Muller Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 269-275, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Alexandr Andoni, Piotr Indyk, Krzysztof Onak, Ronitt Rubinfeld |
Sublinear Algorithms in the External Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 240-243, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Noga Alon |
On Constant Time Approximation of Parameters of Bounded Degree Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 234-239, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Tali Kaufman, Avi Wigderson |
Symmetric LDPC Codes and Local Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 312-319, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
Introduction to Testing Graph Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 105-141, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Asaf Shapira |
Green's Conjecture and Testing Linear Invariant Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 355-358, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Swastik Kopparty, Shubhangi Saraf |
Some Recent Results on Local Testing of Sparse Linear Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 320-333, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Eli Ben-Sasson |
Limitation on the Rate of Families of Locally Testable Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 13-31, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Michal Adamaszek, Artur Czumaj, Christian Sohler |
Testing Monotone Continuous Distributions on High-Dimensional Real Cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 228-233, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Rocco A. Servedio |
Testing by Implicit Learning: A Brief Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 197-210, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Oded Goldreich 0001 |
The Program of the Mini-Workshop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 6-12, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Kevin Matulef, Ryan O'Donnell, Ronitt Rubinfeld, Rocco A. Servedio |
Testing (Subclasses of) Halfspaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 334-340, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Artur Czumaj, Christian Sohler |
Sublinear-time Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 41-64, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Alexandr Andoni, Robert Krauthgamer, Krzysztof Onak |
Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 244-252, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Sofya Raskhodnikova |
Transitive-Closure Spanners: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 167-196, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Frank Hellweg, Melanie Schmidt 0001, Christian Sohler |
Testing Euclidean Spanners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 306-311, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Arnab Bhattacharyya 0001, Victor Chen, Madhu Sudan 0001, Ning Xie 0002 |
Testing Linear-Invariant Non-linear Properties: A Short Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 260-268, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Victor Chen |
Query-Efficient Dictatorship Testing with Perfect Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 276-279, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Irit Dinur, Prahladh Harsha |
Composition of Low-Error 2-Query PCPs Using Decodable PCPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 280-288, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Krzysztof Onak |
Sublinear Graph Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Property Testing ![In: Property Testing - Current Research and Surveys, pp. 158-166, 2010, Springer, 978-3-642-16366-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
Active property checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 207-216, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
security, software testing, symbolic execution |
33 | Artur Czumaj, Christian Sohler |
Abstract Combinatorial Programs and Efficient Property Testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 43rd Symposium on Foundations of Computer Science (FOCS 2002), 16-19 November 2002, Vancouver, BC, Canada, Proceedings, pp. 83-92, 2002, IEEE Computer Society, 0-7695-1822-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | James Cummings 0001 |
Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139-157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279-290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553-562. - Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934-946. - Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483-496. - Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 (2014), pp. 429-459. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 21(2), pp. 188-192, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Holger M. Kienle, Daniel M. Germán, Scott R. Tilley, Hausi A. Müller |
Intellectual property aspects of web publishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of the 22nd Annual International Conference on Design of Communication: The Engineering of Quality Documentation, SIGDOC 2004, Memphis, Tennessee, USA, October 10-13, 2004, pp. 136-144, 2004, ACM, 1-58113-809-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
link law, world wide web, hypermedia, intellectual property, copyright, patents, trademarks, open content |
32 | Martin F. van Bommel, Grant E. Weddell |
Reasoning About Equations and Functional Dependencies on Complex Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 455-469, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
complex object types, property value path, property paths, property value navigation, directed labeled graph, equational constraint, stratification condition, data structures, query processing, database management systems, query languages, query language, query languages, object-oriented databases, directed graphs, reasoning, database theory, functional dependencies, decision procedures, conjunctive queries, undecidable, complex objects, semantic data models, object-oriented data models, equations, constraint theory, constraint theory, constraint language |
30 | Christian Glaßer, Christian Reitwießner, Victor L. Selivanov |
The Shrinking Property for NP and coNP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 210-220, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Artur Czumaj, Christian Sohler |
Property Testing with Geometric Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2001, 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings, pp. 266-277, 2001, Springer, 3-540-42493-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Noga Alon, Eldar Fischer, Ilan Newman, Asaf Shapira |
A combinatorial characterization of the testable graph properties: it's all about regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, May 21-23, 2006, pp. 251-260, 2006, ACM, 1-59593-134-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
characterization, property testing, regularity lemma |
30 | Eldar Fischer, Ilan Newman |
Testing of matrix properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pp. 286-295, 2001, ACM, 1-58113-349-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
matrix properties, property testing |
30 | Gordon Fraser 0001, Franz Wotawa |
Using model-checkers to generate and analyze property relevant test-cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 16(2), pp. 161-183, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Property relevance, Test-suite analysis, Model-checker based testing, Software testing, Requirements traceability |
30 | Nitin Aggarwal, Eric A. Walden |
The problem of distributed intellectual property bundles: a transaction cost perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 9th International Conference on Electronic Commerce: The Wireless World of Electronic Commerce, 2007, University of Minnesota, Minneapolis, MN, USA, August 19-22, 2007, pp. 215-224, 2007, ACM, 978-1-59593-700-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
coordination, intellectual property rights, bundles, transaction cost economics |
30 | Gordon Fraser 0001, Franz Wotawa |
Property relevant software testing with model-checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(6), pp. 1-10, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model-checker based testing, property relevance, test-suite analysis, software testing, requirements traceability |
30 | Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel |
Fast falsification based on symbolic bounded property checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 1077-1082, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fast falsification, guiding, property checking |
30 | Oded Goldreich 0001, Dana Ron |
Property Testing in Bounded Degree Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 32(2), pp. 302-343, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Approximation algorithms, Randomized algorithms, Graph algorithms, Property testing |
30 | Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi |
Property-Specific Testbench Generation for Guided Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 524-, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
guided simulation, intelligent testbench generation, witness graph, property-specific testbench, approximate model checking, symbolic model checking, iterative refinement |
30 | Tsern-Huei Lee, Jin-Jye Chou |
Testing the Dynamic Full Access Property of a Class of Multistage Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(11), pp. 1206-1210, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
dynamic full access property, multistage interconnectionnetworks, faulty banyan networ, multiprocessor system reconfiguration, test procedure, faulty switching elements, fault tolerant computing, probability, multiprocessor interconnection networks, reconfigurable architectures, computer testing, network decomposition |
30 | Daryl McCullough |
A Hookup Theorem for Multilevel Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 563-568, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
user inferences, hookup theorem, trusted multilevel systems, hookup property, secure restrictive composite system, software engineering, security policy, security of data, multilevel security, inference control, composable, security property, restrictiveness, sensitive information |
29 | Ha-Thanh Le, Deepak Subramanian, Wen-Jing Hsu, Peter Kok Keong Loh |
Scoring Web-Based Vulnerability Impact Using Property-Based Vulnerability Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2010, Perth, Australia, 20-13 April 2010, pp. 431-436, 2010, IEEE Computer Society, 978-0-7695-4019-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Web application vulnerability, vulnerable property relationship graph (VPRG), vulnerable property relationship matrix (VPRM), vulnerability impact score |
29 | SungHee Jeon, JoonGoo Park |
A RFID Reader Configuration with an Enhanced Recognition Property for Indoor Positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 166-169, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
recognition property, recognition property, localization, RFID, indoor positioning |
29 | Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li |
A Formal Syntax for Probabilistic Timed Property Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 500-504, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Property Sequence Chart, Probabilistic and Timed Property Sequence Chart, Probabilistic Properties |
28 | Joan Feigenbaum, Sampath Kannan, Martin Strauss 0001, Mahesh Viswanathan 0001 |
Testing and Spot-Checking of Data Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 34(1), pp. 67-80, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Tali Kaufman, Madhu Sudan 0001 |
Algebraic property testing: the role of invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 403-412, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
error-correcting codes, locally testable codes, sublinear time algorithms |
28 | Mary Cryan, Allan Ramsay |
Constructing a Normal Form for Property Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 237-251, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Guo-Huang Hsu, Jimmy J. M. Tan |
A Local Diagnosability Measure for Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(5), pp. 598-607, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
local diagnosability, strong local diagnosability property, PMC model |
27 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Use Case Maps as a property specification language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(2), pp. 205-220, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification |
27 | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
Unifying type checking and property checking for low-level code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 302-314, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
assertion checking, low-level code, decision procedure, type checking, smt solver, property checking |
27 | Sim-Hui Tee |
Inclusion of Property Profile in the Production Rule Pattern for Visualization Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVIC ![In: Visual Informatics: Bridging Research and Practice, First International Visual Informatics Conference, IVIC 2009, Kuala Lumpur, Malaysia, November 11-13, 2009, Proceedings, pp. 708-714, 2009, Springer, 978-3-642-05035-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Property profile, production rule pattern, visualization software design, overridden methods, information visualization |
27 | André Inácio Reis, Roner G. Fabris |
What about the IP of your IP?: an introduction to intellectual property law for engineers and scientists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 3, 2009, 2009, ACM, 978-1-60558-705-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
EPO, INPI, PCT, USPTO, intellectual property law, patent agent, patent reading, patent strategy, patent writing |
27 | Jiangshuai Huang, Yongji Wang 0001, Jian Huang 0001 |
The Separation Property Enhancement of Liquid State Machine by Particle Swarm Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (3) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part III, pp. 67-76, 2009, Springer, 978-3-642-01512-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Liquid state machine, Separation property, Particle swarm optimization |
27 | Jianyong Huang, Jennifer Seberry, Willy Susilo |
A Five-Round Algebraic Property of the Advanced Encryption Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings, pp. 316-330, 2008, Springer, 978-3-540-85884-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
A Five-Round Algebraic Property of the AES, Algorithm ?, Variants of Algorithm ?, ?AES, AES, Linear Equations |
27 | Itai Benjamini, Oded Schramm, Asaf Shapira |
Every minor-closed property of sparse graphs is testable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 393-402, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
minor closed properties, graph algorithms, property testing |
27 | Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont |
Probabilistic abstraction for model checking: An approach based on property testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(4), pp. 20, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification |
27 | Yisong Wang, Mingyi Zhang 0002, Yu-Ping Shen |
Consistency Property of Finite FC-Normal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(4), pp. 554-561, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
consistency property, FC-normality, artificial intelligence, logic programs, stable model |
27 | Ganesh P. Sahu, M. P. Gupta 0001, Vindhyesh N. Gupta |
e-enablement of property registration: a comparative study of select Indian cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEGOV ![In: Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, ICEGOV 2007, Macao, China, December 10-13, 2007, pp. 305-312, 2007, ACM, 978-1-59593-822-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
property registration, e-government, ICT |
27 | Larisa Maksimova |
Projective Beth Property in Extensions of Grzegorczyk Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 83(1-3), pp. 365-391, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
projective Beth's property, epimorphisms surjectivity, modal logic, decidability, intuitionistic logic |
27 | Diederik Aerts, Eva Colebunders, A. Van der Voorde, B. Van Steirteghem |
On the Amnestic Modification of the Category of State Property Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(5), pp. 469-480, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
closure space, state property system, amnestic modification |
27 | Thomas Firley, Ursula Goltz |
Property Dependent Abstraction of Control Structure for Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 511-530, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
property oriented abstraction, algorithmic construction of abstract semantics, software verification |
27 | Shiuh-Jeng Wang, Kai-Sheng Yang |
Watermark Embedding Mechanism Using Modulus-Based for Intellectual Property Protection on Image Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 333-342, 2002, Springer, 3-540-44137-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Intellectual property protection, JPEG compression, watermark embedding |
27 | Hiromi Hiraishi |
Verification of deadlock free property of high level robot control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 198-203, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties |
Displaying result #1 - #100 of 20827 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|