Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Gerardo G. Fogel, Benjamín Barán, Marcos Villagra |
Comparison of two types of Quantum Oracles based on Grover's Adaptative Search Algorithm for Multiobjective Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017., pp. 421-428, 2017, 978-83-946253-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Spyros C. Kontogiannis, Georgia Papastavrou, Andreas Paraskevopoulos, Dorothea Wagner, Christos D. Zaroliagis |
Improved Oracles for Time-Dependent Road Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATMOS ![In: 17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2017, September 7-8, 2017, Vienna, Austria, pp. 4:1-4:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-042-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Timothy M. Chan, Dimitrios Skrepetos |
Faster Approximate Diameter and Distance Oracles in Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria, pp. 25:1-25:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-049-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Mathias Bæk Tejs Knudsen |
Additive Spanners and Distance Oracles in Quadratic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 64:1-64:12, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Patrick, Ruairi Donnelly, Christopher A. Gilligan |
A Toolkit for Testing Stochastic Simulations against Statistical Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pp. 448-453, 2017, IEEE Computer Society, 978-1-5090-6031-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Jens Dietrich 0001, Li Sui, Shawn Rasheed, Amjed Tahir |
On the construction of soundness oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 37-42, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Lauriane Aufrant, Guillaume Wisniewski, François Yvon |
Don't Stop Me Now! Using Global Dynamic Oracles to Correct Training Biases of Transition-Based Dependency Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (2) ![In: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2017, Valencia, Spain, April 3-7, 2017, Volume 2: Short Papers, pp. 318-323, 2017, Association for Computational Linguistics, 978-1-945626-35-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Misael Costa Júnior, Rafael A. P. Oliveira, Miguel A. G. Valverde, Marcel P. Jackowski, Fátima L. S. Nunes, Márcio Eduardo Delamaro |
Feature-Based Test Oracles to Categorize Synthetic 3D and 2D Images of Blood Vessels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAST ![In: Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, SAST 2017, Fortaleza, Brazil, September 18-19, 2017, pp. 11:1-11:6, 2017, ACM, 978-1-4503-5302-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ran Duan, Tianyi Zhang 0008 |
Improved Distance Sensitivity Oracles via Tree Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures - 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings, pp. 349-360, 2017, Springer, 978-3-319-62126-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Yevgeniy Dodis, Siyao Guo, Jonathan Katz |
Fixing Cracks in the Concrete: Random Oracles with Auxiliary Input, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (2) ![In: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part II, pp. 473-495, 2017, 978-3-319-56613-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Itay Laish, Shay Mozes |
Efficient Dynamic Approximate Distance Oracles for Vertex-Labeled Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAOA ![In: Approximation and Online Algorithms - 15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers, pp. 269-284, 2017, Springer, 978-3-319-89440-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Kamalesh Acharya, Ratna Dutta |
Recipient Revocable Broadcast Encryption Schemes Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2017 - 20th International Conference, Seoul, South Korea, November 29 - December 1, 2017, Revised Selected Papers, pp. 191-213, 2017, Springer, 978-3-319-78555-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Luís Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp |
How to Get More Out of Your Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, pp. 164-170, 2017, Springer, 978-3-319-66106-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Ali El Kaafarani, Essam Ghadafi |
Attribute-Based Signatures with User-Controlled Linkability Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Oxford, UK, December 12-14, 2017, Proceedings, pp. 161-184, 2017, Springer, 978-3-319-71044-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | William B. Langdon, Shin Yoo, Mark Harman |
Inferring Automatic Test Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBST@ICSE ![In: 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, pp. 5-6, 2017, IEEE, 978-1-5386-2789-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Oussama Beroual, Francis Guerin, Sylvain Hallé |
Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBST@ICSE ![In: 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, pp. 7-13, 2017, IEEE, 978-1-5386-2789-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel Luque, Enrique Alba 0001 |
Designing an Efficient Self-adaptive Parallel Algorithm Using Math Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INCoS ![In: Advances in Intelligent Networking and Collaborative Systems, The 9th International Conference on Intelligent Networking and Collaborative Systems, INCoS-2017, Ryerson University, Toronto, ON, Canada, August 24-26, 2017., pp. 313-325, 2017, Springer, 978-3-319-65635-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Beom Heyn Kim, Sukwon Oh, David Lie |
Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotOS ![In: Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017, pp. 82-87, 2017, ACM, 978-1-4503-5068-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Imdad S. B. Sardharwalla |
Topics in computing with quantum oracles and higher-dimensional many-body systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
14 | Rafig Almaghairbe |
Formulating test oracles via anomaly detection techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
14 | Liam Roditty |
Distance Oracles for Sparse Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Algorithms ![In: Encyclopedia of Algorithms - 2016 Edition, pp. 563-564, 2016, Springer, 978-1-4939-2863-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Christian Wulff-Nilsen |
Approximate Distance Oracles with Improved Query Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Algorithms ![In: Encyclopedia of Algorithms - 2016 Edition, pp. 94-97, 2016, Springer, 978-1-4939-2863-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Tahir Jameel, Mengxiang Lin, Liu Chao |
Metamorphic Relations Based Test Oracles for Image Processing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Innov. ![In: Int. J. Softw. Innov. 4(1), pp. 16-30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yang Lu 0001, Jiguo Li 0001 |
Improved certificate-based signature scheme without random oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Inf. Secur. ![In: IET Inf. Secur. 10(2), pp. 80-86, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Clémentine Gritti, Willy Susilo, Thomas Plantard |
Logarithmic size ring signatures without random oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Inf. Secur. ![In: IET Inf. Secur. 10(1), pp. 1-7, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Iftach Haitner, Eran Omri, Hila Zarosim |
Limits on the Usefulness of Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 29(2), pp. 283-335, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Goichiro Hanaoka, Jacob C. N. Schuldt |
Convertible Nominative Signatures from Standard Assumptions without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 99-A(6), pp. 1107-1121, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Spyros C. Kontogiannis, Christos D. Zaroliagis |
Distance Oracles for Time-Dependent Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 74(4), pp. 1404-1434, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michael Elkin, Ofer Neiman, Christian Wulff-Nilsen |
Space-efficient path-reporting approximate distance oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 651, pp. 1-10, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Ran Duan, Seth Pettie |
Connectivity Oracles for Graphs Subject to Vertex Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.06865, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Amandianeze O. Nwana, Tsuhan Chen |
QUOTE: "Querying" Users as Oracles in Tag Engines - A Semi-Supervised Learning Approach to Personalized Image Tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.06440, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Xiaowei Hu 0009, Prashanth L. A., András György 0001, Csaba Szepesvári |
(Bandit) Convex Optimization with Biased Noisy Gradient Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.07087, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | James Cross, Liang Huang 0001 |
Span-Based Constituency Parsing with a Structure-Label System and Provably Optimal Dynamic Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.06475, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Davide Bilò, Luciano Gualà, Stefano Leucci 0001, Guido Proietti |
Compact and Fast Sensitivity Oracles for Single-Source Distances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.04769, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Christian Wulff-Nilsen |
Approximate Distance Oracles for Planar Graphs with Improved Query Time-Space Tradeoff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.00839, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Yexiang Xue, Zhiyuan Li 0005, Stefano Ermon, Carla P. Gomes, Bart Selman |
Solving Marginal MAP Problems with NP Oracles and Parity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.02591, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Shahram Mossayebi, Rüdiger Schack |
Concrete Security Against Adversaries with Quantum Superposition Access to Encryption and Decryption Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.03780, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | George Barmpalias, Andrew Lewis-Pye, Jason Teutsch |
Lower bounds on the redundancy in computations from random oracles via betting strategies with restricted wagers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.07113, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | George Barmpalias, Andrew Lewis-Pye |
Optimal redundancy in computations from random oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.07910, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Haim Kaplan, Wolfgang Mulzer, Liam Roditty, Paul Seiferth |
Reachability Oracles for Directed Transmission Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.07797, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Michael Dinitz, Zeyu Zhang 0003 |
Approximating Approximate Distance Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.05623, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Ran Duan, Tianyi Zhang 0008 |
Improved distance sensitivity oracles via tree partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.04491, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Anatoli B. Juditsky, Arkadi Nemirovski |
Solving variational inequalities with monotone operators on domains given by Linear Minimization Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 156(1-2), pp. 221-256, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Shengke Zeng, Qinyi Li, Zhiguang Qin, Qing Lu |
Non-interactive deniable ring signature without random oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Commun. Networks ![In: Secur. Commun. Networks 9(12), pp. 1810-1819, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Dominique Unruh |
Collapse-binding quantum commitments without random oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 508, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Shashank Agrawal, Venkata Koppula, Brent Waters |
Impossibility of Simulation Secure Functional Encryption Even with Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 959, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Pooya Farshim, Arno Mittelbach |
Modeling Random Oracles under Unpredictable Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 423, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Dario Fiore 0001, Anca Nitulescu |
On the (In)security of SNARKs in the Presence of Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 112, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Ioannis Z. Emiris, Vissarion Fisikopoulos, Bernd Gärtner |
Efficient edge-skeleton computation for polytopes defined by oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 73, pp. 139-152, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yan Ren |
无随机预言模型下可否认的基于属性的指定证实人签名方案 (Deniable Attribute-based Designated Confirmer Signature without Random Oracles). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(7), pp. 162-165, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | George Barmpalias, Andrew Lewis-Pye, Jason Teutsch |
Lower bounds on the redundancy in computations from random oracles via betting strategies with restricted wagers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 251, pp. 287-300, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Chunpeng Ge, Willy Susilo, Jiandong Wang, Zhiqiu Huang, Liming Fang 0001, Yongjun Ren |
A Key-Policy Attribute-Based Proxy Re-Encryption Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 59(7), pp. 970-982, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Xiatian Zhu, Chen Change Loy, Shaogang Gong |
Constrained Clustering With Imperfect Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 27(6), pp. 1345-1357, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Martin Monperrus |
On Oracles for Automated Diagnosis and Repair of Software Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Spyros C. Kontogiannis, Dorothea Wagner, Christos D. Zaroliagis |
Hierarchical Time-Dependent Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: 27th International Symposium on Algorithms and Computation, ISAAC 2016, December 12-14, 2016, Sydney, Australia, pp. 47:1-47:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-026-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Christian Wulff-Nilsen |
Approximate Distance Oracles for Planar Graphs with Improved Query Time-Space Tradeoff. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10-12, 2016, pp. 351-362, 2016, SIAM, 978-1-61197-433-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Shangfu Peng, Jagan Sankaranarayanan, Hanan Samet |
SPDO: High-throughput road distance computations on Spark using Distance Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 16-20, 2016, pp. 1239-1250, 2016, IEEE Computer Society, 978-1-5090-2020-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Junhua Ding, Dongmei Zhang 0006 |
A Machine Learning Approach for Developing Test Oracles for Testing Scientific Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016, Redwood City, San Francisco Bay, USA, July 1-3, 2016., pp. 390-395, 2016, KSI Research Inc. and Knowledge Systems Institute Graduate School, 1-891706-39-X. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Bryan Lee, Marek A. Perkowski |
Quantum Machine Learning Based on Minimizing Kronecker-Reed-Muller Forms and Grover Search Algorithm with Hybrid Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2016 Euromicro Conference on Digital System Design, DSD 2016, Limassol, Cyprus, August 31 - September 2, 2016, pp. 413-422, 2016, IEEE Computer Society, 978-1-5090-2817-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Michele Ciampi, Giuseppe Persiano, Luisa Siniscalchi, Ivan Visconti |
A Transform for NIZK Almost as Efficient and General as the Fiat-Shamir Transform Without Programmable Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC (A2) ![In: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II, pp. 83-111, 2016, Springer, 978-3-662-49098-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Dario Fiore 0001, Anca Nitulescu |
On the (In)Security of SNARKs in the Presence of Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC (B1) ![In: Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part I, pp. 108-138, 2016, 978-3-662-53640-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Tsvi Kopelowitz, Robert Krauthgamer |
Color-Distance Oracles and Snippets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: 27th Annual Symposium on Combinatorial Pattern Matching, CPM 2016, June 27-29, 2016, Tel Aviv, Israel, pp. 24:1-24:10, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-012-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Davide Bilò, Luciano Gualà, Stefano Leucci 0001, Guido Proietti |
Compact and Fast Sensitivity Oracles for Single-Source Distances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: 24th Annual European Symposium on Algorithms, ESA 2016, August 22-24, 2016, Aarhus, Denmark, pp. 13:1-13:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-015-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Shabnam Mirshokraie, Ali Mesbah 0001, Karthik Pattabiraman |
Atrina: Inferring Unit Oracles from GUI Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016, pp. 330-340, 2016, IEEE Computer Society, 978-1-5090-1827-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Peter M. Kruse |
Test Oracles and Test Script Generation in Combinatorial Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016, pp. 75-82, 2016, IEEE Computer Society, 978-1-5090-3674-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Lochbihler |
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 503-531, 2016, Springer, 978-3-662-49497-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jingxuan Tu, Xiaoyuan Xie, Baowen Xu |
Code Coverage-Based Failure Proximity without Test Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 40th IEEE Annual Computer Software and Applications Conference, COMPSAC 2016, Atlanta, GA, USA, June 10-14, 2016, pp. 133-142, 2016, IEEE Computer Society, 978-1-4673-8845-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Shahin Kamali |
Compact Navigation Oracles for Graphs with Bounded Clique-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2016 Data Compression Conference, DCC 2016, Snowbird, UT, USA, March 30 - April 1, 2016, pp. 566-576, 2016, IEEE, 978-1-5090-1853-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Dominique Unruh |
Collapse-Binding Quantum Commitments Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (2) ![In: Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, pp. 166-195, 2016, 978-3-662-53889-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan |
String analysis for side channels with segmented oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, pp. 193-204, 2016, ACM, 978-1-4503-4218-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yohei Watanabe 0001, Junji Shikata |
Identity-Based Hierarchical Key-Insulated Encryption Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography (1) ![In: Public-Key Cryptography - PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I, pp. 255-279, 2016, Springer, 978-3-662-49383-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Pooya Farshim, Arno Mittelbach |
Modeling Random Oracles Under Unpredictable Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption - 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers, pp. 453-473, 2016, Springer, 978-3-662-52992-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Matthew Patrick, Andrew P. Craig, Nik J. Cunniffe, Matthew Parry, Christopher A. Gilligan |
Testing stochastic software using pseudo-oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 235-246, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè |
Automatic generation of oracles for exceptional behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 213-224, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Amandianeze O. Nwana, Tsuhan Chen |
QUOTE: "Querying" Users as Oracles in Tag Engines a Semi-Supervised Learning Approach to Personalized Image Tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: IEEE International Symposium on Multimedia, ISM 2016, San Jose, CA, USA, December 11-13, 2016, pp. 30-37, 2016, IEEE Computer Society, 978-1-5090-4571-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Spyros C. Kontogiannis, George Michalopoulos, Georgia Papastavrou, Andreas Paraskevopoulos, Dorothea Wagner, Christos D. Zaroliagis |
Engineering Oracles for Time-Dependent Road Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALENEX ![In: Proceedings of the Eighteenth Workshop on Algorithm Engineering and Experiments, ALENEX 2016, Arlington, Virginia, USA, January 10, 2016, pp. 1-14, 2016, SIAM, 978-1-61197-431-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | James Cross, Liang Huang 0001 |
Span-Based Constituency Parsing with a Structure-Label System and Provably Optimal Dynamic Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, EMNLP 2016, Austin, Texas, USA, November 1-4, 2016, pp. 1-11, 2016, The Association for Computational Linguistics, 978-1-945626-25-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Akshay Krishnamurthy, Alekh Agarwal, Miroslav Dudík |
Contextual semibandits via supervised learning oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain, pp. 2388-2396, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Yexiang Xue, Zhiyuan Li 0005, Stefano Ermon, Carla P. Gomes, Bart Selman |
Solving Marginal MAP Problems with NP Oracles and Parity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIPS ![In: Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, December 5-10, 2016, Barcelona, Spain, pp. 1127-1135, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Prastudy Fauzi, Helger Lipmaa |
Efficient Culpably Sound NIZK Shuffle Argument Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2016 - The Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings, pp. 200-216, 2016, Springer, 978-3-319-29484-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Russell W. F. Lai, Tao Zhang 0014, Sherman S. M. Chow, Dominique Schröder |
Efficient Sanitizable Signatures Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (1) ![In: Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I, pp. 363-380, 2016, Springer, 978-3-319-45743-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Xiaowei Hu 0009, Prashanth L. A., András György 0001, Csaba Szepesvári |
(Bandit) Convex Optimization with Biased Noisy Gradient Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISTATS ![In: Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, AISTATS 2016, Cadiz, Spain, May 9-11, 2016, pp. 819-828, 2016, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Maximin Coavoux, Benoît Crabbé |
Neural Greedy Constituent Parsing with Dynamic Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016, August 7-12, 2016, Berlin, Germany, Volume 1: Long Papers, 2016, The Association for Computer Linguistics, 978-1-945626-00-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Arno Mittelbach |
Random Oracles in the Standard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron |
Membrane Division, Oracles, and the Counting Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 138(1-2), pp. 97-111, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mauro Pezzè, Cheng Zhang |
Automated Test Oracles: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. ![In: Adv. Comput. 95, pp. 1-48, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rafael A. P. Oliveira, Upulee Kanewala, Paulo Augusto Nardi |
Automated Test Oracles: State of the Art, Taxonomies, and Trends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. ![In: Adv. Comput. 95, pp. 113-199, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xiangsong Zhang, Zhenhua Liu 0001, Yupu Hu, Tsuyoshi Takagi |
Revocable Identity-based Signcryption Scheme Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Secur. ![In: Int. J. Netw. Secur. 17(2), pp. 110-122, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Jayaprakash Kar |
Provably Secure Identity-based Aggregate Signcryption Scheme in Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Secur. ![In: Int. J. Netw. Secur. 17(5), pp. 580-587, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Sven Schäge |
Tight Security for Signature Schemes Without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 28(3), pp. 641-670, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Florent Franchette |
Oracles in the Hypercomputation Debate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 11(3-4), pp. 299-323, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Fei Tang, Hongda Li 0001, Jinyong Chang |
Multi-Use Unidirectional Proxy Re-Signatures of Constant Size without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 98-A(3), pp. 898-905, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kwangsu Lee, Dong Hoon Lee 0001, Moti Yung |
Sequential aggregate signatures with short public keys without random oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 579, pp. 100-125, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xiao Tan 0003, Qiong Huang 0001, Duncan S. Wong |
Concurrent signature without random oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 562, pp. 194-212, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kwangsu Lee, Dong Hoon Lee 0001, Moti Yung |
Sequential Aggregate Signatures with Short Public Keys without Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.06691, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Spyros C. Kontogiannis, George Michalopoulos, Georgia Papastavrou, Andreas Paraskevopoulos, Dorothea Wagner, Christos D. Zaroliagis |
Engineering Oracles for Time-Dependent Road Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.08303, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Spyros C. Kontogiannis, Dorothea Wagner, Christos D. Zaroliagis |
Hierarchical Oracles for Time-Dependent Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.05222, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Shelby Kimmel, Cedric Yen-Yu Lin, Han-Hsuan Lin |
Oracles with Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.02174, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Benja Fallenstein, Jessica Taylor, Paul F. Christiano |
Reflective Oracles: A Foundation for Classical Game Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.04145, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Shay Mozes, Eyal E. Skop |
Efficient Vertex-Label Distance Oracles for Planar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.04690, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|