The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase cs-property (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1940-1965 (15) 1966-1968 (15) 1969-1972 (20) 1973-1974 (24) 1975-1976 (22) 1977-1978 (26) 1979 (24) 1980 (24) 1981 (48) 1982 (28) 1983 (22) 1984 (41) 1985 (44) 1986 (44) 1987 (64) 1988 (96) 1989 (75) 1990 (100) 1991 (124) 1992 (144) 1993 (162) 1994 (187) 1995 (237) 1996 (252) 1997 (273) 1998 (311) 1999 (466) 2000 (548) 2001 (627) 2002 (742) 2003 (908) 2004 (1166) 2005 (1389) 2006 (1666) 2007 (1702) 2008 (1769) 2009 (1234) 2010 (483) 2011 (356) 2012 (305) 2013 (343) 2014 (359) 2015 (348) 2016 (361) 2017 (385) 2018 (422) 2019 (474) 2020 (477) 2021 (511) 2022 (576) 2023 (629) 2024 (159)
Publication types (Num. hits)
article(7986) book(6) data(1) incollection(141) inproceedings(12599) phdthesis(90) proceedings(4)
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
60Mark Levene, George Loizou Database Design for Incomplete Relations. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 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
50Robert L. Sedlmeyer, Marc J. Lipman Property computation in Grapple (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
43Richard O. Mason Intellectual Property and Open Systems. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Proprietary Property, Closed Source, Public Property, Open Source, Intellectual Property
42Oded Goldreich 0001 On the Communication Complexity Methodology for Proving Lower Bounds on the Query Complexity of Property Testing. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Oded Goldreich 0001 On the Effect of the Proximity Parameter on Property Testers. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
42Oded Goldreich 0001, Michael Krivelevich, Ilan Newman, Eyal Rozenberg Hierarchy Theorems for Property Testing. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Michael E. Saks, C. Seshadhri 0001 Local Property Reconstruction and Monotonicity. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Madhu Sudan 0001 Invariance in Property Testing. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Ido 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 Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Ilan Newman Property Testing of Massively Parametrized Problems - A Survey. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Oded Goldreich 0001, Dana Ron Algorithmic Aspects of Property Testing in the Dense Graphs Model. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Oded Goldreich 0001 A Brief Introduction to Property Testing. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Thomas A. Henzinger From Boolean to quantitative notions of correctness. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF quantitative specification, quantitative synthesis, quantitative analysis
40Oded Goldreich 0001, Shafi Goldwasser, Dana Ron Property Testing and Its Connection to Learning and Approximation. Search on Bibsonomy FOCS The full citation details ... 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
38Patrick S. Chen, Cheng-Yu Hung, Chiao-Hsin Ko, Ying-Chieh Chen Preservation of Evidence in Case of Online Gaming Crime. Search on Bibsonomy ISI Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF virtual property, Virtual Property Description Language, online gaming, digital evidence
38Howard B. Rockman, Vladimir Khodosh The software engineer and the development, management and use of intellectual property. Search on Bibsonomy ICSE The full citation details ... 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
35Noga Alon, Asaf Shapira Every monotone graph property is testable. Search on Bibsonomy STOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF monotone properties, property testing, regularity lemma
35Ulrich Kühn 0001, Marcel Selhorst, Christian Stüble Realizing property-based attestation and sealing with commonly available hard- and software. Search on Bibsonomy STC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF property-based attestation, property-based sealing, trusted computing
34Oded Goldreich 0001 Flexible Models for Testing Graph Properties. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 On (Valiant's) Polynomial-Size Monotone Formula for Majority. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 Deconstructing 1-Local Expanders. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001, Guy N. Rothblum Constant-Round Interactive Proof Systems for AC0[2] and NC1. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001, Dana Ron On the Relation Between the Relative Earth Mover Distance and the Variation Distance (an Exposition). Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001, Liav Teichner Super-Perfect Zero-Knowledge Proofs. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Roei Tell A Note on Tolerant Testing with One-Sided Error. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001, Maya Leshkowitz On Emulating Interactive Proofs with Public Coins. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 On the Optimal Analysis of the Collision Probability Tester (an Exposition). Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001, Avi Wigderson On the Size of Depth-Three Boolean Circuits for Computing Multilinear Functions. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 The Uniform Distribution Is Complete with Respect to Testing Identity to a Fixed Distribution. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Scott E. Decatur, Oded Goldreich 0001, Dana Ron A Probabilistic Error-Correcting Scheme that Provides Partial Secrecy. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001, Guy N. Rothblum Worst-Case to Average-Case Reductions for Subclasses of P. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001, Or Meir Bridging a Small Gap in the Gap Amplification of Assignment Testers. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 On Constructing Expanders for Any Number of Vertices. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 Two Comments on Targeted Canonical Derandomizers. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 Reducing Testing Affine Spaces to Testing Linearity of Functions. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001, Avishay Tal On Constant-Depth Canonical Boolean Circuits for Computing Multilinear Functions. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Itai Benjamini, Oded Goldreich 0001 Pseudo-mixing Time of Random Walks. Search on Bibsonomy Computational Complexity and Property Testing The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 (eds.) Property Testing - Current Research and Surveys Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 Short Locally Testable Codes and Proofs: A Survey in Two Parts. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Krzysztof Onak, Ronitt Rubinfeld Dynamic Approximate Vertex Cover and Maximum Matching. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Eric Blais Testing Juntas: A Brief Survey. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Arnab Bhattacharyya 0001, Swastik Kopparty, Grant Schoenebeck, Madhu Sudan 0001, David Zuckerman Optimal Testing of Reed-Muller Codes. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Alexandr Andoni, Piotr Indyk, Krzysztof Onak, Ronitt Rubinfeld Sublinear Algorithms in the External Memory Model. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Noga Alon On Constant Time Approximation of Parameters of Bounded Degree Graphs. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Tali Kaufman, Avi Wigderson Symmetric LDPC Codes and Local Testing. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 Introduction to Testing Graph Properties. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Asaf Shapira Green's Conjecture and Testing Linear Invariant Properties. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Swastik Kopparty, Shubhangi Saraf Some Recent Results on Local Testing of Sparse Linear Codes. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Eli Ben-Sasson Limitation on the Rate of Families of Locally Testable Codes. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Michal Adamaszek, Artur Czumaj, Christian Sohler Testing Monotone Continuous Distributions on High-Dimensional Real Cubes. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Rocco A. Servedio Testing by Implicit Learning: A Brief Survey. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Oded Goldreich 0001 The Program of the Mini-Workshop. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Kevin Matulef, Ryan O'Donnell, Ronitt Rubinfeld, Rocco A. Servedio Testing (Subclasses of) Halfspaces. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Artur Czumaj, Christian Sohler Sublinear-time Algorithms. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Alexandr Andoni, Robert Krauthgamer, Krzysztof Onak Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Sofya Raskhodnikova Transitive-Closure Spanners: A Survey. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Frank Hellweg, Melanie Schmidt 0001, Christian Sohler Testing Euclidean Spanners. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Arnab Bhattacharyya 0001, Victor Chen, Madhu Sudan 0001, Ning Xie 0002 Testing Linear-Invariant Non-linear Properties: A Short Report. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Victor Chen Query-Efficient Dictatorship Testing with Perfect Completeness. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Irit Dinur, Prahladh Harsha Composition of Low-Error 2-Query PCPs Using Decodable PCPs. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Krzysztof Onak Sublinear Graph Approximation Algorithms. Search on Bibsonomy Property Testing The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Patrice Godefroid, Michael Y. Levin, David A. Molnar Active property checking. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, software testing, symbolic execution
33Artur Czumaj, Christian Sohler Abstract Combinatorial Programs and Efficient Property Testers. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33James 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 Bull. Symb. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
33Holger M. Kienle, Daniel M. Germán, Scott R. Tilley, Hausi A. Müller Intellectual property aspects of web publishing. Search on Bibsonomy SIGDOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF link law, world wide web, hypermedia, intellectual property, copyright, patents, trademarks, open content
32Martin F. van Bommel, Grant E. Weddell Reasoning About Equations and Functional Dependencies on Complex Objects. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
30Christian Glaßer, Christian Reitwießner, Victor L. Selivanov The Shrinking Property for NP and coNP. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Artur Czumaj, Christian Sohler Property Testing with Geometric Queries. Search on Bibsonomy ESA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Noga Alon, Eldar Fischer, Ilan Newman, Asaf Shapira A combinatorial characterization of the testable graph properties: it's all about regularity. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF characterization, property testing, regularity lemma
30Eldar Fischer, Ilan Newman Testing of matrix properties. Search on Bibsonomy STOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF matrix properties, property testing
30Gordon Fraser 0001, Franz Wotawa Using model-checkers to generate and analyze property relevant test-cases. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Property relevance, Test-suite analysis, Model-checker based testing, Software testing, Requirements traceability
30Nitin Aggarwal, Eric A. Walden The problem of distributed intellectual property bundles: a transaction cost perspective. Search on Bibsonomy ICEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF coordination, intellectual property rights, bundles, transaction cost economics
30Gordon Fraser 0001, Franz Wotawa Property relevant software testing with model-checkers. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model-checker based testing, property relevance, test-suite analysis, software testing, requirements traceability
30Prakash 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 DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fast falsification, guiding, property checking
30Oded Goldreich 0001, Dana Ron Property Testing in Bounded Degree Graphs. Search on Bibsonomy Algorithmica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Approximation algorithms, Randomized algorithms, Graph algorithms, Property testing
30Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi Property-Specific Testbench Generation for Guided Simulation. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF guided simulation, intelligent testbench generation, witness graph, property-specific testbench, approximate model checking, symbolic model checking, iterative refinement
30Tsern-Huei Lee, Jin-Jye Chou Testing the Dynamic Full Access Property of a Class of Multistage Interconnection Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
30Daryl McCullough A Hookup Theorem for Multilevel Security. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
29Ha-Thanh Le, Deepak Subramanian, Wen-Jing Hsu, Peter Kok Keong Loh Scoring Web-Based Vulnerability Impact Using Property-Based Vulnerability Model. Search on Bibsonomy AINA Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Web application vulnerability, vulnerable property relationship graph (VPRG), vulnerable property relationship matrix (VPRM), vulnerability impact score
29SungHee Jeon, JoonGoo Park A RFID Reader Configuration with an Enhanced Recognition Property for Indoor Positioning. Search on Bibsonomy NCM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recognition property, recognition property, localization, RFID, indoor positioning
29Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li A Formal Syntax for Probabilistic Timed Property Sequence Charts. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Property Sequence Chart, Probabilistic and Timed Property Sequence Chart, Probabilistic Properties
28Joan Feigenbaum, Sampath Kannan, Martin Strauss 0001, Mahesh Viswanathan 0001 Testing and Spot-Checking of Data Streams. Search on Bibsonomy Algorithmica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Tali Kaufman, Madhu Sudan 0001 Algebraic property testing: the role of invariance. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF error-correcting codes, locally testable codes, sublinear time algorithms
28Mary Cryan, Allan Ramsay Constructing a Normal Form for Property Theory. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
27Guo-Huang Hsu, Jimmy J. M. Tan A Local Diagnosability Measure for Multiprocessor Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF local diagnosability, strong local diagnosability property, PMC model
27Jameleddine Hassine, Juergen Rilling, Rachida Dssouli Use Case Maps as a property specification language. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification
27Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer Unifying type checking and property checking for low-level code. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
27Sim-Hui Tee Inclusion of Property Profile in the Production Rule Pattern for Visualization Software Design. Search on Bibsonomy IVIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Property profile, production rule pattern, visualization software design, overridden methods, information visualization
27André 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 SBCCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EPO, INPI, PCT, USPTO, intellectual property law, patent agent, patent reading, patent strategy, patent writing
27Jiangshuai Huang, Yongji Wang 0001, Jian Huang 0001 The Separation Property Enhancement of Liquid State Machine by Particle Swarm Optimization. Search on Bibsonomy ISNN (3) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Liquid state machine, Separation property, Particle swarm optimization
27Jianyong Huang, Jennifer Seberry, Willy Susilo A Five-Round Algebraic Property of the Advanced Encryption Standard. Search on Bibsonomy ISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF A Five-Round Algebraic Property of the AES, Algorithm ?, Variants of Algorithm ?, ?AES, AES, Linear Equations
27Itai Benjamini, Oded Schramm, Asaf Shapira Every minor-closed property of sparse graphs is testable. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF minor closed properties, graph algorithms, property testing
27Sophie 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 ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification
27Yisong Wang, Mingyi Zhang 0002, Yu-Ping Shen Consistency Property of Finite FC-Normal Logic Programs. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF consistency property, FC-normality, artificial intelligence, logic programs, stable model
27Ganesh P. Sahu, M. P. Gupta 0001, Vindhyesh N. Gupta e-enablement of property registration: a comparative study of select Indian cases. Search on Bibsonomy ICEGOV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF property registration, e-government, ICT
27Larisa Maksimova Projective Beth Property in Extensions of Grzegorczyk Logic. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF projective Beth's property, epimorphisms surjectivity, modal logic, decidability, intuitionistic logic
27Diederik Aerts, Eva Colebunders, A. Van der Voorde, B. Van Steirteghem On the Amnestic Modification of the Category of State Property Systems. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF closure space, state property system, amnestic modification
27Thomas Firley, Ursula Goltz Property Dependent Abstraction of Control Structure for Software Verification. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF property oriented abstraction, algorithmic construction of abstract semantics, software verification
27Shiuh-Jeng Wang, Kai-Sheng Yang Watermark Embedding Mechanism Using Modulus-Based for Intellectual Property Protection on Image Data. Search on Bibsonomy EC-Web The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Intellectual property protection, JPEG compression, watermark embedding
27Hiromi Hiraishi Verification of deadlock free property of high level robot control. Search on Bibsonomy Asian Test Symposium The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license