The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for predicate with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1939-1965 (16) 1966-1970 (15) 1971-1973 (18) 1974-1975 (15) 1976 (16) 1977-1978 (26) 1979 (16) 1980 (19) 1981-1982 (26) 1983 (19) 1984 (27) 1985 (37) 1986 (18) 1987 (27) 1988 (34) 1989 (53) 1990 (67) 1991 (50) 1992 (55) 1993 (65) 1994 (80) 1995 (64) 1996 (68) 1997 (48) 1998 (79) 1999 (96) 2000 (90) 2001 (94) 2002 (114) 2003 (150) 2004 (163) 2005 (190) 2006 (202) 2007 (204) 2008 (189) 2009 (170) 2010 (92) 2011 (57) 2012 (71) 2013 (63) 2014 (55) 2015 (76) 2016 (68) 2017 (85) 2018 (71) 2019 (68) 2020 (67) 2021 (50) 2022 (62) 2023 (65) 2024 (18)
Publication types (Num. hits)
article(1109) book(4) incollection(37) inproceedings(2416) phdthesis(22)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2488 occurrences of 1369 keywords

Results
Found 3588 publication records. Showing 3588 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
94Reasey Praing, Markus Schneider 0001 Efficient Implementation Techniques for Topological Predicates on Complex Spatial Objects. Search on Bibsonomy GeoInformatica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complex spatial object, predicate verification, predicate determination, topological feature vector, exploration phase, evaluation phase, nine-intersection matrix characterization, matrix thinning, minimum cost decision tree, spatial database, topological predicate
93Juergen Rilling, Hon Fung Li, Dhrubajyoti Goswami Predicate-Based Dynamic Slicing of Message Passing Programs. Search on Bibsonomy SCAM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF predicate slice, predicate trace, message passing, program comprehension, Program slicing
89Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier Local and Temporal Predicates In Distributed Systems. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF knowledge predicate, local predicate, temporal predicate, distributed computation, observation, predicate, predicate transformer
86Todd D. Millstein, Christopher Frost 0001, Jason Ryder, Alessandro Warth Expressive and modular predicate dispatch for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic dispatch, Predicate dispatch, modular typechecking
86Todd D. Millstein Practical predicate dispatch. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic dispatch, predicate dispatch, modular typechecking
80Neeraj Mittal, Alper Sen 0001, Vijay K. Garg Solving Computation Slicing Using Predicate Detection. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF program trace analysis, computation slicing, testing and debugging, predicate detection
74Ribao Wei, Dingfeng Ye Delegate predicate encryption and its application to anonymous authentication. Search on Bibsonomy AsiaCCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF predicate encryption, anonymous authentication
74Emily Shen, Elaine Shi, Brent Waters Predicate Privacy in Encryption Systems. Search on Bibsonomy TCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
68Yun-Hong Lee, Albert Mo Kim Cheng Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF real-time rule-based expert system, EQL, response time upper bound, predicate dependency list, optimization, timing analysis
68Amir Pnueli Ranking Abstraction as a Companion to Predicate Abstraction, . Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
62Neeraj Mittal, Vijay K. Garg Techniques and applications of computation slicing. Search on Bibsonomy Distributed Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF analyzing distributed computation, predicate control, global property evaluation, software fault tolerance, testing and debugging, predicate detection
62Andreas Podelski, Andrey Rybalchenko Transition predicate abstraction and fair termination. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fair termination, transition predicate abstraction, liveness, Software model checking
62Shay Artzi, Michael D. Ernst Using predicate fields in a highly flexible industrial control system. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF experimental control system, predicate fields, structure, classifiers, predicates, user interface development
62Andreas Podelski, Andrey Rybalchenko Transition predicate abstraction and fair termination. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fair termination, transition predicate abstraction, liveness, software model checking
61Thanaa M. Ghanem, Walid G. Aref, Ahmed K. Elmagarmid Exploiting predicate-window semantics over data streams. Search on Bibsonomy SIGMOD Rec. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
61Thanaa M. Ghanem Supporting Predicate-Window Queries in Data Stream Management Systems. Search on Bibsonomy ICDE Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
61Felix C. Gärtner, Stefan Pleisch (Im)Possibilities of Predicate Detection in Crash-Affected Systems. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
61Lex Bijlsma 0001, Rob Nederpelt Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
61Craig Chambers Predicate Classes. Search on Bibsonomy ECOOP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
56Chunbo Chu, Monica Brockmeyer Predicate Detection Modality and Semantics in Three Partially Synchronous Models. Search on Bibsonomy ACIS-ICIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Semantics, Observability, Modality, Partial synchrony, Predicate detection
56Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001 Locating faults through automated predicate switching. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF predicate switching, automated debugging, dynamic slicing
56Kuo-Chung Tai Theory of Fault-Based Predicate Testing for Computer Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF predicate testing, boolean operator faults, relational operator faults, off-by-$epsilon$ faults, Software testing, fault-based testing
55Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF message passing, program comprehension, concurrent program, program slicing
55Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi Generalized Predicate Completion. Search on Bibsonomy KBCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
55Yun-Hong Lee, Albert Mo Kim Cheng Optimizing Real-Time Equational Rule-Based Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF EQL language, real-time rule-based systems, graphs, runtime optimization
55Patrick Cousot, Radhia Cousot Systematic Design of Program Analysis Frameworks. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
50Joseph M. Hellerstein Optimization Techniques for Queries with Expensive Methods. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF expensive methods, predicate migration, predicate placement, query optimization, extensibility, object-relational databases
50Weihaw Chuang, Brad Calder Predicate prediction for efficient out-of-order execution. Search on Bibsonomy ICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF predicate prediction, predicated execution
50Xudong He, Weili Yao Translating hierarchical predicate transition nets to CC++ program skeletons. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF hierarchical predicate transition net translation, CC++ program skeletons, overall translation architecture, translation rules, transformational software development methodology, Petri nets, semantics, syntax, concurrent object-oriented programming
50Patrick Coscas, Gilles Fouquier, Agnes Lanusse Modelling actor programs using Predicate/Transition nets. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets
50Carlo Blundo, Vincenzo Iovino, Giuseppe Persiano Private-Key Hidden Vector Encryption with Key Confidentiality. Search on Bibsonomy CANS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF private-key predicate encryption, key confidentiality
50Alper Sen 0001, Vijay K. Garg Detecting Temporal Logic Predicates on the Happened-Before Model. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed systems, model checking, temporal logic, CTL, predicate detection
50Hanxiong Chen, Toshiro Ohno, Nobuo Ohbo Processing Queries with Expensive Predicates by Filtering. Search on Bibsonomy COMPSAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Expensive predicate, Query processing, Filtering
50Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal Efficient Distributed Detection of Conjunctions of Local Predicates. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF on-the-fly global predicate detection, Distributed systems
49Shuvendu K. Lahiri, Randal E. Bryant Indexed Predicate Discovery for Unbounded System Verification. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Mikhail Smelyanskiy, Scott A. Mahlke, Edward S. Davidson Probabilistic Predicate-Aware Modulo Scheduling. Search on Bibsonomy CGO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Beth Simon, Brad Calder, Jeanne Ferrante Incorporating Predicate Information into Branch Predictors. Search on Bibsonomy HPCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang SAT Based Predicate Abstraction for Hardware Verification. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
49Hans Jürgen Ohlbach SCAN - Elimination of Predicate Quantifiers. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
49Neeraj Mittal, Alper Sen 0001, Vijay K. Garg, Ranganath Atreya Finding Satisfying Global States: All for One and One for All. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Craig M. Chase, Vijay K. Garg Efficient Detection of Restricted Classes of Global Predicates. Search on Bibsonomy WDAG The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
45Markus Schneider 0001, Thomas Behr Topological relationships between complex spatial objects. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 9-intersection model, complex spatial data type, proof-by-constraint-and-drawing, topological cluster predicate, topological constraint rule, topological predicate group, Topological predicate
44Guy Dumais, Hon Fung Li Distributed Predicate Detection in Series-Parallel Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF state lattice, concurrent interval, series-parallel structure, separable predicate, distributed computation, predicate detection, communication graph
44Xudong He A method for analyzing properties of hierarchical predicate transition nets. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
44David Lorge Parnas Predicate Logic for Software Engineering. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF logical expressions, predicate expressions, software engineering, software engineering, formal logic, software documentation, predicate logic, tabular expressions, partial functions
44Senlin Liang, Michael Kifer Deriving predicate statistics in datalog. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF argument dependency, derived predicate statistics, query optimization, cost estimate
44Rajeev Alur, Thao Dang 0001, Franjo Ivancic Predicate abstraction for reachability analysis of hybrid systems. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid systems, Reachability analysis, predicate abstraction
44Jie Zuo, Changjie Tang, Tianqing Zhang Mining Predicate Association Rule by Gene Expression Programming. Search on Bibsonomy WAIM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Predicate association rule, Fitness, Gene expression programming, Chromosome
44Ralph-Johan Back, Joakim von Wright Predicate Transformers and Higher Order Logic. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
44Markus Lindquist Parameterized Reachability Trees for Predicate/Transition Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Petri nets, reachability analysis, Predicate/Transition nets, high level nets
43Zhenwei Wang, Hui Li Manufacturing-Oriented Discrete Process Modeling Approach Using the Predicate Logic. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Songtao Xia, Ben Di Vito, César A. Muñoz Predicate Abstraction of Programs with Non-linear Computation. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Harald Fecher, Michael Huth 0001 Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Ittai Balaban, Amir Pnueli, Lenore D. Zuck Ranking Abstraction as Companion to Predicate Abstraction. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani Automatic Predicate Abstraction of C Programs. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF C
43Michael D. Ernst, Craig S. Kaplan, Craig Chambers Predicate Dispatching: A Unified Theory of Dispatch. Search on Bibsonomy ECOOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
43Irene Stahl On the Utility of Predicate Invention in Inductive Logic Programming. Search on Bibsonomy ECML The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
38Loon-Been Chen, I-Chen Wu An Efficient Distributed Online Algorithm to Detect Strong Conjunctive Predicates. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Conjunctive predicate, distributed system, distributed debugging, global predicate detection
38Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa Automated Test Data Generation Using an Iterative Relaxation Method. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF dynamic test data generation, input dependency set, predicate residuals, predicate sliccs, path testing, relaxation methods
38Ernst Zimmermann Predicate Logical Extensions of some Subintuitionistic Logics. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF (sub)intuitionistic logic, predicate logic, Kripke semantics
38Alain-Pierre Manine Learning the ontological theory of an information extraction system in the multi-predicate ILP setting. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF genic interactions, multiple predicate learning, ontology, information extraction, inductive logic programming
38Dong Su, Kewei Lv A New Hard-Core Predicate of Paillier's Trapdoor Function. Search on Bibsonomy INDOCRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Paillier’s trapdoor function, Hard-core Predicate, Most significant bit
38Shuvendu K. Lahiri, Randal E. Bryant Predicate abstraction with indexed predicates. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
38Deborah East, Miroslaw Truszczynski Predicate-calculus-based logics for modeling and solving search problems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
38Franco Montagna On the predicate logics of continuous t-norm BL-algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Predicate many-valued logics, T-norm semantics, Complexity
38Raymond T. Boute Functional declarative language design and predicate calculus: a practical approach. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
38Thomas Ball, Todd D. Millstein, Sriram K. Rajamani Polymorphic predicate abstraction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF polymorphism, Software model checking, predicate abstraction
38Yaomin Fu, Peter Bodorik, Dawn N. Jutla A Self-Managed Predicate-Based Cache. Search on Bibsonomy CNSR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Predicate Cache, Cache Evaluation, Distributed Systems, Storage Management
38Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke Word level predicate abstraction and refinement for verifying RTL verilog. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SAT, predicate abstraction, verilog
38Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer Structural search for RTL with predicate learning. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF learning, satisfiability, interval arithmetic, predicate abstraction
38Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav Predicate Abstraction of ANSI-C Programs Using SAT. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ANSI-C, SAT, predicate abstraction
38Dmitrij P. Skvortsov On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Intermediate predicate logics, recursive and finite axiomatizability, Kripke semantics
38Mikhail Smelyanskiy, Scott A. Mahlke, Edward S. Davidson, Hsien-Hsin S. Lee Predicate-Aware Scheduling: A Technique for Reducing Resource Constraints. Search on Bibsonomy CGO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF predicate analysis, software pipelining, instruction scheduling, VLIW processor, resource utilization, predicated execution
38Francis Alexandre, Khaled Bsaïes, Moussa Demba Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. Search on Bibsonomy LOPSTR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Corrective predicate, implicative formulas, folding/unfolding rules, theorem proving, program synthesis, abduction
38Ivan Kramosil Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF First-order predicate calculus, Standard semantics, Boolean-like semantics, Frequentistic semantics, Completeness theorems
38J. Bradley An Extended Owner-Coupled Set Data Model and Predicate Calculus for Database Management. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Codasyl DBTG, DSL AlPHA, connection field, extended Bachman diagram, extended owner-coupled set data model, extended owner-coupled set predicate calculus, information bearing set name, owner-coupled set, static set, virtual set, functional dependency, dynamic set
37Olivier Devillers, Marc Glisse, Sylvain Lazard Predicates for line transversals to lines and line segments in three-dimensional space. Search on Bibsonomy SCG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimality, polynomial, predicate, line transversal
37Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav Efficient Verification of Sequential and Concurrent C Programs. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
37Neeraj Mittal, Vijay K. Garg Software Fault Tolerance of Distributed Programs Using Computation Slicing. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF pruning search-space, software-fault tolerance, testing and debugging, predicate detection, partial-order methods
37Satyaki Das, David L. Dill Counter-Example Based Predicate Discovery in Predicate Abstraction. Search on Bibsonomy FMCAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Joe Hurd Predicate Subtyping with Predicate Sets. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Jonathan Katz, Arkady Yerukhimovich On Black-Box Constructions of Predicate Encryption from Trapdoor Permutations. Search on Bibsonomy ASIACRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Shuvendu K. Lahiri, Shaz Qadeer Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Hongtao Huang Detection of Disjunctive Normal Form Predicate in Distributed Systems. Search on Bibsonomy ICDCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Jonathan Katz, Amit Sahai, Brent Waters Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products. Search on Bibsonomy EUROCRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Eun-Young Kang 0001, Stephan Merz Predicate diagrams for the verification of real-time systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Daniel Kroening, Natasha Sharygina Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Jan Rauch Definability of Association Rules in Predicate Calculus. Search on Bibsonomy Foundations and Novel Approaches in Data Mining The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001 Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Tuangthong Wattarujeekrit, Nigel Collier Exploring Predicate-Argument Relations for Named Entity Recognition in the Molecular Biology Domain. Search on Bibsonomy Discovery Science The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37David W. Binkley, Mark Harman Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software maintenance, program comprehension, program slicing, Dependence analysis
37Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Li Shen 0007, Zhiying Wang 0003, Jianzhuang Lu Predicate Analysis Based on Path Information. Search on Bibsonomy APPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu The Availability Semantics of Predicate Data Flow Diagram. Search on Bibsonomy GCC (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Xudong He A Formal Definition of Hierarchical Predicate Transition Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Harman van den Berg Existential Graphs and Dynamic Predicate Logic. Search on Bibsonomy ICCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Weidong Chen 0005, David Scott Warren Compilation of Predicate Abstractions in Higher-Order Logic Programming. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
37Harry B. Hunt III, Daniel J. Rosenkrantz The Complexity of Testing Predicate Locks. Search on Bibsonomy SIGMOD Conference The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
37Ken Kaneiwa, Philip H. P. Nguyen Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. Search on Bibsonomy ISWC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3588 (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