The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1959-1983 (17) 1984-1986 (15) 1987-1988 (23) 1989 (15) 1990 (15) 1991 (20) 1992 (21) 1993 (23) 1994 (30) 1995 (37) 1996 (29) 1997 (42) 1998 (65) 1999 (59) 2000 (75) 2001 (103) 2002 (137) 2003 (135) 2004 (187) 2005 (234) 2006 (258) 2007 (277) 2008 (262) 2009 (231) 2010 (76) 2011 (77) 2012 (84) 2013 (67) 2014 (75) 2015 (93) 2016 (99) 2017 (87) 2018 (84) 2019 (135) 2020 (155) 2021 (163) 2022 (213) 2023 (214) 2024 (46)
Publication types (Num. hits)
article(1213) book(77) data(1) incollection(21) inproceedings(2658) phdthesis(8)
Venues (Conferences, Journals, ...)
CoRR(358) IACR Cryptol. ePrint Arch.(138) CRYPTO(72) ASIACRYPT(66) EUROCRYPT(60) SIGMOD Conference(49) Public Key Cryptography(45) FOCS(38) ACISP(37) ICALP(36) CCC(35) CT-RSA(34) STOC(33) COLT(32) STACS(32) ICDE(31) More (+10 of total 1197)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2360 occurrences of 1141 keywords

Results
Found 3978 publication records. Showing 3978 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
101Atif M. Memon, Ishan Banerjee, Adithya Nagarajan What Test Oracle Should I Use for Effective GUI Testing? Search on Bibsonomy ASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF oracle procedure, oracle information, empirical studies, Test oracles, GUI testing
83Rachid Guerraoui, Michel Raynal The Information Structure of Indulgent Consensus. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF indulgent algorithm, leader oracle, fault tolerance, modularity, consensus, Asynchronous distributed system, random oracle, crash failure, unreliable failure detector, information structure
81Georg Gottlob Collapsing Oracle-Tape Hierarchies. Search on Bibsonomy CCC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF tape, logspace, logarithmic space, machine model, complexity, query, oracle, circuit, Turing machine, generalized quantifier, relativization, bounded queries
63Hoeteck Wee Zero Knowledge in the Random Oracle Model, Revisited. Search on Bibsonomy ASIACRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF sequential composition, zero-knowledge, obfuscation, random oracle model
63Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc Oracle size: a new measure of difficulty for communication tasks. Search on Bibsonomy PODC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF broadcast, oracle, wakeup
63Wim van Dam Quantum Oracle Interrogation: Getting All Information for Almost Half the Price. Search on Bibsonomy FOCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF oracle/black-box model, computational complexity, quantum computation
57Ilaria Venturini Oracle Channels. Search on Bibsonomy Trans. Data Hiding Multim. Secur. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Oracle attacks, Secure watermarking, Information hiding, Covert channels, Information leakage, Subliminal channels, Covert communications
57Ran Canetti, Oded Goldreich 0001, Shai Halevi The random oracle methodology, revisited. Search on Bibsonomy J. ACM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CS-proofs, Correlation intractability, the random-oracle model, cryptography, diagonalization
55Ulf Johansson, Lars Niklasson Evolving decision trees using oracle guides. Search on Bibsonomy CIDM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
55Ahto Buldas, Sven Laur, Margus Niitsoo Oracle Separation in the Non-uniform Model. Search on Bibsonomy ProvSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
55Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. Search on Bibsonomy TIME The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Léa Meyer Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints. Search on Bibsonomy ALT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
51Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi Factor Oracles. Search on Bibsonomy CIAA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF factor oracle, suffix trie, graph quotient, string matching, suffix tree
50B. John Oommen, Jing Chen On Enhancing Query Optimization in the Oracle Database System by Utilizing Attribute Cardinality Maps. Search on Bibsonomy ICEIS (Selected Papers) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Histogram-based Algorithms, Attribute Cardinality Maps, ORACLE DBMS, TPC-H benchmark, Query Optimization
50Ilaria Venturini Oracle Attacks and Covert Channels. Search on Bibsonomy IWDW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Oracle attacks, Watermarking, Covert channels
50Jens Grivolla Using Oracle for natural language document retrieval an automatic query reformulation approach. Search on Bibsonomy SIGIR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF natural language, Oracle, query reformulation
50Taekeon Lee, Jongsung Kim, Changhoon Lee, Jaechul Sung, Sangjin Lee 0002, Dowon Hong Padding Oracle Attacks on Multiple Modes of Operation. Search on Bibsonomy ICISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Padding oracle attacks, Multiple modes of operation, Block ciphers
50Rosario Gennaro, Shai Halevi, Tal Rabin Secure Hash-and-Sign Signatures Without the Random Oracle. Search on Bibsonomy EUROCRYPT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Hash and Sign, Smooth Numbers, Digital Signatures, RSA, Random Oracle, Chameleon Hashing
50Ran Duan, Seth Pettie Connectivity oracles for failure prone graphs. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF connectivity
50Ran Canetti Towards Realizing Random Oracles: Hash Functions That Hide All Partial Information. Search on Bibsonomy CRYPTO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
48Rick Greenwald, Robert Stackowiak, Jonathan Stern Oracle essentials - Oracle database 11g: what you need to know about Oracle database architecture and features: covers Oracle database 11g and earlier releases (4. ed.). Search on Bibsonomy 2007   RDF
46Phil McMinn Search-based failure discovery using testability transformations to generate pseudo-oracles. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle
46Anthony Berglas, John V. Harrison Evaluation of the ITOC information system design recovery tool. Search on Bibsonomy WPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ITOC information system design recovery tool evaluation, legacy information systems, Ingres to Oracle Conversion project, large collaborative research initiative, application structure, static schema definition, Ingres 4GL applications, Oracle CASE tool, simple data mining, real commercial applications, software maintenance, data flow analysis, query analysis
45Alexander May 0001, Maike Ritzenhofen Implicit Factoring: On Polynomial Time Factoring Given Only an Implicit Hint. Search on Bibsonomy Public Key Cryptography The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Factoring with an oracle, lattices
45Patrícia D. L. Machado On Oracles for Interpreting Test Results against Algebraic Specifications. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal verification, correctness, algebraic specification, specification based-testing, oracle
44Akira Numayama, Toshiyuki Isshiki, Keisuke Tanaka Security of Digital Signature Schemes in Weakened Random Oracle Models. Search on Bibsonomy Public Key Cryptography The full citation details ... 2008 DBLP  DOI  BibTeX  RDF digital signature, collision, random oracle model, preimage
44Arnold K. L. Yau, Kenneth G. Paterson, Chris J. Mitchell Padding Oracle Attacks on CBC-Mode Encryption with Secret and Random IVs. Search on Bibsonomy FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF padding oracle, CBC-mode, side channel, ISO standards
44Ilaria Venturini Counteracting Oracle attacks. Search on Bibsonomy MM&Sec The full citation details ... 2004 DBLP  DOI  BibTeX  RDF integrity watermarking, oracle attack, security, covert channel, semi-fragile watermarking
44Kenneth G. Paterson, Arnold K. L. Yau Padding Oracle Attacks on the ISO CBC Mode Encryption Standard. Search on Bibsonomy CT-RSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF padding oracle attack, CBC-mode encryption, ISO standard
44Kothuri Venkata Ravi Kanth, Siva Ravada, Daniel Abugov Quadtree and R-tree indexes in oracle spatial: a comparison using GIS data. Search on Bibsonomy SIGMOD Conference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF ORACLE
44Christer Berg, Staffan Ulfberg A Lower Bound for Perceptrons and an Oracle Separation of the PPPH Hierarchy. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF oracle separation, PP/sup PH/ hierarchy, linear size boolean circuits, superpolynomial size perceptrons, lower bound, Boolean functions, perceptrons
44Andrew Laursen, Jeffrey Olkin, Mark Porter Oracle Media Server: Providing Consumer Based Interactive Access to Multimedia Data. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ORACLE
43Jagan Sankaranarayanan, Hanan Samet Distance Oracles for Spatial Networks. Search on Bibsonomy ICDE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Arvola Chan Transactional Publish / Subscribe: The Proactive Multicast of Database Changes. Search on Bibsonomy SIGMOD Conference The full citation details ... 1998 DBLP  DOI  BibTeX  RDF guaranted delivery, publish.subscribe, subject-based addressing, transactionally guaranteed delivery, multicast, event-driven, reliable delivery
43Sunil Chakkappen, Thierry Cruanes, Benoît Dageville, Linan Jiang, Uri Shaft, Hong Su, Mohamed Zaït Efficient and scalable statistics gathering for large databases in Oracle 11g. Search on Bibsonomy SIGMOD Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF partitioned tables, statistics gathering, sampling, large databases, synopses
43Juan José Rodríguez, Ludmila I. Kuncheva Naïve Bayes Ensembles with a Random Oracle. Search on Bibsonomy MCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Thierry Cruanes, Benoît Dageville, Bhaskar Ghosh Parallel SQL Execution in Oracle 10g. (PDF / PS) Search on Bibsonomy SIGMOD Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Gaoyan Xie, Cheng Li, Zhe Dang Testability of Oracle Automata. Search on Bibsonomy CIAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Carme Àlvarez, José L. Balcázar, Birgit Jenner Functional Oracle Queries as a Measure of Parallel Time. Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
40Mark Aldred, Ilya Gertner, Stephen McKellar A distributed lock manager on fault tolerant MPP. Search on Bibsonomy HICSS (1) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF distributed lock manager, fault tolerant MPP, Oracle Parallel Server, MPP UNIX system, resource locks, distributed message passing, global memory, reflective memory, Encore Infinity 90 architecture, shared memory style DLM, DLM recovery, Oracle session, node repair, MPP Unix, reliability, parallel programming, fault tolerant computing, message passing, Unix, shared memory systems, software fault tolerance, operating systems (computers)
40Daniel Hoffman, Paul A. Strooper Automated Module Testing in Prolog. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs
38Helger Lipmaa, Guilin Wang, Feng Bao 0001 Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Designated verifier signature scheme, non-delegatability, non-programmable random oracle model, signature scheme
38Satoshi Hada, Toshiaki Tanaka A Relationship between One-Wayness and Correlation Intractability. Search on Bibsonomy Public Key Cryptography The full citation details ... 1999 DBLP  DOI  BibTeX  RDF correlation intractability, zero-knowledge, One-way functions, random oracle, interactive proofs, round complexity
38Ning An, Raja Chatterjee, Mike Hörhammer, Siva Ravada Securely implementing open geospatial consortium web service interface standards in oracle spatial. Search on Bibsonomy WWW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ogc web service interface standards, oracle spatial, security, geospatial
38Mohamed Zaït, Allison W. Lee, Khaled Yagoub, Ravi Sahani, Holly Casaletto, Lokesh Kumar Testing on a budget: integrating e-business certification into the Oracle DBMS testing. Search on Bibsonomy DBTest The full citation details ... 2009 DBLP  DOI  BibTeX  RDF test, SQL, query optimizer, DBMS, workload, Oracle
38Kazuki Yoneyama, Satoshi Miyagawa, Kazuo Ohta Leaky Random Oracle (Extended Abstract). Search on Bibsonomy ProvSec The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hash list, provable security, leakage, standard model, random oracle model
38Roy Friedman, Achour Mostéfaoui, Michel Raynal Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. Search on Bibsonomy SRDS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Fault tolerance, Distributed algorithm, Asynchronous distributed system, Random oracle, Unreliable failure detector, Randomized protocol, Byzantine process
38George C. Necula, Shree Prakash Rahul Oracle-based checking of untrusted software. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ORACLE
38Tirthankar Lahiri, Amit Ganesh, Ron Weiss, Ashok Joshi Fast-Start: Quick Fault Recovery in Oracle. Search on Bibsonomy SIGMOD Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ORACLE
38Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou Fault-Based Testing in the Absence of an Oracle. Search on Bibsonomy COMPSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF symbolic execution, Fault-based testing, metamorphic testing, oracle problem
38Stephen Deerhake AP 527: an ORACLE SQL - APL2/PC Auxiliary Processor. Search on Bibsonomy APL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF APL, SQL, ORACLE
37Pinar Donmez, Jaime G. Carbonell Proactive learning: cost-sensitive active learning with multiple imperfect oracles. Search on Bibsonomy CIKM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cost-sensitive active learning, multiple oracles, decision theory
37Dominique Unruh Random Oracles and Auxiliary Input. Search on Bibsonomy CRYPTO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF auxiliary input, proof techniques, Random oracles, foundations
37Hans Ulrich Simon How Many Missing Answers Can Be Tolerated by Query Learners? Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Craig Gentry, Zulfikar Ramzan Eliminating Random Permutation Oracles in the Even-Mansour Cipher. Search on Bibsonomy ASIACRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Johannes Köbler, Wolfgang Lindner 0002 The Complexity of Learning Concept Classes with Polynomial General Dimension. Search on Bibsonomy ALT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Hans Ulrich Simon How Many Missing Answers Can Be Tolerated by Query Learners? Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Atif M. Memon, Martha E. Pollack, Mary Lou Soffa Automated test oracles for GUIs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF GUI test oracles, automated oracles, GUI testing
37Aaron Bernstein, David R. Karger A nearly optimal oracle for avoiding failed vertices and edges. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF shortest paths, sensitivity
37Jaeyeon Jung, Anmol Sheth, Ben Greenstein, David Wetherall, Gabriel Maganis, Tadayoshi Kohno Privacy oracle: a system for finding application leaks with black box differential testing. Search on Bibsonomy CCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data loss prevention, differential fuzz testing, personal information leaks, sequence alignment algorithm, black-box testing
37Kenneth G. Paterson, Gaven J. Watson Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment. Search on Bibsonomy SCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Jan Vondrák Optimal approximation for the submodular welfare problem in the value oracle model. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF combinatorial auctions, matroids, submodular functions
37Jean-Sébastien Coron, Jacques Patarin, Yannick Seurin The Random Oracle Model and the Ideal Cipher Model Are Equivalent. Search on Bibsonomy CRYPTO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Mao Ye, Boqin Feng, Li Zhu, Yao Lin Automated Test Oracle Based on Neural Networks. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Yevgeniy Dodis, Prashant Puniya On the Relation Between the Ideal Cipher and the Random Oracle Models. Search on Bibsonomy TCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Mao Ye, Boqin Feng, Li Zhu, Yao Lin Neural Networks Based Automated Test Oracle for Software Testing. Search on Bibsonomy ICONIP (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Rakesh Shukla, David A. Carrington, Paul A. Strooper A Passive Test Oracle Using a Component's API. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Masahiro Mambo, Kouichi Sakurai, Eiji Okamoto How to Utilize the Transformability of Digital Signatures for Solving the Oracle Problem. Search on Bibsonomy ASIACRYPT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Dennis K. Peters, David Lorge Parnas Generating a Test Oracle from Program Documentation (Work in Progress). Search on Bibsonomy ISSTA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF C++
37Andrew Holman The MEIKO Computing Surface: A Parallel & Scalable Open Systems Platform for Oracle. Search on Bibsonomy BNCOD The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
37Ueli M. Maurer Factoring with an Oracle. Search on Bibsonomy EUROCRYPT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
37Iain A. Stewart Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines. Search on Bibsonomy CSL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
37Bernhard Korte, Rainer Schrader A Survey on Oracle Techniques. Search on Bibsonomy MFCS The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
36Steven Feuerstein, Bill Pribyl, Chip Dawes Oracle PL/SQL language - pocket reference: a guide to Oracle PL/SQL language fundamentals: covers Oracle database 11g (4. ed.). Search on Bibsonomy 2008   RDF
36Rick Greenwald, Robert Stackowiak, Jonathan Stern Oracle essentials - Oracle database 10g: what you need to know about Oracle database architecture and features: includes Oracle9i and Oracle8i (3. ed.). Search on Bibsonomy 2004   RDF
36Sanjay Mishra, Alan Beaulieu Mastering Oracle SQL - putting Oracle SQL to work: covers Oracle database 10g (2. ed). Search on Bibsonomy 2004   RDF
36Steven Feuerstein, Bill Pribyl, Chip Dawes Oracle PL / SQL language - pocket reference: a guide to Oracle's PL / SQL language fundamentals: covers Oracle Database 10g (3. ed.). Search on Bibsonomy 2004   RDF
36David C. Kreines Oracle initialization parameters - pocket reference: Oracle configuration quick reference: includes Oracle database 10g. Search on Bibsonomy 2004   RDF
36Rick Greenwald, Robert Stackowiak, Jonathan Stern Oracle essentials - Oracle 9i, Oracle 8i, and Oracle8 (2. ed.). Search on Bibsonomy 2001   RDF
36Tushar Mahapatra, Sanjay Mishra Oracle parallel processing - Oracle parallel execution and Oracle parallel server. Search on Bibsonomy 2000   RDF
32Leonor Becerra-Bonache, Colin de la Higuera, Jean-Christophe Janodet, Frédéric Tantini Learning Balls of Strings with Correction Queries. Search on Bibsonomy ECML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Oracle Learning, Balls of Strings, Edit Distance, Grammatical Inference, Correction Queries
32Jun Furukawa 0001, Kaoru Kurosawa, Hideki Imai An Efficient Compiler from Sigma-Protocol to 2-Move Deniable Zero-Knowledge. Search on Bibsonomy ICALP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF constant-round, resettable zero-knowledge, the random oracle model, resettably-sound argument of knowledge, ?-protocol, efficient, deniable
32Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang Short (Identity-Based) Strong Designated Verifier Signature Schemes. Search on Bibsonomy ISPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF strong designated verifier signature scheme, random oracle model, short signature, identity based, designated verifier signature
32Fangguo Zhang, Xiaofeng Chen 0001, Willy Susilo, Yi Mu 0001 A New Signature Scheme Without Random Oracles from Bilinear Pairings. Search on Bibsonomy VIETCRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bilinear pairings, Standard model, Random oracle, Short signature
32Richard Beigel, Bin Fu Circuits Over PP and PL. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reduction, oracle, circuit, closure, PL, Boolean formula, AC, NC, PP
32Georg Gottlob NP Trees and Carnap's Modal Logic. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF bounded query computation, trees, modal logic, oracle, epistemic logic, NP, autoepistemic logic
32Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari 0001 Oracle-guided component-based program synthesis. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF oracle-based learning, SAT, program synthesis, SMT
32Chung-Chih Li Speed-Up Theorems in Type-2 Computations Using Oracle Turing Machines. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Type-2 computation, Oracle Turing machine, Speed-up theorem
32Liming Fang 0001, Willy Susilo, Chunpeng Ge, Jiandong Wang A Secure Channel Free Public Key Encryption with Keyword Search Scheme without Random Oracle. Search on Bibsonomy CANS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF public key encryption with keyword search, without random oracle, searchable encryption
32Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech Towards automated proofs for asymmetric encryption schemes in the random oracle model. Search on Bibsonomy CCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF asymmetric encryption, automated proofs, provable security, hoare logics, random oracle model
32Guy Durrieu, Hélène Waeselynck, Virginie Wiels LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal methods, automation, Test oracle, avionics
32Hung-Yu Chien, Tzong-Chen Wu Highly Efficient Password-Based Three-Party Key Exchange in Random Oracle Model. Search on Bibsonomy ISI Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF authentication, key agreement, random oracle, impersonation attack, guessing attack
32Ravi Murthy, Eric Sedlar Flexible and efficient access control in oracle. Search on Bibsonomy SIGMOD Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Oracle security model, access control, enterprise applications, ACL
32Emmanuel Udoh Teaching database in an integrated oracle environment. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF oracle administration, database, integration, curriculum, teaching
32Sofie Vanophem, Kris Vanstappen Making oracle behave. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF user interface design, Windows, Oracle
32Roy Friedman, Achour Mostéfaoui, Michel Raynal Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. Search on Bibsonomy IEEE Trans. Dependable Secur. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fault tolerance, distributed algorithm, Asynchronous distributed system, random oracle, unreliable failure detector, randomized protocol, Byzantine process
32K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Omprakash Sangwan A neural net based approach to Test Oracle. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software testing, artificial neural networks, Test Oracle
32Euan W. Dempster, Neven Tomov, M. Howard Williams, Hamish Taylor, Albert G. Burger, Philip W. Trinder, Jiang Lü, Phil Broughton Modelling Parallel Oracle for Performance Prediction. Search on Bibsonomy Distributed Parallel Databases The full citation details ... 2003 DBLP  DOI  BibTeX  RDF parallel Oracle, analytical modelling, performance prediction, parallel database
32Jesse Anton, Lawrence Jacobs, Xiang Liu, Jordan Parker, Zheng Zeng, Tie Zhong Web caching for database applications with Oracle Web Cache. Search on Bibsonomy SIGMOD Conference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF partial-page caching, performance, personalization, caching, heuristics, consistency, template, fragment, ORACLE, disambiguation, session, dynamic content, invalidation
32Louis Granboulan Short Signatures in the Random Oracle Model. Search on Bibsonomy ASIACRYPT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF random oracle and ideal cipher models, proven security, digital signature, padding
Displaying result #1 - #100 of 3978 (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